search

ekmett / free

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

Generalise hoistFreeT to Functor m #213

Closed tomjaguarpaw closed 2 years ago

tomjaguarpaw commented 2 years ago

Seems like this would be a worthy change.

I can't imagine why it could be wrong, but if so the fact that I made this PR is good evidence that its wrongness needs to be clearly documented!

tomjaguarpaw commented 2 years ago

This one should pass (at least it passed in the Action on my fork).

tomjaguarpaw commented 2 years ago

Ah, thanks for spotting that. Applied.