| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ivory.Language.Syntax.Type
Documentation
Constructors
| TyVoid | Unit type |
| TyInt IntSize | Signed ints |
| TyWord WordSize | Unsigned ints |
| TyIndex Integer | Indices with an upper bound |
| TyBool | Booleans |
| TyChar | Characters |
| TyFloat | Floats |
| TyDouble | Doubles |
| TyProc Type [Type] | Procedures |
| TyRef Type | References |
| TyConstRef Type | Constant References |
| TyPtr Type | Pointers |
| TyConstPtr Type | Constant Pointers |
| TyArr Int Type | Arrays |
| TyStruct String | Structures |
| TyCArray Type | C Arrays |
| TyOpaque | Opaque type---not implementable. |