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
Consumer30.02A monad and monad transformer for consuming streams (bsd3, library, monads)2009-10-271.2JeremyShaw
MonadLab90.01Automatically generate layered monads (bsd3, library, monads, program)2009-01-290.0.2AdamProcter
STMonadTrans1760.08A monad transformer version of the ST monad (bsd3, library, monads)2024-01-040.4.8AndreasAbel, JosefSvenningsson
Tainted120.01Tainted type, and associated operations (bsd3, control, data, library, monads, trans)2015-05-270.1.0.2RossMeikleham
TreeT100.01Transformer for Data.Tree (control, library, monads, public-domain)2011-09-170.0RahulGopinath
ZFS80.01Oleg's Zipper FS (library, monads, public-domain)2014-11-250.0.2GwernBranwen, jkarni
abstract-par620.011Type classes generalizing the functionality of the 'monad-par' library. (bsd3, control, library, monads, parallelism)2013-11-060.3.3RyanNewton
atrans110.01A small collection of monad (transformer) instances. (library, mit, monads)2016-01-200.1.1.0apho
backward-state70.01A state monad that runs the state in reverse through the computation (bsd3, control, library, monads)2013-01-140.1.0.2LukePalmer
category-extras510.011A meta-package documenting various packages inspired by category theory (bsd3, comonads, control, library, monads)2012-04-061.0.2DanDoel, DanielWagner, EdwardKmett, RussellOConnor
compose-trans40.01Composable monad transformers (bsd3, library, monads)2011-11-050.1MiguelMitrofanov
control-monad-exception670.08Explicitly typed, checked exceptions with stack traces (control, failure, library, monads)2020-07-060.11.4PepeIborra
control-monad-exception-monadsfd150.01Monads-fd instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-exception-monadstf260.01Monads-tf instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-exception-mtl200.01MTL instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-failure (deprecated)330.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)150.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-free540.03Free monads and monad transformers (control, library, monads, public-domain)2018-10-060.6.2LukePalmer, PepeIborra
contstuff (deprecated)330.07Fast, easy to use CPS-based monad transformers (bsd3, control, deprecated, library, monads)2011-05-191.2.6ErtugrulSoeylemez, esz
contstuff-monads-tf (deprecated)110.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
csp242.01Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-141.4.0AndreiBarbu
data-accessor-monadLib50.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-monad132.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-aspects40.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
effects210.02Computational Effects (bsd3, control, library, monads)2019-04-130.2.4SjoerdVisscher
effects-parser110.01Parser Effect for the Control.Effects Library (bsd3, control, library, monads)2013-09-150.1JesseMcDonald
either2442.0283Combinators for working with sums (bsd3, control, library, monads)2022-05-085.0.2EdwardKmett, ryanglscott, GeorgeWilson
exotic-list-monads120.00Non-standard monads on lists and non-empty lists (library, list, mit, monads)2023-11-211.1.1maciejpirog
explicit-sharing230.01Explicit Sharing of Monadic Effects (control, library, monads, public-domain)2011-06-300.9SebastianFischer
extensible-skeleton70.00Operational-based extensible effect library (bsd3, library, monads)2021-10-210.0.1FumiakiKinoshita
failure (deprecated in favor of exceptions)310.071A simple type class for success/failure computations. (deprecated) (bsd3, control, deprecated, failure, library, monads)2014-06-080.2.0.3MichaelSnoyman, Michael_Smith
free4982.5202Monads for free (bsd3, control, library, monads)2023-03-125.2EdwardKmett, EricMertens, JohnWiegley, ryanglscott
free-algebras312.02Free algebras (algebra, control, library, monads, mpl)2023-06-040.1.1.0coot
free-category232.01efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2023-06-040.0.4.5coot
free-game630.01Create games for free (bsd3, graphics, library, monads)2022-08-291.2FumiakiKinoshita
free-vl160.00van Laarhoven encoded Free Monad with Extensible Effects (bsd3, control, library, monads, program)2016-02-100.1.4aaronlevin
freer-par-monad90.01Freer par monad (bsd3, library, monads)2023-12-010.1.0.0YoshikuniJujo
functor-monad50.00FFunctor: functors on (the usual) Functors (bsd3, comonads, functors, library, monads)2024-02-070.1.1.0viercc
graphted150.01Graph indexed monads. (bsd3, comonads, control, library, monads)2017-05-090.3.1.0AaronFriel
hdph60.01Haskell distributed parallel Haskell (bsd3, control, distributed-computing, library, monads, parallelism, program)2013-02-070.0.1PatrickMaier
heftia30.01Higher-order version of Freer. (control, library, monads, mpl)2023-09-180.1.0.0YamadaRyo
heftia-effects40.00Handlers for standard effects using Heftia. (control, effect, library, monads, mpl, program)2023-09-180.1.0.0YamadaRyo
hofix-mtl50.01defining @mtl@-ready monads as * -> * fixed-points (composition, library, monads)2010-08-121.0NicolasFrisby
hsmisc (deprecated)200.01A collection of miscellaneous modules (bsd3, deprecated, library, logging, monads, parsing)2015-06-291.2DinoMorelli
iException (deprecated)40.01Version of Control.Exception using InterleavableIO. (deprecated, library, monads)2008-07-230.0.1MarcoSilva
infinite-search90.01Exhaustively searchable infinite sets. (algorithms, bsd3, data, library, monads, search)2009-01-090.12LukePalmer
interleavableGen60.01Generates a version of a module using InterleavableIO (monads, program)2008-07-230.0.1MarcoSilva
interleavableIO80.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)150.01Embeds effect systems into Haskell using parameteric effect monads (bsd3, control, deprecated, library, monads)2014-05-150.57DominicOrchard
kan-extensions3342.2543Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads (bsd3, comonads, data-structures, functors, library, monads)2022-06-265.2.5EdwardKmett, EricMertens, ryanglscott
lazyio270.04Run IO actions lazily while respecting their order (bsd3, control, library, monads)2016-12-140.1.0.4HenningThielemann
level-monad150.02Non-Determinism Monad for Level-Wise Search (control, library, monads, public-domain)2009-06-220.4.1SebastianFischer
meta-par60.02Provides the monad-par interface, but based on modular scheduler "mix-ins". (bsd3, control, library, monads, parallelism)2012-05-040.3RyanNewton
monad-coroutine660.010Coroutine monad transformer for suspending and resuming monadic computations (concurrency, control, library, monads)2022-03-230.9.2MarioBlazevic
monad-dijkstra1630.02A monad transformer for weighted graph searches (bsd3, control, library, monads)2023-12-180.1.1.5ecramer
monad-interleave150.02Monads with an unsaveInterleaveIO-like operation. (bsd3, library, monads)2022-11-220.2.0.1PatrickPerry, SergeyVinokurov
monad-par1042.2517A library for parallel programming based on a monad (bsd3, control, library, monads, parallelism)2023-09-280.3.6OliverCharles, RyanNewton, SimonMarlow
monad-par-extras600.05Combinators and extra features for Par monads (bsd3, control, library, monads, parallelism)2013-07-120.3.3RyanNewton
monad-parallel860.020Parallel execution of monadic computations (bsd3, control, library, monads)2022-03-220.8MarioBlazevic
monad-parallel-progressbar70.01Parallel execution of monadic computations with a progress bar (control, library, mit, monads, system, user-interfaces)2015-04-050.1.0.1mnacamura
monad-products202.03Monad products (bsd3, control, library, monads)2016-01-174.0.1EdwardKmett
monad-ran60.01Fast monads and monad transformers (bsd3, control, library, monads)2009-05-060.1.0EdwardKmett, JosefSvenningsson
monad-skeleton350.06Monads of program skeleta (bsd3, control, library, monads)2021-11-300.2FumiakiKinoshita
monad-st220.05Provides a MonadST class (bsd3, control, library, monads)2017-06-260.2.4.1EdwardKmett
monad-state60.02Utility library for monads, particularly those involving state. (bsd3, control, data, library, monads)2014-12-020.2.0.3ByronJohnson
monad-stlike-io60.02ST-like monad capturing variables to regions and supporting IO. (bsd3, library, monadic-regions, monads)2010-12-060.2.2TaruKarttunen
monad-stlike-stm60.01ST-like monad capturing variables to regions and supporting STM. (bsd3, library, monadic-regions, monads)2010-02-030.1.1TaruKarttunen
monad-tx60.01A transactional state monad. (bsd3, control, library, monads)2009-04-060.0.1MattMorrow
monadLib652.2528A collection of monad transformers. (bsd3, library, monads)2022-03-073.10.1IavorDiatchki, IsaacJones
monadLib-compose50.02Arrow-like monad composition for monadLib. (bsd3, control, library, monads)2010-10-200.2AristidBreitkreuz
monadloc240.06A class for monads which can keep a monadic call trace (control, library, monads, public-domain)2013-06-060.7.1PepeIborra
monadloc-pp100.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
mstate190.02MState: A consistent State monad for concurrent applications. (bsd3, concurrency, library, monads)2023-10-260.2.10NilsSchweinsberg
mtl-c50.01Very strict CPS'd transformers (bsd3, library, monads)2016-11-110.1.1FumiakiKinoshita
nondeterminism162.02A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2022-05-201.5AndreiBarbu
operational1292.2521Implementation 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)170.01Fully encapsulated monad transformers with queuelike functionality. (algorithms, bsd3, deprecated, library, monads)2009-03-131.0.7LouisWasserman
probability410.04Probabilistic Functional Programming (bsd3, graphics, library, math, monads)2023-02-150.2.8HenningThielemann
representable-functors (deprecated in favor of adjunctions)530.010Representable functors (bsd3, data-structures, deprecated, functors, library, monads)2013-10-133.2.0.2EdwardKmett, EricMertens, ryanglscott, AaronVargo
representable-tries510.02Tries from representations of polynomial functors (bsd3, comonads, data-structures, functors, library, monads)2013-01-063.0.2EdwardKmett
resumable-exceptions70.01A monad transformer for resumable exceptions (control, error-handling, failure, library, monads, reactivity)2010-09-200.0.0.20100920NicolasFrisby
rhythm-game-tutorial80.01Haskell rhythm game tutorial (bsd3, graphics, monads, program)2015-02-230.1.1FumiakiKinoshita
stateful-mtl140.03Typeclass instances for monad transformer stacks with an ST thread at the bottom. (bsd3, library, monads)2009-03-131.0.7LouisWasserman
statethread50.02The ST monad and STRefs (bsd3, data-structures, library, monads)2012-04-070.1.1HenningThielemann
stream-monad130.04Simple, Fair and Terminating Backtracking Monad (bsd3, control, library, monads)2012-09-100.4.0.2SebastianFischer
streamt150.00Simple, Fair and Terminating Backtracking Monad Transformer (bsd3, control, library, monads)2022-05-200.5.0.1davidar
supply-chain60.01Composable request-response pipelines (apache, library, monads, streaming)2023-03-030.0.1.0chris_martin, Monoid_Mary
supply-chain-core60.01Composable request-response pipelines (apache, library, monads, streaming)2023-01-110.0.0.1chris_martin, Monoid_Mary
tagged-exception-core60.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-monad210.03Non-Determinism Monad for Tree Search (bsd3, control, library, monads)2022-07-140.3.2SebastianFischer, nbu
wl-pprint-extras700.08A free monad based on the Wadler/Leijen pretty printer (bsd3, control, library, monads, text)2015-06-093.5.0.5EdwardKmett, NathanielFilardo
wl-pprint-terminfo860.03A color pretty printer with terminfo support (bsd3, control, library, monads, text)2016-06-223.7.1.4EdwardKmett, NathanielFilardo