Derivation of generators

Explanation is the understanding-oriented part of the documentation. It may contain information about design decisions, alternatives, context and related works.

Contents

• Design of derivation
  • When derivation happens
  • Derivation task
  • Type parameters and type indices
  • Closure of derived generators
  • Design of a single generator
  • Derivation for a single constructor
• Limitations
  • Temporary design decisions
  • To be fixed/reworked
• Things to be done