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 |
An opaque structure used as the base of all classes.
- newtype TypeClass = TypeClass (ForeignPtr TypeClass)
- newZeroTypeClass :: MonadIO m => m TypeClass
- noTypeClass :: Maybe TypeClass
- typeClassAddPrivate :: MonadIO m => Ptr () -> Word64 -> m ()
- typeClassAdjustPrivateOffset :: MonadIO m => Ptr () -> Int32 -> m ()
- typeClassPeek :: MonadIO m => GType -> m TypeClass
- data TypeClassPeekParentMethodInfo
- typeClassPeekParent :: MonadIO m => TypeClass -> m TypeClass
- typeClassPeekStatic :: MonadIO m => GType -> m TypeClass
- typeClassRef :: MonadIO m => GType -> m TypeClass
- data TypeClassUnrefMethodInfo
- typeClassUnref :: MonadIO m => TypeClass -> m ()
Exported types
((~) * info (ResolveTypeClassMethod t TypeClass), MethodInfo * info TypeClass p) => IsLabel t (TypeClass -> p) Source | |
((~) * info (ResolveTypeClassMethod t TypeClass), MethodInfo * info TypeClass p) => IsLabelProxy t (TypeClass -> p) Source | |
((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) TypeClassUnrefMethodInfo TypeClass signature Source | |
((~) (TYPE Lifted) signature (m TypeClass), MonadIO m) => MethodInfo (TYPE Lifted) TypeClassPeekParentMethodInfo TypeClass signature Source | |
newZeroTypeClass :: MonadIO m => m TypeClass Source
Construct a TypeClass
struct initialized to zero.
Methods
typeClassAddPrivate
typeClassAddPrivate :: MonadIO m => Ptr () -> Word64 -> m () Source
typeClassAdjustPrivateOffset
typeClassAdjustPrivateOffset :: MonadIO m => Ptr () -> Int32 -> m () Source
typeClassPeek
typeClassPeek :: MonadIO m => GType -> m TypeClass Source
typeClassPeekParent
data TypeClassPeekParentMethodInfo Source
((~) (TYPE Lifted) signature (m TypeClass), MonadIO m) => MethodInfo (TYPE Lifted) TypeClassPeekParentMethodInfo TypeClass signature Source | |
typeClassPeekParent :: MonadIO m => TypeClass -> m TypeClass Source
typeClassPeekStatic
typeClassPeekStatic :: MonadIO m => GType -> m TypeClass Source
typeClassRef
typeClassRef :: MonadIO m => GType -> m TypeClass Source
typeClassUnref
data TypeClassUnrefMethodInfo Source
((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) TypeClassUnrefMethodInfo TypeClass signature Source | |
typeClassUnref :: MonadIO m => TypeClass -> m () Source