Packages tagged monads

90 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (87), bsd3 (61), 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
Consumer280.0A monad and monad transformer for consuming streams (bsd3, library, monads)2009-10-27JeremyShaw
MonadLab750.0Automatically generate layered monads (bsd3, library, monads, program)2009-01-29AdamProcter
STMonadTrans5690.0A monad transformer version of the ST monad (bsd3, library, monads)2019-07-06JosefSvenningsson
Tainted1420.0Tainted type, and associated operations (bsd3, control, data, library, monads, trans)2015-05-27RossMeikleham
TreeT260.0Transformer for Data.Tree (control, library, monads, public-domain)2011-09-17RahulGopinath
ZFS920.0Oleg's Zipper FS (library, monads, public-domain)2014-11-25GwernBranwen, jkarni
abstract-par2440.0Type classes generalizing the functionality of the 'monad-par' library. (bsd3, control, library, monads, parallelism)2013-11-06RyanNewton
atrans1010.0A small collection of monad (transformer) instances. (library, mit, monads)2016-01-20apho
backward-state540.0A state monad that runs the state in reverse through the computation (bsd3, control, library, monads)2013-01-14LukePalmer
category-extras6720.0A meta-package documenting various packages inspired by category theory (bsd3, comonads, control, library, monads)2012-04-06DanDoel, DanielWagner, EdwardKmett, RussellOConnor
compose-trans680.0Composable monad transformers (bsd3, library, monads)2011-11-05MiguelMitrofanov
control-monad-exception8050.0Explicitly typed, checked exceptions with stack traces (control, failure, library, mit, monads)2015-03-12PepeIborra
control-monad-exception-monadsfd1320.0Monads-fd instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-28PepeIborra
control-monad-exception-monadstf1640.0Monads-tf instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-28PepeIborra
control-monad-exception-mtl1290.0MTL instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-28PepeIborra
control-monad-failure (deprecated)2850.0A class for monads which can fail with an error. (deprecated) (control, deprecated, failure, library, monads, public-domain)2012-01-18MichaelSnoyman, PepeIborra
control-monad-failure-mtl (deprecated)1570.0A class for monads which can fail with an error for mtl 1 (deprecated) (control, deprecated, failure, library, monads, public-domain)2011-11-30MichaelSnoyman, PepeIborra
control-monad-free3700.0Free monads and monad transformers (control, library, monads, public-domain)2018-10-06LukePalmer, PepeIborra
contstuff (deprecated)5410.0Fast, easy to use CPS-based monad transformers (bsd3, control, deprecated, library, monads)2011-05-19ErtugrulSoeylemez, esz
contstuff-monads-tf (deprecated)910.0ContStuff instances for monads-tf transformers (deprecated) (bsd3, control, deprecated, library, monads)2010-11-24ErtugrulSoeylemez, esz
contstuff-transformers (deprecated)650.0Deprecated interface between contstuff 0.7.0 and the transformers package (bsd3, control, deprecated, library, monads)2010-12-27ErtugrulSoeylemez, esz
csp1222.0Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-14AndreiBarbu
data-accessor-monadLib730.0Accessor functions for monadLib's monads (data, library, monads)2009-02-11RussellOConnor
database-study270.0Demonstrate how a database can be implemented the functional way (bsd3, database, library, monads)2010-02-05HenningThielemann
effect-monad1462.0Embeds effect systems and program logics into Haskell using graded monads and parameterised monads (bsd3, control, library, monads)2018-01-24DominicOrchard
effective-aspects400.0A monadic embedding of aspect oriented programming (aop, aspect-oriented-programming, language, library, monads)2014-01-15IsmaelFigueroa
effective-aspects-mzv580.0A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl. (aop, aspect-oriented-programming, language, library, monads)2014-04-16IsmaelFigueroa
effects2780.0Computational Effects (bsd3, control, library, monads)2019-04-13SjoerdVisscher
effects-parser460.0Parser Effect for the Control.Effects Library (bsd3, control, library, monads)2013-09-15JesseMcDonald
either14032.0Combinators for working with sums (bsd3, control, library, monads)2019-05-02EdwardKmett, ryanglscott, GeorgeWilson
explicit-sharing3330.0Explicit Sharing of Monadic Effects (control, library, monads, public-domain)2011-06-30SebastianFischer
extensible14190.0Extensible, efficient, optics-friendly data types and effects (bsd3, data, library, monads, records)2020-02-09FumiakiKinoshita
extensible-skeleton510.0Operational-based extensible effect library (bsd3, library, monads)2019-12-21FumiakiKinoshita
failure (deprecated in favor of exceptions)4150.0A simple type class for success/failure computations. (deprecated) (bsd3, control, deprecated, failure, library, monads)2014-06-08MichaelSnoyman, Michael_Smith
free27432.5Monads for free (bsd3, control, library, monads)2019-11-26EdwardKmett, EricMertens, JohnWiegley, ryanglscott
free-algebras4270.0Free algebras (algebra, control, library, monads, mpl)2019-12-06coot
free-category1530.0efficient data types for free categories and arrows (algebra, category, control, library, monads, mpl)2019-12-06coot
free-game11450.0Create games for free (bsd3, graphics, library, monads)2016-10-08FumiakiKinoshita
free-vl1710.0van Laarhoven encoded Free Monad with Extensible Effects (bsd3, control, library, monads, program)2016-02-10aaronlevin
graphted1180.0Graph indexed monads. (bsd3, comonads, control, library, monads)2017-05-09AaronFriel
hdph420.0Haskell distributed parallel Haskell (bsd3, control, distributed-computing, library, monads, parallelism, program)2013-02-07PatrickMaier
hofix-mtl320.0defining @mtl@-ready monads as * -> * fixed-points (composition, library, monads)2010-08-12NicolasFrisby
hsmisc (deprecated)520.0A collection of miscellaneous modules (bsd3, deprecated, library, logging, monads, parsing)2015-06-29DinoMorelli
iException (deprecated)360.0Version of Control.Exception using InterleavableIO. (deprecated, library, monads)2008-07-23MarcoSilva
infinite-search930.0Exhaustively searchable infinite sets. (algorithms, bsd3, data, library, monads, search)2009-01-09LukePalmer
interleavableGen350.0Generates a version of a module using InterleavableIO (monads, program)2008-07-23MarcoSilva
interleavableIO270.0Use other Monads in functions that asks for an IO Monad. (library, monads)2008-07-23MarcoSilva
ixmonad (deprecated in favor of effect-monad, type-level-sets)2510.0Embeds effect systems into Haskell using parameteric effect monads (bsd3, control, deprecated, library, monads)2014-05-15DominicOrchard
kan-extensions16992.25Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads (bsd3, comonads, data-structures, functors, library, monads)2018-07-03EdwardKmett, EricMertens, ryanglscott
lazyio3840.0Run IO actions lazily while respecting their order (bsd3, control, library, monads)2016-12-14HenningThielemann
level-monad2750.0Non-Determinism Monad for Level-Wise Search (control, library, monads, public-domain)2009-06-22SebastianFischer
meta-par280.0Provides the monad-par interface, but based on modular scheduler "mix-ins". (bsd3, control, library, monads, parallelism)2012-05-04RyanNewton
monad-coroutine3620.0Coroutine monad transformer for suspending and resuming monadic computations (concurrency, control, library, monads)2018-02-25MarioBlazevic
monad-dijkstra2240.0A monad transformer for weighted graph searches (bsd3, control, library, monads)2019-01-22ecramer
monad-interleave480.0Monads with an unsaveInterleaveIO-like operation. (bsd3, library, monads)2009-01-15PatrickPerry
monad-par7372.25A library for parallel programming based on a monad (bsd3, control, library, monads, parallelism)2019-11-04RyanNewton, SimonMarlow
monad-par-extras2370.0Combinators and extra features for Par monads (bsd3, control, library, monads, parallelism)2013-07-12RyanNewton
monad-parallel3890.0Parallel execution of monadic computations (bsd3, control, library, monads)2018-02-25MarioBlazevic
monad-parallel-progressbar590.0Parallel execution of monadic computations with a progress bar (control, library, mit, monads, system, user-interfaces)2015-04-05mnacamura
monad-products2672.0Monad products (bsd3, control, library, monads)2016-01-17EdwardKmett
monad-ran550.0Fast monads and monad transformers (bsd3, control, library, monads)2009-05-06EdwardKmett
monad-skeleton3220.0Monads of program skeleta (bsd3, control, library, monads)2017-08-02FumiakiKinoshita
monad-st2850.0Provides a MonadST class (bsd3, control, library, monads)2017-06-26EdwardKmett
monad-state640.0Utility library for monads, particularly those involving state. (bsd3, control, data, library, monads)2014-12-02ByronJohnson
monad-stlike-io1030.0ST-like monad capturing variables to regions and supporting IO. (bsd3, library, monadic-regions, monads)2010-12-06TaruKarttunen
monad-stlike-stm620.0ST-like monad capturing variables to regions and supporting STM. (bsd3, library, monadic-regions, monads)2010-02-03TaruKarttunen
monad-supply1650.0Stateful supply monad. (control, data, library, mit, monads)2018-04-03GeoffHulette
monad-tx480.0A transactional state monad. (bsd3, control, library, monads)2009-04-06MattMorrow
monadLib5462.25A collection of monad transformers. (bsd3, library, monads)2019-09-18IavorDiatchki, IsaacJones
monadLib-compose770.0Arrow-like monad composition for monadLib. (bsd3, control, library, monads)2010-10-20AristidBreitkreuz
monadloc3050.0A class for monads which can keep a monadic call trace (control, library, monads, public-domain)2013-06-06PepeIborra
monadloc-pp1180.0A preprocessor for generating monadic call traces (control, monads, program, public-domain)2014-10-17PepeIborra
mstate2610.0MState: A consistent State monad for concurrent applications. (bsd3, concurrency, library, monads)2018-12-27NilsSchweinsberg
mtl-c1120.0Very strict CPS'd transformers (bsd3, library, monads)2016-11-11FumiakiKinoshita
nondeterminism1422.0A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2015-10-19AndreiBarbu
operational4992.25Implementation of difficult monads made easy with operational semantics. (bsd3, control, library, monads)2016-11-21HeinrichApfelmus
pqueue-mtl (deprecated in favor of queuelike)2310.0Fully encapsulated monad transformers with queuelike functionality. (algorithms, bsd3, deprecated, library, monads)2009-03-13LouisWasserman
probability5170.0Probabilistic Functional Programming (bsd3, graphics, library, math, monads)2019-11-13HenningThielemann
representable-functors (deprecated in favor of adjunctions)9190.0Representable functors (bsd3, data-structures, deprecated, functors, library, monads)2013-10-13EdwardKmett, EricMertens, ryanglscott, AaronVargo
representable-tries9040.0Tries from representations of polynomial functors (bsd3, comonads, data-structures, functors, library, monads)2013-01-06EdwardKmett
resumable-exceptions670.0A monad transformer for resumable exceptions (control, error-handling, failure, library, monads, reactivity)2010-09-20NicolasFrisby
rhythm-game-tutorial1290.0Haskell rhythm game tutorial (bsd3, graphics, monads, program)2015-02-23FumiakiKinoshita
stateful-mtl1660.0Typeclass instances for monad transformer stacks with an ST thread at the bottom. (bsd3, library, monads)2009-03-13LouisWasserman
statethread710.0The ST monad and STRefs (bsd3, data-structures, library, monads)2012-04-07HenningThielemann
stream-monad2110.0Simple, Fair and Terminating Backtracking Monad (bsd3, control, library, monads)2012-09-10SebastianFischer
tagged-exception-core1180.0Reflect exceptions using phantom types. (bsd3, control, error-handling, exceptions, failure, library, monad, monads, phantom-types)2016-02-02PeterTrsko
transformers-compose360.0Arrow-like / category-like composition for transformers. (bsd3, control, library, monads)2010-11-01AristidBreitkreuz
tree-monad1200.0Non-Determinism Monad for Tree Search (bsd3, control, library, monads)2010-10-09SebastianFischer
wl-pprint-extras7490.0A free monad based on the Wadler/Leijen pretty printer (bsd3, control, library, monads, text)2015-06-09EdwardKmett, NathanielFilardo
wl-pprint-terminfo15360.0A color pretty printer with terminfo support (bsd3, control, library, monads, text)2016-06-22EdwardKmett, NathanielFilardo