effect-monad
by dorchard
Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
AI summary
Effect library
Provides fine-grained reasoning about effects in Haskell computations
- stars
- 98
- forks
- 11
- watching
- 7
Similar projects
Found by comparing what the projects do, not just their names.
Effects library
An effects library for Haskell with seamless integration into the existing ecosystem
Effect monad library
A library providing a single monad to handle multiple effects in effectful computations.
Effect system library
A Haskell library for building effectful applications with a focus on type-level effects and composability
Haskell effects library collection
An open-source project providing effects libraries for Haskell.
Effect handler library
A Haskell library providing an efficient way to handle effects in functional programming
hasura/eff553
Effect system
An effect system for Haskell that aims to provide a flexible and performant way of handling effects in programming languages
Effect system
An extensible effect system for Haskell that allows flexible handling of effects at the type level.
Effect system
A fast and flexible effect system for Haskell that enables expressive and efficient programming
Effect system
A library that provides an alternative to the mtl, allowing explicit decoupling of effects from their implementation.
Effect system comparison tool
An analysis of Haskell effect systems to compare their performance and usability
Effect composition library
A library for pure composition of side effects in functional programming using an abstract wrapping type and the Free Monad
monad library
A Coq library for formalizing and reasoning about monads with equational logic
Type-level set library
A Haskell library providing data structures and operations for working with sets and maps at the type level
haskell/mtl364
Monad transformer library
A collection of monad classes and transformers that enable functional programming in Haskell
re-xyr/cleff105
Effects library
An extensible effects library that provides a balance of performance and expressiveness while allowing users to define their own custom effects.
