Design of derivation

By derivation we mean automatic creation of a generator given a datatype definition and, possibly, some configuration and additional stuff.

Todo

Almost every section here should have a reference to some section in reference/contributors for technical explanations.

Contents

• When derivation happens
• Derivation task
• Type parameters and type indices
  • Distinction between the two
  • Relativity of the type index status
• Closure of derived generators
• Design of a single generator
• Derivation for a single constructor
  • Simple case
  • Managing type indices
  • Strategies of constructor’s arguments derivation