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 fundamental types.
Exported types
newtype TypeFundamentalInfo Source
((~) * info (ResolveTypeFundamentalInfoMethod t TypeFundamentalInfo), MethodInfo * info TypeFundamentalInfo p) => IsLabel t (TypeFundamentalInfo -> p) Source | |
((~) * info (ResolveTypeFundamentalInfoMethod t TypeFundamentalInfo), MethodInfo * info TypeFundamentalInfo p) => IsLabelProxy t (TypeFundamentalInfo -> p) Source | |
newZeroTypeFundamentalInfo :: MonadIO m => m TypeFundamentalInfo Source
Construct a TypeFundamentalInfo
struct initialized to zero.