Implement deletion in the type-level tree

danidiaz / red-black-record

Extensible records and variants indexed by a type-level Red-Black tree.

BSD 3-Clause "New" or "Revised" License

18 stars 1 forks source link

Closed danidiaz closed 5 years ago

danidiaz commented 5 years ago

For Records, it would enable removal of fields.
for Variants, it would enable a better form of match that when it fails returns a Variant with a reduced set of branches.

danidiaz commented 5 years ago

Added in Hackage-2.0.0.0.