|
Agda.Compiler.Epic.Primitive |
|
|
Description |
Change constructors and cases on builtins and natish datatypes to use
primitive data
|
|
Synopsis |
|
|
|
Documentation |
|
|
|
|
|
Change constructors and cases on builtins and natish datatypes to use
primitive data
|
|
|
Create primitive functions if list constructors are marked as builtins
|
|
|
Build transforms using the names of builtins
|
|
|
Translation to primitive integer functions
|
|
|
:: Expr | Expression that is cased on
| -> Expr | Expression for the zero branch
| -> Var | Variable that is bound in suc branch
| -> Expr | Expression used for suc branch
| -> Expr | Result?
| Corresponds to a case for natural numbers
|
|
|
|
:: Expr | Expression that is cased on
| -> Expr | Zero branch
| -> Expr | Default branch
| -> Expr | Result?
| Corresponds to a case with a zero and default branch
|
|
|
|
Translation to primitive bool functions
|
|
|
Change all the primitives in the function using the PrimTransform
|
|
|
Change all the primitives in an expression using PrimTransform
|
|
Produced by Haddock version 2.6.1 |