Deffold-map-event-generation
Event generation performed by deffold-map.
Subtopics
- Deffold-map-gen-list-map
- Generate the map function for a list type,
with accompanying theorems.
- Deffold-map-gen-omap-map
- Generate a map function for an omap type,
with accompanying theorems.
- Deffold-map-gen-clique-map/maps
- Generate a map function,
or a clique of mutually recursive map functions,
for a clique of types.
- Deffold-map-gen-prod-map
- Generate the map function for a product type.
- Deffold-map-gen-sum-case
- Generate the map for the fields of a product type.
- Deffold-map-gen-sum-map
- Generate the map function for a sum type.
- Deffold-map-gen-option-map
- Generate the map function for an option type.
- Deffold-map-gen-sum-cases
- Generate the code for the cases of a sum type.
- Deffold-map-gen-everything
- Generate all the events.
- Deffold-map-gen-sum-case-loop
- Deffold-map-gen-prod/sum/option-map
- Generate the map function for a product, sum, or option type.
- Deffold-map-gen-cliques-maps
- Generate map functions, or map function cliques,
for a list of type cliques with given names.
- Deffold-map-gen-types-maps
- Generate map functions for a list of types,
with accompanying theorems.
- Deffold-map-gen-type-map
- Generate a map function for a type, with accompanying theorems.
- Deffold-map-extra-args-to-names
- Map the :extra-args input to
a list of the names of the arguments.
- Deffold-map-gen-map-name
- Generate the name of the map function for a type.
- Deffold-map-gen-topic-name
- Generate the name of the XDOC topic.
- Deffold-map-gen-ruleset-name
- Generate the name of the ruleset.
