| Copyright | Will Thompson Iñaki García Etxebarria and Jonas Platte |
|---|---|
| License | LGPL-2.1 |
| Maintainer | Iñaki García Etxebarria |
| Safe Haskell | None |
| Language | Haskell2010 |
GI.GObject.Structs.TypeInterface
Description
An opaque structure used as the base of all interface types.
Synopsis
- newtype TypeInterface = TypeInterface (ManagedPtr TypeInterface)
- newZeroTypeInterface :: MonadIO m => m TypeInterface
- typeInterfaceAddPrerequisite :: (HasCallStack, MonadIO m) => GType -> GType -> m ()
- typeInterfaceGetPlugin :: (HasCallStack, MonadIO m) => GType -> GType -> m TypePlugin
- typeInterfacePeek :: (HasCallStack, MonadIO m) => TypeClass -> GType -> m TypeInterface
- typeInterfacePeekParent :: (HasCallStack, MonadIO m) => TypeInterface -> m TypeInterface
- typeInterfacePrerequisites :: (HasCallStack, MonadIO m) => GType -> m [GType]
Exported types
newtype TypeInterface Source #
Memory-managed wrapper type.
Constructors
| TypeInterface (ManagedPtr TypeInterface) |
Instances
| Eq TypeInterface Source # | |
Defined in GI.GObject.Structs.TypeInterface Methods (==) :: TypeInterface -> TypeInterface -> Bool # (/=) :: TypeInterface -> TypeInterface -> Bool # | |
| CallocPtr TypeInterface Source # | |
Defined in GI.GObject.Structs.TypeInterface Methods boxedPtrCalloc :: IO (Ptr TypeInterface) # | |
| BoxedPtr TypeInterface Source # | |
Defined in GI.GObject.Structs.TypeInterface | |
| ManagedPtrNewtype TypeInterface Source # | |
Defined in GI.GObject.Structs.TypeInterface Methods | |
| tag ~ 'AttrSet => Constructible TypeInterface tag Source # | |
Defined in GI.GObject.Structs.TypeInterface Methods new :: MonadIO m => (ManagedPtr TypeInterface -> TypeInterface) -> [AttrOp TypeInterface tag] -> m TypeInterface # | |
newZeroTypeInterface :: MonadIO m => m TypeInterface Source #
Construct a TypeInterface struct initialized to zero.
Methods
Overloaded methods
addPrerequisite
typeInterfaceAddPrerequisite Source #
Arguments
| :: (HasCallStack, MonadIO m) | |
| => GType |
|
| -> GType |
|
| -> m () |
Adds prerequisiteType to the list of prerequisites of interfaceType.
This means that any type implementing interfaceType must also implement
prerequisiteType. Prerequisites can be thought of as an alternative to
interface derivation (which GType doesn't support). An interface can have
at most one instantiatable prerequisite type.
getPlugin
typeInterfaceGetPlugin Source #
Arguments
| :: (HasCallStack, MonadIO m) | |
| => GType |
|
| -> GType |
|
| -> m TypePlugin | Returns: the |
Returns the TypePlugin structure for the dynamic interface
interfaceType which has been added to instanceType, or Nothing
if interfaceType has not been added to instanceType or does
not have a TypePlugin structure. See typeAddInterfaceDynamic.
peek
Arguments
| :: (HasCallStack, MonadIO m) | |
| => TypeClass |
|
| -> GType |
|
| -> m TypeInterface | Returns: the |
Returns the TypeInterface structure of an interface to which the
passed in class conforms.
peekParent
typeInterfacePeekParent Source #
Arguments
| :: (HasCallStack, MonadIO m) | |
| => TypeInterface |
|
| -> m TypeInterface | Returns: the
corresponding |
Returns the corresponding TypeInterface structure of the parent type
of the instance type to which gIface belongs. This is useful when
deriving the implementation of an interface from the parent type and
then possibly overriding some methods.
prerequisites
typeInterfacePrerequisites Source #
Arguments
| :: (HasCallStack, MonadIO m) | |
| => GType |
|
| -> m [GType] | Returns: a
newly-allocated zero-terminated array of |
Returns the prerequisites of an interfaces type.
Since: 2.2