gi-gobject-2.0.22: GObject bindings

CopyrightWill Thompson Iñaki García Etxebarria and Jonas Platte
LicenseLGPL-2.1
MaintainerIñaki García Etxebarria
Safe HaskellNone
LanguageHaskell2010

GI.GObject.Interfaces.TypePlugin

Contents

Description

The GObject type system supports dynamic loading of types. The tTypePlugin interface is used to handle the lifecycle of dynamically loaded types. It goes as follows:

  1. 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 tTypePlugin interface.

  1. The type's implementation is referenced, e.g. through typeClassRef or through g_type_create_instance() (this is being called by g_object_new()) or through one of the above done on a type derived from newTypeId.
  2. This causes the type system to load the type's implementation by calling typePluginUse and typePluginCompleteTypeInfo on newTypePlugin.
  3. At some point the type's implementation isn't required anymore, e.g. after typeClassUnref or typeFreeInstance (called when the reference count of an instance drops to zero).
  4. This causes the type system to throw away the information retrieved from typePluginCompleteTypeInfo and then it calls typePluginUnuse on newTypePlugin.
  5. Things may repeat from the second step.

So basically, you need to implement a tTypePlugin 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.

tTypeModule is an implementation of tTypePlugin that already implements most of this except for the actual module loading and unloading. It even handles multiple registered types per module.

Synopsis

Exported types

newtype TypePlugin Source #

Memory-managed wrapper type.

Constructors

TypePlugin (ManagedPtr TypePlugin) 
Instances
Eq TypePlugin Source # 
Instance details

Defined in GI.GObject.Interfaces.TypePlugin

Methods

(==) :: TypePlugin -> TypePlugin -> Bool

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

WrappedPtr TypePlugin Source # 
Instance details

Defined in GI.GObject.Interfaces.TypePlugin

Methods

wrappedPtrCalloc :: IO (Ptr TypePlugin)

wrappedPtrCopy :: TypePlugin -> IO TypePlugin

wrappedPtrFree :: Maybe (GDestroyNotify TypePlugin)

noTypePlugin :: Maybe TypePlugin Source #

A convenience alias for Nothing :: Maybe TypePlugin.

class (ManagedPtrNewtype o, IsDescendantOf TypePlugin o) => IsTypePlugin o Source #

Type class for types which implement TypePlugin.

Instances
(ManagedPtrNewtype o, IsDescendantOf TypePlugin o) => IsTypePlugin o Source # 
Instance details

Defined in GI.GObject.Interfaces.TypePlugin

Methods

Overloaded methods

completeInterfaceInfo

typePluginCompleteInterfaceInfo Source #

Arguments

:: (HasCallStack, MonadIO m, IsTypePlugin a) 
=> a

plugin: the tTypePlugin

-> GType

instanceType: the tGType of an instantiable type to which the interface is added

-> GType

interfaceType: the tGType of the interface whose info is completed

-> InterfaceInfo

info: the tInterfaceInfo to fill in

-> 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 #

Arguments

:: (HasCallStack, MonadIO m, IsTypePlugin a) 
=> a

plugin: a tTypePlugin

-> GType

gType: the tGType whose info is completed

-> TypeInfo

info: the tTypeInfo struct to fill in

-> TypeValueTable

valueTable: the tTypeValueTable to fill in

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

typePluginUnuse Source #

Arguments

:: (HasCallStack, MonadIO m, IsTypePlugin a) 
=> a

plugin: a tTypePlugin

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

typePluginUse Source #

Arguments

:: (HasCallStack, MonadIO m, IsTypePlugin a) 
=> a

plugin: a tTypePlugin

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