| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Transform.Lib
Description
Common UPLC term-construction helpers shared across the
Transform.*.Spec test modules.
Variables are referred to by name: var "x" is an occurrence, lam "x"
body a binder, and name "x" the bare Name. See Note [Names from strings].
Synopsis
- type T = Term Name DefaultUni DefaultFun ()
- var ∷ String → T
- lam ∷ String → T → T
- app ∷ T → T → T
- force ∷ T → T
- delay ∷ T → T
- case_ ∷ T → [T] → T
- builtin ∷ DefaultFun → T
- constr ∷ Word64 → [T] → T
- sopTrue ∷ T
- sopFalse ∷ T
- builtinTrue ∷ T
- builtinFalse ∷ T
- ite ∷ T → T → T → T
- con ∷ Integer → T
- text ∷ String → T
- err ∷ T
- name ∷ String → Name
Documentation
type T = Term Name DefaultUni DefaultFun () Source #
Convenient alias used throughout the test modules.
A Var occurrence of the variable with the given name.
See Note [Names from strings]
A lambda binding the variable with the given name. See Note [Names from strings]
builtin ∷ DefaultFun → T Source #
builtinTrue ∷ T Source #
True as the builtin bool constant.
builtinFalse ∷ T Source #
False as the builtin bool constant.