capability
Effect system
A library that provides an alternative to the mtl, allowing explicit decoupling of effects from their implementation.
Extensional capabilities and deriving combinators
213 stars
50 watching
9 forks
Language: Haskell
last commit: 5 months ago capabilitiescapabilityeffectsextensible-effectshaskellhaskell-librarymtl
Related projects:
Repository | Description | Stars |
---|---|---|
haskell-effectful/effectful | An effects library for Haskell designed to be fast and easy to use. | 380 |
lexi-lambda/eff | An extensible effect system for Haskell that allows flexible handling of effects at the type level. | 124 |
lexi-lambda/freer-simple | A Haskell library for building effectful applications with a focus on type-level effects and composability | 228 |
suhailshergill/extensible-effects | A library providing a single monad to handle multiple effects in effectful computations. | 174 |
hasura/eff | An effect system for Haskell that aims to provide a flexible and performant way of handling effects in programming languages | 553 |
dorchard/effect-monad | Provides fine-grained reasoning about effects in Haskell computations | 99 |
jeanhuguesderaigniac/effects-landscape | An open-source project providing effects libraries for Haskell. | 72 |
tweag/haskellr | An environment for efficient data processing using Haskell or R code. | 585 |
ocharles/effect-zoo | An analysis of Haskell effect systems to compare their performance and usability | 65 |
xnning/eveff | A Haskell library providing an efficient way to handle effects in functional programming | 82 |
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 |
fused-effects/fused-effects | A fast and flexible effect system for Haskell that enables expressive and efficient programming | 647 |
environmentset/hyogwa | An effect system designed to handle intensional information in code, such as side effects, by encoding it into types. | 57 |
effectfully-ou/sketches | A blog and documentation platform for Haskell programming language | 125 |
effekt-lang/effekt | Language with lightweight effect handling and polymorphism | 332 |