Packages tagged monads
89 packages have this tag.
[Merge tag] (trustees only)Related tags: library (86), bsd3 (60), control (57), public-domain (12), deprecated (11), failure (11), data (6), program (6), parallelism (5), comonads (4), data-structures (4), mit (4), functors (3), graphics (3), ai (2), algebra (2), algorithms (2), aop (2), aspect-oriented-programming (2), concurrency (2), constraints (2), error-handling (2), language (2), monadic-regions (2), mpl (2), text (2), category (1), composition (1), ...
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|
Consumer | 17 | 0.0 | A monad and monad transformer for consuming streams | (bsd3, library, monads) | 2009-10-27 | JeremyShaw |
MonadLab | 31 | 0.0 | Automatically generate layered monads | (bsd3, library, monads, program) | 2009-01-29 | AdamProcter |
STMonadTrans | 281 | 0.0 | A monad transformer version of the ST monad | (bsd3, library, monads) | 2017-02-09 | JosefSvenningsson |
Tainted | 28 | 0.0 | Tainted type, and associated operations | (bsd3, control, data, library, monads, trans) | 2015-05-27 | RossMeikleham |
TreeT | 17 | 0.0 | Transformer for Data.Tree | (control, library, monads, public-domain) | 2011-09-17 | RahulGopinath |
ZFS | 25 | 0.0 | Oleg's Zipper FS | (library, monads, public-domain) | 2014-11-25 | GwernBranwen, jkarni |
abstract-par | 202 | 0.0 | Type classes generalizing the functionality of the 'monad-par' library. | (bsd3, control, library, monads, parallelism) | 2013-11-06 | RyanNewton |
atrans | 25 | 0.0 | A small collection of monad (transformer) instances. | (library, mit, monads) | 2016-01-20 | apho |
backward-state | 28 | 0.0 | A state monad that runs the state in reverse through the computation | (bsd3, control, library, monads) | 2013-01-14 | LukePalmer |
category-extras | 320 | 0.0 | A meta-package documenting various packages inspired by category theory | (bsd3, comonads, control, library, monads) | 2012-04-06 | DanDoel, DanielWagner, EdwardKmett, RussellOConnor |
compose-trans | 20 | 0.0 | Composable monad transformers | (bsd3, library, monads) | 2011-11-05 | MiguelMitrofanov |
control-monad-exception | 183 | 0.0 | Explicitly typed, checked exceptions with stack traces | (control, failure, library, mit, monads) | 2015-03-12 | PepeIborra |
control-monad-exception-monadsfd | 38 | 0.0 | Monads-fd instances for the EMT exceptions monad transformer | (control, failure, library, monads, public-domain) | 2012-05-28 | PepeIborra |
control-monad-exception-monadstf | 44 | 0.0 | Monads-tf instances for the EMT exceptions monad transformer | (control, failure, library, monads, public-domain) | 2012-05-28 | PepeIborra |
control-monad-exception-mtl | 39 | 0.0 | MTL instances for the EMT exceptions monad transformer | (control, failure, library, monads, public-domain) | 2012-05-28 | PepeIborra |
control-monad-failure (deprecated) | 185 | 0.0 | A class for monads which can fail with an error. (deprecated) | (control, deprecated, failure, library, monads, public-domain) | 2012-01-18 | MichaelSnoyman, PepeIborra |
control-monad-failure-mtl (deprecated) | 33 | 0.0 | A class for monads which can fail with an error for mtl 1 (deprecated) | (control, deprecated, failure, library, monads, public-domain) | 2011-11-30 | MichaelSnoyman, PepeIborra |
control-monad-free | 230 | 0.0 | Free monads and monad transformers | (control, library, monads, public-domain) | 2018-10-06 | LukePalmer, PepeIborra |
contstuff (deprecated) | 109 | 0.0 | Fast, easy to use CPS-based monad transformers | (bsd3, control, deprecated, library, monads) | 2011-05-19 | ErtugrulSoeylemez, esz |
contstuff-monads-tf (deprecated) | 33 | 0.0 | ContStuff instances for monads-tf transformers (deprecated) | (bsd3, control, deprecated, library, monads) | 2010-11-24 | ErtugrulSoeylemez, esz |
contstuff-transformers (deprecated) | 19 | 0.0 | Deprecated interface between contstuff 0.7.0 and the transformers package | (bsd3, control, deprecated, library, monads) | 2010-12-27 | ErtugrulSoeylemez, esz |
csp | 76 | 2.0 | Discrete constraint satisfaction problem (CSP) solver. | (ai, constraints, control, failure, library, monads) | 2018-03-14 | AndreiBarbu |
data-accessor-monadLib | 18 | 0.0 | Accessor functions for monadLib's monads | (data, library, monads) | 2009-02-11 | RussellOConnor |
database-study | 13 | 0.0 | Demonstrate how a database can be implemented the functional way | (bsd3, database, library, monads) | 2010-02-05 | HenningThielemann |
effect-monad | 64 | 2.0 | Embeds effect systems and program logics into Haskell using graded monads and parameterised monads | (bsd3, control, library, monads) | 2018-01-24 | DominicOrchard |
effective-aspects | 11 | 0.0 | A monadic embedding of aspect oriented programming | (aop, aspect-oriented-programming, language, library, monads) | 2014-01-15 | IsmaelFigueroa |
effective-aspects-mzv | 14 | 0.0 | A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl. | (aop, aspect-oriented-programming, language, library, monads) | 2014-04-16 | IsmaelFigueroa |
effects | 22 | 0.0 | Computational Effects | (bsd3, control, library, monads) | 2017-01-29 | SjoerdVisscher |
effects-parser | 9 | 0.0 | Parser Effect for the Control.Effects Library | (bsd3, control, library, monads) | 2013-09-15 | JesseMcDonald |
either | 504 | 2.0 | Combinators for working with sums | (bsd3, control, library, monads) | 2018-07-03 | EdwardKmett, ryanglscott, GeorgeWilson |
explicit-sharing | 48 | 0.0 | Explicit Sharing of Monadic Effects | (control, library, monads, public-domain) | 2011-06-30 | SebastianFischer |
extensible | 447 | 0.0 | Extensible, efficient, optics-friendly data types and effects | (bsd3, data, library, monads, records) | 2018-12-19 | FumiakiKinoshita |
failure (deprecated in favor of exceptions) | 99 | 0.0 | A simple type class for success/failure computations. (deprecated) | (bsd3, control, deprecated, failure, library, monads) | 2014-06-08 | MichaelSnoyman, Michael_Smith |
free | 832 | 2.5 | Monads for free | (bsd3, control, library, monads) | 2018-07-03 | EdwardKmett, EricMertens, JohnWiegley, ryanglscott |
free-algebras | 303 | 0.0 | Free algebras in Haskell. | (algebra, control, library, monads, mpl) | 2019-02-19 | coot |
free-category | 48 | 0.0 | Free category | (algebra, category, control, library, monads, mpl) | 2019-01-26 | coot |
free-game | 116 | 0.0 | Create games for free | (bsd3, graphics, library, monads) | 2016-10-08 | FumiakiKinoshita |
free-vl | 36 | 0.0 | van Laarhoven encoded Free Monad with Extensible Effects | (bsd3, control, library, monads, program) | 2016-02-10 | aaronlevin |
graphted | 91 | 0.0 | Graph indexed monads. | (bsd3, comonads, control, library, monads) | 2017-05-09 | AaronFriel |
hdph | 11 | 0.0 | Haskell distributed parallel Haskell | (bsd3, control, distributed-computing, library, monads, parallelism, program) | 2013-02-07 | PatrickMaier |
hofix-mtl | 9 | 0.0 | defining @mtl@-ready monads as * -> * fixed-points | (composition, library, monads) | 2010-08-12 | NicolasFrisby |
hsmisc (deprecated) | 11 | 0.0 | A collection of miscellaneous modules | (bsd3, deprecated, library, logging, monads, parsing) | 2015-06-29 | DinoMorelli |
iException (deprecated) | 10 | 0.0 | Version of Control.Exception using InterleavableIO. | (deprecated, library, monads) | 2008-07-23 | MarcoSilva |
infinite-search | 15 | 0.0 | Exhaustively searchable infinite sets. | (algorithms, bsd3, data, library, monads, search) | 2009-01-09 | LukePalmer |
interleavableGen | 13 | 0.0 | Generates a version of a module using InterleavableIO | (monads, program) | 2008-07-23 | MarcoSilva |
interleavableIO | 13 | 0.0 | Use other Monads in functions that asks for an IO Monad. | (library, monads) | 2008-07-23 | MarcoSilva |
ixmonad (deprecated in favor of effect-monad, type-level-sets) | 25 | 0.0 | Embeds effect systems into Haskell using parameteric effect monads | (bsd3, control, deprecated, library, monads) | 2014-05-15 | DominicOrchard |
kan-extensions | 531 | 2.25 | Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads | (bsd3, comonads, data-structures, functors, library, monads) | 2018-07-03 | EdwardKmett, EricMertens, ryanglscott |
lazyio | 56 | 0.0 | Run IO actions lazily while respecting their order | (bsd3, control, library, monads) | 2016-12-14 | HenningThielemann |
level-monad | 34 | 0.0 | Non-Determinism Monad for Level-Wise Search | (control, library, monads, public-domain) | 2009-06-22 | SebastianFischer |
meta-par | 11 | 0.0 | Provides the monad-par interface, but based on modular scheduler "mix-ins". | (bsd3, control, library, monads, parallelism) | 2012-05-04 | RyanNewton |
monad-coroutine | 181 | 0.0 | Coroutine monad transformer for suspending and resuming monadic computations | (concurrency, control, library, monads) | 2018-02-25 | MarioBlazevic |
monad-dijkstra | 101 | 0.0 | A monad transformer for weighted graph searches | (bsd3, control, library, monads) | 2019-01-22 | ecramer |
monad-interleave | 10 | 0.0 | Monads with an unsaveInterleaveIO-like operation. | (bsd3, library, monads) | 2009-01-15 | PatrickPerry |
monad-par | 207 | 2.25 | A library for parallel programming based on a monad | (bsd3, control, library, monads, parallelism) | 2016-06-16 | RyanNewton, SimonMarlow |
monad-par-extras | 163 | 0.0 | Combinators and extra features for Par monads | (bsd3, control, library, monads, parallelism) | 2013-07-12 | RyanNewton |
monad-parallel | 206 | 0.0 | Parallel execution of monadic computations | (bsd3, control, library, monads) | 2018-02-25 | MarioBlazevic |
monad-parallel-progressbar | 12 | 0.0 | Parallel execution of monadic computations with a progress bar | (control, library, mit, monads, system, user-interfaces) | 2015-04-05 | mnacamura |
monad-products | 154 | 2.0 | Monad products | (bsd3, control, library, monads) | 2016-01-17 | EdwardKmett |
monad-ran | 33 | 0.0 | Fast monads and monad transformers | (bsd3, control, library, monads) | 2009-05-06 | EdwardKmett |
monad-skeleton | 153 | 0.0 | Monads of program skeleta | (bsd3, control, library, monads) | 2017-08-02 | FumiakiKinoshita |
monad-st | 136 | 0.0 | Provides a MonadST class | (bsd3, control, library, monads) | 2017-06-26 | EdwardKmett |
monad-state | 14 | 0.0 | Utility library for monads, particularly those involving state. | (bsd3, control, data, library, monads) | 2014-12-02 | ByronJohnson |
monad-stlike-io | 15 | 0.0 | ST-like monad capturing variables to regions and supporting IO. | (bsd3, library, monadic-regions, monads) | 2010-12-06 | TaruKarttunen |
monad-stlike-stm | 14 | 0.0 | ST-like monad capturing variables to regions and supporting STM. | (bsd3, library, monadic-regions, monads) | 2010-02-03 | TaruKarttunen |
monad-supply | 106 | 0.0 | Stateful supply monad. | (control, data, library, mit, monads) | 2018-04-03 | GeoffHulette |
monad-tx | 11 | 0.0 | A transactional state monad. | (bsd3, control, library, monads) | 2009-04-06 | MattMorrow |
monadLib | 308 | 2.25 | A collection of monad transformers. | (bsd3, library, monads) | 2019-01-23 | IavorDiatchki, IsaacJones |
monadLib-compose | 14 | 0.0 | Arrow-like monad composition for monadLib. | (bsd3, control, library, monads) | 2010-10-20 | AristidBreitkreuz |
monadloc | 47 | 0.0 | A class for monads which can keep a monadic call trace | (control, library, monads, public-domain) | 2013-06-06 | PepeIborra |
monadloc-pp | 19 | 0.0 | A preprocessor for generating monadic call traces | (control, monads, program, public-domain) | 2014-10-17 | PepeIborra |
mstate | 145 | 0.0 | MState: A consistent State monad for concurrent applications. | (bsd3, concurrency, library, monads) | 2018-12-27 | NilsSchweinsberg |
mtl-c | 15 | 0.0 | Very strict CPS'd transformers | (bsd3, library, monads) | 2016-11-11 | FumiakiKinoshita |
nondeterminism | 36 | 2.0 | A monad and monad transformer for nondeterministic computations. | (ai, constraints, control, failure, library, monads) | 2015-10-19 | AndreiBarbu |
operational | 264 | 2.25 | Implementation of difficult monads made easy with operational semantics. | (bsd3, control, library, monads) | 2016-11-21 | HeinrichApfelmus |
pqueue-mtl (deprecated in favor of queuelike) | 16 | 0.0 | Fully encapsulated monad transformers with queuelike functionality. | (algorithms, bsd3, deprecated, library, monads) | 2009-03-13 | LouisWasserman |
probability | 72 | 0.0 | Probabilistic Functional Programming | (bsd3, graphics, library, math, monads) | 2018-09-01 | HenningThielemann |
representable-functors (deprecated in favor of adjunctions) | 407 | 0.0 | Representable functors | (bsd3, data-structures, deprecated, functors, library, monads) | 2013-10-13 | EdwardKmett, EricMertens, ryanglscott, AaronVargo |
representable-tries | 385 | 0.0 | Tries from representations of polynomial functors | (bsd3, comonads, data-structures, functors, library, monads) | 2013-01-06 | EdwardKmett |
resumable-exceptions | 9 | 0.0 | A monad transformer for resumable exceptions | (control, error-handling, failure, library, monads, reactivity) | 2010-09-20 | NicolasFrisby |
rhythm-game-tutorial | 15 | 0.0 | Haskell rhythm game tutorial | (bsd3, graphics, monads, program) | 2015-02-23 | FumiakiKinoshita |
stateful-mtl | 14 | 0.0 | Typeclass instances for monad transformer stacks with an ST thread at the bottom. | (bsd3, library, monads) | 2009-03-13 | LouisWasserman |
statethread | 10 | 0.0 | The ST monad and STRefs | (bsd3, data-structures, library, monads) | 2012-04-07 | HenningThielemann |
stream-monad | 20 | 0.0 | Simple, Fair and Terminating Backtracking Monad | (bsd3, control, library, monads) | 2012-09-10 | SebastianFischer |
tagged-exception-core | 13 | 0.0 | Reflect exceptions using phantom types. | (bsd3, control, error-handling, exceptions, failure, library, monad, monads, phantom-types) | 2016-02-02 | PeterTrsko |
transformers-compose | 10 | 0.0 | Arrow-like / category-like composition for transformers. | (bsd3, control, library, monads) | 2010-11-01 | AristidBreitkreuz |
tree-monad | 18 | 0.0 | Non-Determinism Monad for Tree Search | (bsd3, control, library, monads) | 2010-10-09 | SebastianFischer |
wl-pprint-extras | 319 | 0.0 | A free monad based on the Wadler/Leijen pretty printer | (bsd3, control, library, monads, text) | 2015-06-09 | EdwardKmett, NathanielFilardo |
wl-pprint-terminfo | 72 | 0.0 | A color pretty printer with terminfo support | (bsd3, control, library, monads, text) | 2016-06-22 | EdwardKmett, NathanielFilardo |