purescript / purescript-free

Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
BSD 3-Clause "New" or "Revised" License
93 stars 27 forks source link

Free monad could be an instance of MMonad #84

Closed safareli closed 7 years ago

safareli commented 7 years ago

I think Free monad could be an instance of MFunctor and MMonad

hoist = hoistFree
embed = foldFree
natefaubion commented 7 years ago

Free is not a MonadTrans.

garyb commented 7 years ago

We avoid non-core dependencies for the core libraries too, so if it was a valid instance it'd want defining in mmorph instead of here.

FreeT could be MFunctor and MMonad though!

paf31 commented 7 years ago

Please open an issue on the mmorph repo.