Data.GI.Base.BasicTypes

Basic types used in the bindings.

Memory management

data ManagedPtr a

Thin wrapper over ForeignPtr, supporting the extra notion of disowning, that is, not running the finalizers associated with the foreign ptr.

Constructors

ManagedPtr

Fields

• managedForeignPtr :: ForeignPtr a
• managedPtrAllocCallStack :: Maybe CallStack

  CallStack for the call that created the pointer.

• managedPtrIsDisowned :: IORef (Maybe CallStack)

  When disowned, the CallStack for the disowning call.

Instances

Eq (ManagedPtr a)

Two ManagedPtrs are equal if they wrap the same underlying C Ptr.

Defined in Data.GI.Base.BasicTypes

Methods

(==) :: ManagedPtr a -> ManagedPtr a -> Bool

(/=) :: ManagedPtr a -> ManagedPtr a -> Bool

class Coercible a (ManagedPtr ()) => ManagedPtrNewtype a where

A constraint ensuring that the given type is a newtype over a ManagedPtr.

Methods

toManagedPtr :: a -> ManagedPtr a

Instances

Coercible a (ManagedPtr ()) => ManagedPtrNewtype a

A default instance for IsManagedPtr for newtypes over ManagedPtr.

Defined in Data.GI.Base.BasicTypes

Methods

toManagedPtr :: a -> ManagedPtr a

class ManagedPtrNewtype a => BoxedPtr a where

Pointers to chunks of memory which we know how to copy and release.

Methods

boxedPtrCopy :: a -> IO a

Make a copy of the given BoxedPtr.

boxedPtrFree :: a -> IO ()

A pointer to a function for freeing the given pointer.

class BoxedPtr a => CallocPtr a where

A ptr to a memory block which we know how to allocate and fill with zero.

Methods

boxedPtrCalloc :: IO (Ptr a)

Allocate a zero-initialized block of memory for the given type.

data UnexpectedNullPointerReturn

A common omission in the introspection data is missing (nullable) annotations for return types, when they clearly are nullable. (A common idiom is "Returns: valid value, or %NULL if something went wrong.")

Haskell wrappers will raise this exception if the return value is an unexpected nullPtr.

Constructors

UnexpectedNullPointerReturn

Fields

• nullPtrErrorMsg :: Text

Instances

Exception UnexpectedNullPointerReturn

Defined in Data.GI.Base.BasicTypes

Methods

toException :: UnexpectedNullPointerReturn -> SomeException

fromException :: SomeException -> Maybe UnexpectedNullPointerReturn

displayException :: UnexpectedNullPointerReturn -> String

Show UnexpectedNullPointerReturn

Defined in Data.GI.Base.BasicTypes

Methods

showsPrec :: Int -> UnexpectedNullPointerReturn -> ShowS

show :: UnexpectedNullPointerReturn -> String

showList :: [UnexpectedNullPointerReturn] -> ShowS

Basic GLib / GObject types

class HasParentTypes a => TypedObject a where

A wrapped object that has an associated GLib type. This does not necessarily descend from GObject, that constraint is implemented by GObject below.

Methods

glibType :: IO GType

The GType for this object.

Instances

TypedObject GError

Defined in Data.GI.Base.GError

Methods

glibType :: IO GType

TypedObject GValue

Find the associated GType for GValue.

Defined in Data.GI.Base.GValue

Methods

glibType :: IO GType

TypedObject (GClosure a)

Find the associated GType for the given closure.

Defined in Data.GI.Base.GClosure

Methods

glibType :: IO GType

class (ManagedPtrNewtype a, TypedObject a) => GObject a

A wrapped GObject, or any other type that descends from it.

newtype GType

A newtype for use on the Haskell side.

Constructors

GType

Fields

• gtypeToCGType :: CGType

Instances

Show GType

Defined in Data.GI.Base.BasicTypes

Methods

showsPrec :: Int -> GType -> ShowS

show :: GType -> String

showList :: [GType] -> ShowS

Eq GType

Defined in Data.GI.Base.BasicTypes

Methods

(==) :: GType -> GType -> Bool

(/=) :: GType -> GType -> Bool

IsGValue GType

