Idris2-Effect

Experimental effects library for Idris 2
Tested against Idris 2, version 0.5.1-bf87b623e

For an introduction, see writing a parser via effects

The effect system is based on the following work:

1. Extensible Effects by Oleg Kiselyov, Amr Sabry and Cameron Swords
2. Freer Monads, More Extensible Effects by Oleg Kiselyov and Hiromi Ishii
3. Effect Handlers in Scope by Nicolas Wu, Tom Schrijvers and Ralf Hinze
4. Fusion for Free by Nicolas Wu and Tom Schrijvers

A similar effect system in haskell: fused-effects