search

Gabriella439 / Haskell-MMorph-Library

Monad morphisms
BSD 3-Clause "New" or "Revised" License
47 stars 26 forks source link

Add/improve ComposeT instances with `QuantifiedConstraints` #39

Closed baskaransri closed 3 years ago

baskaransri commented 5 years ago

Adding MFunctor and improving MonadTrans for ComposeT with code from issue #4

Gabriella439 commented 5 years ago

Actually, based on discussion here:

... I think it might be better to only add the MFunctor instance to and to leave the MonadTrans instance as is. Would that be okay?

baskaransri commented 5 years ago

Would you want the MFunctor instance to be GHC-version gated on __GLASGOW_HASKELL__ >= 806, providing different interfaces for different versions, or just have a unified interface?

Gabriella439 commented 5 years ago

@baskaransri: A version gate for the MFunctor instance is fine

Gabriella439 commented 3 years ago

Closing as I believe this was superseded by #40