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).

On :: (GObject obj, SignalInfo info) => SignalProxy obj info -> HaskellCallbackType info -> AttrOp obj tag

Connect the given signal to a signal handler.

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

HasParentTypes (GClosure a)

Defined in Data.GI.Base.GClosure

GBoxed (GClosure a)

GClosures are registered as boxed in the GLib type system.

Defined in Data.GI.Base.GClosure

TypedObject (GClosure a)

Find the associated GType for the given closure.

Defined in Data.GI.Base.GClosure

Methods

glibType :: IO GType

type ParentTypes (GClosure a)

There are no types in the bindings that a closure can be safely cast to.

Defined in Data.GI.Base.GClosure

type ParentTypes (GClosure a) = '[] :: [Type]

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 CLong

Defined in Data.GI.Base.GValue

Methods

toGValue :: CLong -> IO GValue

fromGValue :: GValue -> IO CLong

IsGValue CUInt

Defined in Data.GI.Base.GValue

Methods

toGValue :: CUInt -> IO GValue

fromGValue :: GValue -> IO CUInt

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

HasParentTypes GValue

Defined in Data.GI.Base.GValue

GBoxed GValue

GValues are registered as boxed in the GLib type system.

Defined in Data.GI.Base.GValue

TypedObject GValue

Find the associated GType for GValue.

Defined in Data.GI.Base.GValue

Methods

glibType :: IO GType

type ParentTypes GValue

There are no types in the bindings that a GValue can be safely cast to.

Defined in Data.GI.Base.GValue

type ParentTypes GValue = '[] :: [Type]

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