Packages tagged control

811 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (803), bsd3 (557), mit (147), deprecated (77), monads (57), data (48), program (46), public-domain (32), concurrency (22), pipes (22), monad (18), failure (17), effect (16), gpl (15), parallelism (13), bsd2 (12), comonads (12), network (12), error-handling (11), distributed-computing (9), system (9), combinators (8), mpl (8), categories (7), enumerator (7), apache (6), frp (6), lgpl (6), logic (6), reactivity (6), text (6), cloud-haskell (5), language (5), arrows (4), conversion (4), exceptions (4), monadic-regions (4), parsing (4), recursion (4), streaming (4), time (4), ai (3), algebra (3), composition (3), data-structures (3), development (3), generics (3), prelude (3), template-haskell (3), web (3), category (2), constraints (2), cryptography (2), database (2), dsl (2), game (2), general (2), http (2), io (2), local-search (2), logging (2), math (2), mutable-state (2), optimisation (2), polymorphism (2), timeout (2), user-interfaces (2), agpl (1), applicative (1), array (1), aws (1), benchmarking (1), category-theory (1), closure (1), cloud (1), concurrent (1), contract (1), control. (1), dataflow (1), delay (1), dependency-injection (1), distributed-systems (1), distribution (1), eden (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
AAI130.00Abstract Application Interface. (control, library, mit)2015-08-030.2.0.1bash0r
AbortT-monadstf60.01Monads-tf instances for the AbortT monad transformer. (bsd3, control, library)2012-12-071.0GregoryCrosswhite
AbortT-mtl80.02mtl instances for the AbortT monad transformer (bsd3, control, library)2016-02-061.0.0.1GregoryCrosswhite
AbortT-transformers190.06A monad and monadic transformer providing "abort" functionality (bsd3, control, library)2019-07-191.0.1.3GregoryCrosswhite
Adaptive-Blaisorblade110.01Library for incremental computing. (bsd3, control, library, program)2013-01-260.23PaoloGiarrusso
CC-delcont260.03Delimited continuations and dynamically scoped variables (control, library)2016-05-110.2.1.0DanDoel
CC-delcont-alt170.01Three new monad transformers for multi-prompt delimited control (bsd3, control, library)2012-10-230.1.1.1KidoTakahiro
CC-delcont-cxe140.02A monad transformers for multi-prompt delimited control (bsd3, control, library)2011-10-120.1.0.2KidoTakahiro
CC-delcont-exc100.02A monad transformers for multi-prompt delimited control (bsd3, control, library)2011-10-120.1.0.0KidoTakahiro
CC-delcont-ref70.02A monad transformers for multi-prompt delimited control using refercence cells (bsd3, control, library)2011-10-120.1.0.0KidoTakahiro
CC-delcont-ref-tf190.01A monad transformers for multi-prompt delimited control using refercence cells (bsd3, control, library)2011-10-180.1.0.2KidoTakahiro
Cascade60.01Playing with reified categorical composition (control, library, public-domain)2014-11-140.1.0.0NoahEasterly
Catana130.01A monad for complex manipulation of a stream. (bsd3, control, library)2012-02-220.3DustinDeWeese
ChannelT330.01Generalized stream processors (bsd3, control, enumerator, iteratee, library, pipes, proxies)2018-01-280.0.0.7pthariensflame
ClassyPrelude100.01Prelude replacement using classes instead of concrete types where reasonable (bsd3, control, data, library)2010-05-310.1SveinOveAas
Clean (deprecated in favor of definitive-base)130.01A light, clean and powerful utility library (bsd3, control, deprecated, library)2013-06-100.6MarcCoiffier
ComonadSheet90.01A library for expressing spreadsheet-like computations as the fixed-points of comonads. (bsd3, control, library)2014-06-280.3.0.0kwf
Compactable (deprecated in favor of compactable)150.01A generalization for containers that can be stripped of Nothing (bsd3, control, deprecated, library)2017-03-060.1.0.2fresheyeball
Concurrential250.01Mix concurrent and sequential computation (bsd3, control, library)2015-09-040.5.0.1alexvieth
Configurable50.01Declare types as Configurable then specialize them all in one place (control, library, mit)2012-10-190.1.0.0JosephAbrahamson
ConstraintKinds260.06Repackages standard type classes with the ConstraintKinds extension (bsd3, control, library)2014-05-201.3.0MikeIzbicki
ContArrow210.01Control.Arrow.Transformer.Cont (bsd3, control, library)2009-09-210.0.5EvgenyJukov
Control-Engine (deprecated)410.01A parallel producer/consumer engine (thread pool) (bsd3, control, deprecated, library)2009-08-181.1.0.1ThomasDuBuisson
Control-Monad-MultiPass70.01A Library for Writing Multi-Pass Algorithms. (bsd3, control, library)2013-06-140.1.0.0KevinBackhouse
Control-Monad-ST260.02A variation on the ST monad with two type parameters. (bsd3, control, library)2013-06-110.1.0.1KevinBackhouse
Coroutine120.01Type-safe coroutines using lightweight session types. (bsd3, control, library)2008-12-180.1.0.0RyanIngram
DeepArrow330.03Arrows for "deep application" (bsd3, combinators, control, library)2013-08-130.4.0ConalElliott
EitherT (deprecated in favor of either)160.04EitherT monad transformer (bsd3, control, deprecated, library)2012-04-220.2.0EyalLotem
Empty90.01A type class for empty containers (bsd3, control, library)2017-03-020.1.0.1fresheyeball
Etage450.02A general data-flow framework (ai, control, lgpl, library)2014-05-100.1.12MitarMilutinovic
FailT512.00A 'FailT' monad transformer that plays well with 'MonadFail' (bsd3, control, failure, library)2023-01-160.1.0.0lehins
FailureT (deprecated in favor of transformers)110.01Failure Monad Transformer (control, deprecated, failure, library, public-domain)2013-03-1415778.1
FastPush190.01A monad and monad transformer for pushing things onto a stack very fast. (bsd3, control, library)2017-02-260.1.0.3wyager
ForkableT150.02Forkable monad transformers (bsd3, control, library)2015-01-180.1.0.2AndrasSlemmer
Get70.01get stuff out of stuff (bsd3, control, library)2018-01-100.2018.1.10MarisaVeryMoe
GotoT-transformers90.02A monad and monadic transformer providing "goto" functionality (bsd3, control, library)2012-07-221.0.0.1GregoryCrosswhite
IfElse720.012Anaphoric and miscellaneous useful control-flow (bsd3, control, library)2008-12-240.85IvanPerez, JeffersonHeard, keera_studios_ci
ImperativeHaskell502.01A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-072.0.0.1MatthewMirman
InfixApplicative140.04liftA2 for infix operators. (bsd3, control, library)2009-12-241.1ThomasDavie
JuicyPixels-util130.05Convert JuicyPixel images into RGBA format, flip, trim and so on (bsd3, control, library)2014-10-180.2FumiakiKinoshita
Kleislify140.02Variants of Control.Arrow functions, specialised to kleislis. (bsd3, control, library)2012-05-150.0.4DylanJust
Kriens110.01Category for Continuation Passing Style (bsd3, control, library)2015-12-070.1.0.1matteo_provenzano
List850.08List monad transformer and class (bsd3, control, library)2017-09-270.6.2YairChuchem
ListT (deprecated)220.01List transformer (bsd3, control, deprecated, library)2017-12-140.1.2.0
LogicGrowsOnTrees170.04a parallel implementation of logic programming using distributed tree exploration (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.1.0.2GregoryCrosswhite
LogicGrowsOnTrees-MPI110.01an adapter for LogicGrowsOnTrees that uses MPI (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.0.0.1.1GregoryCrosswhite
LogicGrowsOnTrees-network220.01an adapter for LogicGrowsOnTrees that uses multiple processes running in a network (bsd3, control, distributed-computing, library, logic, parallelism)2016-04-051.0.0.4GregoryCrosswhite
LogicGrowsOnTrees-processes140.01an adapter for LogicGrowsOnTrees that uses multiple processes for parallelism (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.0.0.2GregoryCrosswhite
MHask140.01The category of monads (bsd3, control, library)2013-08-060.3.0.0DanBurton
MaybeT130.021MaybeT monad transformer (bsd3, control, library)2008-12-210.1.2CaleGibbard, DonaldStewart, EricKidd
MaybeT-monads-tf (deprecated in favor of monads-tf)160.01MaybeT monad transformer compatible with monads-tf (deprecated) (bsd3, control, deprecated, library)2011-06-220.2.0.1BenMillwood
MaybeT-transformers80.03MaybeT monad transformer using transformers instead of mtl. (bsd3, control, library)2010-06-280.2ErikHesselink, SebastiaanVisser
Mecha60.01mecha are the most complex composite machines known to humanity, lets build them well! (bsd2, concurrency, control, data, library, network, system)2016-08-110.0.0.0CarterSchonwald
Mechs60.01mecha are the most complex composite machines known to humanity, lets build them well! (bsd2, concurrency, control, data, library, network, system)2016-08-110.0.0.0CarterSchonwald
MissingM100.01findM and other missing 'M's (bsd3, control, library)2012-11-150.0.4DylanJust
MonadCatchIO-mtl (deprecated in favor of exceptions)370.020Monad-transformer version of the Control.Exception module (bsd3, control, deprecated, library)2014-01-040.3.1.0DanielGorin
MonadCatchIO-mtl-foreign (deprecated)70.01Polymorphic combinators for working with foreign functions (bsd3, control, deprecated, library)2010-05-290.1AntoineLatter
MonadCatchIO-transformers (deprecated in favor of exceptions)650.073Monad-transformer compatible version of the Control.Exception module (bsd3, control, deprecated, library)2014-12-230.3.1.3AriePeterson
MonadCatchIO-transformers-foreign (deprecated)70.03Polymorphic combinators for working with foreign functions (bsd3, control, deprecated, library)2010-05-290.1AntoineLatter
MonadPrompt580.06MonadPrompt, implementation & examples (bsd3, control, library)2014-09-141.0.0.5CaleGibbard, JamesCook, RyanIngram
MonadRandom4052.0143Random-number generation monad. (bsd3, control, library)2022-11-050.6BrentYorgey, CaleGibbard, EricKidd, LukePalmer, PaoloVeronelli, PatrickPalka
MonadRandomLazy150.01Lazy monad for psuedo random-number generation. (bsd3, control, library)2015-12-290.1.1.1NormanRamsey
MonadStack130.01Generalizing lift to monad stacks (bsd2, control, library)2015-07-130.1.0.3bhurt
Monatron90.03Monad transformer library with uniform liftings (bsd3, control, library)2010-05-120.3.1TomSchrijvers
Monatron-IO60.01MonadIO instances for the Monatron transformers. (bsd3, control, library)2012-04-261.0TobiasBrandt
Object60.01Object oriented programming for haskell using multiparameter typeclasses. (apache, control, data, library)2014-05-151.0yokto
PermuteEffects150.01Permutations of effectful computations (bsd3, control, library)2011-01-160.2MartijnVanSteenbergen
ProbabilityMonads90.01Probability distribution monads. (bsd3, control, library)2007-10-070.1.0EricKidd
ReplicateEffects100.02Composable replication schemes of applicative functors (bsd3, control, library)2012-12-270.3MartijnVanSteenbergen
RichConditional50.01Tiny library to replace classic if/else (control, library, mit)2015-02-160.1.0.0alexvieth
RoyalMonad230.01All hail the Royal Monad! (bsd3, control, library)2015-09-231000.9AtzeVanDerPloeg
SciFlow410.02Scientific workflow management system (control, library, mit)2019-05-260.7.0kaizhang
SciFlow-drmaa30.00Scientific workflow management system (control, library, mit)2019-05-260.1.0kaizhang
THEff170.01TH implementation of effects. (bsd3, control, effect, library, th-)2017-01-220.1.4kolodeznydiver
Tainted230.01Tainted type, and associated operations (bsd3, control, data, library, monads, trans)2015-05-270.1.0.2RossMeikleham
TotalMap82.01A total map datatype (control, library, mit)2019-09-130.1.1.1edwardwas
TreeT80.01Transformer for Data.Tree (control, library, monads, public-domain)2011-09-170.0RahulGopinath
TypeCompose1260.031Type composition classes & instances (bsd3, composition, control, library)2018-11-070.9.14ConalElliott
Workflow1012.02Workflow patterns over a monad for thread state logging & recovery (bsd3, control, library, workflow)2015-05-010.8.3AlbertoCorona
abstract-par1070.011Type classes generalizing the functionality of the 'monad-par' library. (bsd3, control, library, monads, parallelism)2013-11-060.3.3RyanNewton
acme-iot150.01IO monad transformer (control, library, mit)2016-08-130.1.0.1mniip
action-permutations280.03Execute a set of actions (e.g. parsers) in each possible order (bsd3, control, library)2014-04-110.0.0.1RossPaterson
allocated-processor160.04Functional combinators for monadic actions that require allocation and de-allocation (bsd3, control, library)2010-05-230.0.2NoamLewis
alternative-extra100.01Extra utilities for alternatives (bsd3, control, library)2017-02-200.1.0.0marcosdumay
alternators290.03Handy functions when using transformers. (bsd3, control, library)2018-07-021.0.0.0louispan
annotated-exception642.00Exceptions, with checkpoints and context. (bsd3, control, library)2022-08-160.2.0.4parsonsmatt
ap-normalize1670.02Self-normalizing applicative expressions (control, library, mit)2021-05-250.1.0.1lyxia
apart140.00Get all your structure and rip it apart. (bsd3, control, data, library, program)2018-09-280.1.3iokasimovmt
apecs1562.254Fast Entity-Component-System library for game programming (bsd3, control, data, game, library)2021-12-040.9.4jonascarpay
apecs-stm220.00STM stores for apecs (bsd3, control, data, game, library)2021-08-070.1.5jonascarpay
applicative-extras380.014Instances for Applicative (bsd3, control, library)2011-01-030.1.8ChrisEidhof
applicative-fail240.01Applicative functor and monad which collects all your fails (bsd3, control, library)2015-08-031.1.1AlekseyUymanov
applicative-splice70.01Write applicative programs in direct style (generalizes idiom brackets). (control, library, public-domain)2016-04-170.0.0.0AkioTakano
arity-generic-liftA90.00Provides an arity-generic version of the liftA2, liftA3... liftAn functions. (control, library, mit)2018-12-310.1.0.0oisdk
arrow-extras220.01Extra functions for Control.Arrow (bsd3, control, library)2017-03-150.1.0.1louispan
arrow-improve50.01Improved arrows. (control, library, mit)2014-02-180.1.0.0alynn
arrow-list320.01List arrows for Haskell. (bsd3, control, library)2020-10-180.7.1AdamBergmark, ErikHesselink, SebastiaanVisser
arrow-utils90.00functions for working with arrows (arrows, bsd3, combinators, control, library)2022-01-250.1.1miguel_negrao
arrowapply-utils100.02Utilities for working with ArrowApply instances more naturally (bsd3, control, library)2012-03-180.2AndrewMiller
arrows950.031Arrow classes and transformers (bsd3, control, library)2018-03-310.4.4.2RossPaterson
artery90.01A simple, arrow-based reactive programming (bsd3, control, frp, library)2014-09-090.1.1FumiakiKinoshita
assert150.05Helpers for Control.Exception.assert (bsd3, control, library)2013-11-180.0.1.2LiyangHu
assert-failure612.02Syntactic sugar improving 'assert' and 'error' (bsd3, contract, control, library)2022-07-030.1.2.6MikolajKonarski
async-refresh280.01Package implementing core logic for refreshing of expiring data. (bsd3, control, library)2018-03-200.3.0.0mtesseract
async-refresh-tokens350.01Package implementing core logic for refreshing of expiring access tokens (bsd3, control, library)2018-03-210.4.0.0mtesseract
asynchronous-exceptions (deprecated)120.01Distinguish between synchronous and asynchronous exceptions (control, deprecated, library, mit)2014-02-051.1.0.1RomanCheplyaka
atl (deprecated)340.02Arrow Transformer Library (bsd3, control, deprecated, library)2016-09-2817072
attoparsec-trans200.02Interleaved effects for attoparsec parsers (control, library, mit)2015-06-160.1.1.0srijs
auto572.251Denotative, locally stateful programming DSL & platform (control, library, mit)2017-01-140.4.3.1jle
auto-update2850.028Efficiently run periodic, on-demand actions (control, library, mit)2019-07-090.1.6KazuYamamoto, MichaelSnoyman
backtracking192.01A backtracking monad (bsd3, control, library)2020-07-030.1.0SatoshiEgi, momohatt
backtracking-exceptions60.01A monad transformer for backtracking exceptions (bsd3, control, library)2014-08-220.1.0.0tapuu
backward-state160.01A state monad that runs the state in reverse through the computation (bsd3, control, library, monads)2013-01-140.1.0.2LukePalmer
barrier-monad90.01Implementation of barrier monad, can use custom front/back type (control, library, public-domain)2011-12-010.1.0.1AaronBlack
basic-prelude1552.2534An enhanced core prelude; a common foundation for alternate preludes. (control, library, mit, prelude)2017-12-050.7.0DanBurton, MichaelSnoyman
billeksah-main50.01Leksah plugin base (control, program)2011-11-291.0.0JuergenNicklischFranken
billeksah-main-static60.01Leksah plugin base (control, program)2011-11-291.0.0JuergenNicklischFranken
billeksah-services80.03Leksah library (control, library)2011-11-291.0.0JuergenNicklischFranken
boolean-like190.01Logical combinatory operations dealing with datatypes representing booleans by their constructors. (bsd3, control, library)2016-09-220.1.1.0Shou
break180.01Break from a loop (bsd3, control, library)2017-04-071.0.2GabrielGonzalez
bytestring-progress730.01A library for tracking the consumption of a lazy ByteString (bsd3, control, library)2019-08-281.4AdamWick
bytestring-rematch80.01Rematch support for ByteString (control, library, mit)2013-05-190.1.0.0TomCrayford
can-i-haz610.01Generic implementation of the Has and CoHas patterns (bsd3, control, library)2023-01-180.3.1.00xd34df00d
capability392.01Extensional capabilities and deriving combinators (bsd3, control, library)2022-03-210.5.0.1aherrmann
capataz260.01OTP-like supervision trees in Haskell (concurrency, control, library, mit)2019-05-210.2.1.0RomanGonzalez
caps50.00Monadic capabilities with late binding (bsd3, control, library)2021-03-140.1int_index
cas-hashable62.03A hashing class for content-addressed storage (control, library, mit)2020-03-091.0.1YvesPares
cas-hashable-s360.00ContentHashable instances for S3 objects (control, library, mit)2020-03-091.0.0YvesPares
cas-store82.01A content-addressed storage (control, library, mit)2020-06-011.1.0YvesPares
catch-fd220.02MonadThrow and MonadCatch, using functional dependencies (bsd3, control, library)2012-10-120.2.0.2AndySonnenburg
categories810.07Categories (bsd3, control, library)2015-01-061.0.7EdwardKmett
category (deprecated)481.2511Categorical types and classes (bsd3, control, deprecated, library, math)2019-12-240.2.5.0
category-extras720.011A meta-package documenting various packages inspired by category theory (bsd3, comonads, control, library, monads)2012-04-061.0.2DanDoel, DanielWagner, EdwardKmett, RussellOConnor
cflp780.01Constraint Functional-Logic Programming in Haskell (bsd3, control, library)2009-06-042009.2.1SebastianFischer
chr-core150.02Constraint Handling Rules (bsd3, control, library)2022-09-160.1.1.0AtzeDijkstra
churros250.00Channel/Arrow based streaming computation library. (control, data, library, mit)2022-10-160.1.6.0LyndonMaydwell
classy-parallel50.02Fork of the monad-parallel package using monad-control (control, gpl, library)2012-07-310.1.0.0SamAnklesaria
classy-prelude3030.057A typeclass-based Prelude. (control, library, mit, prelude)2021-12-071.5.0.2GregWeber, MichaelSnoyman
classy-prelude-conduit1840.010classy-prelude together with conduit functions (control, library, mit, prelude)2018-10-081.5.0GregWeber, MichaelSnoyman
classy-prelude-yesod1880.08Provide a classy prelude including common Yesod functionality. (control, library, mit, yesod)2018-10-081.5.0GregWeber, MichaelSnoyman
cleff491.751Fast and concise extensible effects (bsd3, control, effect, language, library)2022-05-210.3.3.0daylily
cleff-plugin142.00Automatic disambiguation for extensible effects (bsd3, control, effect, language, library)2022-03-130.1.0.0daylily
cloud-haskell130.01The Cloud Haskell Application Platform (bsd3, control, library)2016-07-300.3.0.0FacundoDominguez, TimWatson
codecov-haskell191.251Codecov.io support for Haskell. (bsd3, control, library, program)2017-06-170.5.0killy971
coercible-utils140.03Utility functions for Coercible types (bsd3, control, library)2019-09-100.1.0sjakobi, chessai, koz_ross
commandert190.01A monad for commanders (control, library, mit)2022-01-210.1.1.1sgschlesinger
comonad4112.5159Comonads (bsd3, comonads, control, library)2020-12-305.0.8EdwardKmett, EricMertens, ryanglscott
comonad-extras1030.04Exotic comonad transformers (bsd3, comonads, control, library)2020-02-214.0.1EdwardKmett
comonad-random (deprecated)140.01Comonadic interface for random values (control, deprecated, library)2009-07-210.1.2JakeMcArthur
comonad-transformers (deprecated in favor of comonad)2010.034This package has been merged into comonad 4.0 (bsd3, comonads, control, deprecated, library)2013-10-134.0EdwardKmett
comonads-fd (deprecated in favor of comonad)1280.010This package has been merged into comonad 4.0 (bsd3, comonads, control, deprecated, library)2013-10-134.0EdwardKmett
compactable472.259A typeclass for structures which can be catMaybed, filtered, and partitioned. (bsd3, control, library)2022-01-090.2.0.0fresheyeball
composition-prelude3092.032Higher-order function combinators (bsd3, control, data, library)2020-11-103.0.0.2vmchale
computations70.01Advanced notions of computation (bsd3, control, library)2015-05-030.0.0.0WolfgangJeltsch
concatenative340.04A library for postfix control flow. (bsd3, control, library)2010-07-021.0.1SamAnklesaria
concurrent-machines550.03Concurrent networked stream transducers (bsd3, concurrency, control, library)2022-03-110.3.1.5AnthonyCowley
concurrent-state640.01MTL-like library using TVars (control, library, mit)2014-01-270.6.0.0JoelTaylor
cond720.016Basic conditional and boolean operators with monadic variants. (bsd3, control, library, logic, monad)2014-11-230.4.1.1AdamCurtis
conduino250.01Lightweight composable continuation-based stream processors (bsd3, control, library)2020-01-080.2.2.0jle
conkin50.01Tools for functors from Hask^k to Hask (control, library, public-domain)2017-10-261.0.2NoahEasterly
constrained-categories400.07Constrained clones of the category-theory type classes, using ConstraintKinds. (control, gpl, library)2020-11-150.4.1.0leftaroundabout
constrained-monads290.01Typeclasses and instances for monads with constraints. (control, library, mit)2017-03-310.5.0.0oisdk
constrained-normal150.01Normalised Deep Embeddings for Constrained Type-Class Instances (bsd3, control, library)2014-06-091.0.2NeilSculthorpe
constraint-manip110.02Some conviencience type functions for manipulating constraints. (control, library, mit)2017-10-160.1.1.0clinton
constrictor320.02strict versions of many things in base (control, library, mit)2018-05-310.1.2.0chessai
continue100.01Monads with suspension and arbitrary-spot reentry (bsd3, control, library)2013-04-210.2.0ErtugrulSoeylemez, esz
contravariant3492.5172Contravariant functors (bsd3, control, data, library)2021-07-271.5.5EdwardKmett, EricMertens, ryanglscott
contravariant-extras910.08Extras for the "contravariant" package (control, library, mit)2021-11-020.3.5.3NikitaVolkov
control (deprecated)240.03Class of monad transformers which control operations can be lifted thru (bsd3, control, deprecated, library)2018-08-190.1.1.0
control-bool300.05Useful combinators for boolean expressions (bsd3, control, library)2013-12-080.2.1FumiakiKinoshita
control-dotdotdot110.01Haskell operator `g ... f = \x1 .. xn -> g (f x1 .. xn)`. (bsd3, control, library)2018-01-210.1.0.1erisco
control-dsl381.751An alternative to monads in do-notation (bsd3, control, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-180.2.1.3yangbo
control-event560.02Event scheduling system. (bsd3, control, library)2019-05-171.3ThomasDuBuisson
control-invariants50.02Invariants and contract monitoring (control, library, mit)2016-10-280.1.0.0SimonHudon, bandali
control-iso150.01A typeclass for type isomorphisms (bsd3, control, library)2019-02-040.1.0.2fresheyeball
control-monad-exception1260.08Explicitly typed, checked exceptions with stack traces (control, failure, library, monads)2020-07-060.11.4PepeIborra
control-monad-exception-monadsfd250.01Monads-fd instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-exception-monadstf290.01Monads-tf instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-exception-mtl240.01MTL instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-failure (deprecated)430.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)250.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-free850.03Free monads and monad transformers (control, library, monads, public-domain)2018-10-060.6.2LukePalmer, PepeIborra
control-monad-loop260.08Simple monad transformer for imperative-style loops (bsd3, control, library)2012-07-080.1JoeyAdams
control-monad-omega392.07A breadth-first list monad. (control, library, public-domain)2019-09-170.3.2LukePalmer
control-monad-queue250.01Reusable corecursive queues, via continuations. (bsd3, control, library)2015-12-190.2.0.1LeonSmith
control-timeout (deprecated)200.03Timeout handling (bsd3, control, deprecated, library)2008-02-010.1.2AdamLangley
contstuff (deprecated)840.07Fast, easy to use CPS-based monad transformers (bsd3, control, deprecated, library, monads)2011-05-191.2.6ErtugrulSoeylemez, esz
contstuff-monads-tf (deprecated)150.01ContStuff instances for monads-tf transformers (deprecated) (bsd3, control, deprecated, library, monads)2010-11-240.2.1ErtugrulSoeylemez, esz
contstuff-transformers (deprecated)100.01Deprecated interface between contstuff 0.7.0 and the transformers package (bsd3, control, deprecated, library, monads)2010-12-270.1.1ErtugrulSoeylemez, esz
conversion370.09Universal converter between values of different types (control, conversion, data, library, mit)2016-04-121.2.1NikitaVolkov
conversion-bytestring250.01"Conversion" instances for the "bytestring" library (control, conversion, data, library, mit)2022-05-041.0.1.1NikitaVolkov
conversion-case-insensitive90.02"Conversion" instances for the "case-insensitive" library (control, conversion, data, library, mit)2015-04-231.0.0.0NikitaVolkov
conversion-text300.04"Conversion" instances for the "text" library (control, conversion, data, library, mit)2022-05-041.0.1.1NikitaVolkov
corecursive-main140.00Write your main like it can call itself back. (bsd3, control, library, program)2018-08-190.1.0.0LucasDiCioccio
coroutine-object260.02Object-oriented programming realization using coroutine (bsd3, control, library)2016-02-050.3.0IanWooKim
coverage190.01Exhaustivity Checking Library (control, library, mit)2016-02-170.1.0.4NicolasDelPiano
cr160.01Code review tool (control, gpl, network, program, system)2012-12-031.2AlexandruScvortov
csp312.01Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-141.4.0AndreiBarbu
custom-prelude100.03An enhanced prelude, serving as a foundation for my projects (control, library)2012-10-020.2.2.0AnupamJain
daemons560.03Daemons in Haskell made fun and easy (control, gpl, library, network, program, system)2020-02-030.3.0AlexandruScvortov
data-fresh150.01Interface and functor transformers for fresh values (bsd3, control, library)2013-09-080.2013.251.0StijnVanDrongelen
data-lens750.048Used to be Haskell 98 Lenses (bsd3, comonads, control, library)2018-01-012.11.2EdwardKmett, RussellOConnor
data-lens-fd360.09Lenses (bsd3, comonads, control, library)2016-07-172.0.6EdwardKmett, RussellOConnor
data-lens-ixset (deprecated in favor of data-store, tables, lens)240.01A Lens for IxSet (bsd3, comonads, control, data-structures, deprecated, library)2012-01-150.1.4DagOdenhall
decepticons40.01The categorical dual of transformers. (bsd3, control, library)2013-05-070.1.0.0JoeQuinn
deep-transformations150.02Deep natural and unnatural tree transformations, including attribute grammars (bsd3, control, generics, library)2023-01-070.2MarioBlazevic
deepcontrol580.01A library that provides deep-level programming style and(or) notation on Applicative and Monad (bsd3, control, library)2015-12-200.5.4.3KONISHI_Yohsuke
deepseq2492.51334Deep evaluation of data structures (bsd3, control, library)2022-12-181.4.8.1HerbertValerioRiedel, chessai, melaniebrown
deepseq-bounded540.02Bounded deepseq, including support for generic deriving (bsd3, control, library)2015-02-040.8.0.0AndrewSeniuk
deepseq-generics870.023GHC.Generics-based Control.DeepSeq.rnf implementation (bsd3, control, library)2016-01-030.2.0.0HerbertValerioRiedel
deepseq-instances110.00Candidate NFData Instances for Types in base (control, library, mit)2020-05-280.1.0.1TravisWhitaker
deepseq-magic180.01Deep evaluation of data structures without NFData (control, library, public-domain)2015-01-201.0.0.3EdwardYang
deepseq-th (deprecated in favor of deepseq-generics)220.02Template Haskell based deriver for optimised NFData instances (bsd3, control, deprecated, library)2012-10-130.1.0.4HerbertValerioRiedel
demarcate (deprecated in favor of free)80.01Demarcating transformed monad. (bsd3, control, deprecated, library)2013-09-230.1.0NickolayKudasov
dep-t1150.04Dependency injection for records-of-functions. (bsd3, control, library)2023-01-150.6.4.0DanielDiazCarrete
dep-t-advice510.00Giving good advice to functions in records-of-functions. (bsd3, control, library)2022-10-230.6.2.0DanielDiazCarrete
dep-t-dynamic140.00A dynamic environment for dependency injection. (bsd3, control, library)2022-11-080.1.1.0DanielDiazCarrete
dep-t-value60.00Pair resources files with types within your program. (bsd3, control, library)2022-04-170.1.0.0DanielDiazCarrete
deriving-trans1180.00Derive instances for monad transformer stacks (bsd3, control, library)2023-01-310.5.0.1jumper149
despair150.01Despair (bsd3, control, library)2015-12-010.0.6Heather
disposable (deprecated in favor of glazier-react)340.02Allows storing different resource-releasing actions together. (bsd3, control, deprecated, library)2018-07-021.0.0.0louispan
distributed-closure442.07Serializable closures for distributed programming. (bsd3, control, library, program)2019-12-290.4.2.0AlpMestanogullari, FacundoDominguez, MathieuBoespflug
distributed-fork (deprecated)220.01Like 'forkIO', but uses remote machines instead of local threads. (bsd3, control, deprecated, library)2018-06-150.0.1.3utdemir
distributed-fork-aws-lambda (deprecated)200.01AWS Lambda backend for distributed-fork. (bsd3, control, deprecated, library)2018-06-150.0.2.0utdemir
distributed-process1232.530Cloud Haskell: Erlang-style concurrency in Haskell (bsd3, control, library)2018-06-120.7.4EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-async330.06Cloud Haskell Async API (bsd3, control, library)2018-06-140.2.6FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-client-server360.09The Cloud Haskell Application Platform (bsd3, control, library)2018-06-140.2.5.1FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-execution160.02Execution Framework for The Cloud Haskell Application Platform (bsd3, control, library)2016-02-180.1.2.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-extras310.011Cloud Haskell Extras (bsd3, control, library)2018-06-130.3.5FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-fsm80.01The Cloud Haskell implementation of Erlang/OTP gen_statem (bsd3, control, library)2017-03-260.0.1TimWatson
distributed-process-lifted250.02monad-control style typeclass and transformer instances for Process monad. (bsd3, cloud-haskell, control, library)2018-02-250.3.0.1jeremyjh
distributed-process-monad-control260.03Orphan instances for MonadBase and MonadBaseControl. (bsd3, control, library)2017-09-070.5.1.3jeremyjh
distributed-process-platform (deprecated in favor of distributed-process-extras, distributed-process-async, distributed-process-client-server, distributed-process-registry, distributed-process-supervisor, distributed-process-task, distributed-process-execution)70.02The Cloud Haskell Application Platform (bsd3, control, deprecated, library)2014-06-130.1.0FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-registry140.01Cloud Haskell Extended Process Registry (bsd3, control, library)2016-02-180.1.0.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-simplelocalnet571.56Simple zero-configuration backend for Cloud Haskell (bsd3, control, library)2017-08-220.2.4EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-supervisor190.04Supervisors for The Cloud Haskell Application Platform (bsd3, control, library)2018-06-140.2.1FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-systest120.01Cloud Haskell Test Support (bsd3, cloud-haskell, control, library)2017-02-050.1.1TimWatson
distributed-process-task170.02Task Framework for The Cloud Haskell Application Platform (bsd3, cloud-haskell, control, library)2016-02-180.1.2.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-tests440.01Tests and test support tools for distributed-process. (bsd3, cloud-haskell, control, library)2017-10-050.4.11FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-zookeeper170.01A Zookeeper back-end for Cloud Haskell. (bsd3, cloud-haskell, control, library)2017-09-090.2.3.0jeremyjh
distributed-static590.09Compositional, type-safe, polymorphic static values and closures (bsd3, control, library)2019-05-120.3.9EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson
do-notation-dsl (deprecated in favor of control-dsl)160.01An alternative to monads (bsd3, control, deprecated, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-020.1.0.3yangbo
drinkery270.01Boozy streaming library (bsd3, control, library)2018-07-180.4FumiakiKinoshita
edenmodules120.03Semi-explicit parallel programming library (bsd3, control, distributed-computing, eden, library, parallelism)2014-04-061.2.0.0MischaDieterle, JostBerthold, horstmeyer
effect-handlers250.01A library for writing extensible algebraic effects and handlers. Similar to extensible-effects but with deep handlers. (control, library, mit)2016-04-280.1.0.8edofic, blambda
effect-monad192.01Embeds effect systems and program logics into Haskell using graded monads and parameterised monads (bsd3, control, library, monads)2018-01-240.8.1.0DominicOrchard
effect-stack60.00Reducing the pain of transformer stacks with duplicated effects (bsd3, control, library)2019-07-140.3DanielWagner
effectful1012.51An easy to use, performant extensible effects library. (bsd3, control, library)2023-01-112.2.1.0arybczak
effectful-core1210.09An easy to use, performant extensible effects library. (bsd3, control, library)2023-01-122.2.1.0arybczak
effectful-plugin400.00A GHC plugin for improving disambiguation of effects. (bsd3, control, library)2023-01-221.0.0.0arybczak
effectful-th430.00Template Haskell utilities for the effectful library. (bsd3, control, library)2023-01-131.0.0.0arybczak
effects170.02Computational Effects (bsd3, control, library, monads)2019-04-130.2.4SjoerdVisscher
effects-parser80.01Parser Effect for the Control.Effects Library (bsd3, control, library, monads)2013-09-150.1JesseMcDonald
effet100.00An Effect System based on Type Classes (bsd3, control, library)2020-12-240.4.0.0MichaelSzvetits
effin250.03A Typeable-free implementation of extensible effects (bsd3, control, effect, library)2017-08-030.3.0.3AnthonyVandikas
either3552.0283Combinators for working with sums (bsd3, control, library, monads)2022-05-085.0.2EdwardKmett, ryanglscott, GeorgeWilson
elevator260.04Immediately lifts to a desired level (bsd3, control, library)2015-04-010.2.3FumiakiKinoshita
elision290.00Arrows with holes. (bsd2, control, library, program)2016-02-180.1.3.2jacrough
enclosed-exceptions1152.023Catching all exceptions from within an enclosed computation (control, library, mit)2018-07-111.0.3MichaelSnoyman, jcristovao
enum-text-rio100.01Making fmt available with rio (bsd3, control, library, program)2019-07-231.2.0.0ChrisDornan
error-context150.01Provides API for enriching errors with contexts (bsd3, control, error-handling, library)2018-04-100.2.0.1mtesseract
error-continuations50.01Error Continuations (control, library, public-domain)2015-01-050.1.0.0echatav
error-list80.02A useful type for collecting error messages. (control, library, mit)2015-06-180.1.0.3thinkpad20
errorcall-eq-instance (deprecated in favor of base-orphans)300.02An orphan Eq instance for ErrorCall (control, deprecated, library, mit)2015-04-220.3.0SimonHengel
errors1712.25139Simplified error-handling (bsd3, control, error-handling, library)2018-05-112.3.0GabrielGonzalez
errors-ext330.01`bracket`-like functions for `ExceptT` over `IO` monad. (control, error-handling, library)2018-07-170.4.2warlock
eternal470.01everything breaking the Fairbairn threshold (bsd3, control, library)2016-07-240.1.7Heather
ether (deprecated)362.252Monad transformers and classes (bsd3, control, deprecated, library)2017-06-030.5.1.0int_index
eveff120.00Efficient effect handlers based on evidence translation. (control, effect, library, mit)2021-07-191.0.0.2ningningxie
event-driven90.02library for event driven programming (bsd3, control, library)2010-07-160.0.2YoshikuniJujo
event-handlers80.02Event handlers (control, data, library, public-domain)2008-12-150.0.0.3JamesCook
event-monad110.01Event-graph simulation monad transformer (control, library, public-domain)2010-01-110.0.3JamesCook
event-transformer (deprecated)80.00Initial project template from stack (bsd3, control, deprecated, library, program)2016-10-100.1.0.0SchellScivally
exception-monads-fd (deprecated in favor of exception-mtl)110.01Exception monad transformer instances for monads-fd classes. (bsd3, control, deprecated, error-handling, failure, library, monad)2010-10-060.2GeoffreyMainland
exception-monads-tf250.01Exception monad transformer instances for monads-tf classes. (bsd3, control, error-handling, failure, library, monad)2017-05-030.4.0.1GeoffreyMainland
exception-mtl760.03Exception monad transformer instances for mtl classes. (bsd3, control, error-handling, failure, library, monad)2016-05-100.4.0.1GeoffreyMainland
exception-transformers980.019Type classes and monads for unchecked extensible exceptions. (bsd3, control, error-handling, failure, library, monad)2021-11-200.4.0.11GeoffreyMainland, TroelsHenriksen
exceptional480.01Essentially the Maybe type with error messages. (bsd2, control, library)2015-07-220.3.0.0pharpend
exceptions3712.0930Extensible optionally-pure exceptions (bsd3, control, exceptions, library, monad)2022-12-040.10.7EdwardKmett, ryanglscott
exceptiot60.00ExceptT, but uses IO instead of Either (bsd3, control, library)2022-11-220.0.1.0parsonsmatt
exhaustive230.01Compile time checks that a computation considers producing data through all possible constructors (bsd3, control, library)2020-06-171.1.9OliverCharles
exitcode260.02Monad transformer for exit codes (bsd3, control, library)2022-03-170.1.0.6TonyMorris, qfpl, GeorgeWilson
explicit-exception1170.027Exceptions which are explicit in the type signature. (bsd3, control, library)2023-01-140.1.10HenningThielemann
explicit-sharing360.01Explicit Sharing of Monadic Effects (control, library, monads, public-domain)2011-06-300.9SebastianFischer
extensible-effects1432.2512An Alternative to Monad Transformers (control, effect, library, mit)2019-01-035.0.0.1BenFoppa, SvenHeyll, shergill, sickmind
extensible-effects-concurrent1332.00Message passing concurrency as extensible-effect (bsd3, concurrency, control, effect, library, program)2020-12-162.0.0SvenHeyll
extensible-exceptions1390.088Extensible exceptions (bsd3, control, library)2012-02-020.1.1.4IanLynagh
failable400.03A 'Failable' error monad class to unify failure across monads that can fail (bsd3, control, exceptions, library, monad)2020-01-241.2.4.0erick
failure (deprecated in favor of exceptions)510.071A simple type class for success/failure computations. (deprecated) (bsd3, control, deprecated, failure, library, monads)2014-06-080.2.0.3MichaelSnoyman, Michael_Smith
feature-flags240.01A simple library for dynamically enabling and disabling functionality. (control, library, mit)2015-04-020.1.0.1IanDuncan
fmt-for-rio40.00Adaptor for getting fmt to work with rio (bsd3, control, library, text)2019-07-231.0.0.0ChrisDornan
fold-debounce730.03Fold multiple events that happen in a given period of time. (bsd3, control, library)2022-11-240.2.0.10debugito
foldl5332.5112Composable, streaming, and efficient left folds (bsd3, control, library)2023-01-151.4.13GabrielGonzalez
foldl-exceptions232.00Exception handling with FoldM (control, library, mit)2023-01-111.0.0.1chris_martin, Monoid_Mary
foldl-incremental232.01incremental folds (control, library, mit, statistics)2015-02-230.2.0.0tonyday
foldl-transduce552.01Transducers for foldl folds. (bsd3, control, library)2021-03-190.6.0.1DanielDiazCarrete
foldl-transduce-attoparsec150.01Attoparsec and foldl-transduce integration. (bsd3, control, library)2016-02-120.2.0.0DanielDiazCarrete
for-free70.01Functor, Monad, MonadPlus, etc for free (control, library, public-domain)2012-07-090.1AaronBlack
forbidden-fruit40.01A library accelerates imperative style programming. (bsd3, control, library)2015-02-240.1.0minpou
forest140.01Tree and Forest types (control, library, mpl)2018-08-020.2.1.1ShaneOBrien
free6512.5196Monads for free (bsd3, control, library, monads)2022-11-305.1.10EdwardKmett, EricMertens, JohnWiegley, ryanglscott
free-algebras440.02Free algebras (algebra, control, library, monads, mpl)2022-09-060.1.0.2coot
free-applicative-t70.00Free Applicative Transformer (bsd3, control, library)2022-12-310.1.0.0viercc
free-categories240.01free categories (bsd3, control, library)2020-09-290.2.0.2echatav
free-category220.01efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2022-09-070.0.4.4coot
free-er120.00An extensible effects library (bsd3, control, effect, library, program)2017-10-100.1.0.0OmerAgacan
free-operational140.02Operational Applicative, Alternative, Monad and MonadPlus from free types. (bsd3, control, library)2013-08-080.5.0.0LuisCasillas
free-vl320.00van Laarhoven encoded Free Monad with Extensible Effects (bsd3, control, library, monads, program)2016-02-100.1.4aaronlevin
freer372.250Implementation of the Freer Monad (bsd3, control, library, program)2016-11-250.2.4.1alleledev
freer-effects132.02Implementation of effect system for Haskell. (bsd3, control, library, program)2017-04-160.3.0.1MatejKollar, PeterTrsko, TomasJanousek
freer-simple892.010A friendly effect system for Haskell. (bsd3, control, library, program)2022-01-071.2.1.2lexi_lambda
freer-simple-catching50.01Checked runtime exceptions with freer-simple (control, library, mit)2018-11-120.1.0.0benweitzman
freer-simple-http30.01Make HTTP requests with freer-simple! (control, http, library, mit, web)2018-11-120.1.0.0benweitzman
freer-simple-profiling30.01Automatic profling of freer-simple programs (benchmarking, control, library, mit, profiling)2018-11-120.1.0.0benweitzman
freer-simple-random40.01Random number generators using freer-simple (control, library, mit, random)2018-11-120.1.0.0benweitzman
freer-simple-time30.01freer-simple interface to IO based time functions (control, library, mit, time)2018-11-120.1.0.0benweitzman
fresnel80.01high-powered optics in a small package (bsd3, control, library)2022-02-260.0.0.1robrix
fresnel-fused-effects60.00fresnel/fused-effects integration (bsd3, control, library)2022-02-260.0.0.0robrix
from-sum332.01Combinators for working with Maybe and Either (bsd3, control, library)2020-01-250.2.3.0cdepillabout
frpnow252.54Principled practical FRP (bsd3, control, library)2015-08-250.18AtzeVanDerPloeg
frpnow-gloss90.01Program awesome stuff with Gloss and frpnow! (bsd3, control, library)2015-07-140.12AtzeVanDerPloeg
frpnow-gtk80.01Program GUIs with GTK and frpnow! (bsd3, control, library)2015-07-140.11AtzeVanDerPloeg
frpnow-vty100.00Program terminal applications with vty and frpnow! (control, gpl, library, program)2018-03-190.2.0.1JaroReinders
fsharp (deprecated)190.02some F# operators, high priority pipes (bsd3, control, deprecated, library)2014-02-180.0.4Heather
full-sessions270.01a monad for protocol-typed network programming (bsd3, control, library, network)2012-01-230.6.2.1KeigoImai
function-combine70.01Combining functions (bsd3, control, library)2011-09-230.1.0IainAlexander
functor (deprecated in favor of category)110.01Functors (bsd3, control, deprecated, library, math)2017-11-160.1.0.0
functor-apply (deprecated in favor of semigroupoids)500.06This package has been subsumed by semigroupoids (bsd3, control, deprecated, library)2011-01-300.11EdwardKmett
functors110.01(.:) and friends, syntax for Functor and Applicative. (bsd3, control, library)2010-11-280.1AristidBreitkreuz
funflow302.02Workflows with arrows (control, library, mit, program)2020-03-091.6.0nclarke
fused-effects1112.7515A fast, flexible, fused effect system. (bsd3, control, library)2022-10-051.1.2.1patrick_thomson, robrix, joshvera
fused-effects-exceptions300.00Handle exceptions thrown in IO with fused-effects. (bsd3, control, control., library)2021-06-081.1.0.1patrick_thomson, robrix
fused-effects-lens262.01Monadic lens combinators for fused-effects. (bsd3, control, library)2020-07-101.2.0.1patrick_thomson, robrix
fused-effects-mwc-random30.00High-quality random number generation as an effect. (bsd3, control, library)2020-10-050.1.0.0patrick_thomson
fused-effects-optics130.00Bridge between the optics and fused-effects ecosystems. (bsd3, control, library)2022-07-130.2.1.0patrick_thomson
fused-effects-random90.00Random number generation for fused-effects. (bsd3, control, library)2020-07-121.1.0.0patrick_thomson, robrix
fused-effects-resumable60.00Resumable exceptions for the fused-effects ecosystem. (bsd3, control, library)2019-11-130.1.0.0patrick_thomson
fused-effects-squeal52.250A fused-effects adapter for squeal-postgresql. (bsd3, control, library)2020-01-260.1.0.0iko
fused-effects-th130.00Template Haskell helpers for fused-effects. (bsd3, control, library)2021-04-070.1.0.3patrick_thomson, robrix
future-resource90.02realtime resource handling with manual concurrency (control, lgpl, library)2015-04-220.4.0.0capsjac
gang-of-threads260.01Non-deterministic parallelism with bags (bsd3, control, library, parallelism)2014-07-223.2.1bholst
garlic-bread100.01A monad transformer for keeping track of where you've come from. (bsd3, control, library)2018-03-170.1.0.1parsonsmatt
gas50.01Limit how many steps a program may take. (bsd3, control, library)2018-08-140.0.0.1rightfold
general-allocate520.02Exception-safe resource management in more monads (apache, control, exceptions, library)2023-01-170.2.0.0shlevy
general-prelude (deprecated)90.01Prelude replacement using generalized type classes where possible (bsd3, control, data, deprecated, library)2012-12-180.1.2JohnWiegley
generator160.01Python-generators notation for creation of monadic lists (bsd3, control, library)2015-05-280.5.5YairChuchem
generators (deprecated)120.01Actually useful monadic random value generators. (bsd3, control, deprecated, library)2010-06-251.0.3LiamOConnorDavis
generic-deepseq170.01Generic deep evaluation of data structures (bsd3, control, generics, library)2012-02-282.0.1.1MaximeHenrion
ghc-call-stack-extras190.01Extra utilities for HasCallStack (bsd3, control, library)2018-03-140.1.0.2dfeuer
gooey60.01Graphical user interfaces that are renderable, change over time and eventually produce a value. (control, library, mit)2015-10-060.1.0.0SchellScivally
grab132.01Applicative non-linear consumption (control, library, mit)2022-06-200.0.0.8chris_martin, Monoid_Mary
graphted240.01Graph indexed monads. (bsd3, comonads, control, library, monads)2017-05-090.3.1.0AaronFriel
groupoids (deprecated in favor of semigroupoids)432.06This package has been absorbed into semigroupoids 4.0 (bsd3, categories, control, deprecated, library)2013-10-134.0EdwardKmett
hasim90.01Process-Based Discrete Event Simulation library (bsd3, control, library)2008-12-290.1.2JochemBerndsen
hask50.01Categories (bsd3, control, library)2014-11-100EdwardKmett
haskell-cnc260.01Library for parallel programming in the Intel Concurrent Collections paradigm. (bsd3, control, library, parallelism, program)2011-08-120.1.3.200RyanNewton
hcron60.01A simple job scheduler, which just runs some IO action at a given time. (bsd3, control, library, scheduling)2012-08-230.0.0.3TimoHuebel
hdph30.01Haskell distributed parallel Haskell (bsd3, control, distributed-computing, library, monads, parallelism, program)2013-02-070.0.1PatrickMaier
hdph-closure100.02Explicit closures in Haskell distributed parallel Haskell (bsd3, control, distributed-computing, library)2013-02-070.0.1PatrickMaier
hierarchical-env100.00hierarchical environments for dependency injection (bsd3, control, library)2021-05-130.2.0.2autotaker
hmk360.01A make alternative based on Plan9's mk. (control, development, distribution, library, program)2016-01-110.9.7.4MathieuBoespflug
hoist-error210.03Some convenience facilities for hoisting errors into a monad (control, library, mit)2018-06-150.2.1.0JonSterling, schalmers, qfpl
hpc980.017Code Coverage Library for Haskell (bsd3, control, library)2022-10-230.6.2.0AustinSeipp, BenGamari, HerbertValerioRiedel, IanLynagh, wz1000, DavidBinder
hpc-coveralls630.01Coveralls.io support for Haskell. (bsd3, control, library, program)2017-05-131.0.10killy971
hpc-lcov220.00Convert HPC output into LCOV format (bsd3, control, library, program)2022-11-101.1.0leapyear
hreader420.02Generalization of MonadReader and ReaderT using hset (bsd3, control, library)2016-12-121.1.0AlekseyUymanov
hs-di112.01Dependency Injection library for Haskell (bsd3, control, dependency-injection, development, library, program, template-haskell, testing)2016-09-260.3.0Wizek
hsPID140.01PID control loop (control, lgpl, library)2018-11-250.1.2jlamothe
hspec-monad-control70.01Orphan instances of MonadBase and MonadBaseControl for SpecM (bsd3, control, library)2015-05-210.1.0.0bmjames
hyperfunctions80.01Hyperfunctions (bsd3, categories, control, library)2015-06-210EdwardKmett
if180.01(?) and (?>) conditional operator (bsd3, control, library)2016-11-170.1.0.0winterland
ifcxt62.251put if statements within type constraints (bsd3, control, library)2016-08-030.1.1MikeIzbicki
implicit-logging110.01A logging framework built around implicit parameters. (control, lgpl, library)2016-09-110.2.0.0rev_null
in-other-words200.04A higher-order effect system where the sky's the limit (bsd3, control, library)2022-06-150.2.1.1KingoftheHomeless
index-core120.02Indexed Types (bsd3, control, indexed, library)2016-06-121.0.4GabrielGonzalez
indexed310.014Haskell98 indexed functors, monads, comonads (bsd3, control, library)2016-09-170.1.3ReinerPope, typedrat
indexed-extras270.03Indexed functors, monads and comonads that require extensions to Haskell98 (bsd3, control, library)2016-07-080.2ReinerPope, typedrat
indexed-free230.02indexed monads for free (bsd3, control, library, monad)2013-11-270.3.1FumiakiKinoshita
indextype180.04A series of type families and constraints for "indexable" types. (bsd3, control, library)2017-10-190.3.0.1clinton
inject-function150.01Monadic functions with injected parameters. (control, gpl, library)2013-09-130.2.1.0DimitriSabadie
instance-control250.01Controls how the compiler searches for instances using type families. (bsd3, control, library)2017-09-270.1.2.0lazac
interchangeable (deprecated)190.01A type class for interchangeable data. (control, deprecated, library, mit)2015-01-180.2.0.0arowM
interleave110.01Combinators for supporting interleaving of different behaviours (bsd3, control, library)2011-01-071.0NeilBrown
interruptible110.01Monad transformers that can be run and resumed later, conserving their context. (bsd3, control, library)2016-06-080.1.1.1marcosdumay
interspersed230.01An abstraction over interspersing monadic actions (control, library, mit)2016-06-020.1.2NikitaVolkov
invariant4540.017Haskell98 invariant functors (bsd2, control, data, library)2022-07-030.6NicolasFrisby, ryanglscott
invertible301.255bidirectional arrows, bijective functions, and invariant functors (bsd3, composition, control, data, library)2020-08-070.2.0.7DylanSimon
invertible-hlist50.01invertible functions and instances for HList (bsd3, composition, control, data, library)2017-03-070.2.0.2DylanSimon
io-choice440.05Choice for IO and lifted IO (bsd3, control, library)2018-12-110.0.7KazuYamamoto
io-reactive60.02An API for generating TIMBER style reactive objects. (bsd3, control, library, program, reactivity)2008-09-230.1.1AndyGill
io-region260.01Exception safe resource management with dynamic regions (bsd3, control, library)2015-04-240.1.1YurasShumovich
iotransaction50.01Supports the automatic undoing of IO operations when an exception is thrown. (control, library, mit)2013-05-040.1DylanShearer
ixmonad (deprecated in favor of effect-monad, type-level-sets)250.01Embeds effect systems into Haskell using parameteric effect monads (bsd3, control, deprecated, library, monads)2014-05-150.57DominicOrchard
joint120.01Trying to compose non-composable (bsd3, control, data, library)2021-01-010.1.9iokasimovmt
json-tracer130.01A polymorphic, type-safe, json-structured tracing library (bsd3, control, library)2018-05-110.0.3.0autotaker
lambda-devs70.01a Paralell-DEVS implementaion based on distributed-process (bsd3, control, library, program, simulation)2013-11-240.4.0alios
lawless-concurrent-machines40.01Concurrent networked stream transducers (bsd3, concurrency, control, library)2017-10-020.3.1misandrist
lax150.01Lax arrows (bsd3, control, library)2012-02-070.1.0.3WolfgangJeltsch
layers60.02Modular type class machinery for monad transformer stacks. (bsd3, control, library)2013-03-140.1ShaneOBrien
lazy70.01Explicit laziness for Haskell (control, library, mit)2018-04-280.1NikitaVolkov
lazy-bracket50.00A bracket with lazy resource allocation. (bsd3, control, library)2022-04-160.1.0.0DanielDiazCarrete
lazy-priority-queue110.00Lazy-Spined Monadic Priority Queues (control, data, gpl, library, program)2021-02-180.1.1MarioBlazevic
lazyio400.04Run IO actions lazily while respecting their order (bsd3, control, library, monads)2016-12-140.1.0.4HenningThielemann
lens-filesystem70.00Lens interface for your filesystem; still a bit experimental (bsd3, control, library)2020-10-210.1.0.1ChrisPenner
lens-misc190.02Miscellaneous lens utilities. (bsd3, control, library)2018-07-020.0.2.0louispan
lens-tell50.00MonadTell-based lens combinators (bsd3, control, library)2021-09-060.1lightandlight
lens-tutorial212.51Tutorial for the lens library (bsd3, control, library)2019-06-191.0.4GabrielGonzalez
lensref160.02References which can be joined and on which lenses can be applied (bsd3, control, data, library)2014-05-180.2PeterDivianszky
lenz-mtl (deprecated)40.00mtl operations with Van Laarhoven lenses (control, data, deprecated, lenses, library)2019-10-250.1
level-monad370.02Non-Determinism Monad for Level-Wise Search (control, library, monads, public-domain)2009-06-220.4.1SebastianFischer
lifted-base2440.0268lifted IO operations from the base library (bsd3, control, library)2018-03-140.2.3.12BasVanDijk
lifted-base-tf (deprecated)70.01lifted IO operations from the base library (bsd3, control, deprecated, library)2018-08-190.1.0.0
linear-smc80.00Build SMC morphisms using linear types (control, lgpl, library)2022-11-101.0.1JeanPhilippeBernardy
list-t4652.039ListT done right (control, data-structures, library, mit, streaming)2023-01-091.0.5.3NikitaVolkov
list-transformer612.04List monad transformer (bsd3, control, library)2022-09-021.0.9GabrielGonzalez
little-rio330.02When you need just the RIO monad (bsd3, control, library)2022-05-221.0.1ejconlon
local-search190.01Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2013-07-180.0.7RichardSenington
log-effect270.02An extensible log effect using extensible-effects (control, effect, library, logging, mit, program)2019-03-021.2.0ibotty, sickmind
log-effect-syslog90.01Syslog functions for log-effect (bsd3, control, effect, library, logging, syslog)2019-03-020.2.0sickmind
logicst100.01Backtracking mutable references in the ST and IO monads (bsd3, control, library)2013-04-170.1.0.0AndySonnenburg
logict3530.037A backtracking logic-programming monad. (bsd3, control, library)2022-05-080.8.0.0DanDoel, Bodigrim
logict-sequence172.00A backtracking logic-programming monad with asymptotic improvements to msplit (control, library, mit)2022-12-060.2.0.2JasonDagit, dfeuer
loop760.04Fast loops (for when GHC can't optimize forM_) (control, library, mit)2015-09-030.3.0NiklasHambuechen
loop-dsl41.50monadic loop dsl. (control, library, mit)2021-11-150.1.0.0ailrk
loop-effin80.01control-monad-loop port for effin (bsd3, control, library)2014-10-070.1.1.0HiromiIshii
loop-while40.02A monad transformer supporting various styles of while loop (bsd3, control, library)2010-01-111.0.0NeilBrown
loops220.01Fast imperative-style loops (bsd3, control, library)2014-06-130.2.0.2ThomasTuegel
machinecell420.01Arrow based stream transducers (bsd3, control, frp, library, reactivity)2018-04-174.0.1HidenoriAzuma
machines852.529Networked stream transducers (bsd3, control, enumerator, library)2022-05-180.7.3EdwardKmett, EricMertens, ryanglscott
machines-attoparsec30.00Parse machines streams with attoparsec parsers. (bsd3, control, data, enumerator, library, parsing, text)2019-01-310davean
machines-bytestring60.01ByteString support for machines (bsd3, control, library, machines)2017-06-070.1.0.0zclod
machines-encoding30.00Transcode encodings with machines. (bsd3, control, data, enumerator, library, text)2019-01-310davean
managed1750.022A monad for managed values (bsd3, control, library)2023-01-311.0.9GabrielGonzalez
map-classes50.01A set of classes and instances for working with key/value mappings. (bsd3, control, library)2018-03-310.1.0.0clinton
map-reduce-folds220.01foldl wrappers for map-reduce (bsd3, control, library)2021-09-290.1.1.1adamCS
mealstrom92.01Manipulate FSMs and store them in PostgreSQL. (control, database, library, mit)2021-01-150.0.1.1amx
mech50.01mecha are the most complex composite machines known to humanity, lets build them well! (bsd2, concurrency, control, data, library, network, system)2016-08-110.0.0.0CarterSchonwald
mechs50.01mecha are the most complex composite machines known to humanity, lets build them well! (bsd2, concurrency, control, data, library, network, system)2016-08-110.0.0.0CarterSchonwald
memo-ptr50.01Pointer equality memoization (control, library, mit)2015-05-310.1.0.0edofic
memoization-utils110.01Utilities for memoizing functions (control, library, mit)2015-11-060.1.0.1yamadapc
meta-par50.02Provides the monad-par interface, but based on modular scheduler "mix-ins". (bsd3, control, library, monads, parallelism)2012-05-040.3RyanNewton
metaheuristics20.00Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2019-10-040.0.8richardjamessenington
method160.01rebindable methods for improving testability (bsd3, control, library)2021-05-070.4.0.0autotaker
micro-recursion-schemes50.04Simple recursion schemes (bsd3, control, library, recursion)2018-05-145.0.2.2
midair292.01Hot-swappable FRP (concurrency, control, frp, gpl, interaction, library, music, reactive, reactivity, user-interfaces)2018-11-100.2.0.1TomMurphy
minioperational (deprecated in favor of monad-skeleton)430.05fast and simple operational monad (bsd3, control, deprecated, library)2015-01-260.4.9FumiakiKinoshita
mix-arrows250.01Mixing effects of one arrow into another one (bsd3, control, library)2012-02-061.2MiguelMitrofanov
mmorph3432.5129Monad morphisms (bsd3, control, library)2021-07-161.2.0GabrielGonzalez
mmtl60.04Modular Monad transformer library (bsd3, control, library)2008-09-300.1MauroJaskelioff
mmtl-base (deprecated)60.01MonadBase type-class for mmtl (bsd3, control, deprecated, library)2011-12-1315321.1
modular-prelude (deprecated)110.02A new Prelude featuring first class modules (control, deprecated, library, mit)2012-08-180.3.0.0DanBurton
modular-prelude-classy (deprecated)70.01Reifying ClassyPrelude a la ModularPrelude (control, deprecated, library, mit)2012-08-180.1.0.0DanBurton
monad-abort-fd300.02A better error monad transformer (bsd3, control, library)2018-04-010.7MikhailVorozhtsov
monad-atom230.03Monadically convert object to unique integers and back. (bsd3, control, library)2012-03-160.4.1GrzegorzChrupala
monad-atom-simple70.01Monadically map objects to unique ints. (bsd3, control, library)2012-02-230.0.2GrzegorzChrupala
monad-batcher70.01An applicative monad that batches commands for later more efficient execution (bsd3, control, library)2017-04-290.0.0.0BasVanDijk
monad-bool (deprecated)120.01This package has been removed. (bsd3, control, deprecated, library)2013-01-280.2.0JohnWiegley
monad-choice40.00Monad, monad transformer, and typeclass representing choices. (agpl, control, library)2020-03-270.2.0.0LouisH
monad-chronicle240.00These as a transformer, ChronicleT (bsd3, control, library, these)2022-05-201.0.1phadej
monad-classes (deprecated)242.07more flexible mtl (control, deprecated, library, mit)2018-05-070.3.2.2
monad-codec200.07Monadic conversion between complex data structures and unique integers (bsd3, control, library)2019-11-300.2.1JakubWaszczuk
monad-connect70.01Transformer for TCP connection with TLS and SOCKS support (control, library, monad, network, public-domain)2016-03-160.1akrasner
monad-control2812.0537Lift control operations, like exception catching, through monad transformers (bsd3, control, library)2021-08-021.0.3.1BasVanDijk, phadej
monad-control-aligned130.010Just like monad-control, except less efficient, and the monadic state terms are all * -> * (bsd3, control, library)2018-03-260.0.1.1athanclark
monad-control-identity280.02Stronger classes than monad-control (bsd3, control, library)2022-03-310.2.0.0jumper149
monad-coroutine780.09Coroutine monad transformer for suspending and resuming monadic computations (concurrency, control, library, monads)2022-03-230.9.2MarioBlazevic
monad-dijkstra1470.02A monad transformer for weighted graph searches (bsd3, control, library, monads)2020-07-020.1.1.3ecramer
monad-exception (deprecated in favor of layers)90.01Exstensible monadic exceptions (control, deprecated, library, public-domain)2012-03-010.1ShaneOBrien
monad-extras670.09Extra utility functions for working with monads (bsd3, control, library)2017-02-100.6.0JohnWiegley
monad-finally160.01Guard monadic computations with cleanup actions (bsd3, control, library)2018-04-010.1.2MikhailVorozhtsov
monad-fork (deprecated in favor of layers)60.02Type class for monads which support a fork operation. (control, deprecated, library, public-domain)2012-02-210.1ShaneOBrien
monad-hash150.01Monad transformer for incremental hashing (control, cryptography, hash, library, monad, public-domain)2016-05-300.1.0.2akrasner
monad-introspect30.00A reader monad that gives the environment access to the entire transformer stack (bsd3, control, library)2020-08-100.1.0.0mniip
monad-io-adapter70.01Adapters between MonadIO and MonadBase IO. (control, library)2017-11-210.1.0.0lexi_lambda
monad-journal690.03Pure logger typeclass and monad transformer (bsd3, control, library)2017-11-250.8.1DimitriSabadie
monad-levels100.01Specific levels of monad transformers (control, library, mit)2015-02-030.1.0.1IvanMiljenovic
monad-lgbt110.01Monad transformers for combining local and global state. (bsd2, control, library)2016-07-230.0.2MichalGajda
monad-loops1752.25124Monadic loops (control, library, public-domain)2015-06-190.4.3JamesCook
monad-loops-stm120.02Monadic loops for STM (control, library, public-domain)2013-06-090.4JamesCook
monad-markov100.01Markov process monad (control, library, mit)2018-06-290.1.0.0arran
monad-memo1152.02Memoization monad transformer (bsd3, control, library, monad)2022-01-030.5.4EduardSergeev
monad-mersenne-random52.55An efficient random generator monad, based on the Mersenne Twister (bsd3, control, library)2010-07-140.1DonaldStewart
monad-open80.01Open recursion for when you need it (control, library, mit)2015-03-220.1.0.0JonSterling
monad-ox190.03Monad for observation extraction (bsd3, control, library, natural-language-processing)2013-04-060.3.0JakubWaszczuk
monad-par1512.2517A library for parallel programming based on a monad (bsd3, control, library, monads, parallelism)2019-11-040.3.5RyanNewton, SimonMarlow
monad-par-extras1060.05Combinators and extra features for Par monads (bsd3, control, library, monads, parallelism)2013-07-120.3.3RyanNewton
monad-parallel870.020Parallel execution of monadic computations (bsd3, control, library, monads)2022-03-220.8MarioBlazevic
monad-parallel-progressbar80.01Parallel execution of monadic computations with a progress bar (control, library, mit, monads, system, user-interfaces)2015-04-050.1.0.1mnacamura
monad-param (deprecated in favor of indexed)140.01Parameterized monads (bsd3, control, deprecated, library)2011-01-150.0.4DominiqueDevriese, EdwardKmett
monad-peel380.019Lift control operations like exception catching through monad transformers (bsd3, control, library)2017-03-020.2.1.2AndersKaseorg, SergeyAlirzaev
monad-products432.03Monad products (bsd3, control, library, monads)2016-01-174.0.1EdwardKmett
monad-ran90.01Fast monads and monad transformers (bsd3, control, library, monads)2009-05-060.1.0EdwardKmett
monad-resumption330.01Resumption and reactive resumption monads for Haskell. (bsd3, control, library)2019-09-300.1.4.0AdamProcter, IanGraves
monad-skeleton480.06Monads of program skeleta (bsd3, control, library, monads)2021-11-300.2FumiakiKinoshita
monad-st440.05Provides a MonadST class (bsd3, control, library, monads)2017-06-260.2.4.1EdwardKmett
monad-state130.02Utility library for monads, particularly those involving state. (bsd3, control, data, library, monads)2014-12-020.2.0.3ByronJohnson
monad-ste62.254ST monad with efficient explicit errors (bsd2, control, library)2016-05-040.1.0.0CarterSchonwald
monad-stm170.06MonadSTM class analogous to MonadIO (bsd3, control, library)2013-04-070.1.0.2MiguelMitrofanov
monad-supply340.03Stateful supply monad (control, data, library, monad)2020-09-140.9GeoffHulette
monad-task100.02A monad transformer that turns event processing into co-routine programming. (bsd3, control, library)2018-01-040.2.0PaulLiu
monad-time1512.014Type class for monads which carry the notion of the current time. (bsd3, control, library)2022-07-050.4.0.0GracjanPolak, MikhailGlushenkov, arybczak, jonathanjouty_scrive, trin_cz
monad-timing90.01Monad transformer for recording timing events (control, library, mit)2016-06-130.1.0.1pikajude
monad-tree70.00Tree data structure for nondeterministic computations. (control, library, mit)2021-11-090.2.0.0nbedell
monad-tx80.01A transactional state monad. (bsd3, control, library, monads)2009-04-060.0.1MattMorrow
monad-unlift (deprecated in favor of unliftio-core, unliftio, rio)280.06Typeclasses for representing monad transformer unlifting (control, deprecated, library, mit)2016-05-030.2.0MichaelSnoyman
monad-unlift-ref142.01Typeclasses for representing monad transformer unlifting (control, library, mit)2017-11-210.2.1MichaelSnoyman
monad-validate541.257A monad transformer for data validation. (control, library)2022-07-051.2.0.1lexi_lambda
monad-wrap80.01Wrap functions such as catch around different monads (bsd3, control, library)2013-04-270.1DavidMazieres
monadLib-compose110.02Arrow-like monad composition for monadLib. (bsd3, control, library, monads)2010-10-200.2AristidBreitkreuz
monadbi (deprecated)90.02Extract underlying monads from monad transformers (control, deprecated, library)2011-09-220.1AnupamJain
monadcryptorandom390.07A monad for using CryptoRandomGen (bsd3, control, cryptography, library)2018-04-110.7.2.1ThomasDuBuisson
monadfibre (deprecated)150.01Monadic functions which provide Choice and Parallelism. (control, deprecated, library)2011-09-220.1.2.1AnupamJain
monadic-recursion-schemes630.00Recursion Schemes for Monadic version. (bsd3, control, library, monad, recursion)2021-06-180.1.13.1KatsutoshiItoh
monadiccp470.04Constraint Programming (bsd3, control, library)2018-05-090.7.7MaikRiechert, PieterWuille, TomSchrijvers
monadiccp-gecode160.01Constraint Programming (bsd3, control, library)2018-05-300.1.3JanTikovsky
monadio-unwrappable120.01Reversibly allow monad transformer stacks to run in IO (bsd3, control, library)2012-06-180.3AndrewMiller
monadlist460.04Monadic versions of list functions (bsd3, control, library)2011-10-080.0.2ThomasEding
monadloc450.06A class for monads which can keep a monadic call trace (control, library, monads, public-domain)2013-06-060.7.1PepeIborra
monadloc-pp140.01A preprocessor for generating monadic call traces (control, monads, program, public-domain)2014-10-170.3.1PepeIborra
monadplus610.09Haskell98 partial maps and filters over MonadPlus. (bsd3, control, library)2023-01-061.4.2HansHoglund, OliverCharles
monads-fd (deprecated in favor of mtl)250.041Monad classes, using functional dependencies (bsd3, control, deprecated, library)2010-11-070.2.0.0RossPaterson
monads-tf710.072Monad classes, using type families (bsd3, control, library)2016-06-080.1.0.3RossPaterson
monoidal-functors352.00Monoidal Functors Library (categories, control, library, mit)2023-01-300.1.1.0solomon
moo-nad70.00Invocation helpers for the ReaderT-record-of-functions style. (bsd3, control, library)2021-05-230.1.0.2DanielDiazCarrete
more-extensible-effects152.01Initial project template from stack (bsd3, control, library)2017-01-290.1.0.4qzchenwl
morphisms130.03It's all about functions (control, data, library, mit)2019-01-040.1.1iokasimovmt
morphisms-functors230.01Functors, theirs compositions and transformations (control, data, library, mit)2019-01-150.1.7iokasimovmt
morphisms-functors-inventory40.00Inventory is state and store (control, data, library, mit)2019-01-120.1.0iokasimovmt
morphisms-objects140.00Algebraic structures (control, data, library, mit)2019-01-080.1.3iokasimovmt
motor120.02Type-safe effectful state machines in Haskell (control, library, mpl, program)2019-06-230.4.0owickstrom
motor-diagrams80.01Generate state diagrams from Motor FSM typeclasses (control, library, mpl)2019-06-280.4.0owickstrom
motor-reflection80.01Reflect on Motor FSM typeclasses to obtain runtime representations (control, library, mpl)2019-06-280.4.0owickstrom
mpeff40.00Efficient effect handlers based on evidence-passing semantics (control, effect, library, mit)2021-08-090.1.0.0ningningxie
mtl2572.753911Monad classes for transformers, using functional dependencies (bsd3, control, library)2022-10-312.3.1DonaldStewart, EdwardKmett, HerbertValerioRiedel, IanLynagh, RossPaterson, ryanglscott, chessai, topos
mtl-evil-instances (deprecated in favor of layers)60.03Instances for the mtl classes for all monad transformers. (control, deprecated, library, public-domain)2012-02-290.1ShaneOBrien
mtl-extras (deprecated in favor of transformers-lift)60.01Higher order versions of MTL classes (bsd3, control, deprecated, library)2016-08-120.1int_index
mtl-tf140.01Monad Transformer Library with Type Families (bsd3, control, library)2018-01-230.2.1.0TrevorElliott
mtl-unleashed300.02MTL classes without the functional dependency (bsd3, control, library)2015-11-110.6.1DavidFox
mtl-uplift80.00Lift substacks of monad transformer stacks (control, library, mit)2022-01-210.1.0.1sgschlesinger
mtlx230.01Monad transformer library with type indexes, providing 'free' copies. (bsd3, control, library)2012-10-150.1.6MarkSnyder
mtsl40.00Reified monad transformer stacks (control, library, mit)2020-09-280.2.0.0sgschlesinger
multipass100.01Folding data with multiple named passes (bsd3, control, library)2013-01-270.1.0.2EdwardKmett
multistate1080.06like mtl's ReaderT / WriterT / StateT, but more than one contained value/type. (bsd3, control, library)2022-01-240.8.0.4lspitzner, fozworth, dukerutledge
mvc300.03Model-view-controller (bsd3, concurrency, control, library)2018-08-191.1.7GabrielGonzalez
mvc-updates170.01Concurrent and combinable updates (bsd3, concurrency, control, library)2014-09-231.2.0GabrielGonzalez
mzv120.02Implementation of the "Monads, Zippers and Views" (Schrijvers and Oliveira, ICFP'11) (bsd3, control, library)2014-04-160.1.0.2IsmaelFigueroa
named552.514Named parameters (keyword arguments) for Haskell (bsd3, control, library)2019-10-190.3.0.1Artyom, int_index
natural320.01Natural number (bsd3, control, library)2021-11-300.3.0.6TonyMorris, qfpl
natural-transformation882.017A natural transformation package. (bsd3, control, library)2016-11-150.4AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
needle120.01ASCII-fied arrow notation (control, library, mit)2014-09-280.1.0.1ScrambledEggs
newtype1480.032A typeclass and set of functions for working with newtypes. (bsd3, control, library)2019-09-100.2.2.0AndreasAbel, DariusJahandarie, HerbertValerioRiedel, jcristovao
newtype-deriving150.01Instance derivers for newtype wrappers (control, library, mit, template-haskell)2016-05-020.1.4NikitaVolkov
newtype-generics2292.017A typeclass and set of functions for working with newtypes (bsd3, control, library)2022-05-190.6.2jcristovao, sjakobi
newtype-th230.02A template haskell deriver to create Control.Newtype instances. (bsd3, control, library, template-haskell)2012-07-190.3.3MichaelSloan
newtyper100.01Extra functions for the Control.Newtype typeclass (bsd3, control, library)2012-05-150.1DylanJust
nondeterminism312.02A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2022-05-201.5AndreiBarbu
nqe520.02Concurrency library in the style of Erlang/OTP (control, library, mit, public-domain)2022-05-200.6.4jprupp
objective770.03Composable objects (bsd3, control, library)2021-10-271.3FumiakiKinoshita
observable160.01Continuation patterns (bsd3, control, library)2018-12-100.1.5iokasimovmt
op70.00Common operators encouraging large-scale easy reading (apache, combinators, control, functions, library, utility)2019-12-200.4.0.0infinity0
open-signals140.01A mechanism similar to checked exceptions that integrates with MTL and transformer stacks (control, library, mit)2016-04-170.1.0.3darwin226
operational1122.2521Implementation of difficult monads made easy with operational semantics. (bsd3, control, library, monads)2021-11-070.2.4.1HeinrichApfelmus
operational-class260.01MonadProgram typeclass for the operational package (control, library, mit)2015-07-120.3.0.0srijs
overload160.01Finite overloading (control, library, mit)2018-03-080.1.0.5darwin226
pandora1030.01A box of patterns and paradigms (control, data, library, mit)2022-05-290.5.6iokasimovmt
pandora-io110.00... (control, data, library, mit)2022-04-160.5.4iokasimovmt
parallel2362.0198Parallel programming library (bsd3, control, library, parallelism)2018-07-133.2.2.0AustinSeipp, BenGamari, HerbertValerioRiedel, IanLynagh, SimonMarlow
parallel-tree-search300.02Parallel Tree Search (concurrency, control, library, public-domain)2020-10-260.4.2SebastianFischer, nbu
parameterized520.02Parameterized/indexed monoids and monads using only a single parameter type variable. (bsd3, control, library)2017-12-170.5.0.0louispan
partial120.01A nullary type class for partial functions (control, library, mit)2017-11-281.0.0.0PhilFreeman
partial-isomorphisms490.04Partial isomorphisms. (bsd3, control, library)2021-09-030.2.3.0TillmannRendel, schernichkin
partial-lens (deprecated in favor of data-lens)90.01Haskell 98 Partial Lenses (comonads, control, deprecated, library, mit)2011-12-210.0.1RussellOConnor
perm180.01permutation Applicative and Monad with many mtl instances (bsd3, control, library)2012-11-110.4.0.0AndySonnenburg
phantom-state310.02Phantom State Transformer. Like State Monad, but without values. (bsd3, control, library)2016-05-310.2.1.2DanielDiaz
pid90.00a simple PID controller (control, program)2022-08-160.1.0.2SergeyAlirzaev
pipe-enumerator140.01A bidirectional bridge between pipes and iteratees (bsd3, control, library, pipes)2015-07-070.3.0.2patrykz
piped70.00Conduit with a smaller core (bsd3, control, library)2019-08-010.1.0.0ssadler
pipeline50.00Continuation patterns (bsd3, control, library)2019-02-240.1.0iokasimovmt
pipes3542.75184Compositional pipelines (bsd3, control, library, pipes)2021-05-074.3.16GabrielGonzalez
pipes-async110.01A higher-level interface to using concurrency with pipes (bsd3, control, library)2018-07-230.1.3JohnWiegley
pipes-attoparsec-streaming (deprecated)60.01Streaming parsing in the pipes-core framework with Attoparsec. (bsd3, control, deprecated, library, program)2012-06-200.1.0.0MartinGrabmueller
pipes-break242.01Pipes to group by any delimiter (such as lines with carriage returns) (bsd3, control, library, pipes)2017-03-160.2.0.6mindreader
pipes-bytestring690.045ByteString support for pipes (bsd3, control, library, pipes)2021-02-122.1.7GabrielGonzalez
pipes-category140.01Allows instances for Category, Arrow and ArrowChoice for Pipes. (bsd3, control, library, pipes)2017-10-080.3.0.0louispan
pipes-cellular70.01Pipes-based combinators for cellular data processing (bsd3, control, library, pipes)2015-07-070.0.0.1patrykz
pipes-cellular-csv90.01Efficient pipes-based cellular CSV codec (bsd3, control, library, pipes)2015-07-071.0.0.0patrykz
pipes-concurrency772.021Concurrency for the pipes ecosystem (bsd3, concurrency, control, library, pipes)2021-12-052.0.14GabrielGonzalez
pipes-conduit70.01Conduit adapters (bsd3, control, enumerator, library)2012-03-100.0.1PaoloCapriotti
pipes-core (deprecated in favor of pipes)100.07Compositional pipelines (bsd3, control, deprecated, enumerator, library)2012-04-090.1.0PaoloCapriotti
pipes-errors140.01Integration between pipes and errors (bsd3, control, error-handling, library, monad, pipes)2015-05-210.3jdnavarro
pipes-extra90.01Various basic utilities for Pipes. (bsd3, control, enumerator, library)2012-06-090.2.0PaoloCapriotti
pipes-extras610.04Extra utilities for pipes (bsd3, control, library, pipes)2018-07-041.0.15GabrielGonzalez
pipes-fluid310.01Reactively combines Producers so that a value is yielded as soon as possible. (bsd3, control, frp, library, pipes)2018-06-010.6.0.1louispan
pipes-group620.014Group streams into substreams (bsd3, control, library, pipes)2018-07-041.0.12GabrielGonzalez
pipes-io50.01Stateful IO streams based on pipes (apache, control, library, pipes)2016-08-260.1yinguanhao
pipes-lines (deprecated in favor of pipes-break)250.01Pipes for grouping by lines with carriage returns. (bsd3, control, deprecated, library, pipes)2017-03-161.0.3.4mindreader
pipes-misc300.02Miscellaneous utilities for pipes, required by glazier-tutorial (bsd3, control, library, pipes)2018-05-220.5.0.0louispan
pipes-parse722.033Parsing infrastructure for the pipes ecosystem (bsd3, control, library, parsing, pipes)2021-02-123.0.9GabrielGonzalez
pipes-random390.01Producers for handling randomness. (bsd3, control, library)2019-05-101.0.0.5fosskers
pipes-rt210.01A few pipes to control the timing of yields (bsd3, control, library, pipes, program)2015-01-210.5.0imalsogreg
pipes-safe2770.044Safety for the pipes ecosystem (bsd3, control, error-handling, library, pipes)2022-04-082.3.4GabrielGonzalez
pipes-transduce460.02Interfacing pipes with foldl folds. (bsd3, control, library)2018-05-120.4.4.0DanielDiazCarrete
pipes-vector210.01Various proxies for streaming data into vectors (bsd3, control, library)2015-05-290.6.2BenGamari
pipes-zeromq4100.01Pipes integration for ZeroMQ messaging (bsd3, control, library, network, pipes)2017-04-200.3.0.0peddie
plan-applicative130.01Applicative/Arrow for resource estimation and progress tracking. (bsd3, control, library)2018-08-182.0.1.0DanielDiazCarrete
poly-cont60.01Poly-kinded continuations (bsd3, control, library)2018-03-140.1.0.0dfeuer
porcupine-core42.02Express portable, composable and reusable data tasks and pipelines (arrows, combinators, control, data, json, library, mit, numerical, pipes, program, streaming)2019-10-090.1.0.1YvesPares
porcupine-http40.00A location accessor for porcupine to connect to HTTP sources/sinks (arrows, combinators, control, data, library, mit, program, web)2019-10-090.1.0.0YvesPares
porcupine-s330.00A location accessor for porcupine to connect to AWS S3 sources/sinks (arrows, aws, cloud, combinators, control, data, library, mit, program)2019-10-090.1.0.0YvesPares
porpoise50.00A minimalist HTTP server framework written on top of wai (control, library, mit, program)2020-10-050.1.0.0sgschlesinger
ports60.01The Haskell Ports Library (control, library)2007-07-140.4.3.2DonaldStewart
prelude-plus170.01Prelude for rest of us (bsd3, control, data, system)2009-10-140.0.0.6YusakuHashimoto
product-profunctors720.010product-profunctors (bsd3, category, control, library)2021-11-200.11.0.3tomjaguarpaw
profunctor-extras620.04This package has been absorbed into profunctors 4.0 (bsd3, categories, control, library)2013-10-134.0EdwardKmett
profunctor-monad60.00Monadic bidirectional programming (control, library, mit)2022-05-170.2.0.0lyxia, SamFrohlich
profunctors4222.75243Profunctors (bsd3, categories, control, library)2021-02-175.6.2EdwardKmett, ryanglscott
program60.00Programs with Environments and Managed Resources (bsd3, control, library)2021-12-020.1.0.0MichaelSzvetits
progress-reporting82.01Functionality for reporting function progress. (control, lgpl, library)2017-09-271.1.0JeroenBransen
prologue470.06Better, more general Prelude exporting common utilities. (apache, control, library)2018-12-183.2.6danilo2, iamrecursion
prompt300.01Monad (and transformer) for deferred-effect pure prompt-response queries (control, library, mit)2016-05-260.1.1.2jle
prospect180.01Explore continuations with trepidation (bsd3, control, library)2018-07-100.1.0.0isovector
protocol40.00Model distributed system as type-level multi-party protocol (bsd3, control, distributed-computing, distributed-systems, library, protocol)2020-07-120.1.0.1epoberezkin
quantum-arrow132.01An embedding of quantum computation as a Haskell arrow (control, library)2009-01-090.0.5LukePalmer
quiver432.010Quiver finite stream processing library (bsd3, control, library)2015-12-081.1.3patrykz
quiver-binary90.01Binary serialisation support for Quivers (control, library, mit)2016-11-260.1.1.1IvanMiljenovic
quiver-bytestring100.03Quiver combinators for bytestring streaming (bsd3, control, library)2015-09-131.0.0patrykz
quiver-cell100.01Quiver combinators for cellular data processing (bsd3, control, library)2015-08-311.0.0patrykz
quiver-csv130.01Quiver combinators for cellular CSV data processing (bsd3, control, library)2015-08-040.0.0.3patrykz
quiver-enumerator50.01Bridge between Quiver and Iteratee paradigms (bsd3, control, library)2015-08-030.0.0.1patrykz
quiver-groups60.01Group and chunk values within a Quiver (control, library, mit)2016-07-190.1.0.1IvanMiljenovic
quiver-http70.01Adapter to stream over HTTP(s) with quiver (bsd3, control, http, library)2015-08-180.0.0.2ChristianMarie
quiver-instances110.01Extra instances for Quiver (control, library, mit)2016-11-260.2.0.1IvanMiljenovic
quiver-interleave120.01Interleave values from multiple Quivers (control, library, mit)2016-11-260.2.0.2IvanMiljenovic
quiver-sort90.01Sort the values in a quiver (control, library, mit)2016-11-260.2.0.1IvanMiljenovic
random-eff80.01A simple random generator library for extensible-effects (bsd3, control, effect, library)2014-04-010.1.0.1HiromiIshii
random-effin60.01A simple random generator library for effin (bsd3, control, effect, library)2014-10-090.1.1.0HiromiIshii
rank2classes882.07standard type constructor class hierarchy, only with methods of rank 2 types (bsd3, control, data, generics, library)2022-10-161.4.6MarioBlazevic
rate-limit560.02A basic library for rate-limiting IO actions. (bsd3, control, library)2023-01-031.4.3AdamWick, eyevanmalicesun
reactive-haskell (deprecated)70.01minimal fork of io-reactive (bsd3, control, deprecated, library, reactivity)2014-09-230.0.1Heather
reactive-io (deprecated)130.01IO-oriented FRP library (control, deprecated, library, mit)2013-07-060.1RomanCheplyaka
reader-soup60.03Vinyl-based reader-like monad composition (combinators, control, library, mit)2019-10-090.1.0.1YvesPares
reasonable-lens111.252Lens implementation. It is more small but adequately. (control, library, mit)2015-04-150.2.1.1outoftune
reasonable-operational100.02Just size Operational Monad implementation. (control, library, mit)2015-02-130.1.0.1outoftune
record540.06Anonymous records (control, data-structures, library, mit, records)2016-10-240.4.2NikitaVolkov
recursion522.05A recursion schemes library for Haskell. (bsd3, control, recursion)2021-09-122.2.5.0vmchale
recursion-schemes4242.7552Representing common recursion patterns as higher-order functions (bsd2, control, library, recursion)2022-12-265.2.2.3EdwardKmett, EricMertens, gelisam, ryanglscott, luc_tielen
recursion-schemes-ext460.02Amateur addenda to recursion-schemes (bsd3, control, library)2018-05-081.0.0.4vmchale
ref-fd362.04A type class for monads with references using functional dependencies. (bsd3, control, library)2021-04-290.5GeoffreyMainland
ref-mtl70.05A type class for monads with references compatible with the mtl2 library. (bsd3, control, library)2011-04-050.3GeoffreyMainland
ref-tf1060.020A type class for monads with references using type families. (bsd3, control, library)2021-11-200.5.0.1GeoffreyMainland
reference70.03A class for references in Haskell (control, data, library, mit)2010-09-060.1MaciejPiechotka
references350.015Selectors for reading and updating data. (bsd3, control, library)2017-11-280.3.3.1lazac
regions380.010Provides the region monad for safely opening and working with scarce resources. (bsd3, control, library, monadic-regions)2011-09-230.11BasVanDijk
regions-monadsfd (deprecated in favor of regions-mtl)240.01Monads-fd instances for the RegionT monad transformer (bsd3, control, deprecated, library, monadic-regions)2010-09-010.3.1.3BasVanDijk
regions-monadstf300.01Monads-tf instances for the RegionT monad transformer (bsd3, control, library, monadic-regions)2011-09-230.3.1.7BasVanDijk
regions-mtl120.01mtl instances for the RegionT monad transformer (bsd3, control, library, monadic-regions)2011-09-230.3.1.7BasVanDijk
registry1740.06data structure for assembling components (control, library, mit)2022-12-090.6.0.0etorreborre
registry-hedgehog570.00utilities to work with Hedgehog generators and `registry` (control, library, mit)2022-11-240.8.0.0etorreborre
rematch230.07A simple api for matchers (control, library, mit)2013-05-190.2.0.0TomCrayford
rematch-text110.01`rematch` matchers for Data.Text (control, library, mit)2013-05-190.1.0.2TomCrayford
remote-monad110.04An parametrizable Remote Monad, and parametrizable Applicative Functor (bsd3, control, library)2016-02-080.2AndyGill
representable-profunctors (deprecated in favor of profunctors)510.02This package has been absorbed into profunctor-extras. (bsd3, categories, control, deprecated, library)2013-01-073.2EdwardKmett
request-monad120.01A transformer for generic requests (control, library, mit)2014-06-270.3.0.1nahiluhmot
resource-effect70.01A port of the package 'resourcet' for extensible effects. (bsd3, control, effect, library)2014-01-050.1.1ClarkGaebel
resource-pool-monad120.01A monadic interface for resource-pool (control, library, mit)2015-10-240.1.0.0srijs
resource-simple70.01Allocate resources which are guaranteed to be released. (bsd3, control, library)2012-03-020.2ShaneOBrien
resourcet-effectful120.00Adaptation of the resourcet library for the effectful ecosystem. (bsd3, control, library)2022-07-141.0.0.0arybczak
restartable70.00Minimal live coding library for model-view-event-update applications. (bsd3, control, library)2020-11-090.3.0.0MichalGajda
resumable-exceptions70.01A monad transformer for resumable exceptions (control, error-handling, failure, library, monads, reactivity)2010-09-200.0.0.20100920NicolasFrisby
retry3862.562Retry combinators for monadic actions that may fail (bsd3, control, library)2022-07-150.9.3.0MichaelXavier, OzgunAtaman
retry-effectful60.00Adaptation of the retry library for the effectful ecosystem. (bsd3, control, library)2022-09-300.1.0.0TristanCacqueray
rev-state200.01Reverse State monad transformer (bsd3, control, library)2016-02-010.1.2DanBurton
rex470.01A quasi-quoter for typeful results of regex captures. (bsd3, control, library)2022-04-150.6.2MichaelSloan
rio1992.068A standard library for Haskell (control, library, mit)2022-04-250.1.22.0MichaelSnoyman
rio-app80.05Generic App type for rio. (bsd3, control, library, program)2021-06-150.1.0.0AlexanderBondarenko
rio-orphans840.03Orphan instances for the RIO type in the rio package (control, library, mit)2021-04-030.1.2.0MichaelSnoyman
rmonad380.01Restricted monad library (bsd3, control, library)2013-12-230.8.0.2GaneshSittampalam
safe-buffer-monad100.01A monadic buffer resilient to exceptions (bsd3, control, library)2018-06-170.1.0dcastro
safe-exceptions3252.25211Safe, consistent, and easy exception handling (control, library, mit)2022-05-220.1.7.3FrancescoMazzoli, MichaelSnoyman
safe-exceptions-checked (deprecated)262.03Safe, checked exceptions (bsd3, control, deprecated, library)2017-01-280.1.0mitchellwrosen
safe-wild-cards60.00Use RecordWildCards safely (bsd3, control, library)2021-05-311.0.0Artyom
scc430.01Streaming component combinators (combinators, concurrency, control, library, program)2021-02-270.8.3.1MarioBlazevic
schedule90.00Pure deterministic scheduled computations (control, delay, gpl, library, schedule, time, timeout)2020-04-030.3.0.0infinity0
schonfinkeling70.01Transformation of n-ary functions to unary functions (bsd3, control, library)2011-10-030.1.0.0DenisDefreyne
selective2272.2512Selective applicative functors (control, library, mit)2021-12-040.5snowleopard
semi-iso200.05Weakened partial isomorphisms, reversible computations. (control, data, library, mit)2014-12-121.0.0.0pawel834
semigroupoid-extras600.03Semigroupoids that depend on PolyKinds (bsd3, control, library)2015-05-155EdwardKmett
semigroupoids4692.5195Semigroupoids: Category sans id (bsd2, bsd3, comonads, control, library)2022-01-105.3.7EdwardKmett, EricMertens, ryanglscott
sessions440.01Session Types for Haskell (control, library)2008-07-182008.7.18MatthewSackman
sessiontypes110.01Session types library (control, gpl, library, program)2018-01-130.1.2ferdinandvw
sessiontypes-distributed100.01Session types distributed (control, gpl, library)2018-01-130.1.1ferdinandvw
shade240.01A control structure used to combine heterogenous types with delayed effects. (bsd3, control, library)2017-05-200.1.1.1fredefox
shared-fields140.01a tiny library for using shared lens fields (bsd3, control, library)2015-07-200.2.0.0Intolerable
shortcircuit80.02Short-circuit values and expressions. (bsd3, control, data, library)2010-10-140.1AristidBreitkreuz
simple-effects792.03A simple effect system that integrates with MTL (bsd3, control, library)2018-11-190.13.0.0darwin226
simple-observer120.01The Observer pattern (bsd3, control, library)2009-11-110.0.1AndyGimblett
simple-sessions220.01A simple implementation of session types (bsd3, control, library)2013-10-100.1.3JesseTov
sink (deprecated)120.01An alternative to lazy I/O that doesn't conflate execution with evaluation (control, data, deprecated, library, mit, system)2011-08-270.1.0.1JakeMcArthur
skulk110.01Eclectic collection of utility functions (control, library, mit)2016-06-050.1.3.0geekyfox
sousit80.01Source/Sink/Transform: An alternative to lazy IO and iteratees. (bsd3, control, library)2012-09-160.4MarioSiegenthaler
spartacon40.00A unix-style (read from stdin, write to stdout) global hotkey daemon (bsd3, control, program)2021-04-120.1.0.0DanielWagner
spawn120.04Tiny library for concurrent computations (bsd3, concurrency, concurrent, control, library)2011-10-090.3KeeganMcAllister
speculation-transformers70.01Merged into 'speculation'. Use that instead. (bsd3, control, library)2011-01-190.1.2EdwardKmett
stack-hpc-coveralls370.00Initial project template from stack (control, library, program)2023-02-050.0.4.0lehins, rubik
state-bag30.01Monad transformers for holding bags of state. (bsd3, control, library)2016-07-220.1.0.0RobinKay
state-plus150.02MonadPlus for StateT (bsd3, control, library)2017-04-160.1.3BorisSukholitko
stateWriter490.03A faster variant of the RWS monad transformers. (bsd3, control, library)2020-08-210.3.0SimonMarechal
statestack1550.07Simple State-like monad transformer with saveable and restorable state (bsd3, control, library)2022-03-240.3.1BrentYorgey, RyanYates, jeffreyrosenbluth, bergey
static50.00Type-safe and interoperable static values and closures (closure, control, gpl, library, static)2020-05-290.1.0.1infinity0
static-closure40.01Serialisable static pointers to functions (bsd3, control, library)2018-01-170.1.0.0clinton
stm-actor460.00A simplistic actor model based on STM (control, library, mit)2023-01-170.2.3.2sgschlesinger
stm-incremental210.00A library for constructing incremental computations (concurrency, control, library, mit)2023-02-020.1.0.2sgschlesinger
stm-supply170.01STM wrapper around Control.Concurrent.Supply. (bsd3, control, library)2016-11-190.2.0.0jmc41493
stopwatch340.01A simple stopwatch utility (bsd3, control, library)2019-05-010.1.0.6debugito
stream-monad300.04Simple, Fair and Terminating Backtracking Monad (bsd3, control, library, monads)2012-09-100.4.0.2SebastianFischer
streaming-eversion190.01Translate pull-based stream folds into push-based iteratees. (bsd3, control, library)2018-05-120.4.0.0DanielDiazCarrete
streamly1942.529Dataflow programming and declarative concurrency (array, bsd3, concurrency, control, dataflow, filesystem, library, list, logic, network, non-determinism, parsing, pipes, reactivity, streaming, streamly, time, unicode)2023-01-080.8.3harendra, pranaysashank, adithyaov
streamproc240.01Stream Processer Arrow (bsd3, control, library)2013-04-051.6.2PeterSimons
streams1022.09Various Haskell 2010 stream comonads (bsd3, comonads, control, library)2022-11-303.3.1EdwardKmett, ryanglscott
streamt210.00Simple, Fair and Terminating Backtracking Monad Transformer (bsd3, control, library, monads)2022-05-200.5.0.1davidar
strict-concurrency530.012Strict concurrency abstractions (bsd3, control, library)2018-10-090.2.4.3DonaldStewart, YitzGale
strict-identity140.01Strict Identity Monad, handy for writing fast code! (bsd3, control, library)2014-01-120.1.0.0CarterSchonwald
strict-writer (deprecated in favor of writer-cps-mtl)170.01A stricter writer, which uses StateT in order to avoid space leaks. (control, deprecated, library, mit)2017-02-100.4.0.0oisdk
strictly40.01Combinators for strictifying functions (bsd3, control, library)2013-08-141.0.0.0DanBurton
stt90.01A monad transformer version of the ST monad (control, library, mit)2016-11-060.2.1mckeankylej
sub-state50.01Get the total, put a single element (bsd3, control, library)2015-09-030.0.0.1athanclark
subhask152.01Type safe interface for programming in subcategories of Hask (algebra, bsd3, categories, control, library)2015-09-010.1.1.0MikeIzbicki
successors150.01An applicative functor to manage successors (control, library, mit)2022-01-100.1.0.3JoachimBreitner
supervisor100.01Control an internal monad execution for trace generation, backtrakcking, testing and other purposes (bsd3, control, library)2013-12-310.1.1.0AlbertoCorona
sweet-egison160.01Shallow embedding implementation of non-linear pattern matching (bsd3, control, library, pattern)2020-10-200.1.1.3SatoshiEgi, coord_e, momohatt
synchronous-channels152.02Synchronous communication channels (bsd3, concurrency, control, library)2015-07-070.2JesseTov
tagged-exception-core130.02Reflect exceptions using phantom types. (bsd3, control, error-handling, exceptions, failure, library, monad, monads, phantom-types)2016-02-022.2.0.0PeterTrsko
tagged-identity220.01Trivial monad transformer that allows identical monad stacks have different types (bsd3, control, library)2019-06-090.1.3mrkkrp
tagshare200.02TagShare - explicit sharing with tags (bsd3, control, library)2012-08-010.0JonasDuregard
takahashi230.01create slide for presentation. (control, library, mit)2015-07-140.2.2.0outoftune
tardis502.05Bidirectional state monad transformer (bsd3, control, library)2022-05-080.4.4.0DanBurton
tehepero30.00Prettier error (bsd3, control, library)2020-06-030FumiakiKinoshita
telega320.00Telegram Bot API binding (control, data, library, mit)2020-01-300.3.0iokasimovmt
tell60.01The MonadTell class and related monad transformers. (bsd3, control, library)2021-09-060.1lightandlight
threads-pool80.01A library to operate with pool of haskell's IO threads (bsd3, control, library)2010-11-080.1IlyaPortnov
time-machine70.01A library to mock the current time. (bsd3, control, library)2017-11-260.1.0y_taka_23
time-out360.01Timers, timeouts, alarms, monadic wrappers (control, library, monad, public-domain, time, timeout)2016-05-300.2akrasner
time-warp172.01Distributed systems execution emulation (control, library, mit, network)2017-03-181.1.1.2jagajaga, gromak, volhovm, martoon, serokell
timeout150.02Generalized sleep and timeout functions (concurrency, control, library, mit)2014-08-020.1.1FedorGogolev
timeout-control120.01Updatable timeouts as a Monad transformer (bsd3, concurrency, control, library)2015-08-310.2NathanHowell
timers-tick580.01tick based timers (bsd3, control, library)2022-12-040.5.0.2fffaaa
to310.00Simple, safe, boring type conversions (bsd3, control, library)2019-08-181.2.0Artyom
tonalude70.01A standard library for Tonatona framework. (control, library, mit, tonatona)2020-11-050.1.1.1arowM, qnoyxu
total220.02Exhaustive pattern matching using lenses, traversals, and prisms (bsd3, control, library)2020-05-151.0.6GabrielGonzalez
trace220.02A monad transformer for tracing provenience of errors (control, library, mit)2015-04-150.2.0.0JonSterling
transactional-events50.01Transactional events, based on Concurrent ML semantics (bsd3, control, library)2008-10-100.1.0.0RyanIngram
transformers3642.753410Concrete functor and monad transformers (bsd3, control, library)2023-02-040.6.0.4RossPaterson
transformers-abort290.04Error and short-circuit monad transformers (bsd3, control, library)2020-07-260.6.0.3MikhailVorozhtsov
transformers-base2442.0396Lift computations from the bottom of a transformer stack (bsd3, control, library)2021-08-010.4.6MikhailVorozhtsov
transformers-bifunctors112.05Bifunctors over monad transformers. (bsd3, control, functors, library)2017-07-160.1JacobStanley
transformers-compose50.03Arrow-like / category-like composition for transformers. (bsd3, control, library, monads)2010-11-010.1AristidBreitkreuz
transformers-continue72.01Control flow data type and monad transformer. (bsd3, control, library)2017-03-160.0.1nhibberd
transformers-convert40.01Sensible conversions between some of the monad transformers (bsd3, control, library)2014-05-300.2.0.0jcristovao
transformers-eff100.01An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff (bsd3, control, library)2018-03-220.2.1.0OliverCharles
transformers-free (deprecated in favor of free)140.04Free monad transformers (bsd3, control, deprecated, library)2012-11-011.0.1GabrielGonzalez
transformers-lift182.03Ad-hoc type classes for lifting (bsd3, control, library)2019-05-230.2.0.2int_index
transformers-runnable40.01A unified interface for the run operation of monad transformers (bsd3, control, library)2012-10-120.1.0.0JanBessai
transient672.54composing programs with multithreading, events and distributed computing (concurrency, control, library, mit)2020-07-240.7.0.0AlbertoCorona, geraldus
transient-universe450.03fully composable remote execution for the creation of distributed systems (control, distributed-computing, library, mit, program)2020-07-290.6.0.1AlbertoCorona, geraldus
tree-monad310.03Non-Determinism Monad for Tree Search (bsd3, control, library, monads)2022-07-140.3.2SebastianFischer, nbu
trivia (deprecated)70.02The trivial monad and comonad (bsd3, control, deprecated, library)2014-03-020.0FumiakiKinoshita
tubes400.01Write stream processing computations with side effects in a series of tubes. (control, gpl, library, streaming)2016-08-162.1.1.0gatlin
tuple-lenses90.01Stock FieldN combos and generators (bsd3, control, library)2013-03-280.1.0.2JonathanFischoff
tweak60.01A library for incremental computing (bsd3, control, library)2013-10-050.1.0.1JonathanFischoff
type-operators310.02Various type-level operators (bsd3, control, library)2019-03-090.2.0.0Shou
uberlast40.01Generate overloaded lenses from plain data declaration (bsd3, control, library)2014-11-270.0FumiakiKinoshita
unexceptionalio510.07IO without any non-error, synchronous exceptions (control, library)2020-05-130.5.1StephenWeber
unexceptionalio-trans310.03A wrapper around UnexceptionalIO using monad transformers (control, library)2020-02-120.5.1StephenWeber
unfree60.01Simplistic free monad with deriving through UndecidableInstances (bsd3, control, library)2022-10-030.1.0ejconlon
unlift60.00Typeclass for monads that can be unlifted to arbitrary base monads (control, library, monad, mpl, typeclass, unlift)2021-04-210.0.0.0vrom911
unliftio5232.75199The MonadUnliftIO typeclass for unlifting monads to IO (batteries included) (control, library, mit)2022-10-270.2.23.0MichaelSnoyman
unliftio-core2732.25199The MonadUnliftIO typeclass for unlifting monads to IO (control, library, mit)2023-02-060.2.0.1MichaelSnoyman
unliftio-pool410.04Data.Pool generalized to MonadUnliftIO. (bsd3, control, data, database, library, network)2022-06-160.2.2.0BardurArantsson
unordered-containers-rematch70.01Rematch support for unordered containers (control, library, mit)2013-05-200.1.0.0TomCrayford
unpack-funcs190.02Monad transformers that mirror worker-wrapper transformations. (bsd3, control, library)2013-04-180.3.1LouisWasserman
unsafe610.011Unified interface to unsafe functions (bsd3, control, library)2013-04-210.0HenningThielemann
unsequential150.01An extension removing the sequentiality from monads (control, library, mit)2017-03-200.5.2.1NikitaVolkov
util-logict (deprecated)30.00See README for more info (bsd3, control, deprecated, library)2020-02-090.0.0.0
uu-interleaved160.03An interleaving combinator for use with applicative style implementations. (applicative, control, library, mit, parsing, text)2018-08-060.2.0.2DoaitseSwierstra, JeroenBransen
validationt292.251Straightforward validation monad (bsd3, control, library)2020-11-030.3.0typeable
var-monad220.01The VarMonad typeclass, generalizing types of references. (apache, control, library)2022-12-290.2.0.1chris_martin
variables70.01Monads with variables, without deep magic (control, library, mit)2014-08-180.1.1alynn
variadic110.00Abstractions for working with variadic functions (bsd3, control, library)2021-04-280.0.0.0carymrobbins
varying692.02FRP through value streams and monadic splines. (control, frp, library, mit, program)2019-10-210.8.1.0SchellScivally
vector-strategies190.02A parallel evaluation strategy for boxed vectors (bsd3, control, library)2012-11-130.4ThomasDuBuisson
views (deprecated in favor of definitive-base)60.01Views allow you to run a State monad on part of a state. (bsd3, control, deprecated, library, monad)2013-03-151.0MarcCoiffier
vinyl-utils210.02Utilities for vinyl (bsd3, control, library)2017-12-280.3.0.1mjmrotek
wai-control200.00Run wai Applications in IO based monads (bsd3, control, library, web)2022-07-040.2.0.0jumper149
watchdog150.03Simple control structure to re-try an action with exponential backoff (bsd3, control, library)2021-10-130.3.1JanVornberger
weighted90.01Writer monad which uses semiring constraint (control, library, mit)2017-02-130.3.0.1oisdk
weighted-search100.01A weighted nondeterministic search monad (bsd3, control, library)2013-03-130.1.0.1LukePalmer
wires102.01Functional reactive programming library (bsd3, control, frp, library)2018-04-150.2.1esz
with60.02Simple open product type (bsd3, control, data, library)2018-09-160.1.0iokasimovmt
withdependencies300.01Run computations that depend on one or more elements in a stream. (control, gpl, library)2020-02-040.3.0SimonMarechal
wl-pprint-extras630.08A free monad based on the Wadler/Leijen pretty printer (bsd3, control, library, monads, text)2015-06-093.5.0.5EdwardKmett, NathanielFilardo
wl-pprint-terminfo830.03A color pretty printer with terminfo support (bsd3, control, library, monads, text)2016-06-223.7.1.4EdwardKmett, NathanielFilardo
writer-cps-exceptions190.01Control.Monad.Catch instances for the stricter CPS WriterT and RWST (bsd3, control, library)2019-03-070.1.0.1minad, chessai, topos
writer-cps-full80.01WriteT and RWST monad transformers (Reexport with all dependencies) (bsd3, control, library)2017-01-190.1.0.0minad, louispan
writer-cps-lens90.01Lens instances for the stricter CPS WriterT and RWST (bsd3, control, library)2017-03-060.1.0.1minad, louispan, chessai, topos
writer-cps-monads-tf70.01MonadWriter orphan instances for writer-cps-transformers (bsd3, control, library)2017-01-160.1.0.1minad
writer-cps-morph110.02MFunctor instance for CPS style WriterT and RWST (bsd3, control, library)2017-03-060.1.0.2minad, louispan
writer-cps-mtl510.06MonadWriter orphan instances for writer-cps-transformers (bsd3, control, library)2019-03-070.1.1.6minad, chessai, topos
writer-cps-transformers610.09WriteT and RWST monad transformers (bsd3, control, library)2019-04-290.5.6.1minad, chessai, topos
xml-html-conduit-lens290.01Optics for xml-conduit and html-conduit (bsd3, control, library)2018-06-140.3.2.4MatveyAksenov
zio190.00App-centric Monad-transformer based on Scala ZIO (UIO + ReaderT + ExceptT). (control, library, mpl)2020-11-210.1.0.2bebarker
zoom-refs90.01Zoom (~ Functor) and pairing (~ Applicative) for mutable references. (bsd3, control, library)2016-05-230.0.0.1mjmrotek