## Packages tagged monads

87 packages have this tag.

[Merge tag] (trustees only)Related tags: library (84), bsd3 (60), control (55), public-domain (12), deprecated (11), failure (11), data (6), program (6), parallelism (5), comonads (4), data-structures (4), functors (3), graphics (3), mit (3), ai (2), algorithms (2), aop (2), aspect-oriented-programming (2), concurrency (2), constraints (2), error-handling (2), language (2), lgpl (2), monadic-regions (2), text (2), composition (1), database (1), ...

Name |
DLs |
Rating |
Description |
Tags |
Maintainer |
---|---|---|---|---|---|

Consumer | 7 | 0.0 | A monad and monad transformer for consuming streams | (bsd3, library, monads) | JeremyShaw |

MonadLab | 16 | 0.0 | Automatically generate layered monads | (bsd3, library, monads, program) | AdamProcter |

STMonadTrans | 347 | 0.0 | A monad transformer version of the ST monad | (bsd3, library, monads) | JosefSvenningsson |

Tainted | 17 | 0.0 | Tainted type, and associated operations | (bsd3, control, data, library, monads, trans) | RossMeikleham |

TreeT | 5 | 0.0 | Transformer for Data.Tree | (control, library, monads, public-domain) | RahulGopinath |

ZFS | 16 | 0.0 | Oleg's Zipper FS | (library, monads, public-domain) | GwernBranwen, jkarni |

abstract-par | 677 | 0.0 | Type classes generalizing the functionality of the 'monad-par' library. | (bsd3, control, library, monads, parallelism) | RyanNewton |

atrans | 12 | 0.0 | A small collection of monad (transformer) instances. | (library, mit, monads) | apho |

backward-state | 10 | 0.0 | A state monad that runs the state in reverse through the computation | (bsd3, control, library, monads) | LukePalmer |

category-extras | 91 | 0.0 | A meta-package documenting various packages inspired by category theory | (bsd3, comonads, control, library, monads) | DanDoel, DanielWagner, EdwardKmett, RussellOConnor |

compose-trans | 7 | 0.0 | Composable monad transformers | (bsd3, library, monads) | MiguelMitrofanov |

control-monad-exception | 125 | 0.0 | Explicitly typed, checked exceptions with stack traces | (control, failure, library, mit, monads) | PepeIborra |

control-monad-exception-monadsfd | 23 | 0.0 | Monads-fd instances for the EMT exceptions monad transformer | (control, failure, library, monads, public-domain) | PepeIborra |

control-monad-exception-monadstf | 28 | 0.0 | Monads-tf instances for the EMT exceptions monad transformer | (control, failure, library, monads, public-domain) | PepeIborra |

control-monad-exception-mtl | 25 | 0.0 | MTL instances for the EMT exceptions monad transformer | (control, failure, library, monads, public-domain) | PepeIborra |

control-monad-failure (deprecated) | 46 | 0.0 | A class for monads which can fail with an error. (deprecated) | (control, deprecated, failure, library, monads, public-domain) | MichaelSnoyman, PepeIborra |

control-monad-failure-mtl (deprecated) | 20 | 0.0 | A class for monads which can fail with an error for mtl 1 (deprecated) | (control, deprecated, failure, library, monads, public-domain) | MichaelSnoyman, PepeIborra |

control-monad-free | 54 | 0.0 | Free monads and monad transformers | (control, library, monads, public-domain) | LukePalmer, PepeIborra |

contstuff (deprecated) | 88 | 0.0 | Fast, easy to use CPS-based monad transformers | (bsd3, control, deprecated, library, monads) | ErtugrulSoeylemez, esz |

contstuff-monads-tf (deprecated) | 13 | 0.0 | ContStuff instances for monads-tf transformers (deprecated) | (bsd3, control, deprecated, library, monads) | ErtugrulSoeylemez, esz |

contstuff-transformers (deprecated) | 9 | 0.0 | Deprecated interface between contstuff 0.7.0 and the transformers package | (bsd3, control, deprecated, library, monads) | ErtugrulSoeylemez, esz |

csp | 13 | 2.0 | Discrete constraint satisfaction problem (CSP) solver. | (ai, constraints, control, failure, lgpl, library, monads) | AndreiBarbu |

data-accessor-monadLib | 8 | 0.0 | Accessor functions for monadLib's monads | (data, library, monads) | RussellOConnor |

database-study | 5 | 0.0 | Demonstrate how a database can be implemented the functional way | (bsd3, database, library, monads) | HenningThielemann |

effect-monad | 11 | 0.0 | Embeds effect systems into Haskell using graded monads | (bsd3, control, library, monads) | DominicOrchard |

