Russoul/Idris2-Effect

Experimental effects library for Idris 2

Idris

41 commits

updated May 13, 2022

See the code

README

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:

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

Contributors

Russoul

40 commits

claymager

1 commits

Similar repos

yallop/effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

1,150

lexi-lambda/eff

🚧 a work in progress effect system for Haskell 🚧

144

edofic/effect-handlers

slindley/effect-handlers

lexi-lambda/freer-simple

A friendly effect system for Haskell

241

effekt-lang/effekt

A language with lexical effect handlers and lightweight effect polymorphism

469

dorchard/effect-monad

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning…

103

haskell-effectful/effectful

An easy to use, fast extensible effects library with seamless integration with the existing Haskell…

486

Languages

Idris

94.3%

Makefile

5.7%

Russoul/Idris2-Effect

Experimental effects library for Idris 2

Idris

41 commits

updated May 13, 2022

See the code

README

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:

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

Similar repos

yallop/effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

1,150

lexi-lambda/eff

🚧 a work in progress effect system for Haskell 🚧

144

edofic/effect-handlers

slindley/effect-handlers

lexi-lambda/freer-simple

A friendly effect system for Haskell

241

effekt-lang/effekt

A language with lexical effect handlers and lightweight effect polymorphism

469

dorchard/effect-monad

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning…

103

haskell-effectful/effectful

An easy to use, fast extensible effects library with seamless integration with the existing Haskell…

486

Contributors

Russoul

40 commits

claymager

1 commits

Languages

Idris

94.3%

Makefile

5.7%