search

obsidiansystems / dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them
54 stars 39 forks source link

Re-use Some from some #39

Closed phadej closed 5 years ago

phadej commented 5 years ago

This re-uses machinery from Some and re-exports its modules.

Note that some has Newtype version of Some by default.

phadej commented 5 years ago

Green

phadej commented 5 years ago

ping

ryantrinkle commented 5 years ago

Thanks!