Module FlatCurry.Build

Auxiliaries to build FlatCurry types and expressions.

Author: Michael Hanus

Version: December 2023

Summary of exported operations:

fcBool :: TypeExpr  Deterministic 
The FlatCurry type Bool.
fcInt :: TypeExpr  Deterministic 
The FlatCurry type Int.
fcFloat :: TypeExpr  Deterministic 
The FlatCurry type Float.
fcChar :: TypeExpr  Deterministic 
The FlatCurry type Char.
fcOrdering :: TypeExpr  Deterministic 
The FlatCurry type Ordering.
fcList :: TypeExpr -> TypeExpr  Deterministic 
Constructs a FlatCurry type list.
fcTrue :: Expr  Deterministic 
Prelude.True
fcFalse :: Expr  Deterministic 
Prelude.False
fcNot :: Expr -> Expr  Deterministic 
Negation of an expression.
fcOr :: Expr -> Expr -> Expr  Deterministic 
fcAnd :: Expr -> Expr -> Expr  Deterministic 
fcAnds :: [Expr] -> Expr  Deterministic 
fcEqu :: Expr -> Expr -> Expr  Deterministic 
fcFailed :: Expr  Deterministic 
pre :: String -> (String,String)  Deterministic 
Transform name into Prelude-qualified name.

Exported operations:

fcBool :: TypeExpr  Deterministic 

The FlatCurry type Bool.

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

fcInt :: TypeExpr  Deterministic 

The FlatCurry type Int.

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

fcFloat :: TypeExpr  Deterministic 

The FlatCurry type Float.

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

fcChar :: TypeExpr  Deterministic 

The FlatCurry type Char.

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

fcOrdering :: TypeExpr  Deterministic 

The FlatCurry type Ordering.

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

fcList :: TypeExpr -> TypeExpr  Deterministic 

Constructs a FlatCurry type list.

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

fcTrue :: Expr  Deterministic 

Prelude.True

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

fcFalse :: Expr  Deterministic 

Prelude.False

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

fcNot :: Expr -> Expr  Deterministic 

Negation of an expression.

fcOr :: Expr -> Expr -> Expr  Deterministic 

fcAnd :: Expr -> Expr -> Expr  Deterministic 

fcAnds :: [Expr] -> Expr  Deterministic 

fcEqu :: Expr -> Expr -> Expr  Deterministic 

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

fcFailed :: Expr  Deterministic 

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

pre :: String -> (String,String)  Deterministic 

Transform name into Prelude-qualified name.

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