Copyright | Will Thompson Iñaki García Etxebarria and Jonas Platte |
---|---|
License | LGPL-2.1 |
Maintainer | Iñaki García Etxebarria (garetxe@gmail.com) |
Safe Haskell | None |
Language | Haskell2010 |
The GObject type system supports dynamic loading of types.
The TypePlugin
interface is used to handle the lifecycle
of dynamically loaded types. It goes as follows:
- The type is initially introduced (usually upon loading the module the first time, or by your main application that knows what modules introduces what types), like this:
C code
new_type_id = g_type_register_dynamic (parent_type_id, "TypeName", new_type_plugin, type_flags);
where newTypePlugin
is an implementation of the
TypePlugin
interface.
- The type's implementation is referenced, e.g. through
typeClassRef
or throughg_type_create_instance()
(this is being called byg_object_new()
) or through one of the above done on a type derived fromnewTypeId
. - This causes the type system to load the type's implementation by
calling
typePluginUse
andtypePluginCompleteTypeInfo
onnewTypePlugin
. - At some point the type's implementation isn't required anymore,
e.g. after
typeClassUnref
ortypeFreeInstance
(called when the reference count of an instance drops to zero). - This causes the type system to throw away the information retrieved
from
typePluginCompleteTypeInfo
and then it callstypePluginUnuse
onnewTypePlugin
. - Things may repeat from the second step.
So basically, you need to implement a TypePlugin
type that
carries a use_count, once use_count goes from zero to one, you need
to load the implementation to successfully handle the upcoming
typePluginCompleteTypeInfo
call. Later, maybe after
succeeding use/unuse calls, once use_count drops to zero, you can
unload the implementation again. The type system makes sure to call
typePluginUse
and typePluginCompleteTypeInfo
again
when the type is needed again.
TypeModule
is an implementation of TypePlugin
that already
implements most of this except for the actual module loading and
unloading. It even handles multiple registered types per module.
Synopsis
- newtype TypePlugin = TypePlugin (ManagedPtr TypePlugin)
- noTypePlugin :: Maybe TypePlugin
- class ManagedPtrNewtype a => IsTypePlugin a
- typePluginCompleteInterfaceInfo :: (HasCallStack, MonadIO m, IsTypePlugin a) => a -> GType -> GType -> InterfaceInfo -> m ()
- typePluginCompleteTypeInfo :: (HasCallStack, MonadIO m, IsTypePlugin a) => a -> GType -> TypeInfo -> TypeValueTable -> m ()
- typePluginUnuse :: (HasCallStack, MonadIO m, IsTypePlugin a) => a -> m ()
- typePluginUse :: (HasCallStack, MonadIO m, IsTypePlugin a) => a -> m ()
Exported types
newtype TypePlugin Source #
Memory-managed wrapper type.
Instances
WrappedPtr TypePlugin Source # | |
Defined in GI.GObject.Interfaces.TypePlugin wrappedPtrCalloc :: IO (Ptr TypePlugin) # wrappedPtrCopy :: TypePlugin -> IO TypePlugin # wrappedPtrFree :: Maybe (FunPtr (Ptr TypePlugin -> IO ())) # | |
IsTypePlugin TypePlugin Source # | |
Defined in GI.GObject.Interfaces.TypePlugin |
noTypePlugin :: Maybe TypePlugin Source #
A convenience alias for Nothing
:: Maybe
TypePlugin
.
class ManagedPtrNewtype a => IsTypePlugin a Source #
Type class for types which implement TypePlugin
.
Instances
IsTypePlugin TypePlugin Source # | |
Defined in GI.GObject.Interfaces.TypePlugin | |
IsTypePlugin TypeModule Source # | |
Defined in GI.GObject.Objects.TypeModule |
Methods
completeInterfaceInfo
typePluginCompleteInterfaceInfo Source #
:: (HasCallStack, MonadIO m, IsTypePlugin a) | |
=> a |
|
-> GType |
|
-> GType |
|
-> InterfaceInfo |
|
-> m () |
Calls the completeInterfaceInfo
function from the
GTypePluginClass
of plugin
. There should be no need to use this
function outside of the GObject type system itself.
completeTypeInfo
typePluginCompleteTypeInfo Source #
:: (HasCallStack, MonadIO m, IsTypePlugin a) | |
=> a |
|
-> GType |
|
-> TypeInfo |
|
-> TypeValueTable |
|
-> m () |
Calls the completeTypeInfo
function from the GTypePluginClass
of plugin
.
There should be no need to use this function outside of the GObject
type system itself.
unuse
:: (HasCallStack, MonadIO m, IsTypePlugin a) | |
=> a |
|
-> m () |
Calls the unusePlugin
function from the GTypePluginClass
of
plugin
. There should be no need to use this function outside of
the GObject type system itself.
use
:: (HasCallStack, MonadIO m, IsTypePlugin a) | |
=> a |
|
-> m () |
Calls the usePlugin
function from the GTypePluginClass
of
plugin
. There should be no need to use this function outside of
the GObject type system itself.