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 |
A structure that provides information to the type system which is used specifically for managing interface types.
- newtype InterfaceInfo = InterfaceInfo (ForeignPtr InterfaceInfo)
- newZeroInterfaceInfo :: MonadIO m => m InterfaceInfo
- noInterfaceInfo :: Maybe InterfaceInfo
- interfaceInfoReadInterfaceData :: InterfaceInfo -> IO (Ptr ())
Exported types
newtype InterfaceInfo Source
((~) * info (ResolveInterfaceInfoMethod t InterfaceInfo), MethodInfo * info InterfaceInfo p) => IsLabel t (InterfaceInfo -> p) Source | |
((~) * info (ResolveInterfaceInfoMethod t InterfaceInfo), MethodInfo * info InterfaceInfo p) => IsLabelProxy t (InterfaceInfo -> p) Source | |
newZeroInterfaceInfo :: MonadIO m => m InterfaceInfo Source
Construct a InterfaceInfo
struct initialized to zero.
Properties
InterfaceData
interfaceInfoReadInterfaceData :: InterfaceInfo -> IO (Ptr ()) Source