search

obsidiansystems / dependent-sum

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

Relax dependent-sum some dependency. #51

Closed phadej closed 4 years ago

phadej commented 4 years ago

It's currently <1.0.1.

The 1.0.1 version added withSomeM combinator:

withSomeM :: Monad m => m (Some tag) -> (forall a. tag a -> m r) -> m r

EDIT: I think you need to make a minor release, as the interface of re-exported Data.Some changes.

3noch commented 4 years ago

0.7.1.0 sound good?

phadej commented 4 years ago

@3noch sure