Safe Haskell	Safe
Language	Haskell2010

Sutori.Types.Constructors

Description

Synopsis

Documentation

A type will be represented by an ID

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

Instances

Eq SutType Source #
Methods (==) :: SutType -> SutType -> Bool # (/=) :: SutType -> SutType -> Bool #
Ord SutType Source #
Methods compare :: SutType -> SutType -> Ordering # (<) :: SutType -> SutType -> Bool # (<=) :: SutType -> SutType -> Bool # (>) :: SutType -> SutType -> Bool # (>=) :: SutType -> SutType -> Bool # max :: SutType -> SutType -> SutType # min :: SutType -> SutType -> SutType #
Show SutType Source #
Methods showsPrec :: Int -> SutType -> ShowS # show :: SutType -> String # showList :: [SutType] -> ShowS #

Extract the primitive from the type definition

Generalize two types to their LCA, if any

Constant primitive error type