ekmett / free

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

Applicative Effects in the Free Monad #132

Closed ElvishJerricco closed 8 years ago

ElvishJerricco commented 8 years ago

Implemented as discussed here and here. Reddit threads here and here, respectively.

This is a free monad (and free monad transformer) that, when interpreted correctly, yields applicative optimizations in the free monad. This is useful for effects similar to Facebook's Haxl.

ekmett commented 8 years ago

Merging now as a commitment to do something along this line. I may wibble the module names, etc. a bit later on.

ElvishJerricco commented 8 years ago

Alright. Apologies for failing to get it compiling under GHC <= 7.8. I've yet to get 7.8 working on OS X El Capitan, so I wasn't able to actually test the build on those versions. Fixes should be trivial.

ekmett commented 8 years ago

You now have commit access to fix it. =)

Feel free to push directly most things, and save pull requests for what you consider to be controversial or in need of broad discussion.

ElvishJerricco commented 8 years ago

Oh cool. Thanks =)