effective-aspects | 6 | 0.0 | A monadic embedding of aspect oriented programming | (aop, aspect-oriented-programming, language, library, monads) | IsmaelFigueroa |

effective-aspects-mzv | 8 | 0.0 | A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl. | (aop, aspect-oriented-programming, language, library, monads) | IsmaelFigueroa |

effects | 21 | 0.0 | Computational Effects | (bsd3, control, library, monads) | SjoerdVisscher |

effects-parser | 4 | 0.0 | Parser Effect for the Control.Effects Library | (bsd3, control, library, monads) | JesseMcDonald |

either | 914 | 0.0 | An either monad transformer | (bsd3, control, library, monads) | EdwardKmett, ryanglscott |

explicit-sharing | 67 | 0.0 | Explicit Sharing of Monadic Effects | (control, library, monads, public-domain) | SebastianFischer |

extensible | 124 | 0.0 | Extensible, efficient, optics-friendly data types and effects | (bsd3, data, library, monads, records) | FumiakiKinoshita |

failure (deprecated in favor of exceptions) | 57 | 0.0 | A simple type class for success/failure computations. (deprecated) | (bsd3, control, deprecated, failure, library, monads) | MichaelSnoyman, Michael_Smith |

free | 1580 | 2.5 | Monads for free | (bsd3, control, library, monads) | EdwardKmett, EricMertens |

free-game | 141 | 0.0 | Create games for free | (bsd3, graphics, library, monads) | FumiakiKinoshita |

free-vl | 18 | 0.0 | van Laarhoven encoded Free Monad with Extensible Effects | (bsd3, control, library, monads, program) | aaronlevin |

graphted | 30 | 0.0 | Graph indexed monads. | (bsd3, comonads, control, library, monads) | AaronFriel |

hdph | 5 | 0.0 | Haskell distributed parallel Haskell | (bsd3, control, distributed-computing, library, monads, parallelism, program) | PatrickMaier |

hofix-mtl | 4 | 0.0 | defining @mtl@-ready monads as * -> * fixed-points | (composition, library, monads) | NicolasFrisby |

hsmisc (deprecated) | 3 | 0.0 | A collection of miscellaneous modules | (bsd3, deprecated, library, logging, monads, parsing) | DinoMorelli |

iException (deprecated) | 3 | 0.0 | Version of Control.Exception using InterleavableIO. | (deprecated, library, monads) | MarcoSilva |

infinite-search | 8 | 0.0 | Exhaustively searchable infinite sets. | (algorithms, bsd3, data, library, monads, search) | LukePalmer |

interleavableGen | 3 | 0.0 | Generates a version of a module using InterleavableIO | (monads, program) | MarcoSilva |

interleavableIO | 3 | 0.0 | Use other Monads in functions that asks for an IO Monad. | (library, monads) | MarcoSilva |

ixmonad (deprecated in favor of effect-monad, type-level-sets) | 9 | 0.0 | Embeds effect systems into Haskell using parameteric effect monads | (bsd3, control, deprecated, library, monads) | DominicOrchard |

kan-extensions | 1582 | 2.25 | Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads | (bsd3, comonads, data-structures, functors, library, monads) | EdwardKmett, EricMertens |

lazyio | 17 | 0.0 | Run IO actions lazily while respecting their order | (bsd3, control, library, monads) | HenningThielemann |

level-monad | 24 | 0.0 | Non-Determinism Monad for Level-Wise Search | (control, library, monads, public-domain) | SebastianFischer |

meta-par | 3 | 0.0 | Provides the monad-par interface, but based on modular scheduler "mix-ins". | (bsd3, control, library, monads, parallelism) | RyanNewton |

monad-coroutine | 25 | 0.0 | Coroutine monad transformer for suspending and resuming monadic computations | (concurrency, control, gpl, library, monads) | MarioBlazevic |

monad-dijkstra | 15 | 0.0 | Monad transformer for weighted graph searches using Dijkstra's or A* algorithm | (bsd3, control, library, monads) | ecramer |

monad-interleave | 3 | 0.0 | Monads with an unsaveInterleaveIO-like operation. | (bsd3, library, monads) | PatrickPerry |

monad-par | 696 | 2.0 | A library for parallel programming based on a monad | (bsd3, control, library, monads, parallelism) | RyanNewton, SimonMarlow |

monad-par-extras | 664 | 0.0 | Combinators and extra features for Par monads | (bsd3, control, library, monads, parallelism) | RyanNewton |

monad-parallel | 48 | 0.0 | Parallel execution of monadic computations | (bsd3, control, library, monads) | MarioBlazevic |

monad-parallel-progressbar | 4 | 0.0 | Parallel execution of monadic computations with a progress bar | (control, library, mit, monads, system, user-interfaces) | mnacamura |

