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.
- newtype TypeFundamentalInfo = TypeFundamentalInfo (ForeignPtr TypeFundamentalInfo)
- newZeroTypeFundamentalInfo :: MonadIO m => m TypeFundamentalInfo
- noTypeFundamentalInfo :: Maybe TypeFundamentalInfo
- typeFundamentalInfoReadTypeFlags :: MonadIO m => TypeFundamentalInfo -> m [TypeFundamentalFlags]
- typeFundamentalInfoTypeFlags :: AttrLabelProxy "typeFlags"
- typeFundamentalInfoWriteTypeFlags :: MonadIO m => TypeFundamentalInfo -> [TypeFundamentalFlags] -> m ()
Exported types
newtype TypeFundamentalInfo Source
(~) AttrOpTag tag AttrSet => Constructible TypeFundamentalInfo tag | |
((~) * info (ResolveTypeFundamentalInfoMethod t TypeFundamentalInfo), MethodInfo * info TypeFundamentalInfo p) => IsLabelProxy t (TypeFundamentalInfo -> p) | |
type AttributeList TypeFundamentalInfo |
newZeroTypeFundamentalInfo :: MonadIO m => m TypeFundamentalInfo Source
Construct a TypeFundamentalInfo
struct initialized to zero.
Properties
TypeFlags
typeFundamentalInfoReadTypeFlags :: MonadIO m => TypeFundamentalInfo -> m [TypeFundamentalFlags] Source
typeFundamentalInfoTypeFlags :: AttrLabelProxy "typeFlags" Source
typeFundamentalInfoWriteTypeFlags :: MonadIO m => TypeFundamentalInfo -> [TypeFundamentalFlags] -> m () Source