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

GitHub

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