Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Sutori.Types.Constructors
Description
- type SutTypeID = Int
- data SutType
- primitiveType :: SutType -> SutPrimitive
- generalizeTypes :: SutType -> SutType -> SutType
- primitiveError :: SutType
Documentation
Sutori type constructors
Constructors
SutPrimitiveType SutPrimitive | A Primitive Type |
SutDirection SutTypeID | A Direction (Pointer) to a value of some type |
SutChain Int SutTypeID | A Chain (Array) of fixed size of element type |
SutMachine [(SutID, SutTypeID)] | A Machine (Struct) of different components |
SutThing [(SutID, SutTypeID)] | A Thing (Union) that might have different names |
primitiveType :: SutType -> SutPrimitive Source #
Extract the primitive from the type definition
primitiveError :: SutType Source #
Constant primitive error type