This library implements a variety of extensible effects frameworks. The goal is to create a generalized "Graph Monad" that achieves an improvement over the implementation of the "freer monad" Eff described in "Extensible Effects", and improved upon in "Freer Monads, Extensible Effects".
Recommended reading to understand the background includes:
- H. Apfelmus. The Operational monad tutorial
- A. Bauer, M. Pretnar. Programming with Algebraic Effects and Handlers (2012)
- O. Kammar, S. Lindley, and N. Oury. Handlers in Action (2012)
- O. Kiselyov, A. Sabry, and C. Swords. Extensible Effects: an Alternative to Monad Transformers (2013)
- A. Ploeg and O. Kiselyov. Reflection without Remorse (2014)
- O. Kiselyov and H. Ishii. Freer Monads, More Extensible Effects (2015)
- O. Kiselyov. Parameterized Extensible Effects and Session Types (2016)