monad-products | 18 | 2.0 | Monad products | (bsd3, control, library, monads) | EdwardKmett |

monad-ran | 5 | 0.0 | Fast monads and monad transformers | (bsd3, control, library, monads) | EdwardKmett |

monad-skeleton | 27 | 0.0 | Monads of program skeleta | (bsd3, control, library, monads) | FumiakiKinoshita |

monad-st | 19 | 0.0 | Provides a MonadST class | (bsd3, control, library, monads) | EdwardKmett |

monad-state | 5 | 0.0 | Utility library for monads, particularly those involving state. | (bsd3, control, data, library, monads) | ByronJohnson |

monad-stlike-io | 7 | 0.0 | ST-like monad capturing variables to regions and supporting IO. | (bsd3, library, monadic-regions, monads) | TaruKarttunen |

monad-stlike-stm | 5 | 0.0 | ST-like monad capturing variables to regions and supporting STM. | (bsd3, library, monadic-regions, monads) | TaruKarttunen |

monad-supply | 14 | 0.0 | Stateful supply monad. | (control, data, library, monads) | GeoffHulette |

monad-tx | 4 | 0.0 | A transactional state monad. | (bsd3, control, library, monads) | MattMorrow |

monadLib | 49 | 2.25 | A collection of monad transformers. | (bsd3, library, monads) | IavorDiatchki, IsaacJones |

monadLib-compose | 6 | 0.0 | Arrow-like monad composition for monadLib. | (bsd3, control, library, monads) | AristidBreitkreuz |

monadloc | 19 | 0.0 | A class for monads which can keep a monadic call trace | (control, library, monads, public-domain) | PepeIborra |

monadloc-pp | 11 | 0.0 | A preprocessor for generating monadic call traces | (control, monads, program, public-domain) | PepeIborra |

mstate | 21 | 0.0 | MState: A consistent State monad for concurrent applications. | (bsd3, concurrency, library, monads) | NilsSchweinsberg |

mtl-c | 5 | 0.0 | Very strict CPS'd transformers | (bsd3, library, monads) | FumiakiKinoshita |

nondeterminism | 9 | 2.0 | A monad and monad transformer for nondeterministic computations. | (ai, constraints, control, failure, lgpl, library, monads) | AndreiBarbu |

operational | 505 | 2.0 | Implementation of difficult monads made easy with operational semantics. | (bsd3, control, library, monads) | HeinrichApfelmus |

pqueue-mtl (deprecated in favor of queuelike) | 18 | 0.0 | Fully encapsulated monad transformers with queuelike functionality. | (algorithms, bsd3, deprecated, library, monads) | LouisWasserman |

probability | 49 | 0.0 | Probabilistic Functional Programming | (bsd3, graphics, library, math, monads) | HenningThielemann |

representable-functors (deprecated in favor of adjunctions) | 67 | 0.0 | Representable functors | (bsd3, data-structures, deprecated, functors, library, monads) | EdwardKmett |

representable-tries | 67 | 0.0 | Tries from representations of polynomial functors | (bsd3, comonads, data-structures, functors, library, monads) | EdwardKmett |

resumable-exceptions | 6 | 0.0 | A monad transformer for resumable exceptions | (control, error-handling, failure, library, monads, reactivity) | NicolasFrisby |

rhythm-game-tutorial | 3 | 0.0 | Haskell rhythm game tutorial | (bsd3, graphics, monads, program) | FumiakiKinoshita |

stateful-mtl | 16 | 0.0 | Typeclass instances for monad transformer stacks with an ST thread at the bottom. | (bsd3, library, monads) | LouisWasserman |

statethread | 5 | 0.0 | The ST monad and STRefs | (bsd3, data-structures, library, monads) | HenningThielemann |

stream-monad | 18 | 0.0 | Simple, Fair and Terminating Backtracking Monad | (bsd3, control, library, monads) | SebastianFischer |

tagged-exception-core | 6 | 0.0 | Reflect exceptions using phantom types. | (bsd3, control, error-handling, exceptions, failure, library, monad, monads, phantom-types) | PeterTrsko |

transformers-compose | 4 | 0.0 | Arrow-like / category-like composition for transformers. | (bsd3, control, library, monads) | AristidBreitkreuz |

tree-monad | 13 | 0.0 | Non-Determinism Monad for Tree Search | (bsd3, control, library, monads) | SebastianFischer |

wl-pprint-extras | 48 | 0.0 | A free monad based on the Wadler/Leijen pretty printer | (bsd3, control, library, monads, text) | EdwardKmett, NathanielFilardo |

wl-pprint-terminfo | 63 | 0.0 | A color pretty printer with terminfo support | (bsd3, control, library, monads, text) | EdwardKmett, NathanielFilardo |