Packages tagged control

812 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (804), bsd3 (557), mit (148), deprecated (78), monads (57), data (48), program (47), 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), machines (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), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
AAI70.00Abstract Application Interface. (control, library, mit)2015-08-030.2.0.1bash0r
AbortT-monadstf30.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-transformers80.06A monad and monadic transformer providing "abort" functionality (bsd3, control, library)2019-07-191.0.1.3GregoryCrosswhite
Adaptive-Blaisorblade90.01Library for incremental computing. (bsd3, control, library, program)2013-01-260.23PaoloGiarrusso
CC-delcont150.03Delimited continuations and dynamically scoped variables (control, library)2016-05-110.2.1.0DanDoel
CC-delcont-alt30.01Three new monad transformers for multi-prompt delimited control (bsd3, control, library)2012-10-230.1.1.1KidoTakahiro
CC-delcont-cxe20.02A monad transformers for multi-prompt delimited control (bsd3, control, library)2011-10-120.1.0.2KidoTakahiro
CC-delcont-exc60.02A monad transformers for multi-prompt delimited control (bsd3, control, library)2011-10-120.1.0.0KidoTakahiro
CC-delcont-ref20.02A monad transformers for multi-prompt delimited control using refercence cells (bsd3, control, library)2011-10-120.1.0.0KidoTakahiro
CC-delcont-ref-tf50.01A monad transformers for multi-prompt delimited control using refercence cells (bsd3, control, library)2011-10-180.1.0.2KidoTakahiro
Cascade10.01Playing with reified categorical composition (control, library, public-domain)2014-11-140.1.0.0NoahEasterly
Catana10.01A monad for complex manipulation of a stream. (bsd3, control, library)2012-02-220.3DustinDeWeese
ChannelT30.01Generalized stream processors (bsd3, control, enumerator, iteratee, library, pipes, proxies)2018-01-280.0.0.7pthariensflame
ClassyPrelude70.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)10.01A light, clean and powerful utility library (bsd3, control, deprecated, library)2013-06-100.6MarcCoiffier
ComonadSheet50.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)20.01A generalization for containers that can be stripped of Nothing (bsd3, control, deprecated, library)2017-03-060.1.0.2fresheyeball
Concurrential40.01Mix concurrent and sequential computation (bsd3, control, library)2015-09-040.5.0.1alexvieth
Configurable20.01Declare types as Configurable then specialize them all in one place (control, library, mit)2012-10-190.1.0.0JosephAbrahamson
ConstraintKinds30.06Repackages standard type classes with the ConstraintKinds extension (bsd3, control, library)2014-05-201.3.0MikeIzbicki
ContArrow20.01Control.Arrow.Transformer.Cont (bsd3, control, library)2009-09-210.0.5EvgenyJukov
Control-Engine (deprecated)10.01A parallel producer/consumer engine (thread pool) (bsd3, control, deprecated, library)2009-08-181.1.0.1ThomasDuBuisson
Control-Monad-MultiPass20.01A Library for Writing Multi-Pass Algorithms. (bsd3, control, library)2013-06-140.1.0.0KevinBackhouse
Control-Monad-ST210.02A variation on the ST monad with two type parameters. (bsd3, control, library)2013-06-110.1.0.1KevinBackhouse
Coroutine50.01Type-safe coroutines using lightweight session types. (bsd3, control, library)2008-12-180.1.0.0RyanIngram
DeepArrow80.03Arrows for "deep application" (bsd3, combinators, control, library)2013-08-130.4.0ConalElliott
EitherT (deprecated in favor of either)50.04EitherT monad transformer (bsd3, control, deprecated, library)2012-04-220.2.0EyalLotem
Empty10.01A type class for empty containers (bsd3, control, library)2017-03-020.1.0.1fresheyeball
Etage60.02A general data-flow framework (ai, control, lgpl, library)2014-05-100.1.12MitarMilutinovic
FailT192.00A 'FailT' monad transformer that plays well with 'MonadFail' (bsd3, control, failure, library)2023-02-240.1.0.0lehins
FailureT (deprecated in favor of transformers)10.01Failure Monad Transformer (control, deprecated, failure, library, public-domain)2013-03-1415778.1
FastPush60.01A monad and monad transformer for pushing things onto a stack very fast. (bsd3, control, library)2017-02-260.1.0.3wyager
ForkableT10.02Forkable monad transformers (bsd3, control, library)2015-01-180.1.0.2AndrasSlemmer
Get10.01get stuff out of stuff (bsd3, control, library)2018-01-100.2018.1.10MarisaVeryMoe
GotoT-transformers00.02A monad and monadic transformer providing "goto" functionality (bsd3, control, library)2012-07-221.0.0.1GregoryCrosswhite
IfElse570.012Anaphoric and miscellaneous useful control-flow (bsd3, control, library)2008-12-240.85IvanPerez, JeffersonHeard, keera_studios_ci
ImperativeHaskell182.01A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-072.0.0.1MatthewMirman
InfixApplicative00.04liftA2 for infix operators. (bsd3, control, library)2009-12-241.1ThomasDavie
JuicyPixels-util10.05Convert JuicyPixel images into RGBA format, flip, trim and so on (bsd3, control, library)2014-10-180.2FumiakiKinoshita
Kleislify10.02Variants of Control.Arrow functions, specialised to kleislis. (bsd3, control, library)2012-05-150.0.4DylanJust
Kriens40.01Category for Continuation Passing Style (bsd3, control, library)2015-12-070.1.0.1matteo_provenzano
List430.08List monad transformer and class (bsd3, control, library)2017-09-270.6.2YairChuchem
ListT (deprecated)80.01List transformer (bsd3, control, deprecated, library)2017-12-140.1.2.0
LogicGrowsOnTrees00.04a parallel implementation of logic programming using distributed tree exploration (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.1.0.2GregoryCrosswhite
LogicGrowsOnTrees-MPI00.01an adapter for LogicGrowsOnTrees that uses MPI (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.0.0.1.1GregoryCrosswhite
LogicGrowsOnTrees-network10.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-processes00.01an adapter for LogicGrowsOnTrees that uses multiple processes for parallelism (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.0.0.2GregoryCrosswhite
MHask50.01The category of monads (bsd3, control, library)2013-08-060.3.0.0DanBurton
MaybeT00.021MaybeT monad transformer (bsd3, control, library)2008-12-210.1.2CaleGibbard, DonaldStewart, EricKidd
MaybeT-monads-tf (deprecated in favor of monads-tf)40.01MaybeT monad transformer compatible with monads-tf (deprecated) (bsd3, control, deprecated, library)2011-06-220.2.0.1BenMillwood
MaybeT-transformers00.03MaybeT monad transformer using transformers instead of mtl. (bsd3, control, library)2010-06-280.2ErikHesselink, SebastiaanVisser
Mecha10.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
Mechs10.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
MissingM60.01findM and other missing 'M's (bsd3, control, library)2012-11-150.0.4DylanJust
MonadCatchIO-mtl (deprecated in favor of exceptions)10.020Monad-transformer version of the Control.Exception module (bsd3, control, deprecated, library)2014-01-040.3.1.0DanielGorin
MonadCatchIO-mtl-foreign (deprecated)00.01Polymorphic combinators for working with foreign functions (bsd3, control, deprecated, library)2010-05-290.1AntoineLatter
MonadCatchIO-transformers (deprecated in favor of exceptions)200.073Monad-transformer compatible version of the Control.Exception module (bsd3, control, deprecated, library)2014-12-230.3.1.3AriePeterson
MonadCatchIO-transformers-foreign (deprecated)00.03Polymorphic combinators for working with foreign functions (bsd3, control, deprecated, library)2010-05-290.1AntoineLatter
MonadPrompt350.06MonadPrompt, implementation & examples (bsd3, control, library)2014-09-141.0.0.5CaleGibbard, JamesCook, RyanIngram
MonadRandom2982.0143Random-number generation monad. (bsd3, control, library)2022-11-050.6BrentYorgey, CaleGibbard, EricKidd, LukePalmer, PaoloVeronelli, PatrickPalka
MonadRandomLazy10.01Lazy monad for psuedo random-number generation. (bsd3, control, library)2015-12-290.1.1.1NormanRamsey
MonadStack00.01Generalizing lift to monad stacks (bsd2, control, library)2015-07-130.1.0.3bhurt
Monatron10.03Monad transformer library with uniform liftings (bsd3, control, library)2010-05-120.3.1TomSchrijvers
Monatron-IO00.01MonadIO instances for the Monatron transformers. (bsd3, control, library)2012-04-261.0TobiasBrandt
Object10.01Object oriented programming for haskell using multiparameter typeclasses. (apache, control, data, library)2014-05-151.0yokto
PermuteEffects40.01Permutations of effectful computations (bsd3, control, library)2011-01-160.2MartijnVanSteenbergen
ProbabilityMonads40.01Probability distribution monads. (bsd3, control, library)2007-10-070.1.0EricKidd
ReplicateEffects10.02Composable replication schemes of applicative functors (bsd3, control, library)2012-12-270.3MartijnVanSteenbergen
RichConditional00.01Tiny library to replace classic if/else (control, library, mit)2015-02-160.1.0.0alexvieth
RoyalMonad10.01All hail the Royal Monad! (bsd3, control, library)2015-09-231000.9AtzeVanDerPloeg
SciFlow10.02Scientific workflow management system (control, library, mit)2019-05-260.7.0kaizhang
SciFlow-drmaa00.00Scientific workflow management system (control, library, mit)2019-05-260.1.0kaizhang
THEff20.01TH implementation of effects. (bsd3, control, effect, library, th-)2017-01-220.1.4kolodeznydiver
Tainted70.01Tainted type, and associated operations (bsd3, control, data, library, monads, trans)2015-05-270.1.0.2RossMeikleham
TotalMap12.01A total map datatype (control, library, mit)2019-09-130.1.1.1edwardwas
TreeT10.01Transformer for Data.Tree (control, library, monads, public-domain)2011-09-170.0RahulGopinath
TypeCompose300.031Type composition classes & instances (bsd3, composition, control, library)2018-11-070.9.14ConalElliott
Workflow172.02Workflow patterns over a monad for thread state logging & recovery (bsd3, control, library, workflow)2015-05-010.8.3AlbertoCorona
abstract-par1160.011Type classes generalizing the functionality of the 'monad-par' library. (bsd3, control, library, monads, parallelism)2013-11-060.3.3RyanNewton
acme-iot50.01IO monad transformer (control, library, mit)2016-08-130.1.0.1mniip
action-permutations170.03Execute a set of actions (e.g. parsers) in each possible order (bsd3, control, library)2014-04-110.0.0.1RossPaterson
allocated-processor80.04Functional combinators for monadic actions that require allocation and de-allocation (bsd3, control, library)2010-05-230.0.2NoamLewis
alternative-extra40.01Extra utilities for alternatives (bsd3, control, library)2017-02-200.1.0.0marcosdumay
alternators120.03Handy functions when using transformers. (bsd3, control, library)2018-07-021.0.0.0louispan
annotated-exception272.00Exceptions, with checkpoints and context. (bsd3, control, library)2022-08-160.2.0.4parsonsmatt
ap-normalize1270.02Self-normalizing applicative expressions (control, library, mit)2021-05-250.1.0.1lyxia
apart30.00Get all your structure and rip it apart. (bsd3, control, data, library, program)2018-09-280.1.3iokasimovmt
apecs272.254Fast Entity-Component-System library for game programming (bsd3, control, data, game, library)2021-12-040.9.4jonascarpay
apecs-stm40.00STM stores for apecs (bsd3, control, data, game, library)2021-08-070.1.5jonascarpay
applicative-extras70.014Instances for Applicative (bsd3, control, library)2011-01-030.1.8ChrisEidhof
applicative-fail30.01Applicative functor and monad which collects all your fails (bsd3, control, library)2015-08-031.1.1AlekseyUymanov
applicative-splice20.01Write applicative programs in direct style (generalizes idiom brackets). (control, library, public-domain)2016-04-170.0.0.0AkioTakano
arity-generic-liftA50.00Provides an arity-generic version of the liftA2, liftA3... liftAn functions. (control, library, mit)2018-12-310.1.0.0oisdk
arrow-extras130.01Extra functions for Control.Arrow (bsd3, control, library)2017-03-150.1.0.1louispan
arrow-improve10.01Improved arrows. (control, library, mit)2014-02-180.1.0.0alynn
arrow-list150.01List arrows for Haskell. (bsd3, control, library)2020-10-180.7.1AdamBergmark, ErikHesselink, SebastiaanVisser
arrow-utils20.00functions for working with arrows (arrows, bsd3, combinators, control, library)2022-01-250.1.1miguel_negrao
arrowapply-utils20.02Utilities for working with ArrowApply instances more naturally (bsd3, control, library)2012-03-180.2AndrewMiller
arrows550.031Arrow classes and transformers (bsd3, control, library)2018-03-310.4.4.2RossPaterson
artery20.01A simple, arrow-based reactive programming (bsd3, control, frp, library)2014-09-090.1.1FumiakiKinoshita
assert10.05Helpers for Control.Exception.assert (bsd3, control, library)2013-11-180.0.1.2LiyangHu
assert-failure332.02Syntactic sugar improving 'assert' and 'error' (bsd3, contract, control, library)2022-07-030.1.2.6MikolajKonarski
async-refresh120.01Package implementing core logic for refreshing of expiring data. (bsd3, control, library)2018-03-200.3.0.0mtesseract
async-refresh-tokens150.01Package implementing core logic for refreshing of expiring access tokens (bsd3, control, library)2018-03-210.4.0.0mtesseract
asynchronous-exceptions (deprecated)00.01Distinguish between synchronous and asynchronous exceptions (control, deprecated, library, mit)2014-02-051.1.0.1RomanCheplyaka
atl (deprecated)20.02Arrow Transformer Library (bsd3, control, deprecated, library)2016-09-2817072
attoparsec-trans50.02Interleaved effects for attoparsec parsers (control, library, mit)2015-06-160.1.1.0srijs
auto102.251Denotative, locally stateful programming DSL & platform (control, library, mit)2017-01-140.4.3.1jle
auto-update2040.028Efficiently run periodic, on-demand actions (control, library, mit)2019-07-090.1.6KazuYamamoto, MichaelSnoyman
backtracking172.01A backtracking monad (bsd3, control, library)2020-07-030.1.0SatoshiEgi, momohatt
backtracking-exceptions (deprecated)30.01A monad transformer for backtracking exceptions (bsd3, control, deprecated, library)2014-08-220.1.0.0
backward-state50.01A state monad that runs the state in reverse through the computation (bsd3, control, library, monads)2013-01-140.1.0.2LukePalmer
barrier-monad00.01Implementation of barrier monad, can use custom front/back type (control, library, public-domain)2011-12-010.1.0.1AaronBlack
basic-prelude682.2534An enhanced core prelude; a common foundation for alternate preludes. (control, library, mit, prelude)2017-12-050.7.0DanBurton, MichaelSnoyman
billeksah-main00.01Leksah plugin base (control, program)2011-11-291.0.0JuergenNicklischFranken
billeksah-main-static20.01Leksah plugin base (control, program)2011-11-291.0.0JuergenNicklischFranken
billeksah-services40.03Leksah library (control, library)2011-11-291.0.0JuergenNicklischFranken
boolean-like70.01Logical combinatory operations dealing with datatypes representing booleans by their constructors. (bsd3, control, library)2016-09-220.1.1.0Shou
break20.01Break from a loop (bsd3, control, library)2017-04-071.0.2GabrielGonzalez
bytestring-progress360.01A library for tracking the consumption of a lazy ByteString (bsd3, control, library)2019-08-281.4AdamWick
bytestring-rematch50.01Rematch support for ByteString (control, library, mit)2013-05-190.1.0.0TomCrayford
can-i-haz290.01Generic implementation of the Has and CoHas patterns (bsd3, control, library)2023-01-180.3.1.00xd34df00d
capability172.01Extensional capabilities and deriving combinators (bsd3, control, library)2022-03-210.5.0.1aherrmann
capataz40.01OTP-like supervision trees in Haskell (concurrency, control, library, mit)2019-05-210.2.1.0RomanGonzalez
caps20.00Monadic capabilities with late binding (bsd3, control, library)2021-03-140.1int_index
cas-hashable22.03A hashing class for content-addressed storage (control, library, mit)2020-03-091.0.1YvesPares
cas-hashable-s340.00ContentHashable instances for S3 objects (control, library, mit)2020-03-091.0.0YvesPares
cas-store12.01A content-addressed storage (control, library, mit)2020-06-011.1.0YvesPares
catch-fd20.02MonadThrow and MonadCatch, using functional dependencies (bsd3, control, library)2012-10-120.2.0.2AndySonnenburg
categories110.07Categories (bsd3, control, library)2015-01-061.0.7EdwardKmett
category (deprecated)51.2511Categorical types and classes (bsd3, control, deprecated, library, math)2019-12-240.2.5.0
category-extras70.011A meta-package documenting various packages inspired by category theory (bsd3, comonads, control, library, monads)2012-04-061.0.2DanDoel, DanielWagner, EdwardKmett, RussellOConnor
cflp130.01Constraint Functional-Logic Programming in Haskell (bsd3, control, library)2009-06-042009.2.1SebastianFischer
chr-core20.02Constraint Handling Rules (bsd3, control, library)2022-09-160.1.1.0AtzeDijkstra
churros10.00Channel/Arrow based streaming computation library. (control, data, library, mit)2022-10-160.1.6.0LyndonMaydwell
classy-parallel00.02Fork of the monad-parallel package using monad-control (control, gpl, library)2012-07-310.1.0.0SamAnklesaria
classy-prelude700.057A typeclass-based Prelude. (control, library, mit, prelude)2021-12-071.5.0.2GregWeber, MichaelSnoyman
classy-prelude-conduit380.010classy-prelude together with conduit functions (control, library, mit, prelude)2018-10-081.5.0GregWeber, MichaelSnoyman
classy-prelude-yesod510.08Provide a classy prelude including common Yesod functionality. (control, library, mit, yesod)2018-10-081.5.0GregWeber, MichaelSnoyman
cleff241.751Fast and concise extensible effects (bsd3, control, effect, language, library)2022-05-210.3.3.0daylily
cleff-plugin92.00Automatic disambiguation for extensible effects (bsd3, control, effect, language, library)2022-03-130.1.0.0daylily
cloud-haskell10.01The Cloud Haskell Application Platform (bsd3, control, library)2016-07-300.3.0.0FacundoDominguez, TimWatson
codecov-haskell21.251Codecov.io support for Haskell. (bsd3, control, library, program)2017-06-170.5.0killy971
coercible-utils60.03Utility functions for Coercible types (bsd3, control, library)2019-09-100.1.0sjakobi, chessai, koz_ross
commandert10.01A monad for commanders (control, library, mit)2022-01-210.1.1.1sgschlesinger
comonad2632.5159Comonads (bsd3, comonads, control, library)2020-12-305.0.8EdwardKmett, EricMertens, ryanglscott
comonad-extras180.04Exotic comonad transformers (bsd3, comonads, control, library)2020-02-214.0.1EdwardKmett
comonad-random (deprecated)00.01Comonadic interface for random values (control, deprecated, library)2009-07-210.1.2JakeMcArthur
comonad-transformers (deprecated in favor of comonad)240.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)230.010This package has been merged into comonad 4.0 (bsd3, comonads, control, deprecated, library)2013-10-134.0EdwardKmett
compactable42.259A typeclass for structures which can be catMaybed, filtered, and partitioned. (bsd3, control, library)2022-01-090.2.0.0fresheyeball
composition-prelude1322.032Higher-order function combinators (bsd3, control, data, library)2020-11-103.0.0.2vmchale
computations10.01Advanced notions of computation (bsd3, control, library)2015-05-030.0.0.0WolfgangJeltsch
concatenative230.04A library for postfix control flow. (bsd3, control, library)2010-07-021.0.1SamAnklesaria
concurrent-machines20.03Concurrent networked stream transducers (bsd3, concurrency, control, library)2022-03-110.3.1.5AnthonyCowley
concurrent-state10.01MTL-like library using TVars (control, library, mit)2014-01-270.6.0.0JoelTaylor
cond362.016Basic conditional and boolean operators with monadic variants. (bsd3, control, library, logic, monad)2014-11-230.4.1.1AdamCurtis
conduino120.01Lightweight composable continuation-based stream processors (bsd3, control, library)2020-01-080.2.2.0jle
conkin10.01Tools for functors from Hask^k to Hask (control, library, public-domain)2017-10-261.0.2NoahEasterly
constrained-categories70.07Constrained clones of the category-theory type classes, using ConstraintKinds. (control, gpl, library)2020-11-150.4.1.0leftaroundabout
constrained-monads20.01Typeclasses and instances for monads with constraints. (control, library, mit)2017-03-310.5.0.0oisdk
constrained-normal20.01Normalised Deep Embeddings for Constrained Type-Class Instances (bsd3, control, library)2014-06-091.0.2NeilSculthorpe
constraint-manip20.02Some conviencience type functions for manipulating constraints. (control, library, mit)2017-10-160.1.1.0clinton
constrictor50.02strict versions of many things in base (control, library, mit)2018-05-310.1.2.0chessai
continue00.01Monads with suspension and arbitrary-spot reentry (bsd3, control, library)2013-04-210.2.0ErtugrulSoeylemez, esz
contravariant2612.5172Contravariant functors (bsd3, control, data, library)2021-07-271.5.5EdwardKmett, EricMertens, ryanglscott
contravariant-extras600.08Extras for the "contravariant" package (control, library, mit)2021-11-020.3.5.3NikitaVolkov
control (deprecated)130.03Class of monad transformers which control operations can be lifted thru (bsd3, control, deprecated, library)2018-08-190.1.1.0
control-bool130.05Useful combinators for boolean expressions (bsd3, control, library)2013-12-080.2.1FumiakiKinoshita
control-dotdotdot10.01Haskell operator `g ... f = \x1 .. xn -> g (f x1 .. xn)`. (bsd3, control, library)2018-01-210.1.0.1erisco
control-dsl121.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-event50.02Event scheduling system. (bsd3, control, library)2019-05-171.3ThomasDuBuisson
control-invariants00.02Invariants and contract monitoring (control, library, mit)2016-10-280.1.0.0SimonHudon, bandali
control-iso40.01A typeclass for type isomorphisms (bsd3, control, library)2019-02-040.1.0.2fresheyeball
control-monad-exception50.08Explicitly typed, checked exceptions with stack traces (control, failure, library, monads)2020-07-060.11.4PepeIborra
control-monad-exception-monadsfd40.01Monads-fd instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-exception-monadstf10.01Monads-tf instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-exception-mtl10.01MTL instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-failure (deprecated)60.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)50.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-free520.03Free monads and monad transformers (control, library, monads, public-domain)2018-10-060.6.2LukePalmer, PepeIborra
control-monad-loop160.08Simple monad transformer for imperative-style loops (bsd3, control, library)2012-07-080.1JoeyAdams
control-monad-omega182.07A breadth-first list monad. (control, library, public-domain)2019-09-170.3.2LukePalmer
control-monad-queue40.01Reusable corecursive queues, via continuations. (bsd3, control, library)2015-12-190.2.0.1LeonSmith
control-timeout (deprecated)80.03Timeout handling (bsd3, control, deprecated, library)2008-02-010.1.2AdamLangley
contstuff (deprecated)90.07Fast, easy to use CPS-based monad transformers (bsd3, control, deprecated, library, monads)2011-05-191.2.6ErtugrulSoeylemez, esz
contstuff-monads-tf (deprecated)10.01ContStuff instances for monads-tf transformers (deprecated) (bsd3, control, deprecated, library, monads)2010-11-240.2.1ErtugrulSoeylemez, esz
contstuff-transformers (deprecated)10.01Deprecated interface between contstuff 0.7.0 and the transformers package (bsd3, control, deprecated, library, monads)2010-12-270.1.1ErtugrulSoeylemez, esz
conversion160.09Universal converter between values of different types (control, conversion, data, library, mit)2016-04-121.2.1NikitaVolkov
conversion-bytestring80.01"Conversion" instances for the "bytestring" library (control, conversion, data, library, mit)2022-05-041.0.1.1NikitaVolkov
conversion-case-insensitive10.02"Conversion" instances for the "case-insensitive" library (control, conversion, data, library, mit)2015-04-231.0.0.0NikitaVolkov
conversion-text130.04"Conversion" instances for the "text" library (control, conversion, data, library, mit)2022-05-041.0.1.1NikitaVolkov
corecursive-main60.00Write your main like it can call itself back. (bsd3, control, library, program)2018-08-190.1.0.0LucasDiCioccio
coroutine-object10.02Object-oriented programming realization using coroutine (bsd3, control, library)2016-02-050.3.0IanWooKim
coverage20.01Exhaustivity Checking Library (control, library, mit)2016-02-170.1.0.4NicolasDelPiano
cr30.01Code review tool (control, gpl, network, program, system)2012-12-031.2AlexandruScvortov
crem90.00Compositional representable executable machines (control, library, machines, mit, program, state-machines)2023-03-170.1.0.0marcosh
csp122.01Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-141.4.0AndreiBarbu
custom-prelude20.03An enhanced prelude, serving as a foundation for my projects (control, library)2012-10-020.2.2.0AnupamJain
daemons220.03Daemons in Haskell made fun and easy (control, gpl, library, network, program, system)2020-02-030.3.0AlexandruScvortov
data-fresh20.01Interface and functor transformers for fresh values (bsd3, control, library)2013-09-080.2013.251.0StijnVanDrongelen
data-lens40.048Used to be Haskell 98 Lenses (bsd3, comonads, control, library)2018-01-012.11.2EdwardKmett, RussellOConnor
data-lens-fd00.09Lenses (bsd3, comonads, control, library)2016-07-172.0.6EdwardKmett, RussellOConnor
data-lens-ixset (deprecated in favor of data-store, tables, lens)40.01A Lens for IxSet (bsd3, comonads, control, data-structures, deprecated, library)2012-01-150.1.4DagOdenhall
decepticons10.01The categorical dual of transformers. (bsd3, control, library)2013-05-070.1.0.0JoeQuinn
deep-transformations30.02Deep natural and unnatural tree transformations, including attribute grammars (bsd3, control, generics, library)2023-01-070.2MarioBlazevic
deepcontrol60.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
deepseq1902.51334Deep evaluation of data structures (bsd3, control, library)2022-12-181.4.8.1HerbertValerioRiedel, chessai, melaniebrown
deepseq-bounded10.02Bounded deepseq, including support for generic deriving (bsd3, control, library)2015-02-040.8.0.0AndrewSeniuk
deepseq-generics650.023GHC.Generics-based Control.DeepSeq.rnf implementation (bsd3, control, library)2016-01-030.2.0.0HerbertValerioRiedel
deepseq-instances50.00Candidate NFData Instances for Types in base (control, library, mit)2020-05-280.1.0.1TravisWhitaker
deepseq-magic50.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)00.02Template Haskell based deriver for optimised NFData instances (bsd3, control, deprecated, library)2012-10-130.1.0.4HerbertValerioRiedel
demarcate (deprecated in favor of free)10.01Demarcating transformed monad. (bsd3, control, deprecated, library)2013-09-230.1.0NickolayKudasov
dep-t140.04Dependency injection for records-of-functions. (bsd3, control, library)2023-01-150.6.4.0DanielDiazCarrete
dep-t-advice50.00Giving good advice to functions in records-of-functions. (bsd3, control, library)2022-10-230.6.2.0DanielDiazCarrete
dep-t-dynamic40.00A dynamic environment for dependency injection. (bsd3, control, library)2022-11-080.1.1.0DanielDiazCarrete
dep-t-value10.00Pair resources files with types within your program. (bsd3, control, library)2022-04-170.1.0.0DanielDiazCarrete
deriving-trans220.00Derive instances for monad transformer stacks (bsd3, control, library)2023-02-200.5.0.1jumper149
despair10.01Despair (bsd3, control, library)2015-12-010.0.6Heather
disposable (deprecated in favor of glazier-react)40.02Allows storing different resource-releasing actions together. (bsd3, control, deprecated, library)2018-07-021.0.0.0louispan
distributed-closure42.07Serializable closures for distributed programming. (bsd3, control, library, program)2019-12-290.4.2.0AlpMestanogullari, FacundoDominguez, MathieuBoespflug
distributed-fork (deprecated)60.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)40.01AWS Lambda backend for distributed-fork. (bsd3, control, deprecated, library)2018-06-150.0.2.0utdemir
distributed-process122.530Cloud Haskell: Erlang-style concurrency in Haskell (bsd3, control, library)2018-06-120.7.4EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-async80.06Cloud Haskell Async API (bsd3, control, library)2018-06-140.2.6FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-client-server20.09The Cloud Haskell Application Platform (bsd3, control, library)2018-06-140.2.5.1FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-execution30.02Execution Framework for The Cloud Haskell Application Platform (bsd3, control, library)2016-02-180.1.2.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-extras30.011Cloud Haskell Extras (bsd3, control, library)2018-06-130.3.5FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-fsm50.01The Cloud Haskell implementation of Erlang/OTP gen_statem (bsd3, control, library)2017-03-260.0.1TimWatson
distributed-process-lifted40.02monad-control style typeclass and transformer instances for Process monad. (bsd3, cloud-haskell, control, library)2018-02-250.3.0.1jeremyjh
distributed-process-monad-control10.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)00.02The Cloud Haskell Application Platform (bsd3, control, deprecated, library)2014-06-130.1.0FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-registry50.01Cloud Haskell Extended Process Registry (bsd3, control, library)2016-02-180.1.0.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-simplelocalnet41.56Simple zero-configuration backend for Cloud Haskell (bsd3, control, library)2017-08-220.2.4EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-supervisor20.04Supervisors for The Cloud Haskell Application Platform (bsd3, control, library)2018-06-140.2.1FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-systest40.01Cloud Haskell Test Support (bsd3, cloud-haskell, control, library)2017-02-050.1.1TimWatson
distributed-process-task00.02Task Framework for The Cloud Haskell Application Platform (bsd3, cloud-haskell, control, library)2016-02-180.1.2.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-tests50.01Tests and test support tools for distributed-process. (bsd3, cloud-haskell, control, library)2017-10-050.4.11FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-zookeeper50.01A Zookeeper back-end for Cloud Haskell. (bsd3, cloud-haskell, control, library)2017-09-090.2.3.0jeremyjh
distributed-static280.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)10.01An alternative to monads (bsd3, control, deprecated, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-020.1.0.3yangbo
drinkery180.01Boozy streaming library (bsd3, control, library)2018-07-180.4FumiakiKinoshita
edenmodules00.03Semi-explicit parallel programming library (bsd3, control, distributed-computing, eden, library, parallelism)2014-04-061.2.0.0MischaDieterle, JostBerthold, horstmeyer
effect-handlers10.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-monad52.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-stack00.00Reducing the pain of transformer stacks with duplicated effects (bsd3, control, library)2019-07-140.3DanielWagner
effectful372.51An easy to use, performant extensible effects library. (bsd3, control, library)2023-01-112.2.1.0arybczak
effectful-core720.011An easy to use, performant extensible effects library. (bsd3, control, library)2023-03-132.2.1.0arybczak
effectful-plugin410.00A GHC plugin for improving disambiguation of effects. (bsd3, control, library)2023-03-131.0.0.0arybczak
effectful-th190.00Template Haskell utilities for the effectful library. (bsd3, control, library)2023-01-131.0.0.0arybczak
effects10.02Computational Effects (bsd3, control, library, monads)2019-04-130.2.4SjoerdVisscher
effects-parser10.01Parser Effect for the Control.Effects Library (bsd3, control, library, monads)2013-09-150.1JesseMcDonald
effet20.00An Effect System based on Type Classes (bsd3, control, library)2020-12-240.4.0.0MichaelSzvetits
effin10.03A Typeable-free implementation of extensible effects (bsd3, control, effect, library)2017-08-030.3.0.3AnthonyVandikas
either2532.0283Combinators for working with sums (bsd3, control, library, monads)2022-05-085.0.2EdwardKmett, ryanglscott, GeorgeWilson
elevator40.04Immediately lifts to a desired level (bsd3, control, library)2015-04-010.2.3FumiakiKinoshita
elision70.00Arrows with holes. (bsd2, control, library, program)2016-02-180.1.3.2jacrough
enclosed-exceptions1112.023Catching all exceptions from within an enclosed computation (control, library, mit)2018-07-111.0.3MichaelSnoyman, jcristovao
enum-text-rio50.01Making fmt available with rio (bsd3, control, library, program)2019-07-231.2.0.0ChrisDornan
error-context10.01Provides API for enriching errors with contexts (bsd3, control, error-handling, library)2018-04-100.2.0.1mtesseract
error-continuations00.01Error Continuations (control, library, public-domain)2015-01-050.1.0.0echatav
error-list10.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)210.02An orphan Eq instance for ErrorCall (control, deprecated, library, mit)2015-04-220.3.0SimonHengel
errors1342.25139Simplified error-handling (bsd3, control, error-handling, library)2018-05-112.3.0GabrielGonzalez
errors-ext120.01`bracket`-like functions for `ExceptT` over `IO` monad. (control, error-handling, library)2018-07-170.4.2warlock
eternal30.01everything breaking the Fairbairn threshold (bsd3, control, library)2016-07-240.1.7Heather
ether (deprecated)42.252Monad transformers and classes (bsd3, control, deprecated, library)2017-06-030.5.1.0int_index
eveff40.00Efficient effect handlers based on evidence translation. (control, effect, library, mit)2021-07-191.0.0.2ningningxie
event-driven60.02library for event driven programming (bsd3, control, library)2010-07-160.0.2YoshikuniJujo
event-handlers50.02Event handlers (control, data, library, public-domain)2008-12-150.0.0.3JamesCook
event-monad00.01Event-graph simulation monad transformer (control, library, public-domain)2010-01-110.0.3JamesCook
event-transformer (deprecated)30.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)50.01Exception monad transformer instances for monads-fd classes. (bsd3, control, deprecated, error-handling, failure, library, monad)2010-10-060.2GeoffreyMainland
exception-monads-tf70.01Exception monad transformer instances for monads-tf classes. (bsd3, control, error-handling, failure, library, monad)2017-05-030.4.0.1GeoffreyMainland
exception-mtl450.03Exception monad transformer instances for mtl classes. (bsd3, control, error-handling, failure, library, monad)2016-05-100.4.0.1GeoffreyMainland
exception-transformers870.019Type classes and monads for unchecked extensible exceptions. (bsd3, control, error-handling, failure, library, monad)2021-11-200.4.0.11GeoffreyMainland, TroelsHenriksen
exceptional40.01Essentially the Maybe type with error messages. (bsd2, control, library)2015-07-220.3.0.0pharpend
exceptions3592.0930Extensible optionally-pure exceptions (bsd3, control, exceptions, library, monad)2022-12-040.10.7EdwardKmett, ryanglscott
exceptiot10.00ExceptT, but uses IO instead of Either (bsd3, control, library)2022-11-220.0.1.0parsonsmatt
exhaustive30.01Compile time checks that a computation considers producing data through all possible constructors (bsd3, control, library)2020-06-171.1.9OliverCharles
exitcode70.02Monad transformer for exit codes (bsd3, control, library)2022-03-170.1.0.6TonyMorris, qfpl, GeorgeWilson
explicit-exception280.027Exceptions which are explicit in the type signature. (bsd3, control, library)2023-01-140.1.10HenningThielemann
explicit-sharing10.01Explicit Sharing of Monadic Effects (control, library, monads, public-domain)2011-06-300.9SebastianFischer
extensible-effects212.2512An Alternative to Monad Transformers (control, effect, library, mit)2019-01-035.0.0.1BenFoppa, SvenHeyll, shergill, sickmind
extensible-effects-concurrent92.00Message passing concurrency as extensible-effect (bsd3, concurrency, control, effect, library, program)2020-12-162.0.0SvenHeyll
extensible-exceptions1150.088Extensible exceptions (bsd3, control, library)2012-02-020.1.1.4IanLynagh
failable160.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)150.071A simple type class for success/failure computations. (deprecated) (bsd3, control, deprecated, failure, library, monads)2014-06-080.2.0.3MichaelSnoyman, Michael_Smith
feature-flags160.01A simple library for dynamically enabling and disabling functionality. (control, library, mit)2015-04-020.1.0.1IanDuncan
fmt-for-rio20.00Adaptor for getting fmt to work with rio (bsd3, control, library, text)2019-07-231.0.0.0ChrisDornan
fold-debounce500.03Fold multiple events that happen in a given period of time. (bsd3, control, library)2022-11-240.2.0.10debugito
foldl4062.5112Composable, streaming, and efficient left folds (bsd3, control, library)2023-01-151.4.13GabrielGonzalez
foldl-exceptions12.00Exception handling with FoldM (control, library, mit)2023-01-111.0.0.1chris_martin, Monoid_Mary
foldl-incremental42.01incremental folds (control, library, mit, statistics)2015-02-230.2.0.0tonyday
foldl-transduce42.01Transducers for foldl folds. (bsd3, control, library)2021-03-190.6.0.1DanielDiazCarrete
foldl-transduce-attoparsec50.01Attoparsec and foldl-transduce integration. (bsd3, control, library)2016-02-120.2.0.0DanielDiazCarrete
for-free40.01Functor, Monad, MonadPlus, etc for free (control, library, public-domain)2012-07-090.1AaronBlack
forbidden-fruit00.01A library accelerates imperative style programming. (bsd3, control, library)2015-02-240.1.0minpou
forest20.01Tree and Forest types (control, library, mpl)2018-08-020.2.1.1ShaneOBrien
free6202.5196Monads for free (bsd3, control, library, monads)2023-03-125.1.10EdwardKmett, EricMertens, JohnWiegley, ryanglscott
free-algebras210.02Free algebras (algebra, control, library, monads, mpl)2022-09-060.1.0.2coot
free-applicative-t10.00Free Applicative Transformer (bsd3, control, library)2022-12-310.1.0.0viercc
free-categories170.01free categories (bsd3, control, library)2020-09-290.2.0.2echatav
free-category10.01efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2022-09-070.0.4.4coot
free-er40.00An extensible effects library (bsd3, control, effect, library, program)2017-10-100.1.0.0OmerAgacan
free-operational60.02Operational Applicative, Alternative, Monad and MonadPlus from free types. (bsd3, control, library)2013-08-080.5.0.0LuisCasillas
free-vl170.00van Laarhoven encoded Free Monad with Extensible Effects (bsd3, control, library, monads, program)2016-02-100.1.4aaronlevin
freer122.250Implementation of the Freer Monad (bsd3, control, library, program)2016-11-250.2.4.1alleledev
freer-effects82.02Implementation of effect system for Haskell. (bsd3, control, library, program)2017-04-160.3.0.1MatejKollar, PeterTrsko, TomasJanousek
freer-simple822.010A friendly effect system for Haskell. (bsd3, control, library, program)2022-01-071.2.1.2lexi_lambda
freer-simple-catching10.01Checked runtime exceptions with freer-simple (control, library, mit)2018-11-120.1.0.0benweitzman
freer-simple-http10.01Make HTTP requests with freer-simple! (control, http, library, mit, web)2018-11-120.1.0.0benweitzman
freer-simple-profiling10.01Automatic profling of freer-simple programs (benchmarking, control, library, mit, profiling)2018-11-120.1.0.0benweitzman
freer-simple-random20.01Random number generators using freer-simple (control, library, mit, random)2018-11-120.1.0.0benweitzman
freer-simple-time00.01freer-simple interface to IO based time functions (control, library, mit, time)2018-11-120.1.0.0benweitzman
fresnel10.01high-powered optics in a small package (bsd3, control, library)2022-02-260.0.0.1robrix
fresnel-fused-effects10.00fresnel/fused-effects integration (bsd3, control, library)2022-02-260.0.0.0robrix
from-sum292.01Combinators for working with Maybe and Either (bsd3, control, library)2020-01-250.2.3.0cdepillabout
frpnow42.54Principled practical FRP (bsd3, control, library)2015-08-250.18AtzeVanDerPloeg
frpnow-gloss00.01Program awesome stuff with Gloss and frpnow! (bsd3, control, library)2015-07-140.12AtzeVanDerPloeg
frpnow-gtk20.01Program GUIs with GTK and frpnow! (bsd3, control, library)2015-07-140.11AtzeVanDerPloeg
frpnow-vty60.00Program terminal applications with vty and frpnow! (control, gpl, library, program)2018-03-190.2.0.1JaroReinders
fsharp (deprecated)50.02some F# operators, high priority pipes (bsd3, control, deprecated, library)2014-02-180.0.4Heather
full-sessions10.01a monad for protocol-typed network programming (bsd3, control, library, network)2012-01-230.6.2.1KeigoImai
function-combine20.01Combining functions (bsd3, control, library)2011-09-230.1.0IainAlexander
functor (deprecated in favor of category)60.01Functors (bsd3, control, deprecated, library, math)2017-11-160.1.0.0
functor-apply (deprecated in favor of semigroupoids)10.06This package has been subsumed by semigroupoids (bsd3, control, deprecated, library)2011-01-300.11EdwardKmett
functors50.01(.:) and friends, syntax for Functor and Applicative. (bsd3, control, library)2010-11-280.1AristidBreitkreuz
funflow112.02Workflows with arrows (control, library, mit, program)2020-03-091.6.0nclarke
fused-effects582.7515A fast, flexible, fused effect system. (bsd3, control, library)2022-10-051.1.2.1patrick_thomson, robrix, joshvera
fused-effects-exceptions190.00Handle exceptions thrown in IO with fused-effects. (bsd3, control, control., library)2021-06-081.1.0.1patrick_thomson, robrix
fused-effects-lens152.01Monadic lens combinators for fused-effects. (bsd3, control, library)2020-07-101.2.0.1patrick_thomson, robrix
fused-effects-mwc-random10.00High-quality random number generation as an effect. (bsd3, control, library)2020-10-050.1.0.0patrick_thomson
fused-effects-optics70.00Bridge between the optics and fused-effects ecosystems. (bsd3, control, library)2022-07-130.2.1.0patrick_thomson
fused-effects-random50.00Random number generation for fused-effects. (bsd3, control, library)2020-07-121.1.0.0patrick_thomson, robrix
fused-effects-resumable40.00Resumable exceptions for the fused-effects ecosystem. (bsd3, control, library)2019-11-130.1.0.0patrick_thomson
fused-effects-squeal32.250A fused-effects adapter for squeal-postgresql. (bsd3, control, library)2020-01-260.1.0.0iko
fused-effects-th20.00Template Haskell helpers for fused-effects. (bsd3, control, library)2021-04-070.1.0.3patrick_thomson, robrix
future-resource10.02realtime resource handling with manual concurrency (control, lgpl, library)2015-04-220.4.0.0capsjac
gang-of-threads10.01Non-deterministic parallelism with bags (bsd3, control, library, parallelism)2014-07-223.2.1bholst
garlic-bread20.01A monad transformer for keeping track of where you've come from. (bsd3, control, library)2018-03-170.1.0.1parsonsmatt
gas00.01Limit how many steps a program may take. (bsd3, control, library)2018-08-140.0.0.1rightfold
general-allocate500.02Exception-safe resource management in more monads (apache, control, exceptions, library)2023-03-010.2.0.0shlevy
general-prelude (deprecated)10.01Prelude replacement using generalized type classes where possible (bsd3, control, data, deprecated, library)2012-12-180.1.2JohnWiegley
generator10.01Python-generators notation for creation of monadic lists (bsd3, control, library)2015-05-280.5.5YairChuchem
generators (deprecated)10.01Actually useful monadic random value generators. (bsd3, control, deprecated, library)2010-06-251.0.3LiamOConnorDavis
generic-deepseq20.01Generic deep evaluation of data structures (bsd3, control, generics, library)2012-02-282.0.1.1MaximeHenrion
ghc-call-stack-extras60.01Extra utilities for HasCallStack (bsd3, control, library)2018-03-140.1.0.2dfeuer
gooey00.01Graphical user interfaces that are renderable, change over time and eventually produce a value. (control, library, mit)2015-10-060.1.0.0SchellScivally
grab32.01Applicative non-linear consumption (control, library, mit)2022-06-200.0.0.8chris_martin, Monoid_Mary
graphted50.01Graph indexed monads. (bsd3, comonads, control, library, monads)2017-05-090.3.1.0AaronFriel
groupoids (deprecated in favor of semigroupoids)112.06This package has been absorbed into semigroupoids 4.0 (bsd3, categories, control, deprecated, library)2013-10-134.0EdwardKmett
hasim20.01Process-Based Discrete Event Simulation library (bsd3, control, library)2008-12-290.1.2JochemBerndsen
hask10.01Categories (bsd3, control, library)2014-11-100EdwardKmett
haskell-cnc50.01Library for parallel programming in the Intel Concurrent Collections paradigm. (bsd3, control, library, parallelism, program)2011-08-120.1.3.200RyanNewton
hcron20.01A simple job scheduler, which just runs some IO action at a given time. (bsd3, control, library, scheduling)2012-08-230.0.0.3TimoHuebel
hdph10.01Haskell distributed parallel Haskell (bsd3, control, distributed-computing, library, monads, parallelism, program)2013-02-070.0.1PatrickMaier
hdph-closure50.02Explicit closures in Haskell distributed parallel Haskell (bsd3, control, distributed-computing, library)2013-02-070.0.1PatrickMaier
hierarchical-env10.00hierarchical environments for dependency injection (bsd3, control, library)2021-05-130.2.0.2autotaker
hmk20.01A make alternative based on Plan9's mk. (control, development, distribution, library, program)2016-01-110.9.7.4MathieuBoespflug
hoist-error100.03Some convenience facilities for hoisting errors into a monad (control, library, mit)2018-06-150.2.1.0JonSterling, schalmers, qfpl
hpc660.017Code Coverage Library for Haskell (bsd3, control, library)2022-10-230.6.2.0AustinSeipp, BenGamari, HerbertValerioRiedel, IanLynagh, wz1000, DavidBinder
hpc-coveralls30.01Coveralls.io support for Haskell. (bsd3, control, library, program)2017-05-131.0.10killy971
hpc-lcov140.00Convert HPC output into LCOV format (bsd3, control, library, program)2022-11-101.1.0leapyear
hreader240.02Generalization of MonadReader and ReaderT using hset (bsd3, control, library)2016-12-121.1.0AlekseyUymanov
hs-di12.01Dependency Injection library for Haskell (bsd3, control, dependency-injection, development, library, program, template-haskell, testing)2016-09-260.3.0Wizek
hsPID40.01PID control loop (control, lgpl, library)2018-11-250.1.2jlamothe
hspec-monad-control40.01Orphan instances of MonadBase and MonadBaseControl for SpecM (bsd3, control, library)2015-05-210.1.0.0bmjames
hyperfunctions50.01Hyperfunctions (bsd3, categories, control, library)2015-06-210EdwardKmett
if110.01(?) and (?>) conditional operator (bsd3, control, library)2016-11-170.1.0.0winterland
ifcxt02.251put if statements within type constraints (bsd3, control, library)2016-08-030.1.1MikeIzbicki
implicit-logging40.01A logging framework built around implicit parameters. (control, lgpl, library)2016-09-110.2.0.0rev_null
in-other-words70.04A higher-order effect system where the sky's the limit (bsd3, control, library)2022-06-150.2.1.1KingoftheHomeless
index-core10.02Indexed Types (bsd3, control, indexed, library)2016-06-121.0.4GabrielGonzalez
indexed260.014Haskell98 indexed functors, monads, comonads (bsd3, control, library)2016-09-170.1.3ReinerPope, typedrat
indexed-extras310.03Indexed functors, monads and comonads that require extensions to Haskell98 (bsd3, control, library)2016-07-080.2ReinerPope, typedrat
indexed-free50.02indexed monads for free (bsd3, control, library, monad)2013-11-270.3.1FumiakiKinoshita
indextype10.04A series of type families and constraints for "indexable" types. (bsd3, control, library)2017-10-190.3.0.1clinton
inject-function50.01Monadic functions with injected parameters. (control, gpl, library)2013-09-130.2.1.0DimitriSabadie
instance-control120.01Controls how the compiler searches for instances using type families. (bsd3, control, library)2017-09-270.1.2.0lazac
interchangeable (deprecated)40.01A type class for interchangeable data. (control, deprecated, library, mit)2015-01-180.2.0.0arowM
interleave50.01Combinators for supporting interleaving of different behaviours (bsd3, control, library)2011-01-071.0NeilBrown
interruptible20.01Monad transformers that can be run and resumed later, conserving their context. (bsd3, control, library)2016-06-080.1.1.1marcosdumay
interspersed10.01An abstraction over interspersing monadic actions (control, library, mit)2016-06-020.1.2NikitaVolkov
invariant5510.017Haskell98 invariant functors (bsd2, control, data, library)2023-02-270.6NicolasFrisby, ryanglscott
invertible111.255bidirectional arrows, bijective functions, and invariant functors (bsd3, composition, control, data, library)2020-08-070.2.0.7DylanSimon
invertible-hlist00.01invertible functions and instances for HList (bsd3, composition, control, data, library)2017-03-070.2.0.2DylanSimon
io-choice380.05Choice for IO and lifted IO (bsd3, control, library)2018-12-110.0.7KazuYamamoto
io-reactive10.02An API for generating TIMBER style reactive objects. (bsd3, control, library, program, reactivity)2008-09-230.1.1AndyGill
io-region160.01Exception safe resource management with dynamic regions (bsd3, control, library)2015-04-240.1.1YurasShumovich
iotransaction10.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)120.01Embeds effect systems into Haskell using parameteric effect monads (bsd3, control, deprecated, library, monads)2014-05-150.57DominicOrchard
joint10.01Trying to compose non-composable (bsd3, control, data, library)2021-01-010.1.9iokasimovmt
json-tracer00.01A polymorphic, type-safe, json-structured tracing library (bsd3, control, library)2018-05-110.0.3.0autotaker
lambda-devs00.01a Paralell-DEVS implementaion based on distributed-process (bsd3, control, library, program, simulation)2013-11-240.4.0alios
lawless-concurrent-machines20.01Concurrent networked stream transducers (bsd3, concurrency, control, library)2017-10-020.3.1misandrist
lax20.01Lax arrows (bsd3, control, library)2012-02-070.1.0.3WolfgangJeltsch
layers10.02Modular type class machinery for monad transformer stacks. (bsd3, control, library)2013-03-140.1ShaneOBrien
lazy40.01Explicit laziness for Haskell (control, library, mit)2018-04-280.1NikitaVolkov
lazy-bracket10.00A bracket with lazy resource allocation. (bsd3, control, library)2022-04-160.1.0.0DanielDiazCarrete
lazy-priority-queue10.00Lazy-Spined Monadic Priority Queues (control, data, gpl, library, program)2021-02-180.1.1MarioBlazevic
lazyio130.04Run IO actions lazily while respecting their order (bsd3, control, library, monads)2016-12-140.1.0.4HenningThielemann
lens-filesystem20.00Lens interface for your filesystem; still a bit experimental (bsd3, control, library)2020-10-210.1.0.1ChrisPenner
lens-misc90.02Miscellaneous lens utilities. (bsd3, control, library)2018-07-020.0.2.0louispan
lens-tell00.00MonadTell-based lens combinators (bsd3, control, library)2021-09-060.1lightandlight
lens-tutorial62.51Tutorial for the lens library (bsd3, control, library)2019-06-191.0.4GabrielGonzalez
lensref10.02References which can be joined and on which lenses can be applied (bsd3, control, data, library)2014-05-180.2PeterDivianszky
lenz-mtl (deprecated)10.00mtl operations with Van Laarhoven lenses (control, data, deprecated, lenses, library)2019-10-250.1
level-monad70.02Non-Determinism Monad for Level-Wise Search (control, library, monads, public-domain)2009-06-220.4.1SebastianFischer
lifted-base1950.0268lifted IO operations from the base library (bsd3, control, library)2018-03-140.2.3.12BasVanDijk
lifted-base-tf (deprecated)20.01lifted IO operations from the base library (bsd3, control, deprecated, library)2018-08-190.1.0.0
linear-smc10.00Build SMC morphisms using linear types (control, lgpl, library)2022-11-101.0.1JeanPhilippeBernardy
list-t4022.039ListT done right (control, data-structures, library, mit, streaming)2023-01-091.0.5.3NikitaVolkov
list-transformer492.04List monad transformer (bsd3, control, library)2022-09-021.0.9GabrielGonzalez
little-rio80.02When you need just the RIO monad (bsd3, control, library)2022-05-221.0.1ejconlon
local-search40.01Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2013-07-180.0.7RichardSenington
log-effect10.02An extensible log effect using extensible-effects (control, effect, library, logging, mit, program)2019-03-021.2.0ibotty, sickmind
log-effect-syslog20.01Syslog functions for log-effect (bsd3, control, effect, library, logging, syslog)2019-03-020.2.0sickmind
logicst50.01Backtracking mutable references in the ST and IO monads (bsd3, control, library)2013-04-170.1.0.0AndySonnenburg
logict3040.037A backtracking logic-programming monad. (bsd3, control, library)2022-05-080.8.0.0DanDoel, Bodigrim
logict-sequence32.00A backtracking logic-programming monad with asymptotic improvements to msplit (control, library, mit)2022-12-060.2.0.2JasonDagit, dfeuer
loop890.04Fast loops (for when GHC can't optimize forM_) (control, library, mit)2015-09-030.3.0NiklasHambuechen
loop-dsl01.50monadic loop dsl. (control, library, mit)2021-11-150.1.0.0ailrk
loop-effin00.01control-monad-loop port for effin (bsd3, control, library)2014-10-070.1.1.0HiromiIshii
loop-while00.02A monad transformer supporting various styles of while loop (bsd3, control, library)2010-01-111.0.0NeilBrown
loops80.01Fast imperative-style loops (bsd3, control, library)2014-06-130.2.0.2ThomasTuegel
machinecell40.01Arrow based stream transducers (bsd3, control, frp, library, reactivity)2018-04-174.0.1HidenoriAzuma
machines582.529Networked stream transducers (bsd3, control, enumerator, library)2022-05-180.7.3EdwardKmett, EricMertens, ryanglscott
machines-attoparsec00.00Parse machines streams with attoparsec parsers. (bsd3, control, data, enumerator, library, parsing, text)2019-01-310davean
machines-bytestring20.01ByteString support for machines (bsd3, control, library, machines)2017-06-070.1.0.0zclod
machines-encoding20.00Transcode encodings with machines. (bsd3, control, data, enumerator, library, text)2019-01-310davean
managed1610.022A monad for managed values (bsd3, control, library)2023-01-311.0.9GabrielGonzalez
map-classes10.01A set of classes and instances for working with key/value mappings. (bsd3, control, library)2018-03-310.1.0.0clinton
map-reduce-folds10.01foldl wrappers for map-reduce (bsd3, control, library)2021-09-290.1.1.1adamCS
mealstrom02.01Manipulate FSMs and store them in PostgreSQL. (control, database, library, mit)2021-01-150.0.1.1amx
mech00.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
mechs10.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-ptr00.01Pointer equality memoization (control, library, mit)2015-05-310.1.0.0edofic
memoization-utils40.01Utilities for memoizing functions (control, library, mit)2015-11-060.1.0.1yamadapc
meta-par20.02Provides the monad-par interface, but based on modular scheduler "mix-ins". (bsd3, control, library, monads, parallelism)2012-05-040.3RyanNewton
metaheuristics00.00Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2019-10-040.0.8richardjamessenington
method90.01rebindable methods for improving testability (bsd3, control, library)2021-05-070.4.0.0autotaker
micro-recursion-schemes00.04Simple recursion schemes (bsd3, control, library, recursion)2018-05-145.0.2.2
midair182.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)60.05fast and simple operational monad (bsd3, control, deprecated, library)2015-01-260.4.9FumiakiKinoshita
mix-arrows50.01Mixing effects of one arrow into another one (bsd3, control, library)2012-02-061.2MiguelMitrofanov
mmorph3632.5129Monad morphisms (bsd3, control, library)2021-07-161.2.0GabrielGonzalez
mmtl20.04Modular Monad transformer library (bsd3, control, library)2008-09-300.1MauroJaskelioff
mmtl-base (deprecated)10.01MonadBase type-class for mmtl (bsd3, control, deprecated, library)2011-12-1315321.1
modular-prelude (deprecated)50.02A new Prelude featuring first class modules (control, deprecated, library, mit)2012-08-180.3.0.0DanBurton
modular-prelude-classy (deprecated)10.01Reifying ClassyPrelude a la ModularPrelude (control, deprecated, library, mit)2012-08-180.1.0.0DanBurton
monad-abort-fd50.02A better error monad transformer (bsd3, control, library)2018-04-010.7MikhailVorozhtsov
monad-atom50.03Monadically convert object to unique integers and back. (bsd3, control, library)2012-03-160.4.1GrzegorzChrupala
monad-atom-simple30.01Monadically map objects to unique ints. (bsd3, control, library)2012-02-230.0.2GrzegorzChrupala
monad-batcher20.01An applicative monad that batches commands for later more efficient execution (bsd3, control, library)2017-04-290.0.0.0BasVanDijk
monad-bool (deprecated)10.01This package has been removed. (bsd3, control, deprecated, library)2013-01-280.2.0JohnWiegley
monad-choice20.00Monad, monad transformer, and typeclass representing choices. (agpl, control, library)2020-03-270.2.0.0LouisH
monad-chronicle180.00These as a transformer, ChronicleT (bsd3, control, library, these)2022-05-201.0.1phadej
monad-classes (deprecated)52.07more flexible mtl (control, deprecated, library, mit)2018-05-070.3.2.2
monad-codec70.07Monadic conversion between complex data structures and unique integers (bsd3, control, library)2019-11-300.2.1JakubWaszczuk
monad-connect10.01Transformer for TCP connection with TLS and SOCKS support (control, library, monad, network, public-domain)2016-03-160.1akrasner
monad-control2432.0537Lift control operations, like exception catching, through monad transformers (bsd3, control, library)2021-08-021.0.3.1BasVanDijk, phadej
monad-control-aligned30.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-identity130.02Stronger classes than monad-control (bsd3, control, library)2022-03-310.2.0.0jumper149
monad-coroutine220.09Coroutine monad transformer for suspending and resuming monadic computations (concurrency, control, library, monads)2022-03-230.9.2MarioBlazevic
monad-dijkstra1410.02A monad transformer for weighted graph searches (bsd3, control, library, monads)2020-07-020.1.1.3ecramer
monad-exception (deprecated in favor of layers)40.01Exstensible monadic exceptions (control, deprecated, library, public-domain)2012-03-010.1ShaneOBrien
monad-extras230.09Extra utility functions for working with monads (bsd3, control, library)2017-02-100.6.0JohnWiegley
monad-finally10.01Guard monadic computations with cleanup actions (bsd3, control, library)2018-04-010.1.2MikhailVorozhtsov
monad-fork (deprecated in favor of layers)00.02Type class for monads which support a fork operation. (control, deprecated, library, public-domain)2012-02-210.1ShaneOBrien
monad-hash60.01Monad transformer for incremental hashing (control, cryptography, hash, library, monad, public-domain)2016-05-300.1.0.2akrasner
monad-introspect00.00A reader monad that gives the environment access to the entire transformer stack (bsd3, control, library)2020-08-100.1.0.0mniip
monad-io-adapter10.01Adapters between MonadIO and MonadBase IO. (control, library)2017-11-210.1.0.0lexi_lambda
monad-journal250.03Pure logger typeclass and monad transformer (bsd3, control, library)2017-11-250.8.1DimitriSabadie
monad-levels50.01Specific levels of monad transformers (control, library, mit)2015-02-030.1.0.1IvanMiljenovic
monad-lgbt50.01Monad transformers for combining local and global state. (bsd2, control, library)2016-07-230.0.2MichalGajda
monad-loops1672.25124Monadic loops (control, library, public-domain)2015-06-190.4.3JamesCook
monad-loops-stm50.02Monadic loops for STM (control, library, public-domain)2013-06-090.4JamesCook
monad-markov70.01Markov process monad (control, library, mit)2018-06-290.1.0.0arran
monad-memo732.02Memoization monad transformer (bsd3, control, library, monad)2022-01-030.5.4EduardSergeev
monad-mersenne-random12.55An efficient random generator monad, based on the Mersenne Twister (bsd3, control, library)2010-07-140.1DonaldStewart
monad-open50.01Open recursion for when you need it (control, library, mit)2015-03-220.1.0.0JonSterling
monad-ox60.03Monad for observation extraction (bsd3, control, library, natural-language-processing)2013-04-060.3.0JakubWaszczuk
monad-par1362.2517A library for parallel programming based on a monad (bsd3, control, library, monads, parallelism)2019-11-040.3.5RyanNewton, SimonMarlow
monad-par-extras1040.05Combinators and extra features for Par monads (bsd3, control, library, monads, parallelism)2013-07-120.3.3RyanNewton
monad-parallel390.020Parallel execution of monadic computations (bsd3, control, library, monads)2022-03-220.8MarioBlazevic
monad-parallel-progressbar20.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)10.01Parameterized monads (bsd3, control, deprecated, library)2011-01-150.0.4DominiqueDevriese, EdwardKmett
monad-peel230.019Lift control operations like exception catching through monad transformers (bsd3, control, library)2017-03-020.2.1.2AndersKaseorg, SergeyAlirzaev
monad-products172.03Monad products (bsd3, control, library, monads)2016-01-174.0.1EdwardKmett
monad-ran40.01Fast monads and monad transformers (bsd3, control, library, monads)2009-05-060.1.0EdwardKmett
monad-resumption120.01Resumption and reactive resumption monads for Haskell. (bsd3, control, library)2019-09-300.1.4.0AdamProcter, IanGraves
monad-skeleton220.06Monads of program skeleta (bsd3, control, library, monads)2021-11-300.2FumiakiKinoshita
monad-st320.05Provides a MonadST class (bsd3, control, library, monads)2017-06-260.2.4.1EdwardKmett
monad-state20.02Utility library for monads, particularly those involving state. (bsd3, control, data, library, monads)2014-12-020.2.0.3ByronJohnson
monad-ste12.254ST monad with efficient explicit errors (bsd2, control, library)2016-05-040.1.0.0CarterSchonwald
monad-stm70.06MonadSTM class analogous to MonadIO (bsd3, control, library)2013-04-070.1.0.2MiguelMitrofanov
monad-supply60.03Stateful supply monad (control, data, library, monad)2020-09-140.9GeoffHulette
monad-task10.02A monad transformer that turns event processing into co-routine programming. (bsd3, control, library)2018-01-040.2.0PaulLiu
monad-time1172.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-timing20.01Monad transformer for recording timing events (control, library, mit)2016-06-130.1.0.1pikajude
monad-tree20.00Tree data structure for nondeterministic computations. (control, library, mit)2021-11-090.2.0.0nbedell
monad-tx30.01A transactional state monad. (bsd3, control, library, monads)2009-04-060.0.1MattMorrow
monad-unlift (deprecated in favor of unliftio-core, unliftio, rio)140.06Typeclasses for representing monad transformer unlifting (control, deprecated, library, mit)2016-05-030.2.0MichaelSnoyman
monad-unlift-ref12.01Typeclasses for representing monad transformer unlifting (control, library, mit)2017-11-210.2.1MichaelSnoyman
monad-validate581.257A monad transformer for data validation. (control, library)2022-07-051.2.0.1lexi_lambda
monad-wrap10.01Wrap functions such as catch around different monads (bsd3, control, library)2013-04-270.1DavidMazieres
monadLib-compose00.02Arrow-like monad composition for monadLib. (bsd3, control, library, monads)2010-10-200.2AristidBreitkreuz
monadbi (deprecated)10.02Extract underlying monads from monad transformers (control, deprecated, library)2011-09-220.1AnupamJain
monadcryptorandom110.07A monad for using CryptoRandomGen (bsd3, control, cryptography, library)2018-04-110.7.2.1ThomasDuBuisson
monadfibre (deprecated)10.01Monadic functions which provide Choice and Parallelism. (control, deprecated, library)2011-09-220.1.2.1AnupamJain
monadic-recursion-schemes100.00Recursion Schemes for Monadic version. (bsd3, control, library, monad, recursion)2021-06-180.1.13.1KatsutoshiItoh
monadiccp70.04Constraint Programming (bsd3, control, library)2018-05-090.7.7MaikRiechert, PieterWuille, TomSchrijvers
monadiccp-gecode50.01Constraint Programming (bsd3, control, library)2018-05-300.1.3JanTikovsky
monadio-unwrappable20.01Reversibly allow monad transformer stacks to run in IO (bsd3, control, library)2012-06-180.3AndrewMiller
monadlist310.04Monadic versions of list functions (bsd3, control, library)2011-10-080.0.2ThomasEding
monadloc160.06A class for monads which can keep a monadic call trace (control, library, monads, public-domain)2013-06-060.7.1PepeIborra
monadloc-pp10.01A preprocessor for generating monadic call traces (control, monads, program, public-domain)2014-10-170.3.1PepeIborra
monadplus100.09Haskell98 partial maps and filters over MonadPlus. (bsd3, control, library)2023-01-061.4.2HansHoglund, OliverCharles
monads-fd (deprecated in favor of mtl)100.041Monad classes, using functional dependencies (bsd3, control, deprecated, library)2010-11-070.2.0.0RossPaterson
monads-tf550.072Monad classes, using type families (bsd3, control, library)2016-06-080.1.0.3RossPaterson
monoidal-functors152.00Monoidal Functors Library (categories, control, library, mit)2023-01-300.1.1.0solomon
moo-nad20.00Invocation helpers for the ReaderT-record-of-functions style. (bsd3, control, library)2021-05-230.1.0.2DanielDiazCarrete
more-extensible-effects32.01Initial project template from stack (bsd3, control, library)2017-01-290.1.0.4qzchenwl
morphisms70.03It's all about functions (control, data, library, mit)2019-01-040.1.1iokasimovmt
morphisms-functors110.01Functors, theirs compositions and transformations (control, data, library, mit)2019-01-150.1.7iokasimovmt
morphisms-functors-inventory30.00Inventory is state and store (control, data, library, mit)2019-01-120.1.0iokasimovmt
morphisms-objects60.00Algebraic structures (control, data, library, mit)2019-01-080.1.3iokasimovmt
motor20.02Type-safe effectful state machines in Haskell (control, library, mpl, program)2019-06-230.4.0owickstrom
motor-diagrams20.01Generate state diagrams from Motor FSM typeclasses (control, library, mpl)2019-06-280.4.0owickstrom
motor-reflection20.01Reflect on Motor FSM typeclasses to obtain runtime representations (control, library, mpl)2019-06-280.4.0owickstrom
mpeff30.00Efficient effect handlers based on evidence-passing semantics (control, effect, library, mit)2021-08-090.1.0.0ningningxie
mtl2722.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)10.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)10.01Higher order versions of MTL classes (bsd3, control, deprecated, library)2016-08-120.1int_index
mtl-tf60.01Monad Transformer Library with Type Families (bsd3, control, library)2018-01-230.2.1.0TrevorElliott
mtl-unleashed20.02MTL classes without the functional dependency (bsd3, control, library)2015-11-110.6.1DavidFox
mtl-uplift20.00Lift substacks of monad transformer stacks (control, library, mit)2022-01-210.1.0.1sgschlesinger
mtlx40.01Monad transformer library with type indexes, providing 'free' copies. (bsd3, control, library)2012-10-150.1.6MarkSnyder
mtsl20.00Reified monad transformer stacks (control, library, mit)2020-09-280.2.0.0sgschlesinger
multipass10.01Folding data with multiple named passes (bsd3, control, library)2013-01-270.1.0.2EdwardKmett
multistate690.06like mtl's ReaderT / WriterT / StateT, but more than one contained value/type. (bsd3, control, library)2022-01-240.8.0.4lspitzner, fozworth, dukerutledge
mvc30.03Model-view-controller (bsd3, concurrency, control, library)2018-08-191.1.7GabrielGonzalez
mvc-updates20.01Concurrent and combinable updates (bsd3, concurrency, control, library)2014-09-231.2.0GabrielGonzalez
mzv50.02Implementation of the "Monads, Zippers and Views" (Schrijvers and Oliveira, ICFP'11) (bsd3, control, library)2014-04-160.1.0.2IsmaelFigueroa
named462.514Named parameters (keyword arguments) for Haskell (bsd3, control, library)2019-10-190.3.0.1Artyom, int_index
natural190.01Natural number (bsd3, control, library)2021-11-300.3.0.6TonyMorris, qfpl
natural-transformation842.017A natural transformation package. (bsd3, control, library)2016-11-150.4AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
needle40.01ASCII-fied arrow notation (control, library, mit)2014-09-280.1.0.1ScrambledEggs
newtype1370.032A typeclass and set of functions for working with newtypes. (bsd3, control, library)2019-09-100.2.2.0AndreasAbel, DariusJahandarie, HerbertValerioRiedel, jcristovao
newtype-deriving50.01Instance derivers for newtype wrappers (control, library, mit, template-haskell)2016-05-020.1.4NikitaVolkov
newtype-generics2272.017A typeclass and set of functions for working with newtypes (bsd3, control, library)2022-05-190.6.2jcristovao, sjakobi
newtype-th60.02A template haskell deriver to create Control.Newtype instances. (bsd3, control, library, template-haskell)2012-07-190.3.3MichaelSloan
newtyper30.01Extra functions for the Control.Newtype typeclass (bsd3, control, library)2012-05-150.1DylanJust
nondeterminism202.02A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2022-05-201.5AndreiBarbu
nqe140.02Concurrency library in the style of Erlang/OTP (control, library, mit, public-domain)2022-05-200.6.4jprupp
objective90.03Composable objects (bsd3, control, library)2021-10-271.3FumiakiKinoshita
observable20.01Continuation patterns (bsd3, control, library)2018-12-100.1.5iokasimovmt
op40.00Common operators encouraging large-scale easy reading (apache, combinators, control, functions, library, utility)2019-12-200.4.0.0infinity0
open-signals40.01A mechanism similar to checked exceptions that integrates with MTL and transformer stacks (control, library, mit)2016-04-170.1.0.3darwin226
operational1482.2521Implementation of difficult monads made easy with operational semantics. (bsd3, control, library, monads)2023-02-190.2.4.1HeinrichApfelmus
operational-class130.01MonadProgram typeclass for the operational package (control, library, mit)2015-07-120.3.0.0srijs
overload20.01Finite overloading (control, library, mit)2018-03-080.1.0.5darwin226
pandora70.01A box of patterns and paradigms (control, data, library, mit)2022-05-290.5.6iokasimovmt
pandora-io30.00... (control, data, library, mit)2022-04-160.5.4iokasimovmt
parallel2192.0198Parallel programming library (bsd3, control, library, parallelism)2018-07-133.2.2.0AustinSeipp, BenGamari, HerbertValerioRiedel, IanLynagh, SimonMarlow
parallel-tree-search140.02Parallel Tree Search (concurrency, control, library, public-domain)2020-10-260.4.2SebastianFischer, nbu
parameterized420.02Parameterized/indexed monoids and monads using only a single parameter type variable. (bsd3, control, library)2017-12-170.5.0.0louispan
partial60.01A nullary type class for partial functions (control, library, mit)2017-11-281.0.0.0PhilFreeman
partial-isomorphisms330.04Partial isomorphisms. (bsd3, control, library)2021-09-030.2.3.0TillmannRendel, schernichkin
partial-lens (deprecated in favor of data-lens)70.01Haskell 98 Partial Lenses (comonads, control, deprecated, library, mit)2011-12-210.0.1RussellOConnor
perm10.01permutation Applicative and Monad with many mtl instances (bsd3, control, library)2012-11-110.4.0.0AndySonnenburg
phantom-state140.02Phantom State Transformer. Like State Monad, but without values. (bsd3, control, library)2016-05-310.2.1.2DanielDiaz
pid20.00a simple PID controller (control, program)2022-08-160.1.0.2SergeyAlirzaev
pipe-enumerator10.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
pipeline20.00Continuation patterns (bsd3, control, library)2019-02-240.1.0iokasimovmt
pipes2172.75184Compositional pipelines (bsd3, control, library, pipes)2021-05-074.3.16GabrielGonzalez
pipes-async10.01A higher-level interface to using concurrency with pipes (bsd3, control, library)2018-07-230.1.3JohnWiegley
pipes-attoparsec-streaming (deprecated)10.01Streaming parsing in the pipes-core framework with Attoparsec. (bsd3, control, deprecated, library, program)2012-06-200.1.0.0MartinGrabmueller
pipes-break92.01Pipes to group by any delimiter (such as lines with carriage returns) (bsd3, control, library, pipes)2017-03-160.2.0.6mindreader
pipes-bytestring580.045ByteString support for pipes (bsd3, control, library, pipes)2021-02-122.1.7GabrielGonzalez
pipes-category20.01Allows instances for Category, Arrow and ArrowChoice for Pipes. (bsd3, control, library, pipes)2017-10-080.3.0.0louispan
pipes-cellular20.01Pipes-based combinators for cellular data processing (bsd3, control, library, pipes)2015-07-070.0.0.1patrykz
pipes-cellular-csv50.01Efficient pipes-based cellular CSV codec (bsd3, control, library, pipes)2015-07-071.0.0.0patrykz
pipes-concurrency492.021Concurrency for the pipes ecosystem (bsd3, concurrency, control, library, pipes)2021-12-052.0.14GabrielGonzalez
pipes-conduit50.01Conduit adapters (bsd3, control, enumerator, library)2012-03-100.0.1PaoloCapriotti
pipes-core (deprecated in favor of pipes)20.07Compositional pipelines (bsd3, control, deprecated, enumerator, library)2012-04-090.1.0PaoloCapriotti
pipes-errors60.01Integration between pipes and errors (bsd3, control, error-handling, library, monad, pipes)2015-05-210.3jdnavarro
pipes-extra10.01Various basic utilities for Pipes. (bsd3, control, enumerator, library)2012-06-090.2.0PaoloCapriotti
pipes-extras230.04Extra utilities for pipes (bsd3, control, library, pipes)2018-07-041.0.15GabrielGonzalez
pipes-fluid160.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-group550.014Group streams into substreams (bsd3, control, library, pipes)2018-07-041.0.12GabrielGonzalez
pipes-io10.01Stateful IO streams based on pipes (apache, control, library, pipes)2016-08-260.1yinguanhao
pipes-lines (deprecated in favor of pipes-break)20.01Pipes for grouping by lines with carriage returns. (bsd3, control, deprecated, library, pipes)2017-03-161.0.3.4mindreader
pipes-misc20.02Miscellaneous utilities for pipes, required by glazier-tutorial (bsd3, control, library, pipes)2018-05-220.5.0.0louispan
pipes-parse692.033Parsing infrastructure for the pipes ecosystem (bsd3, control, library, parsing, pipes)2021-02-123.0.9GabrielGonzalez
pipes-random330.01Producers for handling randomness. (bsd3, control, library)2019-05-101.0.0.5fosskers
pipes-rt60.01A few pipes to control the timing of yields (bsd3, control, library, pipes, program)2015-01-210.5.0imalsogreg
pipes-safe1850.044Safety for the pipes ecosystem (bsd3, control, error-handling, library, pipes)2022-04-082.3.4GabrielGonzalez
pipes-transduce50.02Interfacing pipes with foldl folds. (bsd3, control, library)2018-05-120.4.4.0DanielDiazCarrete
pipes-vector20.01Various proxies for streaming data into vectors (bsd3, control, library)2015-05-290.6.2BenGamari
pipes-zeromq410.01Pipes integration for ZeroMQ messaging (bsd3, control, library, network, pipes)2017-04-200.3.0.0peddie
plan-applicative10.01Applicative/Arrow for resource estimation and progress tracking. (bsd3, control, library)2018-08-182.0.1.0DanielDiazCarrete
poly-cont20.01Poly-kinded continuations (bsd3, control, library)2018-03-140.1.0.0dfeuer
porcupine-core22.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-http30.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-s320.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
porpoise10.00A minimalist HTTP server framework written on top of wai (control, library, mit, program)2020-10-050.1.0.0sgschlesinger
ports10.01The Haskell Ports Library (control, library)2007-07-140.4.3.2DonaldStewart
prelude-plus30.01Prelude for rest of us (bsd3, control, data, system)2009-10-140.0.0.6YusakuHashimoto
product-profunctors410.010product-profunctors (bsd3, category, control, library)2021-11-200.11.0.3tomjaguarpaw
profunctor-extras50.04This package has been absorbed into profunctors 4.0 (bsd3, categories, control, library)2013-10-134.0EdwardKmett
profunctor-monad30.00Monadic bidirectional programming (control, library, mit)2022-05-170.2.0.0lyxia, SamFrohlich
profunctors3402.75244Profunctors (bsd3, categories, control, library)2021-02-175.6.2EdwardKmett, ryanglscott
program30.00Programs with Environments and Managed Resources (bsd3, control, library)2021-12-020.1.0.0MichaelSzvetits
progress-reporting62.01Functionality for reporting function progress. (control, lgpl, library)2017-09-271.1.0JeroenBransen
prologue60.06Better, more general Prelude exporting common utilities. (apache, control, library)2018-12-183.2.6danilo2, iamrecursion
prompt160.01Monad (and transformer) for deferred-effect pure prompt-response queries (control, library, mit)2016-05-260.1.1.2jle
prospect90.01Explore continuations with trepidation (bsd3, control, library)2018-07-100.1.0.0isovector
protocol10.00Model distributed system as type-level multi-party protocol (bsd3, control, distributed-computing, distributed-systems, library, protocol)2020-07-120.1.0.1epoberezkin
quantum-arrow22.01An embedding of quantum computation as a Haskell arrow (control, library)2009-01-090.0.5LukePalmer
quiver52.010Quiver finite stream processing library (bsd3, control, library)2015-12-081.1.3patrykz
quiver-binary20.01Binary serialisation support for Quivers (control, library, mit)2016-11-260.1.1.1IvanMiljenovic
quiver-bytestring20.03Quiver combinators for bytestring streaming (bsd3, control, library)2015-09-131.0.0patrykz
quiver-cell20.01Quiver combinators for cellular data processing (bsd3, control, library)2015-08-311.0.0patrykz
quiver-csv80.01Quiver combinators for cellular CSV data processing (bsd3, control, library)2015-08-040.0.0.3patrykz
quiver-enumerator20.01Bridge between Quiver and Iteratee paradigms (bsd3, control, library)2015-08-030.0.0.1patrykz
quiver-groups20.01Group and chunk values within a Quiver (control, library, mit)2016-07-190.1.0.1IvanMiljenovic
quiver-http20.01Adapter to stream over HTTP(s) with quiver (bsd3, control, http, library)2015-08-180.0.0.2ChristianMarie
quiver-instances10.01Extra instances for Quiver (control, library, mit)2016-11-260.2.0.1IvanMiljenovic
quiver-interleave30.01Interleave values from multiple Quivers (control, library, mit)2016-11-260.2.0.2IvanMiljenovic
quiver-sort10.01Sort the values in a quiver (control, library, mit)2016-11-260.2.0.1IvanMiljenovic
random-eff20.01A simple random generator library for extensible-effects (bsd3, control, effect, library)2014-04-010.1.0.1HiromiIshii
random-effin10.01A simple random generator library for effin (bsd3, control, effect, library)2014-10-090.1.1.0HiromiIshii
rank2classes322.07standard type constructor class hierarchy, only with methods of rank 2 types (bsd3, control, data, generics, library)2022-10-161.4.6MarioBlazevic
rate-limit370.02A basic library for rate-limiting IO actions. (bsd3, control, library)2023-01-031.4.3AdamWick, eyevanmalicesun
reactive-haskell (deprecated)30.01minimal fork of io-reactive (bsd3, control, deprecated, library, reactivity)2014-09-230.0.1Heather
reactive-io (deprecated)60.01IO-oriented FRP library (control, deprecated, library, mit)2013-07-060.1RomanCheplyaka
reader-soup50.03Vinyl-based reader-like monad composition (combinators, control, library, mit)2019-10-090.1.0.1YvesPares
reasonable-lens41.252Lens implementation. It is more small but adequately. (control, library, mit)2015-04-150.2.1.1outoftune
reasonable-operational20.02Just size Operational Monad implementation. (control, library, mit)2015-02-130.1.0.1outoftune
record100.06Anonymous records (control, data-structures, library, mit, records)2016-10-240.4.2NikitaVolkov
recursion82.05A recursion schemes library for Haskell. (bsd3, control, recursion)2021-09-122.2.5.0vmchale
recursion-schemes4042.7552Representing common recursion patterns as higher-order functions (bsd2, control, library, recursion)2023-02-275.2.2.3EdwardKmett, EricMertens, gelisam, ryanglscott, luc_tielen
recursion-schemes-ext110.02Amateur addenda to recursion-schemes (bsd3, control, library)2018-05-081.0.0.4vmchale
ref-fd192.04A type class for monads with references using functional dependencies. (bsd3, control, library)2021-04-290.5GeoffreyMainland
ref-mtl20.05A type class for monads with references compatible with the mtl2 library. (bsd3, control, library)2011-04-050.3GeoffreyMainland
ref-tf760.020A type class for monads with references using type families. (bsd3, control, library)2021-11-200.5.0.1GeoffreyMainland
reference50.03A class for references in Haskell (control, data, library, mit)2010-09-060.1MaciejPiechotka
references60.015Selectors for reading and updating data. (bsd3, control, library)2017-11-280.3.3.1lazac
regions80.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)70.01Monads-fd instances for the RegionT monad transformer (bsd3, control, deprecated, library, monadic-regions)2010-09-010.3.1.3BasVanDijk
regions-monadstf20.01Monads-tf instances for the RegionT monad transformer (bsd3, control, library, monadic-regions)2011-09-230.3.1.7BasVanDijk
regions-mtl20.01mtl instances for the RegionT monad transformer (bsd3, control, library, monadic-regions)2011-09-230.3.1.7BasVanDijk
registry160.06data structure for assembling components (control, library, mit)2022-12-090.6.0.0etorreborre
registry-hedgehog90.00utilities to work with Hedgehog generators and `registry` (control, library, mit)2022-11-240.8.0.0etorreborre
rematch80.07A simple api for matchers (control, library, mit)2013-05-190.2.0.0TomCrayford
rematch-text20.01`rematch` matchers for Data.Text (control, library, mit)2013-05-190.1.0.2TomCrayford
remote-monad30.04An parametrizable Remote Monad, and parametrizable Applicative Functor (bsd3, control, library)2016-02-080.2AndyGill
representable-profunctors (deprecated in favor of profunctors)130.02This package has been absorbed into profunctor-extras. (bsd3, categories, control, deprecated, library)2013-01-073.2EdwardKmett
request-monad10.01A transformer for generic requests (control, library, mit)2014-06-270.3.0.1nahiluhmot
resource-effect10.01A port of the package 'resourcet' for extensible effects. (bsd3, control, effect, library)2014-01-050.1.1ClarkGaebel
resource-pool-monad70.01A monadic interface for resource-pool (control, library, mit)2015-10-240.1.0.0srijs
resource-simple10.01Allocate resources which are guaranteed to be released. (bsd3, control, library)2012-03-020.2ShaneOBrien
resourcet-effectful160.00Adaptation of the resourcet library for the effectful ecosystem. (bsd3, control, library)2022-07-141.0.0.0arybczak
restartable30.00Minimal live coding library for model-view-event-update applications. (bsd3, control, library)2020-11-090.3.0.0MichalGajda
resumable-exceptions10.01A monad transformer for resumable exceptions (control, error-handling, failure, library, monads, reactivity)2010-09-200.0.0.20100920NicolasFrisby
retry2962.562Retry combinators for monadic actions that may fail (bsd3, control, library)2022-07-150.9.3.0MichaelXavier, OzgunAtaman
retry-effectful20.00Adaptation of the retry library for the effectful ecosystem. (bsd3, control, library)2022-09-300.1.0.0TristanCacqueray
rev-state130.01Reverse State monad transformer (bsd3, control, library)2016-02-010.1.2DanBurton
rex130.01A quasi-quoter for typeful results of regex captures. (bsd3, control, library)2022-04-150.6.2MichaelSloan
rio1542.068A standard library for Haskell (control, library, mit)2022-04-250.1.22.0MichaelSnoyman
rio-app40.05Generic App type for rio. (bsd3, control, library, program)2021-06-150.1.0.0AlexanderBondarenko
rio-orphans720.03Orphan instances for the RIO type in the rio package (control, library, mit)2021-04-030.1.2.0MichaelSnoyman
rmonad100.01Restricted monad library (bsd3, control, library)2013-12-230.8.0.2GaneshSittampalam
safe-buffer-monad60.01A monadic buffer resilient to exceptions (bsd3, control, library)2018-06-170.1.0dcastro
safe-exceptions3192.25211Safe, consistent, and easy exception handling (control, library, mit)2022-05-220.1.7.3FrancescoMazzoli, MichaelSnoyman
safe-exceptions-checked (deprecated)182.03Safe, checked exceptions (bsd3, control, deprecated, library)2017-01-280.1.0mitchellwrosen
safe-wild-cards20.00Use RecordWildCards safely (bsd3, control, library)2021-05-311.0.0Artyom
scc40.01Streaming component combinators (combinators, concurrency, control, library, program)2021-02-270.8.3.1MarioBlazevic
schedule70.00Pure deterministic scheduled computations (control, delay, gpl, library, schedule, time, timeout)2020-04-030.3.0.0infinity0
schonfinkeling20.01Transformation of n-ary functions to unary functions (bsd3, control, library)2011-10-030.1.0.0DenisDefreyne
selective4232.2513Selective applicative functors (control, library, mit)2023-03-050.5snowleopard
semi-iso30.05Weakened partial isomorphisms, reversible computations. (control, data, library, mit)2014-12-121.0.0.0pawel834
semigroupoid-extras170.03Semigroupoids that depend on PolyKinds (bsd3, control, library)2015-05-155EdwardKmett
semigroupoids5112.5196Semigroupoids: Category sans id (bsd2, bsd3, comonads, control, library)2023-03-175.3.7EdwardKmett, EricMertens, ryanglscott
sessions30.01Session Types for Haskell (control, library)2008-07-182008.7.18MatthewSackman
sessiontypes20.01Session types library (control, gpl, library, program)2018-01-130.1.2ferdinandvw
sessiontypes-distributed10.01Session types distributed (control, gpl, library)2018-01-130.1.1ferdinandvw
shade20.01A control structure used to combine heterogenous types with delayed effects. (bsd3, control, library)2017-05-200.1.1.1fredefox
shared-fields40.01a tiny library for using shared lens fields (bsd3, control, library)2015-07-200.2.0.0Intolerable
shortcircuit20.02Short-circuit values and expressions. (bsd3, control, data, library)2010-10-140.1AristidBreitkreuz
simple-effects162.03A simple effect system that integrates with MTL (bsd3, control, library)2018-11-190.13.0.0darwin226
simple-observer60.01The Observer pattern (bsd3, control, library)2009-11-110.0.1AndyGimblett
simple-sessions110.01A simple implementation of session types (bsd3, control, library)2013-10-100.1.3JesseTov
sink (deprecated)50.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
skulk40.01Eclectic collection of utility functions (control, library, mit)2016-06-050.1.3.0geekyfox
sousit30.01Source/Sink/Transform: An alternative to lazy IO and iteratees. (bsd3, control, library)2012-09-160.4MarioSiegenthaler
spartacon10.00A unix-style (read from stdin, write to stdout) global hotkey daemon (bsd3, control, program)2021-04-120.1.0.0DanielWagner
spawn460.04Tiny library for concurrent computations (bsd3, concurrency, concurrent, control, library)2011-10-090.3KeeganMcAllister
speculation-transformers10.01Merged into 'speculation'. Use that instead. (bsd3, control, library)2011-01-190.1.2EdwardKmett
stack-hpc-coveralls30.00Initial project template from stack (control, library, program)2023-02-050.0.4.0lehins, rubik
state-bag20.01Monad transformers for holding bags of state. (bsd3, control, library)2016-07-220.1.0.0RobinKay
state-plus60.02MonadPlus for StateT (bsd3, control, library)2017-04-160.1.3BorisSukholitko
stateWriter240.03A faster variant of the RWS monad transformers. (bsd3, control, library)2020-08-210.3.0SimonMarechal
statestack1560.07Simple State-like monad transformer with saveable and restorable state (bsd3, control, library)2023-02-130.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-closure10.01Serialisable static pointers to functions (bsd3, control, library)2018-01-170.1.0.0clinton
stm-actor40.00A simplistic actor model based on STM (control, library, mit)2023-01-170.2.3.2sgschlesinger
stm-incremental40.00A library for constructing incremental computations (concurrency, control, library, mit)2023-02-020.1.0.2sgschlesinger
stm-supply80.01STM wrapper around Control.Concurrent.Supply. (bsd3, control, library)2016-11-190.2.0.0jmc41493
stopwatch220.01A simple stopwatch utility (bsd3, control, library)2019-05-010.1.0.6debugito
stream-monad110.04Simple, Fair and Terminating Backtracking Monad (bsd3, control, library, monads)2012-09-100.4.0.2SebastianFischer
streaming-eversion50.01Translate pull-based stream folds into push-based iteratees. (bsd3, control, library)2018-05-120.4.0.0DanielDiazCarrete
streamly2682.531Streaming, dataflow programming and declarative concurrency (array, bsd3, concurrency, control, dataflow, filesystem, library, list, logic, network, non-determinism, parsing, pipes, reactivity, streaming, streamly, time, unicode)2023-03-130.8.3harendra, pranaysashank, adithyaov
streamproc30.01Stream Processer Arrow (bsd3, control, library)2013-04-051.6.2PeterSimons
streams592.09Various Haskell 2010 stream comonads (bsd3, comonads, control, library)2023-03-123.3.1EdwardKmett, ryanglscott
streamt140.00Simple, Fair and Terminating Backtracking Monad Transformer (bsd3, control, library, monads)2022-05-200.5.0.1davidar
strict-concurrency290.012Strict concurrency abstractions (bsd3, control, library)2018-10-090.2.4.3DonaldStewart, YitzGale
strict-identity50.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)20.01A stricter writer, which uses StateT in order to avoid space leaks. (control, deprecated, library, mit)2017-02-100.4.0.0oisdk
strictly10.01Combinators for strictifying functions (bsd3, control, library)2013-08-141.0.0.0DanBurton
stt10.01A monad transformer version of the ST monad (control, library, mit)2016-11-060.2.1mckeankylej
sub-state20.01Get the total, put a single element (bsd3, control, library)2015-09-030.0.0.1athanclark
subhask52.01Type safe interface for programming in subcategories of Hask (algebra, bsd3, categories, control, library)2015-09-010.1.1.0MikeIzbicki
successors40.01An applicative functor to manage successors (control, library, mit)2022-01-100.1.0.3JoachimBreitner
supervisor60.01Control an internal monad execution for trace generation, backtrakcking, testing and other purposes (bsd3, control, library)2013-12-310.1.1.0AlbertoCorona
sweet-egison30.01Shallow embedding implementation of non-linear pattern matching (bsd3, control, library, pattern)2020-10-200.1.1.3SatoshiEgi, coord_e, momohatt
synchronous-channels82.02Synchronous communication channels (bsd3, concurrency, control, library)2015-07-070.2JesseTov
tagged-exception-core50.02Reflect exceptions using phantom types. (bsd3, control, error-handling, exceptions, failure, library, monad, monads, phantom-types)2016-02-022.2.0.0PeterTrsko
tagged-identity150.01Trivial monad transformer that allows identical monad stacks have different types (bsd3, control, library)2019-06-090.1.3mrkkrp
tagshare130.02TagShare - explicit sharing with tags (bsd3, control, library)2012-08-010.0JonasDuregard
takahashi110.01create slide for presentation. (control, library, mit)2015-07-140.2.2.0outoftune
tardis312.05Bidirectional state monad transformer (bsd3, control, library)2022-05-080.4.4.0DanBurton
tehepero30.00Prettier error (bsd3, control, library)2020-06-030FumiakiKinoshita
telega110.00Telegram Bot API binding (control, data, library, mit)2020-01-300.3.0iokasimovmt
tell20.01The MonadTell class and related monad transformers. (bsd3, control, library)2021-09-060.1lightandlight
threads-pool20.01A library to operate with pool of haskell's IO threads (bsd3, control, library)2010-11-080.1IlyaPortnov
time-machine40.01A library to mock the current time. (bsd3, control, library)2017-11-260.1.0y_taka_23
time-out210.01Timers, timeouts, alarms, monadic wrappers (control, library, monad, public-domain, time, timeout)2016-05-300.2akrasner
time-warp52.01Distributed systems execution emulation (control, library, mit, network)2017-03-181.1.1.2jagajaga, gromak, volhovm, martoon, serokell
timeout140.02Generalized sleep and timeout functions (concurrency, control, library, mit)2014-08-020.1.1FedorGogolev
timeout-control70.01Updatable timeouts as a Monad transformer (bsd3, concurrency, control, library)2015-08-310.2NathanHowell
timers-tick350.01tick based timers (bsd3, control, library)2023-03-190.5.0.2fffaaa
to200.00Simple, safe, boring type conversions (bsd3, control, library)2019-08-181.2.0Artyom
tonalude10.01A standard library for Tonatona framework. (control, library, mit, tonatona)2020-11-050.1.1.1arowM, qnoyxu
total50.02Exhaustive pattern matching using lenses, traversals, and prisms (bsd3, control, library)2020-05-151.0.6GabrielGonzalez
trace60.02A monad transformer for tracing provenience of errors (control, library, mit)2015-04-150.2.0.0JonSterling
transactional-events10.01Transactional events, based on Concurrent ML semantics (bsd3, control, library)2008-10-100.1.0.0RyanIngram
transformers2862.753410Concrete functor and monad transformers (bsd3, control, library)2023-02-040.6.0.4RossPaterson
transformers-abort20.04Error and short-circuit monad transformers (bsd3, control, library)2020-07-260.6.0.3MikhailVorozhtsov
transformers-base2182.0396Lift computations from the bottom of a transformer stack (bsd3, control, library)2021-08-010.4.6MikhailVorozhtsov
transformers-bifunctors32.05Bifunctors over monad transformers. (bsd3, control, functors, library)2017-07-160.1JacobStanley
transformers-compose20.03Arrow-like / category-like composition for transformers. (bsd3, control, library, monads)2010-11-010.1AristidBreitkreuz
transformers-continue22.01Control flow data type and monad transformer. (bsd3, control, library)2017-03-160.0.1nhibberd
transformers-convert10.01Sensible conversions between some of the monad transformers (bsd3, control, library)2014-05-300.2.0.0jcristovao
transformers-eff20.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)60.04Free monad transformers (bsd3, control, deprecated, library)2012-11-011.0.1GabrielGonzalez
transformers-lift22.03Ad-hoc type classes for lifting (bsd3, control, library)2019-05-230.2.0.2int_index
transformers-runnable10.01A unified interface for the run operation of monad transformers (bsd3, control, library)2012-10-120.1.0.0JanBessai
transient152.54composing programs with multithreading, events and distributed computing (concurrency, control, library, mit)2020-07-240.7.0.0AlbertoCorona, geraldus
transient-universe20.03fully composable remote execution for the creation of distributed systems (control, distributed-computing, library, mit, program)2020-07-290.6.0.1AlbertoCorona, geraldus
tree-monad190.03Non-Determinism Monad for Tree Search (bsd3, control, library, monads)2022-07-140.3.2SebastianFischer, nbu
trivia (deprecated)40.02The trivial monad and comonad (bsd3, control, deprecated, library)2014-03-020.0FumiakiKinoshita
tubes20.01Write stream processing computations with side effects in a series of tubes. (control, gpl, library, streaming)2016-08-162.1.1.0gatlin
tuple-lenses40.01Stock FieldN combos and generators (bsd3, control, library)2013-03-280.1.0.2JonathanFischoff
tweak10.01A library for incremental computing (bsd3, control, library)2013-10-050.1.0.1JonathanFischoff
type-operators130.02Various type-level operators (bsd3, control, library)2019-03-090.2.0.0Shou
uberlast10.01Generate overloaded lenses from plain data declaration (bsd3, control, library)2014-11-270.0FumiakiKinoshita
unexceptionalio370.07IO without any non-error, synchronous exceptions (control, library)2020-05-130.5.1StephenWeber
unexceptionalio-trans190.03A wrapper around UnexceptionalIO using monad transformers (control, library)2020-02-120.5.1StephenWeber
unfree20.01Simplistic free monad with deriving through UndecidableInstances (bsd3, control, library)2022-10-030.1.0ejconlon
unlift50.00Typeclass for monads that can be unlifted to arbitrary base monads (control, library, monad, mpl, typeclass, unlift)2021-04-210.0.0.0vrom911
unliftio6042.75205The MonadUnliftIO typeclass for unlifting monads to IO (batteries included) (control, library, mit)2023-02-280.2.23.0MichaelSnoyman
unliftio-core3702.25199The MonadUnliftIO typeclass for unlifting monads to IO (control, library, mit)2023-02-060.2.0.1MichaelSnoyman
unliftio-pool280.06Data.Pool generalized to MonadUnliftIO. (bsd3, control, data, database, library, network)2023-02-140.2.2.0BardurArantsson
unordered-containers-rematch20.01Rematch support for unordered containers (control, library, mit)2013-05-200.1.0.0TomCrayford
unpack-funcs60.02Monad transformers that mirror worker-wrapper transformations. (bsd3, control, library)2013-04-180.3.1LouisWasserman
unsafe660.011Unified interface to unsafe functions (bsd3, control, library)2013-04-210.0HenningThielemann
unsequential60.01An extension removing the sequentiality from monads (control, library, mit)2017-03-200.5.2.1NikitaVolkov
util-logict (deprecated)10.00See README for more info (bsd3, control, deprecated, library)2020-02-090.0.0.0
uu-interleaved60.03An interleaving combinator for use with applicative style implementations. (applicative, control, library, mit, parsing, text)2018-08-060.2.0.2DoaitseSwierstra, JeroenBransen
validationt142.251Straightforward validation monad (bsd3, control, library)2020-11-030.3.0typeable
var-monad40.01The VarMonad typeclass, generalizing types of references. (apache, control, library)2022-12-290.2.0.1chris_martin
variables10.01Monads with variables, without deep magic (control, library, mit)2014-08-180.1.1alynn
variadic90.00Abstractions for working with variadic functions (bsd3, control, library)2021-04-280.0.0.0carymrobbins
varying172.02FRP through value streams and monadic splines. (control, frp, library, mit, program)2019-10-210.8.1.0SchellScivally
vector-strategies60.02A parallel evaluation strategy for boxed vectors (bsd3, control, library)2012-11-130.4ThomasDuBuisson
views (deprecated in favor of definitive-base)10.01Views allow you to run a State monad on part of a state. (bsd3, control, deprecated, library, monad)2013-03-151.0MarcCoiffier
vinyl-utils10.02Utilities for vinyl (bsd3, control, library)2017-12-280.3.0.1mjmrotek
wai-control90.00Run wai Applications in IO based monads (bsd3, control, library, web)2022-07-040.2.0.0jumper149
watchdog30.03Simple control structure to re-try an action with exponential backoff (bsd3, control, library)2021-10-130.3.1JanVornberger
weighted20.01Writer monad which uses semiring constraint (control, library, mit)2017-02-130.3.0.1oisdk
weighted-search20.01A weighted nondeterministic search monad (bsd3, control, library)2013-03-130.1.0.1LukePalmer
wires12.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
withdependencies120.01Run computations that depend on one or more elements in a stream. (control, gpl, library)2020-02-040.3.0SimonMarechal
wl-pprint-extras130.08A free monad based on the Wadler/Leijen pretty printer (bsd3, control, library, monads, text)2015-06-093.5.0.5EdwardKmett, NathanielFilardo
wl-pprint-terminfo110.03A color pretty printer with terminfo support (bsd3, control, library, monads, text)2016-06-223.7.1.4EdwardKmett, NathanielFilardo
writer-cps-exceptions100.01Control.Monad.Catch instances for the stricter CPS WriterT and RWST (bsd3, control, library)2019-03-070.1.0.1minad, chessai, topos
writer-cps-full10.01WriteT and RWST monad transformers (Reexport with all dependencies) (bsd3, control, library)2017-01-190.1.0.0minad, louispan
writer-cps-lens10.01Lens instances for the stricter CPS WriterT and RWST (bsd3, control, library)2017-03-060.1.0.1minad, louispan, chessai, topos
writer-cps-monads-tf20.01MonadWriter orphan instances for writer-cps-transformers (bsd3, control, library)2017-01-160.1.0.1minad
writer-cps-morph30.02MFunctor instance for CPS style WriterT and RWST (bsd3, control, library)2017-03-060.1.0.2minad, louispan
writer-cps-mtl410.06MonadWriter orphan instances for writer-cps-transformers (bsd3, control, library)2019-03-070.1.1.6minad, chessai, topos
writer-cps-transformers440.09WriteT and RWST monad transformers (bsd3, control, library)2019-04-290.5.6.1minad, chessai, topos
xml-html-conduit-lens60.01Optics for xml-conduit and html-conduit (bsd3, control, library)2018-06-140.3.2.4MatveyAksenov
zio130.00App-centric Monad-transformer based on Scala ZIO (UIO + ReaderT + ExceptT). (control, library, mpl)2020-11-210.1.0.2bebarker
zoom-refs60.01Zoom (~ Functor) and pairing (~ Applicative) for mutable references. (bsd3, control, library)2016-05-230.0.0.1mjmrotek