Module FlatCurry.Typed.Build

baseType :: (String,String) -> TypeExpr   

A base FlatCurry type.

Further infos:

• solution complete, i.e., able to compute all solutions

(~>) :: TypeExpr -> TypeExpr -> TypeExpr   

A function type.

Further infos:

• defined as right-associative infix operator with precedence 9
• solution complete, i.e., able to compute all solutions

unitType :: TypeExpr   

Type () as a FlatCurry type.

Further infos:

• solution complete, i.e., able to compute all solutions

charType :: TypeExpr   

Type Char as a FlatCurry type.

Further infos:

• solution complete, i.e., able to compute all solutions

boolType :: TypeExpr   

Type Bool as a FlatCurry type.

Further infos:

• solution complete, i.e., able to compute all solutions

listType :: TypeExpr -> TypeExpr   

Constructs a list type from an element type.

Further infos:

• solution complete, i.e., able to compute all solutions

stringType :: TypeExpr   

Type String as a FlatCurry type.

Further infos:

• solution complete, i.e., able to compute all solutions

tupleType :: [TypeExpr] -> TypeExpr   

Constructs a tuple type from list of component types.

tupleCons :: Int -> (String,String)   

Generates an n-ary tuple constructor (only meaningful for n>1).

tupleExpr :: [AExpr TypeExpr] -> AExpr TypeExpr   

Constructs a tuple expression.

string2TAFCY :: String -> AExpr TypeExpr   

Further infos:

• solution complete, i.e., able to compute all solutions