Skip to content

Add Foldable, Traversable instances for Uniq(D)FM

Sebastian Graf requested to merge wip/ft-uniqdfm into master

I often find the need for these instances.

I hid the nondeterministic one behind a new NonDet wrapper, which is probably a bit controversial. Hence discuss :)

Merge request reports