Module kind_pass::expand

source ·
Expand description

Expand some attributes and derivations of each construction. Currently it just derives match and open for sum type and record types respectively.

Modules

  • uses
    Expands sum type and record definitions to a lot of helper definitions like eliminators and replace qualified identifiers by their module names.

Enums

  • Derive
    Tags for each one of the possible derivations.

Functions