Defined in Data.GI.Base.GValue

Methods

gvalueGType_ :: IO GType

gvalueSet_ :: Ptr GValue -> GType -> IO ()

gvalueGet_ :: Ptr GValue -> IO GType

type CGType = Word64

A type identifier in the GLib type system. This is the low-level type associated with the representation in memory, when using this on the Haskell side use GType below.

gtypeName :: GType -> IO String

Get the name assigned to the given GType.

newtype GVariant

A GVariant. See Data.GI.Base.GVariant for further methods.

Constructors

GVariant (ManagedPtr GVariant)

Instances

IsGVariant GVariant

Defined in Data.GI.Base.GVariant

Methods

toGVariant :: GVariant -> IO GVariant

fromGVariant :: GVariant -> IO (Maybe GVariant)

toGVariantFormatString :: GVariant -> Text

class (ManagedPtrNewtype a, TypedObject a) => GBoxed a

Chunks of memory whose allocation/deallocation info has been registered with the GLib type system.

Instances

GBoxed GError

GErrors are registered as boxed in the GLib type system.

Defined in Data.GI.Base.GError

GBoxed GValue

GValues are registered as boxed in the GLib type system.

Defined in Data.GI.Base.GValue

GBoxed (GClosure a)

GClosures are registered as boxed in the GLib type system.

Defined in Data.GI.Base.GClosure

class TypedObject a => BoxedEnum a

Enums with an associated GType.

class TypedObject a => BoxedFlags a

Flags with an associated GType.

newtype GParamSpec

A GParamSpec. See Data.GI.Base.GParamSpec for further methods.

Constructors

GParamSpec (ManagedPtr GParamSpec)

Instances

IsGValue (Maybe GParamSpec)

Defined in Data.GI.Base.GValue

Methods

gvalueGType_ :: IO GType

gvalueSet_ :: Ptr GValue -> Maybe GParamSpec -> IO ()

gvalueGet_ :: Ptr GValue -> IO (Maybe GParamSpec)

noGParamSpec :: Maybe GParamSpec

A convenient synonym for Nothing :: Maybe GParamSpec.

data GArray a

A GArray. Marshalling for this type is done in Data.GI.Base.BasicConversions, it is mapped to a list on the Haskell side.

Constructors

GArray (Ptr (GArray a))

data GPtrArray a

A GPtrArray. Marshalling for this type is done in Data.GI.Base.BasicConversions, it is mapped to a list on the Haskell side.

Constructors

GPtrArray (Ptr (GPtrArray a))

data GByteArray

A GByteArray. Marshalling for this type is done in Data.GI.Base.BasicConversions, it is packed to a ByteString on the Haskell side.

Constructors

GByteArray (Ptr GByteArray)

data GHashTable a b

A GHashTable. It is mapped to a Map on the Haskell side.

Constructors

GHashTable (Ptr (GHashTable a b))

data GList a

A GList, mapped to a list on the Haskell side. Marshalling is done in Data.GI.Base.BasicConversions.

Constructors

GList (Ptr (GList a))

g_list_free :: Ptr (GList a) -> IO ()

Free the given GList.

data GSList a

A GSList, mapped to a list on the Haskell side. Marshalling is done in Data.GI.Base.BasicConversions.

Constructors

GSList (Ptr (GSList a))

g_slist_free :: Ptr (GSList a) -> IO ()

Free the given GSList.

class Enum a => IsGFlag a

An enum usable as a flag for a function.

Instances

IsGFlag GParamFlag

Defined in Data.GI.Base.GParamSpec

newtype PtrWrapped a

Some APIs, such as GHashTable, pass around scalar types wrapped into a pointer. We encode such a type as follows.

Constructors

PtrWrapped

Fields

• unwrapPtr :: Ptr a

type GDestroyNotify ptr = FunPtr (ptr -> IO ())

Destroy the memory pointed to by a given pointer type.

type GHashFunc a = FunPtr (PtrWrapped a -> IO Word32)

A pointer to a hashing function on the C side.

type GEqualFunc a = FunPtr (PtrWrapped a -> PtrWrapped a -> IO Int32)

A pointer to an equality checking function on the C side.