Idris2-Effect
Experimental effects library for Idris 2
Tested against Idris 2, version 0.5.1-0bc18bd34
For an introduction, see writing a parser via effects
The effect system is based on the following work:
- Extensible Effects by Oleg Kiselyov, Amr Sabry and Cameron Swords
- Freer Monads, More Extensible Effects by Oleg Kiselyov and Hiromi Ishii
- Effect Handlers in Scope by Nicolas Wu, Tom Schrijvers and Ralf Hinze
- Fusion for Free by Nicolas Wu and Tom Schrijvers
A similar effect system in haskell: fused-effects