Packages tagged monads

97 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (94), bsd3 (63), control (59), public-domain (12), deprecated (11), failure (11), program (7), comonads (5), parallelism (5), data (4), data-structures (4), functors (4), mpl (4), graphics (3), mit (3), ai (2), algebra (2), algorithms (2), aop (2), apache (2), aspect-oriented-programming (2), concurrency (2), constraints (2), error-handling (2), language (2), monadic-regions (2), streaming (2), text (2), bsd2 (1), category (1), category-theory (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
Consumer70.02A monad and monad transformer for consuming streams (bsd3, library, monads)2009-10-271.2JeremyShaw
MonadLab130.01Automatically generate layered monads (bsd3, library, monads, program)2009-01-290.0.2AdamProcter
STMonadTrans2070.08A monad transformer version of the ST monad (bsd3, library, monads)2024-01-040.4.8AndreasAbel, JosefSvenningsson
Tainted150.01Tainted type, and associated operations (bsd3, control, data, library, monads, trans)2015-05-270.1.0.2RossMeikleham
TreeT70.01Transformer for Data.Tree (control, library, monads, public-domain)2011-09-170.0RahulGopinath
ZFS90.01Oleg's Zipper FS (library, monads, public-domain)2014-11-250.0.2GwernBranwen, jkarni
abstract-par410.011Type classes generalizing the functionality of the 'monad-par' library. (bsd3, control, library, monads, parallelism)2013-11-060.3.3RyanNewton
atrans100.01A small collection of monad (transformer) instances. (library, mit, monads)2016-01-200.1.1.0apho
backward-state90.01A state monad that runs the state in reverse through the computation (bsd3, control, library, monads)2013-01-140.1.0.2LukePalmer
category-extras680.011A meta-package documenting various packages inspired by category theory (bsd3, comonads, control, library, monads)2012-04-061.0.2DanDoel, DanielWagner, EdwardKmett, RussellOConnor
compose-trans120.01Composable monad transformers (bsd3, library, monads)2011-11-050.1MiguelMitrofanov
control-monad-exception1160.08Explicitly typed, checked exceptions with stack traces (control, failure, library, monads)2020-07-060.11.4PepeIborra
control-monad-exception-monadsfd190.01Monads-fd instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-exception-monadstf230.01Monads-tf instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-exception-mtl340.01MTL instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-failure (deprecated)350.09A class for monads which can fail with an error. (deprecated) (control, deprecated, failure, library, monads, public-domain)2012-01-180.7.0.1MichaelSnoyman, PepeIborra
control-monad-failure-mtl (deprecated)170.01A class for monads which can fail with an error for mtl 1 (deprecated) (control, deprecated, failure, library, monads, public-domain)2011-11-300.7.1MichaelSnoyman, PepeIborra
control-monad-free1000.03Free monads and monad transformers (control, library, monads, public-domain)2018-10-060.6.2LukePalmer, PepeIborra
contstuff (deprecated)400.07Fast, easy to use CPS-based monad transformers (bsd3, control, deprecated, library, monads)2011-05-191.2.6ErtugrulSoeylemez, esz
contstuff-monads-tf (deprecated)80.01ContStuff instances for monads-tf transformers (deprecated) (bsd3, control, deprecated, library, monads)2010-11-240.2.1ErtugrulSoeylemez, esz
contstuff-transformers (deprecated)50.01Deprecated interface between contstuff 0.7.0 and the transformers package (bsd3, control, deprecated, library, monads)2010-12-270.1.1ErtugrulSoeylemez, esz
csp262.01Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-141.4.0AndreiBarbu
data-accessor-monadLib110.01Accessor functions for monadLib's monads (data, library, monads)2009-02-110.0.1RussellOConnor
database-study40.01Demonstrate how a database can be implemented the functional way (bsd3, database, library, monads)2010-02-050.0.1HenningThielemann
effect-monad172.01Embeds effect systems and program logics into Haskell using graded monads and parameterised monads (bsd3, control, library, monads)2018-01-240.8.1.0DominicOrchard
effective-aspects50.01A monadic embedding of aspect oriented programming (aop, aspect-oriented-programming, language, library, monads)2014-01-150.1.0.0IsmaelFigueroa
effective-aspects-mzv60.01A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl. (aop, aspect-oriented-programming, language, library, monads)2014-04-160.1.0.1IsmaelFigueroa
effects320.02Computational Effects (bsd3, control, library, monads)2019-04-130.2.4SjoerdVisscher
effects-parser60.01Parser Effect for the Control.Effects Library (bsd3, control, library, monads)2013-09-150.1JesseMcDonald
either3162.0285Combinators for working with sums (bsd3, control, library, monads)2022-05-085.0.2EdwardKmett, ryanglscott, GeorgeWilson
exotic-list-monads160.00Non-standard monads on lists and non-empty lists (library, list, mit, monads)2023-11-211.1.1maciejpirog
explicit-sharing280.01Explicit Sharing of Monadic Effects (control, library, monads, public-domain)2011-06-300.9SebastianFischer
extensible-skeleton90.00Operational-based extensible effect library (bsd3, library, monads)2021-10-210.0.1FumiakiKinoshita
failure (deprecated in favor of exceptions)600.071A simple type class for success/failure computations. (deprecated) (bsd3, control, deprecated, failure, library, monads)2014-06-080.2.0.3MichaelSnoyman, Michael_Smith
free5202.5203Monads for free (bsd3, control, library, monads)2023-03-125.2EdwardKmett, EricMertens, JohnWiegley, ryanglscott
free-algebras682.02Free algebras (algebra, control, library, monads, mpl)2024-09-010.1.2.0coot
free-category392.01efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2023-06-040.0.4.5coot
free-game1000.01Create games for free (bsd3, graphics, library, monads)2022-08-291.2FumiakiKinoshita
free-vl260.00van Laarhoven encoded Free Monad with Extensible Effects (bsd3, control, library, monads, program)2016-02-100.1.4aaronlevin
freer-par-monad60.01Freer par monad (bsd3, library, monads)2023-12-010.1.0.0YoshikuniJujo
functor-monad80.00FFunctor: functors on (the usual) Functors (bsd3, comonads, functors, library, monads)2024-09-290.1.1.1viercc
graphted170.01Graph indexed monads. (bsd3, comonads, control, library, monads)2017-05-090.3.1.0AaronFriel
hdph30.01Haskell distributed parallel Haskell (bsd3, control, distributed-computing, library, monads, parallelism, program)2013-02-070.0.1PatrickMaier
heftia260.01higher-order effects done right (control, library, monads, mpl)2024-10-100.4.0.0YamadaRyo
heftia-effects470.00higher-order effects done right (control, effect, library, monads, mpl, program)2024-10-140.4.0.1YamadaRyo
hofix-mtl80.01defining @mtl@-ready monads as * -> * fixed-points (composition, library, monads)2010-08-121.0NicolasFrisby
hsmisc (deprecated)150.01A collection of miscellaneous modules (bsd3, deprecated, library, logging, monads, parsing)2015-06-291.2DinoMorelli
iException (deprecated)30.01Version of Control.Exception using InterleavableIO. (deprecated, library, monads)2008-07-230.0.1MarcoSilva
infinite-search160.01Exhaustively searchable infinite sets. (algorithms, bsd3, data, library, monads, search)2009-01-090.12LukePalmer
interleavableGen40.01Generates a version of a module using InterleavableIO (monads, program)2008-07-230.0.1MarcoSilva
interleavableIO60.02Use other Monads in functions that asks for an IO Monad. (library, monads)2008-07-230.0.1MarcoSilva
ixmonad (deprecated in favor of effect-monad, type-level-sets)190.01Embeds effect systems into Haskell using parameteric effect monads (bsd3, control, deprecated, library, monads)2014-05-150.57DominicOrchard
kan-extensions4232.2544Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads (bsd3, comonads, data-structures, functors, library, monads)2024-05-045.2.6EdwardKmett, EricMertens, ryanglscott
lazyio500.04Run IO actions lazily while respecting their order (bsd3, control, library, monads)2016-12-140.1.0.4HenningThielemann
level-monad250.02Non-Determinism Monad for Level-Wise Search (control, library, monads, public-domain)2009-06-220.4.1SebastianFischer
meta-par90.02Provides the monad-par interface, but based on modular scheduler "mix-ins". (bsd3, control, library, monads, parallelism)2012-05-040.3RyanNewton
monad-coroutine750.010Coroutine monad transformer for suspending and resuming monadic computations (concurrency, control, library, monads)2022-03-230.9.2MarioBlazevic
monad-dijkstra1260.02A monad transformer for weighted graph searches (bsd3, control, library, monads)2023-12-180.1.1.5ecramer
monad-interleave110.02Monads with an unsaveInterleaveIO-like operation. (bsd3, library, monads)2022-11-220.2.0.1PatrickPerry, SergeyVinokurov
monad-par1442.2517A library for parallel programming based on a monad (bsd3, control, library, monads, parallelism)2023-09-280.3.6OliverCharles, RyanNewton, SimonMarlow
monad-par-extras450.05Combinators and extra features for Par monads (bsd3, control, library, monads, parallelism)2013-07-120.3.3RyanNewton
monad-parallel750.021Parallel execution of monadic computations (bsd3, control, library, monads)2022-03-220.8MarioBlazevic
monad-parallel-progressbar100.01Parallel execution of monadic computations with a progress bar (control, library, mit, monads, system, user-interfaces)2015-04-050.1.0.1mnacamura
monad-products442.03Monad products (bsd3, control, library, monads)2016-01-174.0.1EdwardKmett
monad-ran80.01Fast monads and monad transformers (bsd3, control, library, monads)2009-05-060.1.0EdwardKmett, JosefSvenningsson
monad-skeleton250.06Monads of program skeleta (bsd3, control, library, monads)2021-11-300.2FumiakiKinoshita
monad-st400.05Provides a MonadST class (bsd3, control, library, monads)2017-06-260.2.4.1EdwardKmett
monad-state140.02Utility library for monads, particularly those involving state. (bsd3, control, data, library, monads)2014-12-020.2.0.3ByronJohnson
monad-stlike-io70.02ST-like monad capturing variables to regions and supporting IO. (bsd3, library, monadic-regions, monads)2010-12-060.2.2TaruKarttunen
monad-stlike-stm90.01ST-like monad capturing variables to regions and supporting STM. (bsd3, library, monadic-regions, monads)2010-02-030.1.1TaruKarttunen
monad-tx50.01A transactional state monad. (bsd3, control, library, monads)2009-04-060.0.1MattMorrow
monadLib922.2528A collection of monad transformers. (bsd3, library, monads)2024-09-023.10.3IavorDiatchki, IsaacJones
monadLib-compose130.02Arrow-like monad composition for monadLib. (bsd3, control, library, monads)2010-10-200.2AristidBreitkreuz
monadloc340.06A class for monads which can keep a monadic call trace (control, library, monads, public-domain)2013-06-060.7.1PepeIborra
monadloc-pp130.01A preprocessor for generating monadic call traces (control, monads, program, public-domain)2014-10-170.3.1PepeIborra
monadology120.00The best ideas in monad-related classes and types. (bsd2, library, monads)2023-08-250.3AshleyYakeley
mstate630.02MState: A consistent State monad for concurrent applications. (bsd3, concurrency, library, monads)2023-10-260.2.10NilsSchweinsberg
mtl-c120.01Very strict CPS'd transformers (bsd3, library, monads)2016-11-110.1.1FumiakiKinoshita
nondeterminism342.02A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2022-05-201.5AndreiBarbu
operational1482.2522Implementation of difficult monads made easy with operational semantics. (bsd3, control, library, monads)2023-02-190.2.4.2HeinrichApfelmus
pqueue-mtl (deprecated in favor of queuelike)220.01Fully encapsulated monad transformers with queuelike functionality. (algorithms, bsd3, deprecated, library, monads)2009-03-131.0.7LouisWasserman
probability630.04Probabilistic Functional Programming (bsd3, graphics, library, math, monads)2023-02-150.2.8HenningThielemann
representable-functors (deprecated in favor of adjunctions)1100.010Representable functors (bsd3, data-structures, deprecated, functors, library, monads)2013-10-133.2.0.2EdwardKmett, EricMertens, ryanglscott, AaronVargo
representable-tries990.02Tries from representations of polynomial functors (bsd3, comonads, data-structures, functors, library, monads)2013-01-063.0.2EdwardKmett
resumable-exceptions80.01A monad transformer for resumable exceptions (control, error-handling, failure, library, monads, reactivity)2010-09-200.0.0.20100920NicolasFrisby
rhythm-game-tutorial90.01Haskell rhythm game tutorial (bsd3, graphics, monads, program)2015-02-230.1.1FumiakiKinoshita
stateful-mtl230.03Typeclass instances for monad transformer stacks with an ST thread at the bottom. (bsd3, library, monads)2009-03-131.0.7LouisWasserman
statethread100.02The ST monad and STRefs (bsd3, data-structures, library, monads)2012-04-070.1.1HenningThielemann
stream-monad290.04Simple, Fair and Terminating Backtracking Monad (bsd3, control, library, monads)2012-09-100.4.0.2SebastianFischer
streamt180.00Simple, Fair and Terminating Backtracking Monad Transformer (bsd3, control, library, monads)2022-05-200.5.0.1davidar
supply-chain50.01Composable request-response pipelines (apache, library, monads, streaming)2023-03-030.0.1.0chris_martin, Monoid_Mary
supply-chain-core50.01Composable request-response pipelines (apache, library, monads, streaming)2023-01-110.0.0.1chris_martin, Monoid_Mary
tagged-exception-core120.02Reflect exceptions using phantom types. (bsd3, control, error-handling, exceptions, failure, library, monad, monads, phantom-types)2016-02-022.2.0.0PeterTrsko
transformers-compose70.03Arrow-like / category-like composition for transformers. (bsd3, control, library, monads)2010-11-010.1AristidBreitkreuz
tree-monad330.03Non-Determinism Monad for Tree Search (bsd3, control, library, monads)2022-07-140.3.2SebastianFischer, nbu
wl-pprint-extras940.08A free monad based on the Wadler/Leijen pretty printer (bsd3, control, library, monads, text)2015-06-093.5.0.5EdwardKmett, NathanielFilardo
wl-pprint-terminfo1080.03A color pretty printer with terminfo support (bsd3, control, library, monads, text)2016-06-223.7.1.4EdwardKmett, NathanielFilardo