Module FlatCurry.Typed.Names

Definition of some standard names in type-annotated FlatCurry programs.

Author: Michael Hanus

Version: April 2019

Summary of exported operations:

isPrimOp :: (String,String) -> Bool  Deterministic 
Is a qualified FlatCurry name primitive?
preludePrimOps :: [(String,String)]  Deterministic 
Primitive operations of the prelude and their SMT names.
unaryPrimOps :: [(String,String)]  Deterministic 
Primitive unary operations of the prelude and their SMT names.
binaryPrimOps :: [(String,String)]  Deterministic 
Primitive binary operations of the prelude and their SMT names.
transPrimTCons :: [(String,String)]  Deterministic 
Primitive type constructors from the prelude and their SMT names.
transPrimCons :: [(String,String)]  Deterministic 
Some primitive constructors from the prelude and their SMT names.

Exported operations:

isPrimOp :: (String,String) -> Bool  Deterministic 

Is a qualified FlatCurry name primitive?

preludePrimOps :: [(String,String)]  Deterministic 

Primitive operations of the prelude and their SMT names.

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

unaryPrimOps :: [(String,String)]  Deterministic 

Primitive unary operations of the prelude and their SMT names.

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

binaryPrimOps :: [(String,String)]  Deterministic 

Primitive binary operations of the prelude and their SMT names.

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

transPrimTCons :: [(String,String)]  Deterministic 

Primitive type constructors from the prelude and their SMT names.

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

transPrimCons :: [(String,String)]  Deterministic 

Some primitive constructors from the prelude and their SMT names.