ivory-0.1.0.0: Safe embedded C programming.

Safe HaskellNone

Ivory.Language.Syntax.Type

Documentation

data Type Source

Constructors

TyVoid

Unit type

TyInt IntSize

Signed ints

TyWord WordSize

Unsigned ints

TyBool

Booleans

TyChar

Characters

TyFloat

Floats

TyDouble

Doubles

TyProc Type [Type]

Procedures

TyRef Type

References

TyConstRef Type

Constant References

TyPtr Type

Pointers

TyArr Int Type

Arrays

TyStruct String

Structures

TyCArray Type

C Arrays

TyOpaque

Opaque type---not implementable.

Instances

data Typed a Source

Constructors

Typed 

Fields

tType :: Type
 
tValue :: a
 

Instances

Functor Typed 
Eq a => Eq (Typed a) 
Ord a => Ord (Typed a) 
Show a => Show (Typed a) 
Lift a0 => Lift (Typed a0)