PAKCS
Exported names: Imported modules:

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

Exported operations:

isPrimOp :: (String,String) -> Bool   

Is a qualified FlatCurry name primitive?

preludePrimOps :: [(String,String)]   

Primitive operations of the prelude and their SMT names.

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

unaryPrimOps :: [(String,String)]   

Primitive unary operations of the prelude and their SMT names.

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

binaryPrimOps :: [(String,String)]   

Primitive binary operations of the prelude and their SMT names.

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

transPrimTCons :: [(String,String)]   

Primitive type constructors from the prelude and their SMT names.

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

transPrimCons :: [(String,String)]   

Some primitive constructors from the prelude and their SMT names.