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), ...

Consumer70.0A monad and monad transformer for consuming streams (bsd3, library, monads)JeremyShaw
MonadLab160.0Automatically generate layered monads (bsd3, library, monads, program)AdamProcter
STMonadTrans3470.0A monad transformer version of the ST monad (bsd3, library, monads)JosefSvenningsson
Tainted170.0Tainted type, and associated operations (bsd3, control, data, library, monads, trans)RossMeikleham
TreeT50.0Transformer for Data.Tree (control, library, monads, public-domain)RahulGopinath
ZFS160.0Oleg's Zipper FS (library, monads, public-domain)GwernBranwen, jkarni
abstract-par6770.0Type classes generalizing the functionality of the 'monad-par' library. (bsd3, control, library, monads, parallelism)RyanNewton
atrans120.0A small collection of monad (transformer) instances. (library, mit, monads)apho
backward-state100.0A state monad that runs the state in reverse through the computation (bsd3, control, library, monads)LukePalmer
category-extras910.0A meta-package documenting various packages inspired by category theory (bsd3, comonads, control, library, monads)DanDoel, DanielWagner, EdwardKmett, RussellOConnor
compose-trans70.0Composable monad transformers (bsd3, library, monads)MiguelMitrofanov
control-monad-exception1250.0Explicitly typed, checked exceptions with stack traces (control, failure, library, mit, monads)PepeIborra
control-monad-exception-monadsfd230.0Monads-fd instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)PepeIborra
control-monad-exception-monadstf280.0Monads-tf instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)PepeIborra
control-monad-exception-mtl250.0MTL instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)PepeIborra
control-monad-failure (deprecated)460.0A class for monads which can fail with an error. (deprecated) (control, deprecated, failure, library, monads, public-domain)MichaelSnoyman, PepeIborra
control-monad-failure-mtl (deprecated)200.0A class for monads which can fail with an error for mtl 1 (deprecated) (control, deprecated, failure, library, monads, public-domain)MichaelSnoyman, PepeIborra
control-monad-free540.0Free monads and monad transformers (control, library, monads, public-domain)LukePalmer, PepeIborra
contstuff (deprecated)880.0Fast, easy to use CPS-based monad transformers (bsd3, control, deprecated, library, monads)ErtugrulSoeylemez, esz
contstuff-monads-tf (deprecated)130.0ContStuff instances for monads-tf transformers (deprecated) (bsd3, control, deprecated, library, monads)ErtugrulSoeylemez, esz
contstuff-transformers (deprecated)90.0Deprecated interface between contstuff 0.7.0 and the transformers package (bsd3, control, deprecated, library, monads)ErtugrulSoeylemez, esz
csp132.0Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, lgpl, library, monads)AndreiBarbu
data-accessor-monadLib80.0Accessor functions for monadLib's monads (data, library, monads)RussellOConnor
database-study50.0Demonstrate how a database can be implemented the functional way (bsd3, database, library, monads)HenningThielemann
effect-monad110.0Embeds effect systems into Haskell using graded monads (bsd3, control, library, monads)DominicOrchard
effective-aspects60.0A monadic embedding of aspect oriented programming (aop, aspect-oriented-programming, language, library, monads)IsmaelFigueroa
effective-aspects-mzv80.0A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl. (aop, aspect-oriented-programming, language, library, monads)IsmaelFigueroa
effects210.0Computational Effects (bsd3, control, library, monads)SjoerdVisscher
effects-parser40.0Parser Effect for the Control.Effects Library (bsd3, control, library, monads)JesseMcDonald
either9140.0An either monad transformer (bsd3, control, library, monads)EdwardKmett, ryanglscott
explicit-sharing670.0Explicit Sharing of Monadic Effects (control, library, monads, public-domain)SebastianFischer
extensible1240.0Extensible, efficient, optics-friendly data types and effects (bsd3, data, library, monads, records)FumiakiKinoshita
failure (deprecated in favor of exceptions)570.0A simple type class for success/failure computations. (deprecated) (bsd3, control, deprecated, failure, library, monads)MichaelSnoyman, Michael_Smith
free15802.5Monads for free (bsd3, control, library, monads)EdwardKmett, EricMertens
free-game1410.0Create games for free (bsd3, graphics, library, monads)FumiakiKinoshita
free-vl180.0van Laarhoven encoded Free Monad with Extensible Effects (bsd3, control, library, monads, program)aaronlevin
graphted300.0Graph indexed monads. (bsd3, comonads, control, library, monads)AaronFriel
hdph50.0Haskell distributed parallel Haskell (bsd3, control, distributed-computing, library, monads, parallelism, program)PatrickMaier
hofix-mtl40.0defining @mtl@-ready monads as * -> * fixed-points (composition, library, monads)NicolasFrisby
hsmisc (deprecated)30.0A collection of miscellaneous modules (bsd3, deprecated, library, logging, monads, parsing)DinoMorelli
iException (deprecated)30.0Version of Control.Exception using InterleavableIO. (deprecated, library, monads)MarcoSilva
infinite-search80.0Exhaustively searchable infinite sets. (algorithms, bsd3, data, library, monads, search)LukePalmer
interleavableGen30.0Generates a version of a module using InterleavableIO (monads, program)MarcoSilva
interleavableIO30.0Use other Monads in functions that asks for an IO Monad. (library, monads)MarcoSilva
ixmonad (deprecated in favor of effect-monad, type-level-sets)90.0Embeds effect systems into Haskell using parameteric effect monads (bsd3, control, deprecated, library, monads)DominicOrchard
kan-extensions15822.25Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads (bsd3, comonads, data-structures, functors, library, monads)EdwardKmett, EricMertens
lazyio170.0Run IO actions lazily while respecting their order (bsd3, control, library, monads)HenningThielemann
level-monad240.0Non-Determinism Monad for Level-Wise Search (control, library, monads, public-domain)SebastianFischer
meta-par30.0Provides the monad-par interface, but based on modular scheduler "mix-ins". (bsd3, control, library, monads, parallelism)RyanNewton
monad-coroutine250.0Coroutine monad transformer for suspending and resuming monadic computations (concurrency, control, gpl, library, monads)MarioBlazevic
monad-dijkstra150.0Monad transformer for weighted graph searches using Dijkstra's or A* algorithm (bsd3, control, library, monads)ecramer
monad-interleave30.0Monads with an unsaveInterleaveIO-like operation. (bsd3, library, monads)PatrickPerry
monad-par6962.0A library for parallel programming based on a monad (bsd3, control, library, monads, parallelism)RyanNewton, SimonMarlow
monad-par-extras6640.0Combinators and extra features for Par monads (bsd3, control, library, monads, parallelism)RyanNewton
monad-parallel480.0Parallel execution of monadic computations (bsd3, control, library, monads)MarioBlazevic
monad-parallel-progressbar40.0Parallel execution of monadic computations with a progress bar (control, library, mit, monads, system, user-interfaces)mnacamura
monad-products182.0Monad products (bsd3, control, library, monads)EdwardKmett
monad-ran50.0Fast monads and monad transformers (bsd3, control, library, monads)EdwardKmett
monad-skeleton270.0Monads of program skeleta (bsd3, control, library, monads)FumiakiKinoshita
monad-st190.0Provides a MonadST class (bsd3, control, library, monads)EdwardKmett
monad-state50.0Utility library for monads, particularly those involving state. (bsd3, control, data, library, monads)ByronJohnson
monad-stlike-io70.0ST-like monad capturing variables to regions and supporting IO. (bsd3, library, monadic-regions, monads)TaruKarttunen
monad-stlike-stm50.0ST-like monad capturing variables to regions and supporting STM. (bsd3, library, monadic-regions, monads)TaruKarttunen
monad-supply140.0Stateful supply monad. (control, data, library, monads)GeoffHulette
monad-tx40.0A transactional state monad. (bsd3, control, library, monads)MattMorrow
monadLib492.25A collection of monad transformers. (bsd3, library, monads)IavorDiatchki, IsaacJones
monadLib-compose60.0Arrow-like monad composition for monadLib. (bsd3, control, library, monads)AristidBreitkreuz
monadloc190.0A class for monads which can keep a monadic call trace (control, library, monads, public-domain)PepeIborra
monadloc-pp110.0A preprocessor for generating monadic call traces (control, monads, program, public-domain)PepeIborra
mstate210.0MState: A consistent State monad for concurrent applications. (bsd3, concurrency, library, monads)NilsSchweinsberg
mtl-c50.0Very strict CPS'd transformers (bsd3, library, monads)FumiakiKinoshita
nondeterminism92.0A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, lgpl, library, monads)AndreiBarbu
operational5052.0Implementation of difficult monads made easy with operational semantics. (bsd3, control, library, monads)HeinrichApfelmus
pqueue-mtl (deprecated in favor of queuelike)180.0Fully encapsulated monad transformers with queuelike functionality. (algorithms, bsd3, deprecated, library, monads)LouisWasserman
probability490.0Probabilistic Functional Programming (bsd3, graphics, library, math, monads)HenningThielemann
representable-functors (deprecated in favor of adjunctions)670.0Representable functors (bsd3, data-structures, deprecated, functors, library, monads)EdwardKmett
representable-tries670.0Tries from representations of polynomial functors (bsd3, comonads, data-structures, functors, library, monads)EdwardKmett
resumable-exceptions60.0A monad transformer for resumable exceptions (control, error-handling, failure, library, monads, reactivity)NicolasFrisby
rhythm-game-tutorial30.0Haskell rhythm game tutorial (bsd3, graphics, monads, program)FumiakiKinoshita
stateful-mtl160.0Typeclass instances for monad transformer stacks with an ST thread at the bottom. (bsd3, library, monads)LouisWasserman
statethread50.0The ST monad and STRefs (bsd3, data-structures, library, monads)HenningThielemann
stream-monad180.0Simple, Fair and Terminating Backtracking Monad (bsd3, control, library, monads)SebastianFischer
tagged-exception-core60.0Reflect exceptions using phantom types. (bsd3, control, error-handling, exceptions, failure, library, monad, monads, phantom-types)PeterTrsko
transformers-compose40.0Arrow-like / category-like composition for transformers. (bsd3, control, library, monads)AristidBreitkreuz
tree-monad130.0Non-Determinism Monad for Tree Search (bsd3, control, library, monads)SebastianFischer
wl-pprint-extras480.0A free monad based on the Wadler/Leijen pretty printer (bsd3, control, library, monads, text)EdwardKmett, NathanielFilardo
wl-pprint-terminfo630.0A color pretty printer with terminfo support (bsd3, control, library, monads, text)EdwardKmett, NathanielFilardo