effect-monad
Effect library
Provides fine-grained reasoning about effects in Haskell computations
Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
98 stars
7 watching
11 forks
Language: Haskell
last commit: about 3 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
 haskell-effectful/effectful | An effects library for Haskell with seamless integration into the existing ecosystem | 385 |
 suhailshergill/extensible-effects | A library providing a single monad to handle multiple effects in effectful computations. | 174 |
 lexi-lambda/freer-simple | A Haskell library for building effectful applications with a focus on type-level effects and composability | 228 |
 jeanhuguesderaigniac/effects-landscape | An open-source project providing effects libraries for Haskell. | 71 |
 xnning/eveff | A Haskell library providing an efficient way to handle effects in functional programming | 82 |
 hasura/eff | An effect system for Haskell that aims to provide a flexible and performant way of handling effects in programming languages | 553 |
| lexi-lambda/eff | An extensible effect system for Haskell that allows flexible handling of effects at the type level. | 124 |
 fused-effects/fused-effects | A fast and flexible effect system for Haskell that enables expressive and efficient programming | 649 |
 tweag/capability | A library that provides an alternative to the mtl, allowing explicit decoupling of effects from their implementation. | 213 |
 ocharles/effect-zoo | An analysis of Haskell effect systems to compare their performance and usability | 65 |
 iscpif/freedsl | A library for pure composition of side effects in functional programming using an abstract wrapping type and the Free Monad | 36 |
 affeldt-aist/monae | A Coq library for formalizing and reasoning about monads with equational logic | 70 |
| dorchard/type-level-sets | A Haskell library providing data structures and operations for working with sets and maps at the type level | 66 |
 haskell/mtl | A collection of monad classes and transformers that enable functional programming in Haskell | 364 |
 re-xyr/cleff | An extensible effects library that provides a balance of performance and expressiveness while allowing users to define their own custom effects. | 105 |