haskell-gi-base 0.15 → 0.16

raw patch · 1 files changed

+2/−2 lines, 1 filesdep ~basePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base

API changes (from Hackage documentation)

- Data.GI.Base.Attributes: (::=) :: AttrLabelProxy (attr :: Symbol) -> (obj -> b) -> AttrOp obj tag

- Data.GI.Base.Attributes: (::~) :: AttrLabelProxy (attr :: Symbol) -> (obj -> a -> b) -> AttrOp obj tag

- Data.GI.Base.Attributes: (:=) :: AttrLabelProxy (attr :: Symbol) -> b -> AttrOp obj tag

- Data.GI.Base.Attributes: (:=>) :: AttrLabelProxy (attr :: Symbol) -> IO b -> AttrOp obj tag

- Data.GI.Base.Attributes: (:~) :: AttrLabelProxy (attr :: Symbol) -> (a -> b) -> AttrOp obj tag

- Data.GI.Base.Attributes: (:~>) :: AttrLabelProxy (attr :: Symbol) -> (a -> IO b) -> AttrOp obj tag

- Data.GI.Base.Attributes: instance a ~ x => IsLabelProxy x (AttrLabelProxy a)

- Data.GI.Base.BasicTypes: gtypeToCGType :: GType -> CGType

- Data.GI.Base.BasicTypes: instance [overlap ok] Exception UnexpectedNullPointerReturn

- Data.GI.Base.BasicTypes: instance [overlap ok] NullToNothing (Maybe a)

- Data.GI.Base.BasicTypes: instance [overlap ok] Show UnexpectedNullPointerReturn

- Data.GI.Base.BasicTypes: instance [overlap ok] Typeable UnexpectedNullPointerReturn

- Data.GI.Base.BasicTypes: instance [overlap ok] a ~ UnMaybe a => NullToNothing a

- Data.GI.Base.BasicTypes: nullPtrErrorMsg :: UnexpectedNullPointerReturn -> Text

- Data.GI.Base.BasicTypes: unwrapPtr :: PtrWrapped a -> Ptr a

- Data.GI.Base.Closure: instance BoxedObject Closure

