-
Exported names:
-
Imported modules:
Module FlatCurry.Names
Definition of some standard names in FlatCurry programs used in this tool together with their SMT names.
Author: Michael Hanus
Version: December 2023
Summary of exported operations:
anonCons
:: (String,String) 
An "anonymous" constructor is used to represent case expressions with a final "catch all" alternative. |
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. |
Exported operations:
|
An "anonymous" constructor is used to represent case expressions with a final "catch all" alternative.
|
|
Is a qualified FlatCurry name primitive? |
|
Primitive operations of the prelude and their SMT names.
|
|
Primitive unary operations of the prelude and their SMT names.
|
|
Primitive binary operations of the prelude and their SMT names.
|