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 (ManagedPtr TypeFundamentalInfo)
- newZeroTypeFundamentalInfo :: MonadIO m => m TypeFundamentalInfo
- noTypeFundamentalInfo :: Maybe TypeFundamentalInfo
- getTypeFundamentalInfoTypeFlags :: MonadIO m => TypeFundamentalInfo -> m [TypeFundamentalFlags]
- setTypeFundamentalInfoTypeFlags :: MonadIO m => TypeFundamentalInfo -> [TypeFundamentalFlags] -> m ()
Exported types
newtype TypeFundamentalInfo Source #
WrappedPtr TypeFundamentalInfo Source # | |
(~) AttrOpTag tag AttrSet => Constructible TypeFundamentalInfo tag Source # | |
newZeroTypeFundamentalInfo :: MonadIO m => m TypeFundamentalInfo Source #
Construct a TypeFundamentalInfo
struct initialized to zero.
Properties
typeFlags
getTypeFundamentalInfoTypeFlags :: MonadIO m => TypeFundamentalInfo -> m [TypeFundamentalFlags] Source #
setTypeFundamentalInfoTypeFlags :: MonadIO m => TypeFundamentalInfo -> [TypeFundamentalFlags] -> m () Source #