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
(~) AttrOpTag tag AttrSet => Constructible TypeClass tag | |
((~) * signature (m ()), MonadIO m) => MethodInfo * TypeClassUnrefMethodInfo TypeClass signature | |
((~) * signature (m TypeClass), MonadIO m) => MethodInfo * TypeClassPeekParentMethodInfo TypeClass signature | |
((~) * info (ResolveTypeClassMethod t TypeClass), MethodInfo * info TypeClass p) => IsLabelProxy t (TypeClass -> p) | |
type AttributeList TypeClass |
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
((~) * signature (m TypeClass), MonadIO m) => MethodInfo * TypeClassPeekParentMethodInfo TypeClass signature |
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
((~) * signature (m ()), MonadIO m) => MethodInfo * TypeClassUnrefMethodInfo TypeClass signature |
typeClassUnref :: MonadIO m => TypeClass -> m () Source