open-adt

Open algebraic data types. Reuse constructors in different types; add and remove constructors from values.

Examples

See the tutorial module.

Documentation

Up to date documentation is always available on the gh-pages site.

Comparison to Other Packages [TODO]

Alternatives

Pros

• Good compile time

Cons

• Both a label and a constructor type have to specified in places