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 |
- newtype TypePlugin = TypePlugin (ForeignPtr TypePlugin)
- noTypePlugin :: Maybe TypePlugin
- class ForeignPtrNewtype a => TypePluginK a
- data TypePluginCompleteInterfaceInfoMethodInfo
- typePluginCompleteInterfaceInfo :: (MonadIO m, TypePluginK a) => a -> GType -> GType -> InterfaceInfo -> m ()
- data TypePluginCompleteTypeInfoMethodInfo
- typePluginCompleteTypeInfo :: (MonadIO m, TypePluginK a) => a -> GType -> TypeInfo -> TypeValueTable -> m ()
- data TypePluginUnuseMethodInfo
- typePluginUnuse :: (MonadIO m, TypePluginK a) => a -> m ()
- data TypePluginUseMethodInfo
- typePluginUse :: (MonadIO m, TypePluginK a) => a -> m ()
Exported types
newtype TypePlugin Source
((~) * info (ResolveTypePluginMethod t TypePlugin), MethodInfo * info TypePlugin p) => IsLabel t (TypePlugin -> p) Source | |
((~) * info (ResolveTypePluginMethod t TypePlugin), MethodInfo * info TypePlugin p) => IsLabelProxy t (TypePlugin -> p) Source | |
type ParentTypes TypePlugin Source | |
type AttributeList TypePlugin Source | |
type SignalList TypePlugin Source |
class ForeignPtrNewtype a => TypePluginK a Source
(ForeignPtrNewtype o, IsDescendantOf TypePlugin o) => TypePluginK o Source | |
Methods
typePluginCompleteInterfaceInfo
data TypePluginCompleteInterfaceInfoMethodInfo Source
((~) (TYPE Lifted) signature (GType -> GType -> InterfaceInfo -> m ()), MonadIO m, TypePluginK a) => MethodInfo (TYPE Lifted) TypePluginCompleteInterfaceInfoMethodInfo a signature Source | |
typePluginCompleteInterfaceInfo :: (MonadIO m, TypePluginK a) => a -> GType -> GType -> InterfaceInfo -> m () Source
typePluginCompleteTypeInfo
data TypePluginCompleteTypeInfoMethodInfo Source
((~) (TYPE Lifted) signature (GType -> TypeInfo -> TypeValueTable -> m ()), MonadIO m, TypePluginK a) => MethodInfo (TYPE Lifted) TypePluginCompleteTypeInfoMethodInfo a signature Source | |
typePluginCompleteTypeInfo :: (MonadIO m, TypePluginK a) => a -> GType -> TypeInfo -> TypeValueTable -> m () Source
typePluginUnuse
data TypePluginUnuseMethodInfo Source
((~) (TYPE Lifted) signature (m ()), MonadIO m, TypePluginK a) => MethodInfo (TYPE Lifted) TypePluginUnuseMethodInfo a signature Source | |
typePluginUnuse :: (MonadIO m, TypePluginK a) => a -> m () Source
typePluginUse
data TypePluginUseMethodInfo Source
((~) (TYPE Lifted) signature (m ()), MonadIO m, TypePluginK a) => MethodInfo (TYPE Lifted) TypePluginUseMethodInfo a signature Source | |
typePluginUse :: (MonadIO m, TypePluginK a) => a -> m () Source