Deffold-reduce-event-generation
Event generation performed by deffold-reduce.
Subtopics
- Deffoldred-gen-prod-combination
- Generate the combination for the fields of
a product type or a case of a sum type.
- Deffoldred-gen-list-fold
- Generate the fold function for a list type,
with accompanying theorems.
- Deffoldred-gen-prod-combination+theorem
- Generate the combination for the fields of
a product type or a case of a sum type,
as well as a theorem about
the predicate for the product or sum type
applied to the constructor of
the product type or the case of the sum type.
- Deffoldred-gen-omap-fold
- Generate a fold function for an omap type,
with accompanying theorems.
- Deffoldred-gen-clique-fold/folds
- Generate a fold function,
or a clique of mutually recursive fold functions,
for a clique of types.
- Deffoldred-gen-option-fold
- Generate the fold function for an option type.
- Deffoldred-gen-prod-fold
- Generate the fold function for a product type.
- Deffoldred-gen-sum-fold
- Generate the fold function for a sum type.
- Deffoldred-gen-sum-cases
- Generate the code for the cases of a sum type.
- Deffoldred-gen-everything
- Generate all the events.
- Deffoldred-gen-prod/sum/option-fold
- Generate the fold function for a product, sum, or option type.
- Deffoldred-gen-types-folds
- Generate fold functions for a list of types,
with accompanying theorems.
- Deffoldred-gen-type-fold
- Generate a fold function for a type, with accompanying theorems.
- Deffoldred-gen-cliques-folds
- Generate fold functions, or fold function cliques,
for a list of type cliques with given names.
- Deffoldred-extra-args-to-names
- Map the :extra-args input to
a list of the names of the arguments.
- Deffoldred-gen-fold-name
- Generate the name of the fold function for a type.
- Deffoldred-gen-topic-name
- Generate the name of the XDOC topic.
- Deffoldred-gen-ruleset-name
- Generate the name of the ruleset.
