Module FlatCurry.Build

fcBool :: TypeExpr   

The FlatCurry type Bool.

Further infos:

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

fcInt :: TypeExpr   

The FlatCurry type Int.

Further infos:

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

fcFloat :: TypeExpr   

The FlatCurry type Float.

Further infos:

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

fcChar :: TypeExpr   

The FlatCurry type Char.

Further infos:

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

fcOrdering :: TypeExpr   

The FlatCurry type Ordering.

Further infos:

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

fcList :: TypeExpr -> TypeExpr   

Constructs a FlatCurry type list.

Further infos:

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

fcTrue :: Expr   

Prelude.True

Further infos:

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

fcFalse :: Expr   

Prelude.False

Further infos:

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

fcNot :: Expr -> Expr   

Negation of an expression.

fcOr :: Expr -> Expr -> Expr   

Further infos:

• partially defined

fcAnd :: Expr -> Expr -> Expr   

Further infos:

• partially defined

fcAnds :: [Expr] -> Expr   

fcEqu :: Expr -> Expr -> Expr   

Further infos:

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

fcFailed :: Expr   

Further infos:

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

pre :: String -> (String,String)   

Transform name into Prelude-qualified name.

Further infos:

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