Copyright | (c) Mateusz Kłoczko 2016 |
---|---|
License | MIT |
Maintainer | mateusz.p.kloczko@gmail.com |
Stability | experimental |
Portability | GHC-only |
Safe Haskell | None |
Language | Haskell2010 |
Functions for obtaining types from GStorable methods and instances.
- isIntType :: Type -> Bool
- isPtrType :: Type -> Bool
- isIOType :: Type -> Bool
- isIOTyCon :: TyCon -> Bool
- isStatePrimType :: Type -> Bool
- isStatePrimTyCon :: TyCon -> Bool
- isRealWorldType :: Type -> Bool
- isRealWorldTyCon :: TyCon -> Bool
- isGStorableInstTyCon :: TyCon -> Bool
- hasConstraintKind :: Type -> Bool
- hasGStorableConstraints :: Type -> Bool
- getGStorableInstType :: Type -> Maybe Type
- getAlignmentType :: Type -> Maybe Type
- getSizeType :: Type -> Maybe Type
- getPeekType :: Type -> Maybe Type
- getPokeType :: Type -> Maybe Type
- getOffsetsType :: Type -> Maybe Type
- getGStorableType :: Type -> Maybe Type
- getGStorableMethodType :: Type -> Maybe Type
Documentation
isStatePrimType :: Type -> Bool Source #
Check whether the type is a State#
isStatePrimTyCon :: TyCon -> Bool Source #
Check whether the type constructor is a State#
isRealWorldType :: Type -> Bool Source #
Check whether the type is a RealWorld#
isRealWorldTyCon :: TyCon -> Bool Source #
Check whether the type constructor is a RealWorld#
isGStorableInstTyCon :: TyCon -> Bool Source #
Check whether the type constuctor is a GStorable
hasConstraintKind :: Type -> Bool Source #
Check whether the type is of kind * -> Constraint.
hasGStorableConstraints :: Type -> Bool Source #
Check whether the type has GStorable constraints.