search

ekmett / free

free monads
http://hackage.haskell.org/package/free
Other
159 stars 65 forks source link

Loosen constraints on Functor, Applicative, Apply, Traversable #186

Closed hololeap closed 1 year ago

hololeap commented 5 years ago

This is basically a duplicate of #154. I think that this is a good proposal.

I worked out the details of Applicative m => Applicative (FreeT f m) and it should be equivalent to ap.

I also aim to loosen other Monad constraints where possible.

turion commented 3 years ago

It would be nice if this were merged at some point... what's holding it up?

RyanGlScott commented 1 year ago

Some (but not all) of this PR has been superseded by #225. See https://github.com/ekmett/free/pull/225#issuecomment-1416783190 for the remaining bits.

hololeap commented 1 year ago

Thanks @RyanGlScott. I'll go ahead and close this, then.