Data.GI.Base

Convenience header for basic GObject-Introspection modules

See the documentation for each individual module for a description and usage help.

Documentation

data AttrOp obj (tag :: AttrOpTag) where

Constructors for the different operations allowed on an attribute.

Constructors

(:=) :: (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 infixr 0

Assign a value to an attribute

(:=>) :: (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 infixr 0

Assign the result of an IO action to an attribute

(:~) :: (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 infixr 0

Apply an update function to an attribute

(:~>) :: (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 infixr 0

Apply an IO update function to an attribute

(:&=) :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrTransferTypeConstraint info b, AttrSetTypeConstraint info (AttrTransferType info)) => AttrLabelProxy (attr :: Symbol) -> b -> AttrOp obj tag

Assign a value to an attribute, allocating any necessary memory for representing the Haskell value as a C value. Note that it is the responsibility of the caller to make sure that the memory is freed when no longer used, otherwise there will be a memory leak. In the majority of cases you probably want to use := instead, which has no potential memory leaks (at the cost of sometimes requiring some explicit Haskell -> C marshalling).

set :: forall o m. MonadIO m => o -> [AttrOp o 'AttrSet] -> m ()

Set a number of properties for some object.

get :: forall info attr obj result m. (AttrGetC info obj attr result, MonadIO m) => obj -> AttrLabelProxy (attr :: Symbol) -> m result

Get the value of an attribute for an object.

module Data.GI.Base.BasicConversions

module Data.GI.Base.BasicTypes

data GClosure a

The basic type. This corresponds to a wrapped GClosure on the C side, which is a boxed object.

Instances

BoxedObject (GClosure a)

Defined in Data.GI.Base.GClosure

Methods

boxedType :: GClosure a -> IO GType

new :: (Constructible a tag, MonadIO m) => (ManagedPtr a -> a) -> [AttrOp a tag] -> m a

Allocate a new instance of the given type, with the given attributes.

module Data.GI.Base.GError

module Data.GI.Base.GHashTable

class IsGValue a where

A convenience class for marshaling back and forth between Haskell values and GValues.

Methods

toGValue :: a -> IO GValue

fromGValue :: GValue -> IO a

Instances

IsGValue Bool

Defined in Data.GI.Base.GValue

Methods

toGValue :: Bool -> IO GValue

fromGValue :: GValue -> IO Bool

IsGValue Double

Defined in Data.GI.Base.GValue

Methods

toGValue :: Double -> IO GValue

fromGValue :: GValue -> IO Double

IsGValue Float

Defined in Data.GI.Base.GValue

Methods

toGValue :: Float -> IO GValue

fromGValue :: GValue -> IO Float

IsGValue Int32

Defined in Data.GI.Base.GValue

Methods

toGValue :: Int32 -> IO GValue

fromGValue :: GValue -> IO Int32

IsGValue Int64

Defined in Data.GI.Base.GValue

Methods

toGValue :: Int64 -> IO GValue

fromGValue :: GValue -> IO Int64

IsGValue Word32

Defined in Data.GI.Base.GValue

Methods

toGValue :: Word32 -> IO GValue

fromGValue :: GValue -> IO Word32

IsGValue Word64

Defined in Data.GI.Base.GValue

Methods

toGValue :: Word64 -> IO GValue

fromGValue :: GValue -> IO Word64

IsGValue CInt

Defined in Data.GI.Base.GValue

Methods

toGValue :: CInt -> IO GValue

fromGValue :: GValue -> IO CInt

IsGValue CUInt

Defined in Data.GI.Base.GValue

Methods

toGValue :: CUInt -> IO GValue

fromGValue :: GValue -> IO CUInt

IsGValue CLong

Defined in Data.GI.Base.GValue

Methods

toGValue :: CLong -> IO GValue

fromGValue :: GValue -> IO CLong

IsGValue CULong

Defined in Data.GI.Base.GValue

Methods

toGValue :: CULong -> IO GValue

fromGValue :: GValue -> IO CULong

IsGValue GType

Defined in Data.GI.Base.GValue

Methods

toGValue :: GType -> IO GValue

fromGValue :: GValue -> IO GType

IsGValue (Maybe String)

Defined in Data.GI.Base.GValue

Methods

toGValue :: Maybe String -> IO GValue

fromGValue :: GValue -> IO (Maybe String)

IsGValue (Maybe Text)

Defined in Data.GI.Base.GValue

Methods

toGValue :: Maybe Text -> IO GValue

fromGValue :: GValue -> IO (Maybe Text)

IsGValue (StablePtr a)

Defined in Data.GI.Base.GValue

Methods

toGValue :: StablePtr a -> IO GValue

fromGValue :: GValue -> IO (StablePtr a)

IsGValue (Ptr a)

Defined in Data.GI.Base.GValue

Methods

toGValue :: Ptr a -> IO GValue

fromGValue :: GValue -> IO (Ptr a)

newtype GValue

Haskell-side representation of a GValue.

Constructors

GValue (ManagedPtr GValue)

Instances

BoxedObject GValue

Defined in Data.GI.Base.GValue

Methods

boxedType :: GValue -> IO GType

module Data.GI.Base.GVariant

module Data.GI.Base.ManagedPtr

data SignalProxy (object :: *) (info :: *) where

Support for overloaded signal connectors.

Constructors

(:::) :: forall o info. SignalProxy o info -> Text -> SignalProxy o info

A signal connector annotated with a detail.

PropertyNotify :: (info ~ ResolveAttribute propName o, AttrInfo info, pl ~ AttrLabel info, KnownSymbol pl) => AttrLabelProxy propName -> SignalProxy o GObjectNotifySignalInfo

A signal connector for the notify signal on the given property.

Instances

info ~ ResolveSignal slot object => IsLabel slot (SignalProxy object info)

Support for overloaded labels.

Defined in Data.GI.Base.Signals

Methods

fromLabel :: SignalProxy object info

on :: forall object info m. (GObject object, MonadIO m, SignalInfo info) => object -> SignalProxy object info -> HaskellCallbackType info -> m SignalHandlerId

Connect a signal to a signal handler.

after :: forall object info m. (GObject object, MonadIO m, SignalInfo info) => object -> SignalProxy object info -> HaskellCallbackType info -> m SignalHandlerId

Connect a signal to a handler, running the handler after the default one.

asA :: (ManagedPtrNewtype a, ManagedPtrNewtype b, HasParentTypes b, IsDescendantOf a b) => b -> (ManagedPtr a -> a) -> a

Safe coercions to a parent class. For instance:

#show $ label `asA` Gtk.Widget