Some operations to construct type-annotated FlatCurry programs.
Author: Michael Hanus
Version: May 2021
baseType
:: (String,String) -> TypeExpr
A base FlatCurry type. |
unitType
:: TypeExpr
|
charType
:: TypeExpr
|
boolType
:: TypeExpr
|
listType
:: TypeExpr -> TypeExpr
Constructs a list type from an element type. |
stringType
:: TypeExpr
|
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 ).
|
ioType
:: TypeExpr -> TypeExpr
|
tupleExpr
:: [AExpr TypeExpr] -> AExpr TypeExpr
Constructs a tuple expression. |
string2TAFCY
:: String -> AExpr TypeExpr
|
A base FlatCurry type.
|
Constructs a list type from an element type.
|
|
Generates an |
|
|