Packages tagged monads
97 packages have this tag.
[Merge tag] (trustees only)Related tags: library (94), bsd3 (62), 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 |
|---|---|---|---|---|---|---|---|---|
| Consumer | 0 | 0.0 | 2 | A monad and monad transformer for consuming streams | (bsd3, library, monads) | 2009-10-27 | 1.2 | JeremyShaw |
| MonadLab | 3 | 0.0 | 1 | Automatically generate layered monads | (bsd3, library, monads, program) | 2009-01-29 | 0.0.2 | AdamProcter |
| STMonadTrans | 157 | 0.0 | 8 | A monad transformer version of the ST monad | (bsd3, library, monads) | 2024-01-04 | 0.4.8 | AndreasAbel, JosefSvenningsson |
| Tainted | 7 | 0.0 | 1 | Tainted type, and associated operations | (bsd3, control, data, library, monads, trans) | 2015-05-27 | 0.1.0.2 | RossMeikleham |
| TreeT | 4 | 0.0 | 1 | Transformer for Data.Tree | (control, library, monads, public-domain) | 2011-09-17 | 0.0 | RahulGopinath |
| ZFS | 9 | 0.0 | 1 | Oleg's Zipper FS | (library, monads, public-domain) | 2014-11-25 | 0.0.2 | GwernBranwen, jkarni |
| abstract-par | 54 | 0.0 | 11 | Type classes generalizing the functionality of the 'monad-par' library. | (bsd3, control, library, monads, parallelism) | 2013-11-06 | 0.3.3 | RyanNewton |
| atrans | 5 | 0.0 | 1 | A small collection of monad (transformer) instances. | (library, mit, monads) | 2016-01-20 | 0.1.1.0 | apho |
| backward-state | 2 | 0.0 | 1 | A state monad that runs the state in reverse through the computation | (bsd3, control, library, monads) | 2013-01-14 | 0.1.0.2 | LukePalmer |
| category-extras | 29 | 0.0 | 11 | A meta-package documenting various packages inspired by category theory | (bsd3, comonads, control, library, monads) | 2012-04-06 | 1.0.2 | DanDoel, DanielWagner, EdwardKmett, RussellOConnor |
| compose-trans | 0 | 0.0 | 1 | Composable monad transformers | (bsd3, library, monads) | 2011-11-05 | 0.1 | MiguelMitrofanov |
| control-monad-exception | 70 | 0.0 | 8 | Explicitly typed, checked exceptions with stack traces | (control, failure, library, monads) | 2020-07-06 | 0.11.4 | PepeIborra |
| control-monad-exception-monadsfd | 12 | 0.0 | 1 | Monads-fd instances for the EMT exceptions monad transformer | (control, failure, library, monads, public-domain) | 2012-05-28 | 0.10.3 | PepeIborra |
| control-monad-exception-monadstf | 20 | 0.0 | 1 | Monads-tf instances for the EMT exceptions monad transformer | (control, failure, library, monads, public-domain) | 2012-05-28 | 0.10.3 | PepeIborra |
| control-monad-exception-mtl | 21 | 0.0 | 1 | MTL instances for the EMT exceptions monad transformer | (control, failure, library, monads, public-domain) | 2012-05-28 | 0.10.3 | PepeIborra |
| control-monad-failure (deprecated) | 21 | 0.0 | 9 | A class for monads which can fail with an error. (deprecated) | (control, deprecated, failure, library, monads, public-domain) | 2012-01-18 | 0.7.0.1 | MichaelSnoyman, PepeIborra |
| control-monad-failure-mtl (deprecated) | 11 | 0.0 | 1 | A class for monads which can fail with an error for mtl 1 (deprecated) | (control, deprecated, failure, library, monads, public-domain) | 2011-11-30 | 0.7.1 | MichaelSnoyman, PepeIborra |
| control-monad-free | 77 | 0.0 | 3 | Free monads and monad transformers | (control, library, monads, public-domain) | 2018-10-06 | 0.6.2 | LukePalmer, PepeIborra |
| contstuff (deprecated) | 35 | 0.0 | 7 | Fast, easy to use CPS-based monad transformers | (bsd3, control, deprecated, library, monads) | 2011-05-19 | 1.2.6 | ErtugrulSoeylemez, esz |
| contstuff-monads-tf (deprecated) | 5 | 0.0 | 1 | ContStuff instances for monads-tf transformers (deprecated) | (bsd3, control, deprecated, library, monads) | 2010-11-24 | 0.2.1 | ErtugrulSoeylemez, esz |
| contstuff-transformers (deprecated) | 2 | 0.0 | 1 | Deprecated interface between contstuff 0.7.0 and the transformers package | (bsd3, control, deprecated, library, monads) | 2010-12-27 | 0.1.1 | ErtugrulSoeylemez, esz |
| csp | 11 | 2.0 | 1 | Discrete constraint satisfaction problem (CSP) solver. | (ai, constraints, control, failure, library, monads) | 2018-03-14 | 1.4.0 | AndreiBarbu |
| data-accessor-monadLib | 0 | 0.0 | 1 | Accessor functions for monadLib's monads | (data, library, monads) | 2009-02-11 | 0.0.1 | RussellOConnor |
| database-study | 1 | 0.0 | 1 | Demonstrate how a database can be implemented the functional way | (bsd3, database, library, monads) | 2010-02-05 | 0.0.1 | HenningThielemann |
| effect-monad | 7 | 2.0 | 1 | Embeds effect systems and program logics into Haskell using graded monads and parameterised monads | (bsd3, control, library, monads) | 2018-01-24 | 0.8.1.0 | DominicOrchard |
| effective-aspects | 1 | 0.0 | 1 | A monadic embedding of aspect oriented programming | (aop, aspect-oriented-programming, language, library, monads) | 2014-01-15 | 0.1.0.0 | IsmaelFigueroa |
| effective-aspects-mzv | 3 | 0.0 | 1 | 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 | 0.1.0.1 | IsmaelFigueroa |
| effects | 9 | 0.0 | 2 | Computational Effects | (bsd3, control, library, monads) | 2019-04-13 | 0.2.4 | SjoerdVisscher |
| effects-parser | 6 | 0.0 | 1 | Parser Effect for the Control.Effects Library | (bsd3, control, library, monads) | 2013-09-15 | 0.1 | JesseMcDonald |
| either | 269 | 2.0 | 286 | Combinators for working with sums | (bsd3, control, library, monads) | 2022-05-08 | 5.0.2 | EdwardKmett, ryanglscott, GeorgeWilson |
| exotic-list-monads | 8 | 0.0 | 0 | Non-standard monads on lists and non-empty lists | (library, list, mit, monads) | 2023-11-21 | 1.1.1 | maciejpirog |
| explicit-sharing | 32 | 0.0 | 1 | Explicit Sharing of Monadic Effects | (control, library, monads, public-domain) | 2011-06-30 | 0.9 | SebastianFischer |
| extensible-skeleton | 2 | 0.0 | 0 | Operational-based extensible effect library | (bsd3, library, monads) | 2021-10-21 | 0.0.1 | FumiakiKinoshita |
| failure (deprecated in favor of exceptions) | 34 | 0.0 | 71 | A simple type class for success/failure computations. (deprecated) | (bsd3, control, deprecated, failure, library, monads) | 2014-06-08 | 0.2.0.3 | MichaelSnoyman, Michael_Smith |
| free | 431 | 2.5 | 204 | Monads for free | (bsd3, control, library, monads) | 2023-03-12 | 5.2 | EdwardKmett, EricMertens, JohnWiegley, ryanglscott |
| free-algebras | 58 | 2.0 | 2 | Free algebras | (algebra, control, library, monads, mpl) | 2024-09-01 | 0.1.2.0 | coot |
| free-category | 8 | 2.0 | 1 | efficient data types for free categories and arrows | (algebra, category, category-theory, control, library, monads, mpl) | 2023-06-04 | 0.0.4.5 | coot |
| free-game | 91 | 0.0 | 1 | Create games for free | (bsd3, graphics, library, monads) | 2022-08-29 | 1.2 | FumiakiKinoshita |
| free-vl | 11 | 0.0 | 0 | van Laarhoven encoded Free Monad with Extensible Effects | (bsd3, control, library, monads, program) | 2016-02-10 | 0.1.4 | aaronlevin |
| freer-par-monad | 6 | 0.0 | 1 | Freer par monad | (bsd3, library, monads) | 2023-12-01 | 0.1.0.0 | YoshikuniJujo |
| functor-monad | 6 | 0.0 | 0 | FFunctor: functors on (the usual) Functors | (bsd3, comonads, functors, library, monads) | 2024-09-29 | 0.1.1.1 | viercc |
| graphted | 11 | 0.0 | 1 | Graph indexed monads. | (bsd3, comonads, control, library, monads) | 2017-05-09 | 0.3.1.0 | AaronFriel |
| hdph | 1 | 0.0 | 1 | Haskell distributed parallel Haskell | (bsd3, control, distributed-computing, library, monads, parallelism, program) | 2013-02-07 | 0.0.1 | PatrickMaier |
| heftia | 19 | 0.0 | 1 | higher-order algebraic effects done right | (control, library, monads, mpl) | 2024-11-03 | 0.5.0.0 | YamadaRyo |
| heftia-effects | 25 | 0.0 | 0 | higher-order algebraic effects done right | (control, effect, library, monads, mpl, program) | 2024-11-03 | 0.5.0.0 | YamadaRyo |
| hofix-mtl | 0 | 0.0 | 1 | defining @mtl@-ready monads as * -> * fixed-points | (composition, library, monads) | 2010-08-12 | 1.0 | NicolasFrisby |
| hsmisc (deprecated) | 8 | 0.0 | 1 | A collection of miscellaneous modules | (bsd3, deprecated, library, logging, monads, parsing) | 2015-06-29 | 1.2 | DinoMorelli |
| iException (deprecated) | 0 | 0.0 | 1 | Version of Control.Exception using InterleavableIO. | (deprecated, library, monads) | 2008-07-23 | 0.0.1 | MarcoSilva |
| infinite-search | 7 | 0.0 | 1 | Exhaustively searchable infinite sets. | (algorithms, bsd3, data, library, monads, search) | 2009-01-09 | 0.12 | LukePalmer |
| interleavableGen | 0 | 0.0 | 1 | Generates a version of a module using InterleavableIO | (monads, program) | 2008-07-23 | 0.0.1 | MarcoSilva |
| interleavableIO | 1 | 0.0 | 2 | Use other Monads in functions that asks for an IO Monad. | (library, monads) | 2008-07-23 | 0.0.1 | MarcoSilva |
| ixmonad (deprecated in favor of effect-monad, type-level-sets) | 1 | 0.0 | 1 | Embeds effect systems into Haskell using parameteric effect monads | (bsd3, control, deprecated, library, monads) | 2014-05-15 | 0.57 | DominicOrchard |
| kan-extensions | 346 | 2.25 | 45 | Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads | (bsd3, comonads, data-structures, functors, library, monads) | 2024-05-04 | 5.2.6 | EdwardKmett, EricMertens, ryanglscott |
| lazyio | 28 | 0.0 | 4 | Run IO actions lazily while respecting their order | (bsd3, control, library, monads) | 2016-12-14 | 0.1.0.4 | HenningThielemann |
| level-monad | 11 | 0.0 | 2 | Non-Determinism Monad for Level-Wise Search | (control, library, monads, public-domain) | 2009-06-22 | 0.4.1 | SebastianFischer |
| meta-par | 2 | 0.0 | 2 | Provides the monad-par interface, but based on modular scheduler "mix-ins". | (bsd3, control, library, monads, parallelism) | 2012-05-04 | 0.3 | RyanNewton |
| monad-coroutine | 44 | 0.0 | 10 | Coroutine monad transformer for suspending and resuming monadic computations | (concurrency, control, library, monads) | 2022-03-23 | 0.9.2 | MarioBlazevic |
| monad-dijkstra | 152 | 0.0 | 2 | A monad transformer for weighted graph searches | (bsd3, control, library, monads) | 2023-12-18 | 0.1.1.5 | ecramer |
| monad-interleave | 17 | 0.0 | 2 | Monads with an unsaveInterleaveIO-like operation. | (bsd3, library, monads) | 2022-11-22 | 0.2.0.1 | PatrickPerry, SergeyVinokurov |
| monad-par | 75 | 2.25 | 17 | A library for parallel programming based on a monad | (bsd3, control, library, monads, parallelism) | 2023-09-28 | 0.3.6 | OliverCharles, RyanNewton, SimonMarlow |
| monad-par-extras | 52 | 0.0 | 5 | Combinators and extra features for Par monads | (bsd3, control, library, monads, parallelism) | 2013-07-12 | 0.3.3 | RyanNewton |
| monad-parallel | 73 | 0.0 | 21 | Parallel execution of monadic computations | (bsd3, control, library, monads) | 2022-03-22 | 0.8 | MarioBlazevic |
| monad-parallel-progressbar | 5 | 0.0 | 1 | Parallel execution of monadic computations with a progress bar | (control, library, mit, monads, system, user-interfaces) | 2015-04-05 | 0.1.0.1 | mnacamura |
| monad-products | 26 | 2.0 | 3 | Monad products | (bsd3, control, library, monads) | 2016-01-17 | 4.0.1 | EdwardKmett |
| monad-ran | 0 | 0.0 | 1 | Fast monads and monad transformers | (bsd3, control, library, monads) | 2009-05-06 | 0.1.0 | EdwardKmett, JosefSvenningsson |
| monad-skeleton | 33 | 0.0 | 6 | Monads of program skeleta | (bsd3, control, library, monads) | 2021-11-30 | 0.2 | FumiakiKinoshita |
| monad-st | 38 | 0.0 | 5 | Provides a MonadST class | (bsd3, control, library, monads) | 2017-06-26 | 0.2.4.1 | EdwardKmett |
| monad-state | 4 | 0.0 | 2 | Utility library for monads, particularly those involving state. | (bsd3, control, data, library, monads) | 2014-12-02 | 0.2.0.3 | ByronJohnson |
| monad-stlike-io | 4 | 0.0 | 2 | ST-like monad capturing variables to regions and supporting IO. | (bsd3, library, monadic-regions, monads) | 2010-12-06 | 0.2.2 | TaruKarttunen |
| monad-stlike-stm | 3 | 0.0 | 1 | ST-like monad capturing variables to regions and supporting STM. | (bsd3, library, monadic-regions, monads) | 2010-02-03 | 0.1.1 | TaruKarttunen |
| monad-tx | 0 | 0.0 | 1 | A transactional state monad. | (bsd3, control, library, monads) | 2009-04-06 | 0.0.1 | MattMorrow |
| monadLib | 100 | 2.25 | 28 | A collection of monad transformers. | (library, monads) | 2024-09-02 | 3.10.3 | IavorDiatchki, IsaacJones |
| monadLib-compose | 3 | 0.0 | 2 | Arrow-like monad composition for monadLib. | (bsd3, control, library, monads) | 2010-10-20 | 0.2 | AristidBreitkreuz |
| monadloc | 21 | 0.0 | 6 | A class for monads which can keep a monadic call trace | (control, library, monads, public-domain) | 2013-06-06 | 0.7.1 | PepeIborra |
| monadloc-pp | 2 | 0.0 | 1 | A preprocessor for generating monadic call traces | (control, monads, program, public-domain) | 2014-10-17 | 0.3.1 | PepeIborra |
| monadology | 30 | 0.0 | 0 | The best ideas in monad-related classes and types. | (bsd2, library, monads) | 2024-12-16 | 0.4 | AshleyYakeley |
| mstate | 20 | 0.0 | 2 | MState: A consistent State monad for concurrent applications. | (bsd3, concurrency, library, monads) | 2023-10-26 | 0.2.10 | NilsSchweinsberg |
| mtl-c | 3 | 0.0 | 1 | Very strict CPS'd transformers | (bsd3, library, monads) | 2016-11-11 | 0.1.1 | FumiakiKinoshita |
| nondeterminism | 17 | 2.0 | 2 | A monad and monad transformer for nondeterministic computations. | (ai, constraints, control, failure, library, monads) | 2022-05-20 | 1.5 | AndreiBarbu |
| operational | 145 | 2.25 | 22 | Implementation of difficult monads made easy with operational semantics. | (bsd3, control, library, monads) | 2023-02-19 | 0.2.4.2 | HeinrichApfelmus |
| pqueue-mtl (deprecated in favor of queuelike) | 1 | 0.0 | 1 | Fully encapsulated monad transformers with queuelike functionality. | (algorithms, bsd3, deprecated, library, monads) | 2009-03-13 | 1.0.7 | LouisWasserman |
| probability | 28 | 0.0 | 4 | Probabilistic Functional Programming | (bsd3, graphics, library, math, monads) | 2023-02-15 | 0.2.8 | HenningThielemann |
| representable-functors (deprecated in favor of adjunctions) | 115 | 0.0 | 10 | Representable functors | (bsd3, data-structures, deprecated, functors, library, monads) | 2013-10-13 | 3.2.0.2 | EdwardKmett, EricMertens, ryanglscott, AaronVargo |
| representable-tries | 148 | 0.0 | 2 | Tries from representations of polynomial functors | (bsd3, comonads, data-structures, functors, library, monads) | 2013-01-06 | 3.0.2 | EdwardKmett |
| resumable-exceptions | 3 | 0.0 | 1 | A monad transformer for resumable exceptions | (control, error-handling, failure, library, monads, reactivity) | 2010-09-20 | 0.0.0.20100920 | NicolasFrisby |
| rhythm-game-tutorial | 0 | 0.0 | 1 | Haskell rhythm game tutorial | (bsd3, graphics, monads, program) | 2015-02-23 | 0.1.1 | FumiakiKinoshita |
| stateful-mtl | 1 | 0.0 | 3 | Typeclass instances for monad transformer stacks with an ST thread at the bottom. | (bsd3, library, monads) | 2009-03-13 | 1.0.7 | LouisWasserman |
| statethread | 3 | 0.0 | 2 | The ST monad and STRefs | (bsd3, data-structures, library, monads) | 2012-04-07 | 0.1.1 | HenningThielemann |
| stream-monad | 14 | 0.0 | 4 | Simple, Fair and Terminating Backtracking Monad | (bsd3, control, library, monads) | 2012-09-10 | 0.4.0.2 | SebastianFischer |
| streamt | 9 | 0.0 | 0 | Simple, Fair and Terminating Backtracking Monad Transformer | (bsd3, control, library, monads) | 2022-05-20 | 0.5.0.1 | davidar |
| supply-chain | 3 | 0.0 | 1 | Composable request-response pipelines | (apache, library, monads, streaming) | 2023-03-03 | 0.0.1.0 | chris_martin, Monoid_Mary |
| supply-chain-core | 2 | 0.0 | 1 | Composable request-response pipelines | (apache, library, monads, streaming) | 2023-01-11 | 0.0.0.1 | chris_martin, Monoid_Mary |
| tagged-exception-core | 3 | 0.0 | 2 | Reflect exceptions using phantom types. | (bsd3, control, error-handling, exceptions, failure, library, monad, monads, phantom-types) | 2016-02-02 | 2.2.0.0 | PeterTrsko |
| transformers-compose | 0 | 0.0 | 3 | Arrow-like / category-like composition for transformers. | (bsd3, control, library, monads) | 2010-11-01 | 0.1 | AristidBreitkreuz |
| tree-monad | 20 | 0.0 | 3 | Non-Determinism Monad for Tree Search | (bsd3, control, library, monads) | 2022-07-14 | 0.3.2 | SebastianFischer, nbu |
| wl-pprint-extras | 26 | 0.0 | 8 | A free monad based on the Wadler/Leijen pretty printer | (bsd3, control, library, monads, text) | 2015-06-09 | 3.5.0.5 | EdwardKmett, NathanielFilardo |
| wl-pprint-terminfo | 76 | 0.0 | 3 | A color pretty printer with terminfo support | (bsd3, control, library, monads, text) | 2016-06-22 | 3.7.1.4 | EdwardKmett, NathanielFilardo |