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 type instances.
- newtype TypeInstance = TypeInstance (ForeignPtr TypeInstance)
- newZeroTypeInstance :: MonadIO m => m TypeInstance
- noTypeInstance :: Maybe TypeInstance
Exported types
newtype TypeInstance Source
(~) AttrOpTag tag AttrSet => Constructible TypeInstance tag | |
((~) * info (ResolveTypeInstanceMethod t TypeInstance), MethodInfo * info TypeInstance p) => IsLabelProxy t (TypeInstance -> p) | |
type AttributeList TypeInstance |
newZeroTypeInstance :: MonadIO m => m TypeInstance Source
Construct a TypeInstance
struct initialized to zero.