- Data.GI.Base.Constructible: instance [overlap ok] (GObject a, tag ~ 'AttrConstruct) => Constructible a tag

- Data.GI.Base.GError: instance BoxedObject GError

- Data.GI.Base.GError: instance Exception GError

- Data.GI.Base.GError: instance Show GError

- Data.GI.Base.GError: instance Typeable GError

- Data.GI.Base.GValue: instance BoxedObject GValue

- Data.GI.Base.GValue: instance IsGValue (Maybe String)

- Data.GI.Base.GValue: instance IsGValue (Maybe Text)

- Data.GI.Base.GValue: instance IsGValue (Ptr a)

- Data.GI.Base.GValue: instance IsGValue Bool

- Data.GI.Base.GValue: instance IsGValue CInt

- Data.GI.Base.GValue: instance IsGValue CLong

- Data.GI.Base.GValue: instance IsGValue CUInt

- Data.GI.Base.GValue: instance IsGValue CULong

- Data.GI.Base.GValue: instance IsGValue Double

- Data.GI.Base.GValue: instance IsGValue Float

- Data.GI.Base.GValue: instance IsGValue GType

- Data.GI.Base.GValue: instance IsGValue Int32

- Data.GI.Base.GValue: instance IsGValue Int64

- Data.GI.Base.GValue: instance IsGValue Word32

- Data.GI.Base.GValue: instance IsGValue Word64

- Data.GI.Base.GVariant: instance (Eq key, Eq value) => Eq (GVariantDictEntry key value)

- Data.GI.Base.GVariant: instance (IsGVariant a, IsGVariant b) => IsGVariant (a, b)

- Data.GI.Base.GVariant: instance (IsGVariant a, IsGVariant b, IsGVariant c) => IsGVariant (a, b, c)

- Data.GI.Base.GVariant: instance (IsGVariant a, IsGVariant b, IsGVariant c, IsGVariant d) => IsGVariant (a, b, c, d)

- Data.GI.Base.GVariant: instance (IsGVariant a, IsGVariant b, IsGVariant c, IsGVariant d, IsGVariant e) => IsGVariant (a, b, c, d, e)

- Data.GI.Base.GVariant: instance (IsGVariant a, IsGVariantBasicType a, IsGVariant b) => IsGVariant (GVariantDictEntry a b)

- Data.GI.Base.GVariant: instance (IsGVariant a, IsGVariantBasicType a, IsGVariant b) => IsGVariant (Map a b)

- Data.GI.Base.GVariant: instance (Show key, Show value) => Show (GVariantDictEntry key value)

- Data.GI.Base.GVariant: instance Eq GVariantHandle

- Data.GI.Base.GVariant: instance Eq GVariantObjectPath

- Data.GI.Base.GVariant: instance Eq GVariantSignature

- Data.GI.Base.GVariant: instance Eq a => Eq (GVariantSinglet a)

- Data.GI.Base.GVariant: instance IsGVariant ()

- Data.GI.Base.GVariant: instance IsGVariant Bool

- Data.GI.Base.GVariant: instance IsGVariant ByteString

- Data.GI.Base.GVariant: instance IsGVariant Double

- Data.GI.Base.GVariant: instance IsGVariant GVariant

- Data.GI.Base.GVariant: instance IsGVariant GVariantHandle

- Data.GI.Base.GVariant: instance IsGVariant GVariantObjectPath

- Data.GI.Base.GVariant: instance IsGVariant GVariantSignature

- Data.GI.Base.GVariant: instance IsGVariant Int16

- Data.GI.Base.GVariant: instance IsGVariant Int32

- Data.GI.Base.GVariant: instance IsGVariant Int64

- Data.GI.Base.GVariant: instance IsGVariant Text

- Data.GI.Base.GVariant: instance IsGVariant Word16

- Data.GI.Base.GVariant: instance IsGVariant Word32

- Data.GI.Base.GVariant: instance IsGVariant Word64

- Data.GI.Base.GVariant: instance IsGVariant Word8

- Data.GI.Base.GVariant: instance IsGVariant a => IsGVariant (GVariantSinglet a)

- Data.GI.Base.GVariant: instance IsGVariant a => IsGVariant (Maybe a)

- Data.GI.Base.GVariant: instance IsGVariant a => IsGVariant [a]

- Data.GI.Base.GVariant: instance IsGVariantBasicType Bool

- Data.GI.Base.GVariant: instance IsGVariantBasicType Double

- Data.GI.Base.GVariant: instance IsGVariantBasicType GVariantHandle

- Data.GI.Base.GVariant: instance IsGVariantBasicType GVariantObjectPath

- Data.GI.Base.GVariant: instance IsGVariantBasicType GVariantSignature

- Data.GI.Base.GVariant: instance IsGVariantBasicType Int16

- Data.GI.Base.GVariant: instance IsGVariantBasicType Int32

- Data.GI.Base.GVariant: instance IsGVariantBasicType Int64

- Data.GI.Base.GVariant: instance IsGVariantBasicType Text

- Data.GI.Base.GVariant: instance IsGVariantBasicType Word16

- Data.GI.Base.GVariant: instance IsGVariantBasicType Word32

- Data.GI.Base.GVariant: instance IsGVariantBasicType Word64

- Data.GI.Base.GVariant: instance IsGVariantBasicType Word8

- Data.GI.Base.GVariant: instance Ord GVariantHandle

- Data.GI.Base.GVariant: instance Ord GVariantObjectPath

- Data.GI.Base.GVariant: instance Ord GVariantSignature

- Data.GI.Base.GVariant: instance Show GVariantHandle

- Data.GI.Base.GVariant: instance Show GVariantObjectPath

- Data.GI.Base.GVariant: instance Show GVariantSignature

- Data.GI.Base.GVariant: instance Show a => Show (GVariantSinglet a)

- Data.GI.Base.Overloading: data MethodResolutionFailed (label :: Symbol) (o :: *)

- Data.GI.Base.Overloading: instance (HasAttribute attr o) => HasAttr attr o

- Data.GI.Base.Signals: PropertyNotify :: AttrLabelProxy propName -> SignalProxy o (GObjectNotifySignalInfo pl)

- Data.GI.Base.Signals: SignalProxy :: SignalProxy o info

- Data.GI.Base.Signals: instance (HasSignal slot object, info ~ ResolveSignal slot object) => IsLabelProxy slot (SignalProxy object info)

- Data.GI.Base.Signals: instance KnownSymbol propName => SignalInfo (GObjectNotifySignalInfo propName)

- Data.GI.Base.Signals: instance NoConstraint a

+ Data.GI.Base.Attributes: [::=] :: (info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ AttrSet, AttrOpAllowed tag info, (AttrSetTypeConstraint info) b) => AttrLabelProxy (attr :: Symbol) -> (obj -> b) -> AttrOp obj tag

+ Data.GI.Base.Attributes: [::~] :: (info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ AttrSet, AttrOpAllowed AttrSet info, AttrOpAllowed AttrGet info, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (obj -> a -> b) -> AttrOp obj tag

+ Data.GI.Base.Attributes: [:=>] :: (info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info, (AttrSetTypeConstraint info) b) => AttrLabelProxy (attr :: Symbol) -> IO b -> AttrOp obj tag

+ Data.GI.Base.Attributes: [:=] :: (info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info, (AttrSetTypeConstraint info) b) => AttrLabelProxy (attr :: Symbol) -> b -> AttrOp obj tag

+ Data.GI.Base.Attributes: [:~>] :: (info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ AttrSet, AttrOpAllowed AttrSet info, AttrOpAllowed AttrGet info, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (a -> IO b) -> AttrOp obj tag

+ Data.GI.Base.Attributes: [:~] :: (info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ AttrSet, AttrOpAllowed AttrSet info, AttrOpAllowed AttrGet info, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (a -> b) -> AttrOp obj tag

+ Data.GI.Base.Attributes: instance a ~ x => Data.GI.Base.Overloading.IsLabelProxy x (Data.GI.Base.Attributes.AttrLabelProxy a)

+ Data.GI.Base.Attributes: instance a ~ x => GHC.OverloadedLabels.IsLabel x (Data.GI.Base.Attributes.AttrLabelProxy a)

+ Data.GI.Base.Attributes: type family AttrLabel info :: Symbol;

+ Data.GI.Base.Attributes: }

+ Data.GI.Base.BasicTypes: [gtypeToCGType] :: GType -> CGType

+ Data.GI.Base.BasicTypes: [nullPtrErrorMsg] :: UnexpectedNullPointerReturn -> Text

+ Data.GI.Base.BasicTypes: [unwrapPtr] :: PtrWrapped a -> Ptr a

+ Data.GI.Base.BasicTypes: instance Data.GI.Base.BasicTypes.NullToNothing (GHC.Base.Maybe a)

+ Data.GI.Base.BasicTypes: instance GHC.Exception.Exception Data.GI.Base.BasicTypes.UnexpectedNullPointerReturn

+ Data.GI.Base.BasicTypes: instance GHC.Show.Show Data.GI.Base.BasicTypes.UnexpectedNullPointerReturn

+ Data.GI.Base.BasicTypes: instance a ~ Data.GI.Base.BasicTypes.UnMaybe a => Data.GI.Base.BasicTypes.NullToNothing a

+ Data.GI.Base.Closure: instance Data.GI.Base.BasicTypes.BoxedObject Data.GI.Base.Closure.Closure

+ Data.GI.Base.Constructible: instance (Data.GI.Base.BasicTypes.GObject a, tag ~ 'Data.GI.Base.Attributes.AttrConstruct) => Data.GI.Base.Constructible.Constructible a tag

+ Data.GI.Base.GError: instance Data.GI.Base.BasicTypes.BoxedObject Data.GI.Base.GError.GError

+ Data.GI.Base.GError: instance GHC.Exception.Exception Data.GI.Base.GError.GError

+ Data.GI.Base.GError: instance GHC.Show.Show Data.GI.Base.GError.GError

+ Data.GI.Base.GValue: instance Data.GI.Base.BasicTypes.BoxedObject Data.GI.Base.GValue.GValue

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue (GHC.Base.Maybe Data.Text.Internal.Text)

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue (GHC.Base.Maybe GHC.Base.String)

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue (GHC.Ptr.Ptr a)

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue Data.GI.Base.BasicTypes.GType

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue Foreign.C.Types.CInt

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue Foreign.C.Types.CLong

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue Foreign.C.Types.CUInt

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue Foreign.C.Types.CULong

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue GHC.Int.Int32

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue GHC.Int.Int64

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue GHC.Types.Bool

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue GHC.Types.Double

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue GHC.Types.Float

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue GHC.Word.Word32

+ Data.GI.Base.GValue: instance Data.GI.Base.GValue.IsGValue GHC.Word.Word64

+ Data.GI.Base.GVariant: instance (Data.GI.Base.GVariant.IsGVariant a, Data.GI.Base.GVariant.IsGVariant b) => Data.GI.Base.GVariant.IsGVariant (a, b)

+ Data.GI.Base.GVariant: instance (Data.GI.Base.GVariant.IsGVariant a, Data.GI.Base.GVariant.IsGVariant b, Data.GI.Base.GVariant.IsGVariant c) => Data.GI.Base.GVariant.IsGVariant (a, b, c)

+ Data.GI.Base.GVariant: instance (Data.GI.Base.GVariant.IsGVariant a, Data.GI.Base.GVariant.IsGVariant b, Data.GI.Base.GVariant.IsGVariant c, Data.GI.Base.GVariant.IsGVariant d) => Data.GI.Base.GVariant.IsGVariant (a, b, c, d)

+ Data.GI.Base.GVariant: instance (Data.GI.Base.GVariant.IsGVariant a, Data.GI.Base.GVariant.IsGVariantBasicType a, Data.GI.Base.GVariant.IsGVariant b) => Data.GI.Base.GVariant.IsGVariant (Data.GI.Base.GVariant.GVariantDictEntry a b)

+ Data.GI.Base.GVariant: instance (GHC.Classes.Eq value, GHC.Classes.Eq key) => GHC.Classes.Eq (Data.GI.Base.GVariant.GVariantDictEntry key value)

+ Data.GI.Base.GVariant: instance (GHC.Show.Show value, GHC.Show.Show key) => GHC.Show.Show (Data.GI.Base.GVariant.GVariantDictEntry key value)

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant ()

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant Data.ByteString.Internal.ByteString

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant Data.GI.Base.BasicTypes.GVariant

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant Data.GI.Base.GVariant.GVariantHandle

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant Data.GI.Base.GVariant.GVariantObjectPath

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant Data.GI.Base.GVariant.GVariantSignature

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant Data.Text.Internal.Text

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant GHC.Int.Int16

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant GHC.Int.Int32

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant GHC.Int.Int64

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant GHC.Types.Bool

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant GHC.Types.Double

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant GHC.Word.Word16

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant GHC.Word.Word32

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant GHC.Word.Word64

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant GHC.Word.Word8

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant a => Data.GI.Base.GVariant.IsGVariant (Data.GI.Base.GVariant.GVariantSinglet a)

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant a => Data.GI.Base.GVariant.IsGVariant (GHC.Base.Maybe a)

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariant a => Data.GI.Base.GVariant.IsGVariant [a]

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariantBasicType Data.GI.Base.GVariant.GVariantHandle

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariantBasicType Data.GI.Base.GVariant.GVariantObjectPath

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariantBasicType Data.GI.Base.GVariant.GVariantSignature

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariantBasicType Data.Text.Internal.Text

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariantBasicType GHC.Int.Int16

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariantBasicType GHC.Int.Int32

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariantBasicType GHC.Int.Int64

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariantBasicType GHC.Types.Bool

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariantBasicType GHC.Types.Double

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariantBasicType GHC.Word.Word16

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariantBasicType GHC.Word.Word32

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariantBasicType GHC.Word.Word64

+ Data.GI.Base.GVariant: instance Data.GI.Base.GVariant.IsGVariantBasicType GHC.Word.Word8

+ Data.GI.Base.GVariant: instance GHC.Classes.Eq Data.GI.Base.GVariant.GVariantHandle

+ Data.GI.Base.GVariant: instance GHC.Classes.Eq Data.GI.Base.GVariant.GVariantObjectPath

+ Data.GI.Base.GVariant: instance GHC.Classes.Eq Data.GI.Base.GVariant.GVariantSignature

+ Data.GI.Base.GVariant: instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.GI.Base.GVariant.GVariantSinglet a)

+ Data.GI.Base.GVariant: instance GHC.Classes.Ord Data.GI.Base.GVariant.GVariantHandle

+ Data.GI.Base.GVariant: instance GHC.Classes.Ord Data.GI.Base.GVariant.GVariantObjectPath

+ Data.GI.Base.GVariant: instance GHC.Classes.Ord Data.GI.Base.GVariant.GVariantSignature

+ Data.GI.Base.GVariant: instance GHC.Show.Show Data.GI.Base.GVariant.GVariantHandle

+ Data.GI.Base.GVariant: instance GHC.Show.Show Data.GI.Base.GVariant.GVariantObjectPath

+ Data.GI.Base.GVariant: instance GHC.Show.Show Data.GI.Base.GVariant.GVariantSignature

+ Data.GI.Base.GVariant: instance GHC.Show.Show a => GHC.Show.Show (Data.GI.Base.GVariant.GVariantSinglet a)

+ Data.GI.Base.Overloading: instance Data.GI.Base.Overloading.HasAttribute attr o => Data.GI.Base.Overloading.HasAttr attr o

+ Data.GI.Base.ShortPrelude: infixr 0 $

+ Data.GI.Base.ShortPrelude: infixr 1 =<<

+ Data.GI.Base.ShortPrelude: infixr 5 ++

+ Data.GI.Base.ShortPrelude: infixr 9 .

+ Data.GI.Base.Signals: [PropertyNotify] :: (info ~ ResolveAttribute propName o, AttrInfo info, pl ~ AttrLabel info) => AttrLabelProxy propName -> SignalProxy o (GObjectNotifySignalInfo pl)

+ Data.GI.Base.Signals: [SignalProxy] :: SignalProxy o info

+ Data.GI.Base.Signals: instance GHC.TypeLits.KnownSymbol propName => Data.GI.Base.Signals.SignalInfo (Data.GI.Base.Signals.GObjectNotifySignalInfo propName)

+ Data.GI.Base.Signals: instance forall k (a :: k). Data.GI.Base.Signals.NoConstraint a

+ Data.GI.Base.Signals: instance info ~ Data.GI.Base.Overloading.ResolveSignal slot object => Data.GI.Base.Overloading.IsLabelProxy slot (Data.GI.Base.Signals.SignalProxy object info)

+ Data.GI.Base.Signals: instance info ~ Data.GI.Base.Overloading.ResolveSignal slot object => GHC.OverloadedLabels.IsLabel slot (Data.GI.Base.Signals.SignalProxy object info)

+ Data.GI.Base.Signals: type family HaskellCallbackType info;

+ Data.GI.Base.Signals: }

- Data.GI.Base.Attributes: class AttrInfo (info :: *) where type family AttrAllowedOps info :: [AttrOpTag] type family AttrSetTypeConstraint info :: * -> Constraint type family AttrBaseTypeConstraint info :: * -> Constraint type family AttrGetType info type family AttrLabel info :: Symbol

+ Data.GI.Base.Attributes: class AttrInfo (info :: *) where type AttrAllowedOps info :: [AttrOpTag] type AttrSetTypeConstraint info :: * -> Constraint type AttrBaseTypeConstraint info :: * -> Constraint type AttrGetType info type AttrLabel info :: Symbol where {

- Data.GI.Base.Attributes: clear :: (info ~ ResolveAttribute attr obj, AttrInfo info, (AttrBaseTypeConstraint info) obj, AttrOpAllowed AttrClear info, MonadIO m) => obj -> AttrLabelProxy (attr :: Symbol) -> m ()

+ Data.GI.Base.Attributes: clear :: forall info attr obj m. (info ~ ResolveAttribute attr obj, AttrInfo info, (AttrBaseTypeConstraint info) obj, AttrOpAllowed AttrClear info, MonadIO m) => obj -> AttrLabelProxy (attr :: Symbol) -> m ()

- Data.GI.Base.Attributes: get :: (info ~ ResolveAttribute attr obj, AttrInfo info, (AttrBaseTypeConstraint info) obj, AttrOpAllowed AttrGet info, MonadIO m) => obj -> AttrLabelProxy (attr :: Symbol) -> m (AttrGetType info)

+ Data.GI.Base.Attributes: get :: forall info attr obj m. (info ~ ResolveAttribute attr obj, AttrInfo info, (AttrBaseTypeConstraint info) obj, AttrOpAllowed AttrGet info, MonadIO m) => obj -> AttrLabelProxy (attr :: Symbol) -> m (AttrGetType info)

- Data.GI.Base.Attributes: set :: MonadIO m => o -> [AttrOp o AttrSet] -> m ()

+ Data.GI.Base.Attributes: set :: forall o m. MonadIO m => o -> [AttrOp o AttrSet] -> m ()

- Data.GI.Base.BasicConversions: mapGArray :: Storable a => (a -> IO b) -> Ptr (GArray a) -> IO ()

+ Data.GI.Base.BasicConversions: mapGArray :: forall a b. Storable a => (a -> IO b) -> Ptr (GArray a) -> IO ()

- Data.GI.Base.BasicConversions: packGArray :: Storable a => [a] -> IO (Ptr (GArray a))

+ Data.GI.Base.BasicConversions: packGArray :: forall a. Storable a => [a] -> IO (Ptr (GArray a))

- Data.GI.Base.BasicConversions: packMapStorableArray :: Storable b => (a -> b) -> [a] -> IO (Ptr b)

+ Data.GI.Base.BasicConversions: packMapStorableArray :: forall a b. Storable b => (a -> b) -> [a] -> IO (Ptr b)

- Data.GI.Base.BasicConversions: packMapZeroTerminatedStorableArray :: (Num b, Storable b) => (a -> b) -> [a] -> IO (Ptr b)

+ Data.GI.Base.BasicConversions: packMapZeroTerminatedStorableArray :: forall a b. (Num b, Storable b) => (a -> b) -> [a] -> IO (Ptr b)

- Data.GI.Base.BasicConversions: unpackBoxedArrayWithLength :: (Integral a, BoxedObject b) => Int -> a -> Ptr b -> IO [Ptr b]

+ Data.GI.Base.BasicConversions: unpackBoxedArrayWithLength :: forall a b. (Integral a, BoxedObject b) => Int -> a -> Ptr b -> IO [Ptr b]

- Data.GI.Base.BasicConversions: unpackGArray :: Storable a => Ptr (GArray a) -> IO [a]

+ Data.GI.Base.BasicConversions: unpackGArray :: forall a. Storable a => Ptr (GArray a) -> IO [a]

- Data.GI.Base.BasicConversions: unpackMapStorableArrayWithLength :: (Integral a, Storable b) => (b -> c) -> a -> Ptr b -> IO [c]

+ Data.GI.Base.BasicConversions: unpackMapStorableArrayWithLength :: forall a b c. (Integral a, Storable b) => (b -> c) -> a -> Ptr b -> IO [c]

- Data.GI.Base.BasicConversions: unpackMapZeroTerminatedStorableArray :: (Eq a, Num a, Storable a) => (a -> b) -> Ptr a -> IO [b]

+ Data.GI.Base.BasicConversions: unpackMapZeroTerminatedStorableArray :: forall a b. (Eq a, Num a, Storable a) => (a -> b) -> Ptr a -> IO [b]

- Data.GI.Base.GError: catchGErrorJustDomain :: GErrorClass err => IO a -> (err -> GErrorMessage -> IO a) -> IO a

+ Data.GI.Base.GError: catchGErrorJustDomain :: forall err a. GErrorClass err => IO a -> (err -> GErrorMessage -> IO a) -> IO a

- Data.GI.Base.GObject: constructGObject :: (GObject o, MonadIO m) => (ForeignPtr o -> o) -> [AttrOp o AttrConstruct] -> m o

+ Data.GI.Base.GObject: constructGObject :: forall o m. (GObject o, MonadIO m) => (ForeignPtr o -> o) -> [AttrOp o AttrConstruct] -> m o

- Data.GI.Base.GVariant: gvariantFromList :: IsGVariant a => [a] -> IO GVariant

+ Data.GI.Base.GVariant: gvariantFromList :: forall a. IsGVariant a => [a] -> IO GVariant

- Data.GI.Base.GVariant: gvariantFromMaybe :: IsGVariant a => Maybe a -> IO GVariant

+ Data.GI.Base.GVariant: gvariantFromMaybe :: forall a. IsGVariant a => Maybe a -> IO GVariant

- Data.GI.Base.GVariant: gvariantToDictEntry :: (IsGVariant key, IsGVariantBasicType key, IsGVariant value) => GVariant -> IO (Maybe (key, value))

+ Data.GI.Base.GVariant: gvariantToDictEntry :: forall key value. (IsGVariant key, IsGVariantBasicType key, IsGVariant value) => GVariant -> IO (Maybe (key, value))

- Data.GI.Base.GVariant: gvariantToList :: IsGVariant a => GVariant -> IO (Maybe [a])

+ Data.GI.Base.GVariant: gvariantToList :: forall a. IsGVariant a => GVariant -> IO (Maybe [a])

- Data.GI.Base.GVariant: gvariantToMap :: (IsGVariant key, IsGVariantBasicType key, IsGVariant value) => GVariant -> IO (Maybe (Map key value))

+ Data.GI.Base.GVariant: gvariantToMap :: forall key value. (IsGVariant key, IsGVariantBasicType key, IsGVariant value) => GVariant -> IO (Maybe (Map key value))

- Data.GI.Base.GVariant: gvariantToMaybe :: IsGVariant a => GVariant -> IO (Maybe (Maybe a))

+ Data.GI.Base.GVariant: gvariantToMaybe :: forall a. IsGVariant a => GVariant -> IO (Maybe (Maybe a))

- Data.GI.Base.ManagedPtr: castTo :: (GObject o, GObject o') => (ForeignPtr o' -> o') -> o -> IO (Maybe o')

+ Data.GI.Base.ManagedPtr: castTo :: forall o o'. (GObject o, GObject o') => (ForeignPtr o' -> o') -> o -> IO (Maybe o')

- Data.GI.Base.ManagedPtr: copyBoxed :: BoxedObject a => a -> IO (Ptr a)

+ Data.GI.Base.ManagedPtr: copyBoxed :: forall a. BoxedObject a => a -> IO (Ptr a)

- Data.GI.Base.ManagedPtr: copyBoxedPtr :: BoxedObject a => Ptr a -> IO (Ptr a)

+ Data.GI.Base.ManagedPtr: copyBoxedPtr :: forall a. BoxedObject a => Ptr a -> IO (Ptr a)

- Data.GI.Base.ManagedPtr: freeBoxed :: BoxedObject a => a -> IO ()

+ Data.GI.Base.ManagedPtr: freeBoxed :: forall a. BoxedObject a => a -> IO ()

- Data.GI.Base.ManagedPtr: newBoxed :: BoxedObject a => (ForeignPtr a -> a) -> Ptr a -> IO a

+ Data.GI.Base.ManagedPtr: newBoxed :: forall a. BoxedObject a => (ForeignPtr a -> a) -> Ptr a -> IO a

- Data.GI.Base.ManagedPtr: touchManagedPtr :: ForeignPtrNewtype a => a -> IO ()

+ Data.GI.Base.ManagedPtr: touchManagedPtr :: forall a. ForeignPtrNewtype a => a -> IO ()

- Data.GI.Base.ManagedPtr: unsafeCastTo :: (GObject o, GObject o') => (ForeignPtr o' -> o') -> o -> IO o'

+ Data.GI.Base.ManagedPtr: unsafeCastTo :: forall o o'. (GObject o, GObject o') => (ForeignPtr o' -> o') -> o -> IO o'

- Data.GI.Base.ManagedPtr: unsafeManagedPtrCastPtr :: ForeignPtrNewtype a => a -> Ptr b

+ Data.GI.Base.ManagedPtr: unsafeManagedPtrCastPtr :: forall a b. ForeignPtrNewtype a => a -> Ptr b

- Data.GI.Base.ManagedPtr: wrapBoxed :: BoxedObject a => (ForeignPtr a -> a) -> Ptr a -> IO a

+ Data.GI.Base.ManagedPtr: wrapBoxed :: forall a. BoxedObject a => (ForeignPtr a -> a) -> Ptr a -> IO a

- Data.GI.Base.ManagedPtr: wrapObject :: (GObject a, GObject b) => (ForeignPtr a -> a) -> Ptr b -> IO a

+ Data.GI.Base.ManagedPtr: wrapObject :: forall a b. (GObject a, GObject b) => (ForeignPtr a -> a) -> Ptr b -> IO a

- Data.GI.Base.Properties: constructObjectPropertyBoxed :: BoxedObject a => String -> Maybe a -> IO (String, GValue)

+ Data.GI.Base.Properties: constructObjectPropertyBoxed :: forall a. (BoxedObject a) => String -> Maybe a -> IO (String, GValue)

- Data.GI.Base.Properties: constructObjectPropertyFlags :: (IsGFlag a, BoxedFlags a) => String -> [a] -> IO (String, GValue)

+ Data.GI.Base.Properties: constructObjectPropertyFlags :: forall a. (IsGFlag a, BoxedFlags a) => String -> [a] -> IO (String, GValue)

- Data.GI.Base.Properties: constructObjectPropertyObject :: GObject a => String -> Maybe a -> IO (String, GValue)

+ Data.GI.Base.Properties: constructObjectPropertyObject :: forall a. GObject a => String -> Maybe a -> IO (String, GValue)

- Data.GI.Base.Properties: getObjectPropertyBoxed :: (GObject a, BoxedObject b) => a -> String -> (ForeignPtr b -> b) -> IO (Maybe b)

+ Data.GI.Base.Properties: getObjectPropertyBoxed :: forall a b. (GObject a, BoxedObject b) => a -> String -> (ForeignPtr b -> b) -> IO (Maybe b)

- Data.GI.Base.Properties: getObjectPropertyEnum :: (GObject a, Enum b, BoxedEnum b) => a -> String -> IO b

+ Data.GI.Base.Properties: getObjectPropertyEnum :: forall a b. (GObject a, Enum b, BoxedEnum b) => a -> String -> IO b

- Data.GI.Base.Properties: getObjectPropertyFlags :: (GObject a, IsGFlag b, BoxedFlags b) => a -> String -> IO [b]

+ Data.GI.Base.Properties: getObjectPropertyFlags :: forall a b. (GObject a, IsGFlag b, BoxedFlags b) => a -> String -> IO [b]

- Data.GI.Base.Properties: getObjectPropertyObject :: (GObject a, GObject b) => a -> String -> (ForeignPtr b -> b) -> IO (Maybe b)

+ Data.GI.Base.Properties: getObjectPropertyObject :: forall a b. (GObject a, GObject b) => a -> String -> (ForeignPtr b -> b) -> IO (Maybe b)

- Data.GI.Base.Properties: setObjectPropertyBoxed :: (GObject a, BoxedObject b) => a -> String -> Maybe b -> IO ()

+ Data.GI.Base.Properties: setObjectPropertyBoxed :: forall a b. (GObject a, BoxedObject b) => a -> String -> Maybe b -> IO ()

- Data.GI.Base.Properties: setObjectPropertyFlags :: (IsGFlag b, BoxedFlags b, GObject a) => a -> String -> [b] -> IO ()

+ Data.GI.Base.Properties: setObjectPropertyFlags :: forall a b. (IsGFlag b, BoxedFlags b, GObject a) => a -> String -> [b] -> IO ()

- Data.GI.Base.Properties: setObjectPropertyObject :: (GObject a, GObject b) => a -> String -> Maybe b -> IO ()

+ Data.GI.Base.Properties: setObjectPropertyObject :: forall a b. (GObject a, GObject b) => a -> String -> Maybe b -> IO ()

- Data.GI.Base.ShortPrelude: class Monad (m :: * -> *)

+ Data.GI.Base.ShortPrelude: class Applicative m => Monad (m :: * -> *)

- Data.GI.Base.ShortPrelude: error :: [Char] -> a

+ Data.GI.Base.ShortPrelude: error :: HasCallStack => [Char] -> a

- Data.GI.Base.ShortPrelude: length :: [a] -> Int

+ Data.GI.Base.ShortPrelude: length :: Foldable t => forall a. t a -> Int

- Data.GI.Base.ShortPrelude: mapM :: Monad m => (a -> m b) -> [a] -> m [b]

+ Data.GI.Base.ShortPrelude: mapM :: Traversable t => forall (m :: * -> *) a b. Monad m => (a -> m b) -> t a -> m (t b)

- Data.GI.Base.ShortPrelude: mapM_ :: Monad m => (a -> m b) -> [a] -> m ()

+ Data.GI.Base.ShortPrelude: mapM_ :: (Foldable t, Monad m) => (a -> m b) -> t a -> m ()

- Data.GI.Base.ShortPrelude: undefined :: a

+ Data.GI.Base.ShortPrelude: undefined :: HasCallStack => a

- Data.GI.Base.ShortPrelude: when :: Monad m => Bool -> m () -> m ()

+ Data.GI.Base.ShortPrelude: when :: Applicative f => Bool -> f () -> f ()

- Data.GI.Base.Signals: after :: (GObject object, MonadIO m, SignalInfo info) => object -> SignalProxy object info -> HaskellCallbackType info -> m SignalHandlerId

+ Data.GI.Base.Signals: after :: forall object info m. (GObject object, MonadIO m, SignalInfo info) => object -> SignalProxy object info -> HaskellCallbackType info -> m SignalHandlerId

- Data.GI.Base.Signals: class SignalInfo (info :: *) where type family HaskellCallbackType info

+ Data.GI.Base.Signals: class SignalInfo (info :: *) where type HaskellCallbackType info where {

- Data.GI.Base.Signals: on :: (GObject object, MonadIO m, SignalInfo info) => object -> SignalProxy object info -> HaskellCallbackType info -> m SignalHandlerId

+ Data.GI.Base.Signals: on :: forall object info m. (GObject object, MonadIO m, SignalInfo info) => object -> SignalProxy object info -> HaskellCallbackType info -> m SignalHandlerId

- Data.GI.Base.Utils: allocMem :: Storable a => IO (Ptr a)

+ Data.GI.Base.Utils: allocMem :: forall a. Storable a => IO (Ptr a)

- Data.GI.Base.Utils: callocBoxedBytes :: BoxedObject a => Int -> IO (Ptr a)

+ Data.GI.Base.Utils: callocBoxedBytes :: forall a. BoxedObject a => Int -> IO (Ptr a)

- Data.GI.Base.Utils: callocMem :: Storable a => IO (Ptr a)

+ Data.GI.Base.Utils: callocMem :: forall a. Storable a => IO (Ptr a)

Files

haskell-gi-base.cabal +2/−2

haskell-gi-base.cabal view

@@ -1,5 +1,5 @@ name:                haskell-gi-base-version:             0.15+version:             0.16 synopsis:            Foundation for libraries generated by haskell-gi description:         Foundation for libraries generated by haskell-gi homepage:            https://github.com/haskell-gi/haskell-gi-base@@ -51,5 +51,5 @@    build-tools:         hsc2hs   extensions:          CPP, ForeignFunctionInterface, DoAndIfThenElse-  ghc-options:         -Wall -fwarn-incomplete-patterns+  ghc-options:         -Wall -Wno-redundant-constraints -fwarn-incomplete-patterns   c-sources:           src/c/hsgclosure.c