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 interface types.
- newtype TypeInterface = TypeInterface (ForeignPtr TypeInterface)
- newZeroTypeInterface :: MonadIO m => m TypeInterface
- noTypeInterface :: Maybe TypeInterface
- typeInterfaceAddPrerequisite :: MonadIO m => GType -> GType -> m ()
- typeInterfacePeek :: MonadIO m => TypeClass -> GType -> m TypeInterface
- data TypeInterfacePeekParentMethodInfo
- typeInterfacePeekParent :: MonadIO m => TypeInterface -> m TypeInterface
- typeInterfacePrerequisites :: MonadIO m => GType -> m [GType]
Exported types
newtype TypeInterface Source
(~) AttrOpTag tag AttrSet => Constructible TypeInterface tag | |
((~) * signature (m TypeInterface), MonadIO m) => MethodInfo * TypeInterfacePeekParentMethodInfo TypeInterface signature | |
((~) * info (ResolveTypeInterfaceMethod t TypeInterface), MethodInfo * info TypeInterface p) => IsLabelProxy t (TypeInterface -> p) | |
type AttributeList TypeInterface |
newZeroTypeInterface :: MonadIO m => m TypeInterface Source
Construct a TypeInterface
struct initialized to zero.
Methods
typeInterfaceAddPrerequisite
typeInterfaceAddPrerequisite :: MonadIO m => GType -> GType -> m () Source
typeInterfacePeek
typeInterfacePeek :: MonadIO m => TypeClass -> GType -> m TypeInterface Source
typeInterfacePeekParent
data TypeInterfacePeekParentMethodInfo Source
((~) * signature (m TypeInterface), MonadIO m) => MethodInfo * TypeInterfacePeekParentMethodInfo TypeInterface signature |
typeInterfacePeekParent :: MonadIO m => TypeInterface -> m TypeInterface Source
typeInterfacePrerequisites
typeInterfacePrerequisites :: MonadIO m => GType -> m [GType] Source