packages feed

haskell-gi-base 0.20.8 → 0.21.0

raw patch · 4 files changed

+23/−8 lines, 4 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

- 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.BasicTypes: instance a ~ Data.GI.Base.BasicTypes.UnMaybe a => Data.GI.Base.BasicTypes.NullToNothing a
- 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.Map.Base.Map 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.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: GValue :: (ManagedPtr GValue) -> GValue
+ Data.GI.Base: [::=] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed tag info obj, (AttrSetTypeConstraint info) b) => AttrLabelProxy (attr :: Symbol) -> (obj -> b) -> AttrOp obj tag
+ Data.GI.Base: [::~] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed 'AttrSet info obj, AttrOpAllowed 'AttrGet info obj, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (obj -> a -> b) -> AttrOp obj tag
+ Data.GI.Base: [:=>] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, (AttrSetTypeConstraint info) b) => AttrLabelProxy (attr :: Symbol) -> IO b -> AttrOp obj tag
+ Data.GI.Base: [:=] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, (AttrSetTypeConstraint info) b) => AttrLabelProxy (attr :: Symbol) -> b -> AttrOp obj tag
+ Data.GI.Base: [:~>] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed 'AttrSet info obj, AttrOpAllowed 'AttrGet info obj, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (a -> IO b) -> AttrOp obj tag
+ Data.GI.Base: [:~] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed 'AttrSet info obj, AttrOpAllowed 'AttrGet info obj, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (a -> b) -> AttrOp obj tag
+ Data.GI.Base: [PropertyNotify] :: (info ~ ResolveAttribute propName o, AttrInfo info, pl ~ AttrLabel info) => AttrLabelProxy propName -> SignalProxy o (GObjectNotifySignalInfo pl)
+ Data.GI.Base: after :: forall object info m. (GObject object, MonadIO m, SignalInfo info) => object -> SignalProxy object info -> HaskellCallbackType info -> m SignalHandlerId
+ Data.GI.Base: class IsGValue a
+ Data.GI.Base: data AttrOp obj (tag :: AttrOpTag)
+ Data.GI.Base: data SignalProxy (object :: *) (info :: *)
+ Data.GI.Base: fromGValue :: IsGValue a => GValue -> IO a
+ Data.GI.Base: get :: forall info attr obj result m. (AttrGetC info obj attr result, MonadIO m) => obj -> AttrLabelProxy (attr :: Symbol) -> m result
+ Data.GI.Base: new :: (Constructible a tag, MonadIO m) => (ManagedPtr a -> a) -> [AttrOp a tag] -> m a
+ Data.GI.Base: new' :: (MonadIO m, GObject o) => (ManagedPtr o -> o) -> [IO (GValueConstruct o)] -> m o
+ Data.GI.Base: newtype GValue
+ Data.GI.Base: on :: forall object info m. (GObject object, MonadIO m, SignalInfo info) => object -> SignalProxy object info -> HaskellCallbackType info -> m SignalHandlerId
+ Data.GI.Base: set :: forall o m. MonadIO m => o -> [AttrOp o 'AttrSet] -> m ()
+ Data.GI.Base: toGValue :: IsGValue a => a -> IO GValue
+ 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.BasicTypes: instance (a ~ Data.GI.Base.BasicTypes.UnMaybe a) => Data.GI.Base.BasicTypes.NullToNothing a
+ 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.Map.Internal.Map a b)
+ Data.GI.Base.GVariant: instance (GHC.Classes.Eq key, GHC.Classes.Eq value) => GHC.Classes.Eq (Data.GI.Base.GVariant.GVariantDictEntry key value)
+ Data.GI.Base.GVariant: instance (GHC.Show.Show key, GHC.Show.Show value) => GHC.Show.Show (Data.GI.Base.GVariant.GVariantDictEntry key value)
+ Data.GI.Base.Overloading: class IsLabel (x :: Symbol) a
+ Data.GI.Base.Overloading: fromLabel :: IsLabel x a => a
+ Data.GI.Base.ShortPrelude: (<$>) :: Functor f => a -> b -> f a -> f b
+ Data.GI.Base.ShortPrelude: AttrClear :: AttrOpTag
+ Data.GI.Base.ShortPrelude: AttrConstruct :: AttrOpTag
+ Data.GI.Base.ShortPrelude: AttrGet :: AttrOpTag
+ Data.GI.Base.ShortPrelude: AttrLabelProxy :: AttrLabelProxy
+ Data.GI.Base.ShortPrelude: AttrSet :: AttrOpTag
+ Data.GI.Base.ShortPrelude: CDouble :: Double -> CDouble
+ Data.GI.Base.ShortPrelude: CFloat :: Float -> CFloat
+ Data.GI.Base.ShortPrelude: CInt :: Int32 -> CInt
+ Data.GI.Base.ShortPrelude: CIntPtr :: Int64 -> CIntPtr
+ Data.GI.Base.ShortPrelude: CLong :: Int64 -> CLong
+ Data.GI.Base.ShortPrelude: CUInt :: Word32 -> CUInt
+ Data.GI.Base.ShortPrelude: CUIntPtr :: Word64 -> CUIntPtr
+ Data.GI.Base.ShortPrelude: CULong :: Word64 -> CULong
+ Data.GI.Base.ShortPrelude: SignalConnectAfter :: SignalConnectMode
+ Data.GI.Base.ShortPrelude: SignalConnectBefore :: SignalConnectMode
+ Data.GI.Base.ShortPrelude: [::=] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed tag info obj, (AttrSetTypeConstraint info) b) => AttrLabelProxy (attr :: Symbol) -> (obj -> b) -> AttrOp obj tag
+ Data.GI.Base.ShortPrelude: [::~] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed 'AttrSet info obj, AttrOpAllowed 'AttrGet info obj, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (obj -> a -> b) -> AttrOp obj tag
+ Data.GI.Base.ShortPrelude: [:=>] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, (AttrSetTypeConstraint info) b) => AttrLabelProxy (attr :: Symbol) -> IO b -> AttrOp obj tag
+ Data.GI.Base.ShortPrelude: [:=] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, (AttrSetTypeConstraint info) b) => AttrLabelProxy (attr :: Symbol) -> b -> AttrOp obj tag
+ Data.GI.Base.ShortPrelude: [:~>] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed 'AttrSet info obj, AttrOpAllowed 'AttrGet info obj, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (a -> IO b) -> AttrOp obj tag
+ Data.GI.Base.ShortPrelude: [:~] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed 'AttrSet info obj, AttrOpAllowed 'AttrGet info obj, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (a -> b) -> AttrOp obj tag
+ Data.GI.Base.ShortPrelude: attrClear :: (AttrInfo info, AttrBaseTypeConstraint info o) => Proxy info -> o -> IO ()
+ Data.GI.Base.ShortPrelude: attrConstruct :: (AttrInfo info, AttrBaseTypeConstraint info o, AttrSetTypeConstraint info b) => Proxy info -> b -> IO (GValueConstruct o)
+ Data.GI.Base.ShortPrelude: attrGet :: (AttrInfo info, AttrBaseTypeConstraint info o) => Proxy info -> o -> IO (AttrGetType info)
+ Data.GI.Base.ShortPrelude: attrSet :: (AttrInfo info, AttrBaseTypeConstraint info o, AttrSetTypeConstraint info b) => Proxy info -> o -> b -> IO ()
+ Data.GI.Base.ShortPrelude: castFunPtrToPtr :: () => FunPtr a -> Ptr b
+ Data.GI.Base.ShortPrelude: castPtrToFunPtr :: () => Ptr a -> FunPtr b
+ Data.GI.Base.ShortPrelude: chr :: Int -> Char
+ Data.GI.Base.ShortPrelude: class AttrInfo (info :: *) where {
+ Data.GI.Base.ShortPrelude: class Monad m => MonadIO (m :: * -> *)
+ Data.GI.Base.ShortPrelude: class SignalInfo (info :: *) where {
+ Data.GI.Base.ShortPrelude: clear :: forall info attr obj m. (AttrClearC info obj attr, MonadIO m) => obj -> AttrLabelProxy (attr :: Symbol) -> m ()
+ Data.GI.Base.ShortPrelude: connectSignal :: (SignalInfo info, GObject o) => SignalProxy o info -> o -> HaskellCallbackType info -> SignalConnectMode -> IO SignalHandlerId
+ Data.GI.Base.ShortPrelude: connectSignalFunPtr :: GObject o => o -> String -> FunPtr a -> SignalConnectMode -> IO SignalHandlerId
+ Data.GI.Base.ShortPrelude: data AttrLabelProxy (a :: Symbol)
+ Data.GI.Base.ShortPrelude: data AttrOp obj (tag :: AttrOpTag)
+ Data.GI.Base.ShortPrelude: data AttrOpTag
+ Data.GI.Base.ShortPrelude: data ByteString
+ Data.GI.Base.ShortPrelude: data Char
+ Data.GI.Base.ShortPrelude: data ForeignPtr a
+ Data.GI.Base.ShortPrelude: data FunPtr a
+ Data.GI.Base.ShortPrelude: data GObjectNotifySignalInfo (propName :: Symbol)
+ Data.GI.Base.ShortPrelude: data Int
+ Data.GI.Base.ShortPrelude: data Int16
+ Data.GI.Base.ShortPrelude: data Int32
+ Data.GI.Base.ShortPrelude: data Int64
+ Data.GI.Base.ShortPrelude: data Int8
+ Data.GI.Base.ShortPrelude: data Ptr a
+ Data.GI.Base.ShortPrelude: data SignalConnectMode
+ Data.GI.Base.ShortPrelude: data Symbol
+ Data.GI.Base.ShortPrelude: data Word16
+ Data.GI.Base.ShortPrelude: data Word32
+ Data.GI.Base.ShortPrelude: data Word64
+ Data.GI.Base.ShortPrelude: data Word8
+ Data.GI.Base.ShortPrelude: infixl 4 <$>
+ Data.GI.Base.ShortPrelude: liftIO :: MonadIO m => IO a -> m a
+ Data.GI.Base.ShortPrelude: newtype CDouble
+ Data.GI.Base.ShortPrelude: newtype CFloat
+ Data.GI.Base.ShortPrelude: newtype CInt
+ Data.GI.Base.ShortPrelude: newtype CIntPtr
+ Data.GI.Base.ShortPrelude: newtype CLong
+ Data.GI.Base.ShortPrelude: newtype CUInt
+ Data.GI.Base.ShortPrelude: newtype CUIntPtr
+ Data.GI.Base.ShortPrelude: newtype CULong
+ Data.GI.Base.ShortPrelude: nullPtr :: () => Ptr a
+ Data.GI.Base.ShortPrelude: onException :: () => IO a -> IO b -> IO a
+ Data.GI.Base.ShortPrelude: ord :: Char -> Int
+ Data.GI.Base.ShortPrelude: peek :: Storable a => Ptr a -> IO a
+ Data.GI.Base.ShortPrelude: plusPtr :: () => Ptr a -> Int -> Ptr b
+ Data.GI.Base.ShortPrelude: poke :: Storable a => Ptr a -> a -> IO ()
+ Data.GI.Base.ShortPrelude: sizeOf :: Storable a => a -> Int
+ Data.GI.Base.ShortPrelude: type AttrClearC info obj attr = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, (AttrBaseTypeConstraint info) obj, AttrOpAllowed 'AttrClear info obj)
+ Data.GI.Base.ShortPrelude: type AttrConstructC info obj attr value = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrConstruct info obj, (AttrSetTypeConstraint info) value)
+ Data.GI.Base.ShortPrelude: type AttrGetC info obj attr result = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, (AttrBaseTypeConstraint info) obj, AttrOpAllowed 'AttrGet info obj, result ~ AttrGetType info)
+ Data.GI.Base.ShortPrelude: type AttrSetC info obj attr value = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrSet info obj, (AttrSetTypeConstraint info) value)
+ Data.GI.Base.ShortPrelude: type CString = Ptr CChar
+ Data.GI.Base.ShortPrelude: type SignalHandlerId = CULong
+ Data.GI.Base.ShortPrelude: type family HaskellCallbackType info;
+ Data.GI.Base.ShortPrelude: unsafeForeignPtrToPtr :: () => ForeignPtr a -> Ptr a
+ Data.GI.Base.ShortPrelude: }
+ 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.Attributes: [::=] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ AttrSet, AttrOpAllowed tag info obj, (AttrSetTypeConstraint info) b) => AttrLabelProxy (attr :: Symbol) -> (obj -> b) -> AttrOp obj tag
+ Data.GI.Base.Attributes: [::=] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed tag info obj, (AttrSetTypeConstraint info) b) => AttrLabelProxy (attr :: Symbol) -> (obj -> b) -> AttrOp obj tag
- Data.GI.Base.Attributes: [::~] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ AttrSet, AttrOpAllowed AttrSet info obj, AttrOpAllowed AttrGet info obj, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (obj -> a -> b) -> AttrOp obj tag
+ Data.GI.Base.Attributes: [::~] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed 'AttrSet info obj, AttrOpAllowed 'AttrGet info obj, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (obj -> a -> b) -> AttrOp obj tag
- Data.GI.Base.Attributes: [:~>] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ AttrSet, AttrOpAllowed AttrSet info obj, AttrOpAllowed AttrGet info obj, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (a -> IO b) -> AttrOp obj tag
+ Data.GI.Base.Attributes: [:~>] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed 'AttrSet info obj, AttrOpAllowed 'AttrGet info obj, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (a -> IO b) -> AttrOp obj tag
- Data.GI.Base.Attributes: [:~] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ AttrSet, AttrOpAllowed AttrSet info obj, AttrOpAllowed AttrGet info obj, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (a -> b) -> AttrOp obj tag
+ Data.GI.Base.Attributes: [:~] :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed 'AttrSet info obj, AttrOpAllowed 'AttrGet info obj, (AttrSetTypeConstraint info) b, a ~ (AttrGetType info)) => AttrLabelProxy (attr :: Symbol) -> (a -> b) -> AttrOp obj tag
- 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 type AttrOrigin info where {
+ Data.GI.Base.Attributes: class AttrInfo (info :: *) where {
- Data.GI.Base.Attributes: set :: forall o m. 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.Attributes: type AttrClearC info obj attr = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, (AttrBaseTypeConstraint info) obj, AttrOpAllowed AttrClear info obj)
+ Data.GI.Base.Attributes: type AttrClearC info obj attr = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, (AttrBaseTypeConstraint info) obj, AttrOpAllowed 'AttrClear info obj)
- Data.GI.Base.Attributes: type AttrConstructC info obj attr value = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed AttrConstruct info obj, (AttrSetTypeConstraint info) value)
+ Data.GI.Base.Attributes: type AttrConstructC info obj attr value = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrConstruct info obj, (AttrSetTypeConstraint info) value)
- Data.GI.Base.Attributes: type AttrGetC info obj attr result = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, (AttrBaseTypeConstraint info) obj, AttrOpAllowed AttrGet info obj, result ~ AttrGetType info)
+ Data.GI.Base.Attributes: type AttrGetC info obj attr result = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, (AttrBaseTypeConstraint info) obj, AttrOpAllowed 'AttrGet info obj, result ~ AttrGetType info)
- Data.GI.Base.Attributes: type AttrSetC info obj attr value = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed AttrSet info obj, (AttrSetTypeConstraint info) value)
+ Data.GI.Base.Attributes: type AttrSetC info obj attr value = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrSet info obj, (AttrSetTypeConstraint info) value)
- Data.GI.Base.CallStack: data CallStack :: *
+ Data.GI.Base.CallStack: data CallStack
- Data.GI.Base.GObject: constructGObject :: forall o m. (GObject o, MonadIO m) => (ManagedPtr o -> o) -> [AttrOp o AttrConstruct] -> m o
+ Data.GI.Base.GObject: constructGObject :: forall o m. (GObject o, MonadIO m) => (ManagedPtr o -> o) -> [AttrOp o 'AttrConstruct] -> m o
- Data.GI.Base.ShortPrelude: ($) :: (a -> b) -> a -> b
+ Data.GI.Base.ShortPrelude: ($) :: () => a -> b -> a -> b
- Data.GI.Base.ShortPrelude: (++) :: [a] -> [a] -> [a]
+ Data.GI.Base.ShortPrelude: (++) :: () => [a] -> [a] -> [a]
- Data.GI.Base.ShortPrelude: (.) :: (b -> c) -> (a -> b) -> a -> c
+ Data.GI.Base.ShortPrelude: (.) :: () => b -> c -> a -> b -> a -> c
- Data.GI.Base.ShortPrelude: (=<<) :: Monad m => (a -> m b) -> m a -> m b
+ Data.GI.Base.ShortPrelude: (=<<) :: Monad m => a -> m b -> m a -> m b
- Data.GI.Base.ShortPrelude: (>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
+ Data.GI.Base.ShortPrelude: (>=>) :: Monad m => a -> m b -> b -> m c -> a -> m c
- Data.GI.Base.ShortPrelude: (>>=) :: Monad m => m a -> (a -> m b) -> m b
+ Data.GI.Base.ShortPrelude: (>>=) :: Monad m => m a -> a -> m b -> m b
- Data.GI.Base.ShortPrelude: data Bool :: *
+ Data.GI.Base.ShortPrelude: data Bool
- Data.GI.Base.ShortPrelude: data Double :: *
+ Data.GI.Base.ShortPrelude: data Double
- Data.GI.Base.ShortPrelude: data Float :: *
+ Data.GI.Base.ShortPrelude: data Float
- Data.GI.Base.ShortPrelude: data IO a :: * -> *
+ Data.GI.Base.ShortPrelude: data IO a
- Data.GI.Base.ShortPrelude: data Maybe a :: * -> *
+ Data.GI.Base.ShortPrelude: data Maybe a
- Data.GI.Base.ShortPrelude: length :: Foldable t => forall a. t a -> Int
+ Data.GI.Base.ShortPrelude: length :: Foldable t => t a -> Int
- Data.GI.Base.ShortPrelude: map :: (a -> b) -> [a] -> [b]
+ Data.GI.Base.ShortPrelude: map :: () => a -> b -> [a] -> [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 :: (Traversable t, Monad m) => a -> m b -> t a -> m t b
- Data.GI.Base.ShortPrelude: mapM_ :: (Foldable t, Monad m) => (a -> m b) -> t a -> m ()
+ Data.GI.Base.ShortPrelude: mapM_ :: (Foldable t, Monad m) => a -> m b -> t a -> m ()
- Data.GI.Base.Signals: class SignalInfo (info :: *) where type HaskellCallbackType info where {
+ Data.GI.Base.Signals: class SignalInfo (info :: *) where {

Files

ChangeLog.md view
@@ -1,3 +1,7 @@+### 0.21.0+++ New release to keep major version parity with the `haskell-gi` package, no changes otherwise.+ ### 0.20.8  + Fix a bug which could lead to crashes when releasing boxed objects, see [issue #130](https://github.com/haskell-gi/haskell-gi/issues/130).
Data/GI/Base/BasicConversions.hsc view
@@ -533,6 +533,9 @@              _ <- f ptr              mapZeroTerminatedCArray f (dataPtr `plusPtr` sizeOf ptr) +-- | Given a set of pointers to blocks of memory of the specified+-- size, copy the contents of these blocks to a freshly-allocated+-- (with `allocBytes`) continuous area of memory. packBlockArray :: Int -> [Ptr a] -> IO (Ptr a) packBlockArray size items = do   let nitems = length items
Data/GI/Base/GValue.hsc view
@@ -1,14 +1,16 @@ {-# LANGUAGE FlexibleInstances #-} module Data.GI.Base.GValue-    ( GValue(..)+    (+    -- * Constructing GValues+      GValue(..)     , IsGValue(..)+    , GValueConstruct(..) -    , newGValue         -- Build a new, empty, GValue of the given type-    , buildGValue       -- Build a new GValue and initialize to the given value+    , newGValue+    , buildGValue     , noGValue -    , GValueConstruct(..)-+    -- * Setters and getters     , set_string     , get_string     , set_pointer@@ -67,11 +69,13 @@  import Data.GI.Base.BasicTypes import Data.GI.Base.BasicConversions (cstringToText, textToCString)+ import Data.GI.Base.ManagedPtr import Data.GI.Base.Utils (callocBytes, freeMem)  newtype GValue = GValue (ManagedPtr GValue) +-- | A convenience alias for @`Nothing` :: `Maybe` `GValue`@. noGValue :: Maybe GValue noGValue = Nothing @@ -89,20 +93,24 @@ -- `GValue` (useful when constructing properties). data GValueConstruct o = GValueConstruct String GValue +-- | Build a new, empty, `GValue` of the given type. newGValue :: GType -> IO GValue newGValue (GType gtype) = do-  gvptr <- callocBytes #size GValue+  gvptr <- callocBytes (#size GValue)   _ <- g_value_init gvptr gtype   gv <- wrapBoxed GValue gvptr   return $! gv --- Build a new GValue and set the initial value, just for convenience+-- | A convenience function for building a new GValue and setting the+-- initial value. buildGValue :: GType -> (GValue -> a -> IO ()) -> a -> IO GValue buildGValue gtype setter val = do   gv <- newGValue gtype   setter gv val   return gv +-- | A convenience class for marshaling back and forth between Haskell+-- values and `GValue`s. class IsGValue a where     toGValue :: a -> IO GValue     fromGValue :: GValue -> IO a
haskell-gi-base.cabal view
@@ -1,5 +1,5 @@ name:                haskell-gi-base-version:             0.20.8+version:             0.21.0 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