Packages tagged control

824 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (816), bsd3 (557), mit (149), deprecated (79), monads (59), program (49), data (48), public-domain (32), concurrency (23), pipes (22), effect (20), monad (18), failure (17), gpl (16), bsd2 (13), mpl (13), parallelism (13), comonads (12), network (12), error-handling (11), apache (10), distributed-computing (9), system (9), combinators (8), categories (7), enumerator (7), frp (6), logic (6), reactivity (6), text (6), cloud-haskell (5), language (5), lgpl (5), time (5), arrows (4), conversion (4), exceptions (4), monadic-regions (4), parsing (4), recursion (4), streaming (4), template-haskell (4), ai (3), algebra (3), composition (3), data-structures (3), development (3), generics (3), prelude (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
AAI10.00Abstract Application Interface. (control, library, mit)2015-08-030.2.0.1bash0r
AbortT-monadstf00.01Monads-tf instances for the AbortT monad transformer. (bsd3, control, library)2012-12-071.0GregoryCrosswhite
AbortT-mtl10.02mtl instances for the AbortT monad transformer (bsd3, control, library)2016-02-061.0.0.1GregoryCrosswhite
AbortT-transformers10.06A monad and monadic transformer providing "abort" functionality (bsd3, control, library)2019-07-191.0.1.3GregoryCrosswhite
Adaptive-Blaisorblade10.01Library for incremental computing. (bsd3, control, library, program)2013-01-260.23PaoloGiarrusso
CC-delcont40.03Delimited continuations and dynamically scoped variables (control, library)2016-05-110.2.1.0DanDoel
CC-delcont-alt20.01Three new monad transformers for multi-prompt delimited control (bsd3, control, library)2012-10-230.1.1.1KidoTakahiro
CC-delcont-cxe10.02A monad transformers for multi-prompt delimited control (bsd3, control, library)2011-10-120.1.0.2KidoTakahiro
CC-delcont-exc20.02A monad transformers for multi-prompt delimited control (bsd3, control, library)2011-10-120.1.0.0KidoTakahiro
CC-delcont-ref10.02A monad transformers for multi-prompt delimited control using refercence cells (bsd3, control, library)2011-10-120.1.0.0KidoTakahiro
CC-delcont-ref-tf20.01A monad transformers for multi-prompt delimited control using refercence cells (bsd3, control, library)2011-10-180.1.0.2KidoTakahiro
Cascade30.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
ChannelT130.01Generalized stream processors (bsd3, control, enumerator, iteratee, library, pipes, proxies)2018-01-280.0.0.7pthariensflame
ClassyPrelude40.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)30.01A light, clean and powerful utility library (bsd3, control, deprecated, library)2013-06-100.6MarcCoiffier
ComonadSheet20.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
ContArrow60.01Control.Arrow.Transformer.Cont (bsd3, control, library)2009-09-210.0.5EvgenyJukov
Control-Engine (deprecated)40.01A parallel producer/consumer engine (thread pool) (bsd3, control, deprecated, library)2009-08-181.1.0.1ThomasDuBuisson
Control-Monad-MultiPass10.01A Library for Writing Multi-Pass Algorithms. (bsd3, control, library)2013-06-140.1.0.0KevinBackhouse
Control-Monad-ST230.02A variation on the ST monad with two type parameters. (bsd3, control, library)2013-06-110.1.0.1KevinBackhouse
Coroutine30.01Type-safe coroutines using lightweight session types. (bsd3, control, library)2008-12-180.1.0.0RyanIngram
DeepArrow10.03Arrows for "deep application" (bsd3, combinators, control, library)2013-08-130.4.0ConalElliott
EitherT (deprecated in favor of either)40.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
Etage20.02A general data-flow framework (ai, control, lgpl, library)2014-05-100.1.12MitarMilutinovic
FailT1162.00A 'FailT' monad transformer that plays well with 'MonadFail' (bsd3, control, failure, library)2023-02-240.1.2.0lehins
FailureT (deprecated in favor of transformers)30.01Failure Monad Transformer (control, deprecated, failure, library, public-domain)2013-03-1415778.1
FastPush20.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-transformers10.02A monad and monadic transformer providing "goto" functionality (bsd3, control, library)2012-07-221.0.0.1GregoryCrosswhite
IfElse560.012Anaphoric and miscellaneous useful control-flow (bsd3, control, library)2008-12-240.85IvanPerez, JeffersonHeard, keera_studios_ci
ImperativeHaskell62.01A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-072.0.0.1MatthewMirman
InfixApplicative20.04liftA2 for infix operators. (bsd3, control, library)2009-12-241.1ThomasDavie
JuicyPixels-util40.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
Kriens10.01Category for Continuation Passing Style (bsd3, control, library)2015-12-070.1.0.1matteo_provenzano
List480.08List monad transformer and class (bsd3, control, library)2017-09-270.6.2YairChuchem
ListT (deprecated)30.01List transformer (bsd3, control, deprecated, library)2017-12-140.1.2.0
LogicGrowsOnTrees10.04a parallel implementation of logic programming using distributed tree exploration (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.1.0.2GregoryCrosswhite
LogicGrowsOnTrees-MPI10.01an adapter for LogicGrowsOnTrees that uses MPI (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.0.0.1.1GregoryCrosswhite
LogicGrowsOnTrees-network20.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-processes20.01an adapter for LogicGrowsOnTrees that uses multiple processes for parallelism (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.0.0.2GregoryCrosswhite
MHask10.01The category of monads (bsd3, control, library)2013-08-060.3.0.0DanBurton
MaybeT40.021MaybeT monad transformer (bsd3, control, library)2008-12-210.1.2CaleGibbard, DonaldStewart, EricKidd
MaybeT-monads-tf (deprecated in favor of monads-tf)30.01MaybeT monad transformer compatible with monads-tf (deprecated) (bsd3, control, deprecated, library)2011-06-220.2.0.1BenMillwood
MaybeT-transformers10.03MaybeT monad transformer using transformers instead of mtl. (bsd3, control, library)2010-06-280.2ErikHesselink, SebastiaanVisser
Mecha11.251mecha 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
Mechs11.251mecha 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
MissingM10.01findM and other missing 'M's (bsd3, control, library)2012-11-150.0.4DylanJust
MonadCatchIO-mtl (deprecated in favor of exceptions)50.020Monad-transformer version of the Control.Exception module (bsd3, control, deprecated, library)2014-01-040.3.1.0DanielGorin
MonadCatchIO-mtl-foreign (deprecated)20.01Polymorphic combinators for working with foreign functions (bsd3, control, deprecated, library)2010-05-290.1AntoineLatter
MonadCatchIO-transformers (deprecated in favor of exceptions)110.073Monad-transformer compatible version of the Control.Exception module (bsd3, control, deprecated, library)2014-12-230.3.1.3AriePeterson
MonadCatchIO-transformers-foreign (deprecated)20.03Polymorphic combinators for working with foreign functions (bsd3, control, deprecated, library)2010-05-290.1AntoineLatter
MonadPrompt300.06MonadPrompt, implementation & examples (bsd3, control, library)2014-09-141.0.0.5CaleGibbard, JamesCook, RyanIngram
MonadRandom2612.0144Random-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
MonadStack60.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-IO10.01MonadIO instances for the Monatron transformers. (bsd3, control, library)2012-04-261.0TobiasBrandt
Object30.01Object oriented programming for haskell using multiparameter typeclasses. (apache, control, data, library)2014-05-151.0yokto
PermuteEffects30.01Permutations of effectful computations (bsd3, control, library)2011-01-160.2MartijnVanSteenbergen
ProbabilityMonads20.01Probability distribution monads. (bsd3, control, library)2007-10-070.1.0EricKidd
ReplicateEffects00.02Composable replication schemes of applicative functors (bsd3, control, library)2012-12-270.3MartijnVanSteenbergen
RichConditional20.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
SciFlow90.02Scientific workflow management system (control, library, mit)2019-05-260.7.0kaizhang
SciFlow-drmaa10.00Scientific workflow management system (control, library, mit)2019-05-260.1.0kaizhang
THEff30.01TH implementation of effects. (bsd3, control, effect, library, th-)2017-01-220.1.4kolodeznydiver
Tainted90.01Tainted type, and associated operations (bsd3, control, data, library, monads, trans)2015-05-270.1.0.2RossMeikleham
TotalMap32.01A total map datatype (control, library, mit)2019-09-130.1.1.1edwardwas
TreeT40.01Transformer for Data.Tree (control, library, monads, public-domain)2011-09-170.0RahulGopinath
TypeCompose160.031Type composition classes & instances (bsd3, composition, control, library)2018-11-070.9.14ConalElliott
Workflow222.02Workflow patterns over a monad for thread state logging & recovery (bsd3, control, library, workflow)2015-05-010.8.3AlbertoCorona
abstract-par730.011Type classes generalizing the functionality of the 'monad-par' library. (bsd3, control, library, monads, parallelism)2013-11-060.3.3RyanNewton
acme-iot00.01IO monad transformer (control, library, mit)2016-08-130.1.0.1mniip
action-permutations90.03Execute a set of actions (e.g. parsers) in each possible order (bsd3, control, library)2014-04-110.0.0.1RossPaterson
allocated-processor30.04Functional combinators for monadic actions that require allocation and de-allocation (bsd3, control, library)2010-05-230.0.2NoamLewis
alternative-extra20.01Extra utilities for alternatives (bsd3, control, library)2017-02-200.1.0.0marcosdumay
alternators100.03Handy functions when using transformers. (bsd3, control, library)2018-07-021.0.0.0louispan
annotated-exception412.00Exceptions, with checkpoints and context. (bsd3, control, library)2023-09-080.2.0.5parsonsmatt
ap-normalize1280.02Self-normalizing applicative expressions (control, library, mit)2021-05-250.1.0.1lyxia
apart10.00Get all your structure and rip it apart. (bsd3, control, data, library, program)2018-09-280.1.3iokasimovmt
apecs322.255Fast Entity-Component-System library for game programming (bsd3, control, data, game, library)2023-04-010.9.5AlexanderBondarenko, jonascarpay
apecs-stm40.00STM stores for apecs (bsd3, control, data, game, library)2021-08-070.1.5AlexanderBondarenko, jonascarpay
applicative-extras20.014Instances for Applicative (bsd3, control, library)2011-01-030.1.8ChrisEidhof
applicative-fail130.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-liftA20.00Provides an arity-generic version of the liftA2, liftA3... liftAn functions. (control, library, mit)2018-12-310.1.0.0oisdk
arrow-extras80.01Extra functions for Control.Arrow (bsd3, control, library)2017-03-150.1.0.1louispan
arrow-improve20.01Improved arrows. (control, library, mit)2014-02-180.1.0.0alynn
arrow-list30.01List arrows for Haskell. (bsd3, control, library)2020-10-180.7.1AdamBergmark, ErikHesselink, SebastiaanVisser
arrow-utils50.00functions for working with arrows (arrows, bsd3, combinators, control, library)2022-01-250.1.1miguel_negrao
arrowapply-utils10.02Utilities for working with ArrowApply instances more naturally (bsd3, control, library)2012-03-180.2AndrewMiller
arrows680.031Arrow classes and transformers (bsd3, control, library)2018-03-310.4.4.2RossPaterson
artery30.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, haskell_github_trust
assert-failure492.02Syntactic sugar improving 'assert' and 'error' (bsd3, contract, control, library)2023-08-170.1.3.0MikolajKonarski
async-refresh150.01Package implementing core logic for refreshing of expiring data. (bsd3, control, library)2018-03-200.3.0.0mtesseract
async-refresh-tokens130.01Package implementing core logic for refreshing of expiring access tokens (bsd3, control, library)2018-03-210.4.0.0mtesseract
asynchronous-exceptions (deprecated)20.01Distinguish between synchronous and asynchronous exceptions (control, deprecated, library, mit)2014-02-051.1.0.1RomanCheplyaka
atl (deprecated)90.02Arrow Transformer Library (bsd3, control, deprecated, library)2016-09-2817072
attoparsec-trans30.02Interleaved effects for attoparsec parsers (control, library, mit)2015-06-160.1.1.0srijs
auto72.251Denotative, locally stateful programming DSL & platform (control, library, mit)2017-01-140.4.3.1jle
auto-update2250.028Efficiently run periodic, on-demand actions (control, library, mit)2019-07-090.1.6KazuYamamoto, MichaelSnoyman
backtracking92.01A backtracking monad (bsd3, control, library)2020-07-030.1.0SatoshiEgi, momohatt
backtracking-exceptions (deprecated)20.01A monad transformer for backtracking exceptions (bsd3, control, deprecated, library)2014-08-220.1.0.0
backward-state10.01A state monad that runs the state in reverse through the computation (bsd3, control, library, monads)2013-01-140.1.0.2LukePalmer
barrier-monad30.01Implementation of barrier monad, can use custom front/back type (control, library, public-domain)2011-12-010.1.0.1AaronBlack
basic-prelude672.2534An enhanced core prelude; a common foundation for alternate preludes. (control, library, mit, prelude)2017-12-050.7.0DanBurton, MichaelSnoyman
billeksah-main10.01Leksah plugin base (control, program)2011-11-291.0.0JuergenNicklischFranken
billeksah-main-static30.01Leksah plugin base (control, program)2011-11-291.0.0JuergenNicklischFranken
billeksah-services10.03Leksah library (control, library)2011-11-291.0.0JuergenNicklischFranken
boolean-like40.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-progress290.01A library for tracking the consumption of a lazy ByteString (bsd3, control, library)2019-08-281.4AdamWick
bytestring-rematch40.01Rematch support for ByteString (control, library, mit)2013-05-190.1.0.0TomCrayford
can-i-haz110.01Generic implementation of the Has and CoHas patterns (bsd3, control, library)2023-01-180.3.1.10xd34df00d
capability142.01Extensional capabilities and deriving combinators (bsd3, control, library)2022-03-210.5.0.1aherrmann
capataz90.01OTP-like supervision trees in Haskell (concurrency, control, library, mit)2019-05-210.2.1.0RomanGonzalez
caps10.00Monadic capabilities with late binding (bsd3, control, library)2021-03-140.1int_index
cas-hashable12.03A hashing class for content-addressed storage (control, library, mit)2020-03-091.0.1YvesPares
cas-hashable-s330.00ContentHashable instances for S3 objects (control, library, mit)2020-03-091.0.0YvesPares
cas-store32.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
categories40.07Categories (bsd3, control, library)2015-01-061.0.7EdwardKmett
category (deprecated)101.2511Categorical types and classes (bsd3, control, deprecated, library, math)2019-12-240.2.5.0
category-extras50.011A meta-package documenting various packages inspired by category theory (bsd3, comonads, control, library, monads)2012-04-061.0.2DanDoel, DanielWagner, EdwardKmett, RussellOConnor
cflp100.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
churros20.00Channel/Arrow based streaming computation library. (control, data, library, mit)2022-10-160.1.6.0LyndonMaydwell
classy-effects60.00An interface for a handler-independent, typeclass-based effect system. (control, effect, library, mpl)2023-09-180.1.0.0YamadaRyo
classy-effects-base60.00An interface for a handler-independent, typeclass-based effect system. (control, effect, library, mpl)2023-09-180.1.0.0YamadaRyo
classy-effects-th60.00Automatic compliance with the classy-effects protocols (control, effect, library, mpl, template-haskell)2023-09-180.1.0.0YamadaRyo
classy-parallel20.02Fork of the monad-parallel package using monad-control (control, gpl, library)2012-07-310.1.0.0SamAnklesaria
classy-prelude970.057A typeclass-based Prelude. (control, library, mit, prelude)2023-08-011.5.0.3GregWeber, MichaelSnoyman
classy-prelude-conduit350.010classy-prelude together with conduit functions (control, library, mit, prelude)2018-10-081.5.0GregWeber, MichaelSnoyman
classy-prelude-yesod420.08Provide a classy prelude including common Yesod functionality. (control, library, mit, yesod)2018-10-081.5.0GregWeber, MichaelSnoyman
cleff181.751Fast and concise extensible effects (bsd3, control, effect, language, library)2022-05-210.3.3.0daylily
cleff-plugin32.00Automatic disambiguation for extensible effects (bsd3, control, effect, language, library)2022-03-130.1.0.0daylily
cloud-haskell20.01The Cloud Haskell Application Platform (bsd3, control, library)2016-07-300.3.0.0FacundoDominguez, TimWatson
codecov-haskell11.251Codecov.io support for Haskell. (bsd3, control, library, program)2017-06-170.5.0killy971
coercible-utils70.03Utility functions for Coercible types (bsd3, control, library)2019-09-100.1.0sjakobi, chessai, koz_ross
commandert20.01A monad for commanders (control, library, mit)2022-01-210.1.1.1sgschlesinger
comonad2702.5160Comonads (bsd3, comonads, control, library)2020-12-305.0.8EdwardKmett, EricMertens, ryanglscott
comonad-extras50.04Exotic comonad transformers (bsd3, comonads, control, library)2020-02-214.0.1EdwardKmett
comonad-random (deprecated)20.01Comonadic interface for random values (control, deprecated, library)2009-07-210.1.2JakeMcArthur
comonad-transformers (deprecated in favor of comonad)190.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)100.010This package has been merged into comonad 4.0 (bsd3, comonads, control, deprecated, library)2013-10-134.0EdwardKmett
compactable102.259A typeclass for structures which can be catMaybed, filtered, and partitioned. (bsd3, control, library)2022-01-090.2.0.0fresheyeball
composition-prelude1552.032Higher-order function combinators (bsd3, control, data, library)2020-11-103.0.0.2vmchale
computations20.01Advanced notions of computation (bsd3, control, library)2015-05-030.0.0.0WolfgangJeltsch
concatenative80.04A library for postfix control flow. (bsd3, control, library)2010-07-021.0.1SamAnklesaria
concurrent-machines220.03Concurrent networked stream transducers (bsd3, concurrency, control, library)2022-03-110.3.1.5AnthonyCowley
concurrent-state30.01MTL-like library using TVars (control, library, mit)2014-01-270.6.0.0JoelTaylor
cond252.016Basic conditional and boolean operators with monadic variants. (bsd3, control, library, logic, monad)2014-11-230.4.1.1AdamCurtis
conduino40.01Lightweight composable continuation-based stream processors (bsd3, control, library)2020-01-080.2.2.0jle
conkin50.01Tools for functors from Hask^k to Hask (control, library, public-domain)2017-10-261.0.2NoahEasterly
constrained-categories80.07Constrained clones of the category-theory type classes, using ConstraintKinds. (control, gpl, library)2023-05-180.4.2.0leftaroundabout
constrained-monads50.01Typeclasses and instances for monads with constraints. (control, library, mit)2017-03-310.5.0.0oisdk
constrained-normal30.01Normalised Deep Embeddings for Constrained Type-Class Instances (bsd3, control, library)2014-06-091.0.2NeilSculthorpe
constraint-manip10.02Some conviencience type functions for manipulating constraints. (control, library, mit)2017-10-160.1.1.0clinton
constrictor60.02strict versions of many things in base (control, library, mit)2018-05-310.1.2.0chessai
continue40.01Monads with suspension and arbitrary-spot reentry (bsd3, control, library)2013-04-210.2.0ErtugrulSoeylemez, esz
contravariant2462.5173Contravariant functors (bsd3, control, data, library)2021-07-271.5.5EdwardKmett, EricMertens, ryanglscott
contravariant-extras480.08Extras for the "contravariant" package (control, library, mit)2021-11-020.3.5.3NikitaVolkov
control (deprecated)110.03Class of monad transformers which control operations can be lifted thru (bsd3, control, deprecated, library)2018-08-190.1.1.0
control-block30.00Higher-order functions with their function arguments at the end (bsd2, control, library)2023-04-210.0.0melaniebrown
control-bool100.05Useful combinators for boolean expressions (bsd3, control, library)2013-12-080.2.1FumiakiKinoshita
control-dotdotdot20.01Haskell operator `g ... f = \x1 .. xn -> g (f x1 .. xn)`. (bsd3, control, library)2018-01-210.1.0.1erisco
control-dsl101.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-event10.02Event scheduling system. (bsd3, control, library)2019-05-171.3ThomasDuBuisson
control-invariants10.02Invariants and contract monitoring (control, library, mit)2016-10-280.1.0.0SimonHudon, bandali
control-iso20.01A typeclass for type isomorphisms (bsd3, control, library)2019-02-040.1.0.2fresheyeball
control-monad-exception210.08Explicitly typed, checked exceptions with stack traces (control, failure, library, monads)2020-07-060.11.4PepeIborra
control-monad-exception-monadsfd60.01Monads-fd instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-exception-monadstf60.01Monads-tf instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-exception-mtl40.01MTL instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-failure (deprecated)70.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-free580.03Free monads and monad transformers (control, library, monads, public-domain)2018-10-060.6.2LukePalmer, PepeIborra
control-monad-loop150.08Simple monad transformer for imperative-style loops (bsd3, control, library)2012-07-080.1JoeyAdams
control-monad-omega102.07A breadth-first list monad. (control, library, public-domain)2019-09-170.3.2LukePalmer
control-monad-queue30.01Reusable corecursive queues, via continuations. (bsd3, control, library)2015-12-190.2.0.1LeonSmith
control-timeout (deprecated)30.03Timeout handling (bsd3, control, deprecated, library)2008-02-010.1.2AdamLangley
contstuff (deprecated)120.07Fast, easy to use CPS-based monad transformers (bsd3, control, deprecated, library, monads)2011-05-191.2.6ErtugrulSoeylemez, esz
contstuff-monads-tf (deprecated)80.01ContStuff instances for monads-tf transformers (deprecated) (bsd3, control, deprecated, library, monads)2010-11-240.2.1ErtugrulSoeylemez, esz
contstuff-transformers (deprecated)30.01Deprecated interface between contstuff 0.7.0 and the transformers package (bsd3, control, deprecated, library, monads)2010-12-270.1.1ErtugrulSoeylemez, esz
conversion150.09Universal converter between values of different types (control, conversion, data, library, mit)2016-04-121.2.1NikitaVolkov
conversion-bytestring100.01"Conversion" instances for the "bytestring" library (control, conversion, data, library, mit)2022-05-041.0.1.1NikitaVolkov
conversion-case-insensitive30.02"Conversion" instances for the "case-insensitive" library (control, conversion, data, library, mit)2015-04-231.0.0.0NikitaVolkov
conversion-text100.04"Conversion" instances for the "text" library (control, conversion, data, library, mit)2022-05-041.0.1.1NikitaVolkov
corecursive-main10.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
coverage40.01Exhaustivity Checking Library (control, library, mit)2016-02-170.1.0.4NicolasDelPiano
cr20.01Code review tool (control, gpl, network, program, system)2012-12-031.2AlexandruScvortov
crem22.00Compositional representable executable machines (control, library, machines, mit, program, state-machines)2023-03-170.1.0.0marcosh
csp132.01Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-141.4.0AndreiBarbu
custom-prelude40.03An enhanced prelude, serving as a foundation for my projects (control, library)2012-10-020.2.2.0AnupamJain
daemons160.03Daemons in Haskell made fun and easy (control, gpl, library, network, program, system)2023-09-290.4.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-fd20.09Lenses (bsd3, comonads, control, library)2016-07-172.0.6EdwardKmett, RussellOConnor
data-lens-ixset (deprecated in favor of data-store, tables, lens)30.01A Lens for IxSet (bsd3, comonads, control, data-structures, deprecated, library)2012-01-150.1.4DagOdenhall
decepticons20.01The categorical dual of transformers. (bsd3, control, library)2013-05-070.1.0.0JoeQuinn
deep-transformations40.02Deep natural and unnatural tree transformations, including attribute grammars (bsd3, control, generics, library)2023-06-250.2.1.2MarioBlazevic
deepcontrol70.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
deepseq1702.51366Deep evaluation of data structures (bsd3, control, library)2023-07-271.5.0.0HerbertValerioRiedel, chessai, melaniebrown
deepseq-bounded50.02Bounded deepseq, including support for generic deriving (bsd3, control, library)2015-02-040.8.0.0AndrewSeniuk
deepseq-generics360.023GHC.Generics-based Control.DeepSeq.rnf implementation (bsd3, control, library)2016-01-030.2.0.0HerbertValerioRiedel
deepseq-instances60.00Candidate NFData Instances for Types in base (control, library, mit)2020-05-280.1.0.1TravisWhitaker
deepseq-magic60.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)20.02Template Haskell based deriver for optimised NFData instances (bsd3, control, deprecated, library)2012-10-130.1.0.4HerbertValerioRiedel
demarcate (deprecated in favor of free)30.01Demarcating transformed monad. (bsd3, control, deprecated, library)2013-09-230.1.0NickolayKudasov
dep-t230.04Dependency injection for records-of-functions. (bsd3, control, library)2023-01-150.6.8.0DanielDiazCarrete
dep-t-advice20.00Giving good advice to functions in records-of-functions. (bsd3, control, library)2022-10-230.6.2.0DanielDiazCarrete
dep-t-dynamic10.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-trans160.00Derive instances for monad transformer stacks (bsd3, control, library)2023-07-110.9.1.0jumper149
despair50.01Despair (bsd3, control, library)2015-12-010.0.6Heather
disposable (deprecated in favor of glazier-react)50.02Allows storing different resource-releasing actions together. (bsd3, control, deprecated, library)2018-07-021.0.0.0louispan
distributed-closure122.07Serializable closures for distributed programming. (bsd3, control, library, program)2019-12-290.4.2.0AlpMestanogullari, FacundoDominguez, MathieuBoespflug
distributed-fork (deprecated)10.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-process312.530Cloud Haskell: Erlang-style concurrency in Haskell (bsd3, control, library)2018-06-120.7.4EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson, davidsd, JoelMcCracken
distributed-process-async90.06Cloud Haskell Async API (bsd3, control, library)2018-06-140.2.6FacundoDominguez, MathieuBoespflug, TimWatson, davidsd
distributed-process-client-server110.09The Cloud Haskell Application Platform (bsd3, control, library)2018-06-140.2.5.1FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-execution80.02Execution Framework for The Cloud Haskell Application Platform (bsd3, control, library)2016-02-180.1.2.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-extras70.011Cloud Haskell Extras (bsd3, control, library)2018-06-130.3.5FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-fsm10.01The Cloud Haskell implementation of Erlang/OTP gen_statem (bsd3, control, library)2017-03-260.0.1TimWatson
distributed-process-lifted30.02monad-control style typeclass and transformer instances for Process monad. (bsd3, cloud-haskell, control, library)2018-02-250.3.0.1jeremyjh
distributed-process-monad-control40.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)30.02The Cloud Haskell Application Platform (bsd3, control, deprecated, library)2014-06-130.1.0FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-registry60.01Cloud Haskell Extended Process Registry (bsd3, control, library)2016-02-180.1.0.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-simplelocalnet181.56Simple zero-configuration backend for Cloud Haskell (bsd3, control, library)2017-08-220.2.4EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-supervisor80.04Supervisors for The Cloud Haskell Application Platform (bsd3, control, library)2018-06-140.2.1FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-systest10.01Cloud Haskell Test Support (bsd3, cloud-haskell, control, library)2017-02-050.1.1TimWatson
distributed-process-task70.02Task Framework for The Cloud Haskell Application Platform (bsd3, cloud-haskell, control, library)2016-02-180.1.2.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-tests130.01Tests and test support tools for distributed-process. (bsd3, cloud-haskell, control, library)2017-10-050.4.11FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-zookeeper10.01A Zookeeper back-end for Cloud Haskell. (bsd3, cloud-haskell, control, library)2017-09-090.2.3.0jeremyjh
distributed-static200.09Compositional, type-safe, polymorphic static values and closures (bsd3, control, library)2019-05-120.3.9EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson, davidsd, JoelMcCracken
do-notation-dsl (deprecated in favor of control-dsl)30.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
edenmodules10.03Semi-explicit parallel programming library (bsd3, control, distributed-computing, eden, library, parallelism)2014-04-061.2.0.0MischaDieterle, JostBerthold, horstmeyer
effect-handlers50.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-monad42.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-stack30.00Reducing the pain of transformer stacks with duplicated effects (bsd3, control, library)2019-07-140.3DanielWagner
effectful782.52An easy to use, performant extensible effects library. (bsd3, control, library)2023-09-132.3.0.0arybczak
effectful-core930.015An easy to use, performant extensible effects library. (bsd3, control, library)2023-09-132.3.0.0arybczak
effectful-plugin380.00A GHC plugin for improving disambiguation of effects. (bsd3, control, library)2023-09-131.1.0.2arybczak
effectful-th260.00Template Haskell utilities for the effectful library. (bsd3, control, library)2023-01-131.0.0.1arybczak
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
effet00.00An Effect System based on Type Classes (bsd3, control, library)2020-12-240.4.0.0MichaelSzvetits
effin120.03A Typeable-free implementation of extensible effects (bsd3, control, effect, library)2017-08-030.3.0.3AnthonyVandikas
either2402.0283Combinators for working with sums (bsd3, control, library, monads)2022-05-085.0.2EdwardKmett, ryanglscott, GeorgeWilson
elevator30.04Immediately lifts to a desired level (bsd3, control, library)2015-04-010.2.3FumiakiKinoshita
elision10.00Arrows with holes. (bsd2, control, library, program)2016-02-180.1.3.2jacrough
enclosed-exceptions942.023Catching all exceptions from within an enclosed computation (control, library, mit)2018-07-111.0.3MichaelSnoyman, jcristovao
enum-text-rio20.01Making fmt available with rio (bsd3, control, library, program)2019-07-231.2.0.0ChrisDornan
error-context20.01Provides API for enriching errors with contexts (bsd3, control, error-handling, library)2018-04-100.2.0.1mtesseract
error-continuations20.01Error Continuations (control, library, public-domain)2015-01-050.1.0.0echatav
error-list00.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)170.02An orphan Eq instance for ErrorCall (control, deprecated, library, mit)2015-04-220.3.0SimonHengel
errors1172.25141Simplified error-handling (bsd3, control, error-handling, library)2018-05-112.3.0GabrielGonzalez
errors-ext100.01`bracket`-like functions for `ExceptT` over `IO` monad. (control, error-handling, library)2018-07-170.4.2warlock
eternal250.01everything breaking the Fairbairn threshold (bsd3, control, library)2016-07-240.1.7Heather
ether (deprecated)212.252Monad transformers and classes (bsd3, control, deprecated, library)2017-06-030.5.1.0int_index
eveff10.00Efficient effect handlers based on evidence translation. (control, effect, library, mit)2021-07-191.0.0.2ningningxie
event-driven20.02library for event driven programming (bsd3, control, library)2010-07-160.0.2YoshikuniJujo
event-handlers10.02Event handlers (control, data, library, public-domain)2008-12-150.0.0.3JamesCook
event-monad10.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)20.01Exception monad transformer instances for monads-fd classes. (bsd3, control, deprecated, error-handling, failure, library, monad)2010-10-060.2GeoffreyMainland
exception-monads-tf50.01Exception monad transformer instances for monads-tf classes. (bsd3, control, error-handling, failure, library, monad)2017-05-030.4.0.1GeoffreyMainland
exception-mtl660.03Exception monad transformer instances for mtl classes. (bsd3, control, error-handling, failure, library, monad)2023-03-220.4.0.2GeoffreyMainland
exception-transformers1240.019Type classes and monads for unchecked extensible exceptions. (bsd3, control, error-handling, failure, library, monad)2023-08-310.4.0.12GeoffreyMainland, TroelsHenriksen
exceptional30.01Essentially the Maybe type with error messages. (bsd2, control, library)2015-07-220.3.0.0pharpend
exceptions2952.0958Extensible optionally-pure exceptions (bsd3, control, exceptions, library, monad)2022-12-040.10.7EdwardKmett, ryanglscott
exceptiot20.00ExceptT, but uses IO instead of Either (bsd3, control, library)2022-11-220.0.1.0parsonsmatt
exhaustive120.01Compile time checks that a computation considers producing data through all possible constructors (bsd3, control, library)2020-06-171.1.9OliverCharles
exitcode40.02Monad transformer for exit codes (bsd3, control, library)2022-03-170.1.0.6TonyMorris, qfpl, GeorgeWilson
explicit-exception290.028Exceptions which are explicit in the type signature. (bsd3, control, library)2023-01-140.2HenningThielemann
explicit-sharing10.01Explicit Sharing of Monadic Effects (control, library, monads, public-domain)2011-06-300.9SebastianFischer
extensible-effects222.2512An Alternative to Monad Transformers (control, effect, library, mit)2019-01-035.0.0.1BenFoppa, SvenHeyll, shergill, sickmind
extensible-effects-concurrent482.00Message passing concurrency as extensible-effect (bsd3, concurrency, control, effect, library, program)2020-12-162.0.0SvenHeyll
extensible-exceptions1130.088Extensible exceptions (bsd3, control, library)2012-02-020.1.1.4IanLynagh
failable110.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)130.071A simple type class for success/failure computations. (deprecated) (bsd3, control, deprecated, failure, library, monads)2014-06-080.2.0.3MichaelSnoyman, Michael_Smith
feature-flags90.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-debounce490.03Fold multiple events that happen in a given period of time. (bsd3, control, library)2023-04-050.2.0.11debugito
foldl4102.5113Composable, streaming, and efficient left folds (bsd3, control, library)2023-07-011.4.15GabrielGonzalez
foldl-exceptions12.00Exception handling with FoldM (control, library, mit)2023-01-111.0.0.2chris_martin, Monoid_Mary
foldl-incremental22.01incremental folds (control, library, mit, statistics)2015-02-230.2.0.0tonyday
foldl-transduce292.01Transducers for foldl folds. (bsd3, control, library)2021-03-190.6.0.1DanielDiazCarrete
foldl-transduce-attoparsec10.01Attoparsec and foldl-transduce integration. (bsd3, control, library)2016-02-120.2.0.0DanielDiazCarrete
for-free10.01Functor, Monad, MonadPlus, etc for free (control, library, public-domain)2012-07-090.1AaronBlack
forbidden-fruit10.01A library accelerates imperative style programming. (bsd3, control, library)2015-02-240.1.0minpou
forest40.01Tree and Forest types (control, library, mpl)2018-08-020.2.1.1ShaneOBrien
free5082.5198Monads for free (bsd3, control, library, monads)2023-03-125.2EdwardKmett, EricMertens, JohnWiegley, ryanglscott
free-algebras72.02Free algebras (algebra, control, library, monads, mpl)2023-06-040.1.1.0coot
free-applicative-t20.00Free Applicative Transformer (bsd3, control, library)2022-12-310.1.0.0viercc
free-categories110.01free categories (bsd3, control, library)2020-09-290.2.0.2echatav
free-category32.01efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2023-06-040.0.4.5coot
free-er20.00An extensible effects library (bsd3, control, effect, library, program)2017-10-100.1.0.0OmerAgacan
free-operational20.02Operational Applicative, Alternative, Monad and MonadPlus from free types. (bsd3, control, library)2013-08-080.5.0.0LuisCasillas
free-vl110.00van Laarhoven encoded Free Monad with Extensible Effects (bsd3, control, library, monads, program)2016-02-100.1.4aaronlevin
freer132.250Implementation of the Freer Monad (bsd3, control, library, program)2016-11-250.2.4.1alleledev
freer-effects42.02Implementation of effect system for Haskell. (bsd3, control, library, program)2017-04-160.3.0.1MatejKollar, PeterTrsko, TomasJanousek
freer-simple512.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-profiling20.01Automatic profling of freer-simple programs (benchmarking, control, library, mit, profiling)2018-11-120.1.0.0benweitzman
freer-simple-random10.01Random number generators using freer-simple (control, library, mit, random)2018-11-120.1.0.0benweitzman
freer-simple-time10.01freer-simple interface to IO based time functions (control, library, mit, time)2018-11-120.1.0.0benweitzman
fresnel20.01high-powered optics in a small package (bsd3, control, library)2022-02-260.0.0.1robrix
fresnel-fused-effects20.00fresnel/fused-effects integration (bsd3, control, library)2022-02-260.0.0.0robrix
from-sum282.01Combinators for working with Maybe and Either (bsd3, control, library)2020-01-250.2.3.0cdepillabout
frpnow32.54Principled practical FRP (bsd3, control, library)2015-08-250.18AtzeVanDerPloeg
frpnow-gloss10.01Program awesome stuff with Gloss and frpnow! (bsd3, control, library)2015-07-140.12AtzeVanDerPloeg
frpnow-gtk30.01Program GUIs with GTK and frpnow! (bsd3, control, library)2015-07-140.11AtzeVanDerPloeg
frpnow-vty10.00Program terminal applications with vty and frpnow! (control, gpl, library, program)2018-03-190.2.0.1JaroReinders
fsharp (deprecated)20.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-combine30.01Combining functions (bsd3, control, library)2011-09-230.1.0IainAlexander
functor (deprecated in favor of category)30.01Functors (bsd3, control, deprecated, library, math)2017-11-160.1.0.0
functor-apply (deprecated in favor of semigroupoids)70.06This package has been subsumed by semigroupoids (bsd3, control, deprecated, library)2011-01-300.11EdwardKmett
functors40.01(.:) and friends, syntax for Functor and Applicative. (bsd3, control, library)2010-11-280.1AristidBreitkreuz
funflow82.02Workflows with arrows (control, library, mit, program)2020-03-091.6.0nclarke
fused-effects482.7516A fast, flexible, fused effect system. (bsd3, control, library)2023-06-091.1.2.2patrick_thomson, robrix, joshvera
fused-effects-exceptions160.00Handle exceptions thrown in IO with fused-effects. (bsd3, control, control., library)2021-06-081.1.0.1patrick_thomson, robrix
fused-effects-lens162.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-optics40.00Bridge between the optics and fused-effects ecosystems. (bsd3, control, library)2022-07-130.2.1.0patrick_thomson
fused-effects-random30.00Random number generation for fused-effects. (bsd3, control, library)2020-07-121.1.0.0patrick_thomson, robrix
fused-effects-resumable20.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-th30.00Template Haskell helpers for fused-effects. (bsd3, control, library)2021-04-070.1.0.3patrick_thomson, robrix
future-resource20.02realtime resource handling with manual concurrency (control, lgpl, library)2015-04-220.4.0.0capsjac
gang-of-threads30.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
gas20.01Limit how many steps a program may take. (bsd3, control, library)2018-08-140.0.0.1rightfold
general-allocate140.02Exception-safe resource management in more monads (apache, control, exceptions, library)2023-03-010.2.1.4shlevy
general-prelude (deprecated)30.01Prelude replacement using generalized type classes where possible (bsd3, control, data, deprecated, library)2012-12-180.1.2JohnWiegley
generator40.01Python-generators notation for creation of monadic lists (bsd3, control, library)2015-05-280.5.5YairChuchem
generators (deprecated)30.01Actually useful monadic random value generators. (bsd3, control, deprecated, library)2010-06-251.0.3LiamOConnorDavis
generic-deepseq00.01Generic deep evaluation of data structures (bsd3, control, generics, library)2012-02-282.0.1.1MaximeHenrion
ghc-call-stack-extras10.01Extra utilities for HasCallStack (bsd3, control, library)2018-03-140.1.0.2dfeuer
gooey10.01Graphical user interfaces that are renderable, change over time and eventually produce a value. (control, library, mit)2015-10-060.1.0.0SchellScivally
grab42.01Applicative non-linear consumption (control, library, mit)2022-06-200.0.0.8chris_martin, Monoid_Mary
graphted60.01Graph indexed monads. (bsd3, comonads, control, library, monads)2017-05-090.3.1.0AaronFriel
groupoids (deprecated in favor of semigroupoids)82.06This package has been absorbed into semigroupoids 4.0 (bsd3, categories, control, deprecated, library)2013-10-134.0EdwardKmett
hasim50.01Process-Based Discrete Event Simulation library (bsd3, control, library)2008-12-290.1.2JochemBerndsen
hask30.01Categories (bsd3, control, library)2014-11-100EdwardKmett
haskell-cnc00.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
hdph30.01Haskell distributed parallel Haskell (bsd3, control, distributed-computing, library, monads, parallelism, program)2013-02-070.0.1PatrickMaier
hdph-closure10.02Explicit closures in Haskell distributed parallel Haskell (bsd3, control, distributed-computing, library)2013-02-070.0.1PatrickMaier
heftia60.00Higher-order version of Freer. (control, library, monads, mpl)2023-09-180.1.0.0YamadaRyo
heftia-effects60.00Handlers for standard effects using Heftia. (control, effect, library, monads, mpl, program)2023-09-180.1.0.0YamadaRyo
hierarchical-env20.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-error40.03Some convenience facilities for hoisting errors into a monad (control, library, mit)2018-06-150.2.1.0JonSterling, schalmers, qfpl
hpc530.017Code Coverage Library for Haskell (bsd3, control, library)2023-08-100.7.0.0AustinSeipp, BenGamari, HerbertValerioRiedel, IanLynagh, wz1000, DavidBinder
hpc-coveralls72.01Coveralls.io support for Haskell. (bsd3, control, library, program)2017-05-131.0.10killy971
hpc-lcov110.00Convert HPC output into LCOV format (bsd3, control, library, program)2023-05-211.1.1brandonchinn178
hreader120.02Generalization of MonadReader and ReaderT using hset (bsd3, control, library)2016-12-121.1.0AlekseyUymanov
hs-di22.01Dependency Injection library for Haskell (bsd3, control, dependency-injection, development, library, program, template-haskell, testing)2016-09-260.3.0Wizek
hsPID30.01PID control loop (control, lgpl, library)2018-11-250.1.2jlamothe
hspec-monad-control30.01Orphan instances of MonadBase and MonadBaseControl for SpecM (bsd3, control, library)2015-05-210.1.0.0bmjames
hyperfunctions10.01Hyperfunctions (bsd3, categories, control, library)2015-06-210EdwardKmett
if90.01(?) and (?>) conditional operator (bsd3, control, library)2016-11-170.1.0.0winterland
ifcxt32.251put if statements within type constraints (bsd3, control, library)2016-08-030.1.1MikeIzbicki
implicit-logging20.01A logging framework built around implicit parameters. (control, lgpl, library)2016-09-110.2.0.0rev_null
in-other-words20.04A higher-order effect system where the sky's the limit (bsd3, control, library)2022-06-150.2.1.1KingoftheHomeless
index-core120.02Indexed Types (bsd3, control, indexed, library)2016-06-121.0.4GabrielGonzalez
indexed150.014Haskell98 indexed functors, monads, comonads (bsd3, control, library)2016-09-170.1.3ReinerPope, typedrat
indexed-extras90.03Indexed functors, monads and comonads that require extensions to Haskell98 (bsd3, control, library)2016-07-080.2ReinerPope, typedrat
indexed-free10.02indexed monads for free (bsd3, control, library, monad)2013-11-270.3.1FumiakiKinoshita
indextype00.04A series of type families and constraints for "indexable" types. (bsd3, control, library)2017-10-190.3.0.1clinton
inject-function10.01Monadic functions with injected parameters. (control, gpl, library)2013-09-130.2.1.0DimitriSabadie
instance-control50.01Controls how the compiler searches for instances using type families. (bsd3, control, library)2017-09-270.1.2.0lazac
interchangeable (deprecated)30.01A type class for interchangeable data. (control, deprecated, library, mit)2015-01-180.2.0.0arowM
interleave30.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
interspersed30.01An abstraction over interspersing monadic actions (control, library, mit)2016-06-020.1.2NikitaVolkov
invariant5670.018Haskell98 invariant functors (bsd2, control, data, library)2023-08-060.6.2NicolasFrisby, ryanglscott
invertible261.255bidirectional arrows, bijective functions, and invariant functors (bsd3, composition, control, data, library)2023-07-040.2.0.8DylanSimon
invertible-hlist10.01invertible functions and instances for HList (bsd3, composition, control, data, library)2017-03-070.2.0.2DylanSimon
io-choice190.05Choice for IO and lifted IO (bsd3, control, library)2018-12-110.0.7KazuYamamoto
io-classes1472.05Type classes for concurrency with STM, ST and timing (apache, control, library)2023-07-281.2.0.0coot
io-classes-mtl1112.00Experimental MTL instances for io-classes (apache, control, library)2023-04-200.1.0.1coot
io-reactive20.02An API for generating TIMBER style reactive objects. (bsd3, control, library, program, reactivity)2008-09-230.1.1AndyGill
io-region90.01Exception safe resource management with dynamic regions (bsd3, control, library)2015-04-240.1.1YurasShumovich
iotransaction20.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)30.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-tracer20.01A polymorphic, type-safe, json-structured tracing library (bsd3, control, library)2018-05-110.0.3.0autotaker
lambda-devs10.01a Paralell-DEVS implementaion based on distributed-process (bsd3, control, library, program, simulation)2013-11-240.4.0alios
lawless-concurrent-machines00.01Concurrent networked stream transducers (bsd3, concurrency, control, library)2017-10-020.3.1misandrist
lax10.01Lax arrows (bsd3, control, library)2012-02-070.1.0.3WolfgangJeltsch
layers50.02Modular type class machinery for monad transformer stacks. (bsd3, control, library)2013-03-140.1ShaneOBrien
lazy20.01Explicit laziness for Haskell (control, library, mit)2018-04-280.1NikitaVolkov
lazy-bracket20.00A bracket with lazy resource allocation. (bsd3, control, library)2022-04-160.1.0.0DanielDiazCarrete
lazy-priority-queue20.00Lazy-Spined Monadic Priority Queues (control, data, gpl, library, program)2021-02-180.1.1MarioBlazevic
lazyio240.04Run IO actions lazily while respecting their order (bsd3, control, library, monads)2016-12-140.1.0.4HenningThielemann
lens-filesystem30.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-tutorial72.51Tutorial for the lens library (bsd3, control, library)2019-06-191.0.4GabrielGonzalez
lensref (deprecated)50.02References which can be joined and on which lenses can be applied (bsd3, control, data, deprecated, library)2014-05-180.2PeterDivianszky
lenz-mtl (deprecated)30.00mtl operations with Van Laarhoven lenses (control, data, deprecated, lenses, library)2019-10-250.1
level-monad10.02Non-Determinism Monad for Level-Wise Search (control, library, monads, public-domain)2009-06-220.4.1SebastianFischer
lifted-base1590.0269lifted 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
list-t2902.040ListT done right (control, data-structures, library, mit, streaming)2023-01-091.0.5.6NikitaVolkov
list-transformer392.04List monad transformer (bsd3, control, library)2023-07-151.1.0GabrielGonzalez
little-rio110.02When you need just the RIO monad (bsd3, control, library)2023-06-212.0.1ejconlon
local-search10.01Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2013-07-180.0.7RichardSenington
log-effect20.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
logicst10.01Backtracking mutable references in the ST and IO monads (bsd3, control, library)2013-04-170.1.0.0AndySonnenburg
logict3250.039A backtracking logic-programming monad. (bsd3, control, library)2023-04-240.8.1.0DanDoel, Bodigrim
logict-sequence22.00A backtracking logic-programming monad with asymptotic improvements to msplit (control, library, mit)2022-12-060.2.0.2JasonDagit, dfeuer
loop820.04Fast loops (for when GHC can't optimize forM_) (control, library, mit)2015-09-030.3.0NiklasHambuechen
loop-dsl21.50monadic loop dsl. (control, library, mit)2021-11-150.1.0.0ailrk
loop-effin10.01control-monad-loop port for effin (bsd3, control, library)2014-10-070.1.1.0HiromiIshii
loop-while10.02A monad transformer supporting various styles of while loop (bsd3, control, library)2010-01-111.0.0NeilBrown
loops30.01Fast imperative-style loops (bsd3, control, library)2014-06-130.2.0.2ThomasTuegel
machinecell140.01Arrow based stream transducers (bsd3, control, frp, library, reactivity)2018-04-174.0.1HidenoriAzuma
machines422.529Networked stream transducers (bsd3, control, enumerator, library)2022-05-180.7.3EdwardKmett, EricMertens, ryanglscott
machines-attoparsec10.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
managed1090.022A monad for managed values (bsd3, control, library)2023-01-311.0.10GabrielGonzalez
map-classes20.01A set of classes and instances for working with key/value mappings. (bsd3, control, library)2018-03-310.1.0.0clinton
map-reduce-folds50.01foldl wrappers for map-reduce (bsd3, control, library)2023-05-020.1.2adamCS
mealstrom52.01Manipulate FSMs and store them in PostgreSQL. (control, database, library, mit)2021-01-150.0.1.1amx
mech21.251mecha 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
mechs11.251mecha 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-ptr10.01Pointer equality memoization (control, library, mit)2015-05-310.1.0.0edofic
memoization-utils20.01Utilities for memoizing functions (control, library, mit)2015-11-060.1.0.1yamadapc
meta-par10.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
method20.01rebindable methods for improving testability (bsd3, control, library)2021-05-070.4.0.0autotaker
micro-recursion-schemes20.04Simple recursion schemes (bsd3, control, library, recursion)2018-05-145.0.2.2
midair92.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)120.05fast and simple operational monad (bsd3, control, deprecated, library)2015-01-260.4.9FumiakiKinoshita
mix-arrows10.01Mixing effects of one arrow into another one (bsd3, control, library)2012-02-061.2MiguelMitrofanov
mmorph2982.5132Monad morphisms (bsd3, control, library)2021-07-161.2.0GabrielGonzalez
mmtl10.04Modular Monad transformer library (bsd3, control, library)2008-09-300.1MauroJaskelioff
mmtl-base (deprecated)30.01MonadBase type-class for mmtl (bsd3, control, deprecated, library)2011-12-1315321.1
modular-prelude (deprecated)10.02A new Prelude featuring first class modules (control, deprecated, library, mit)2012-08-180.3.0.0DanBurton
modular-prelude-classy (deprecated)20.01Reifying ClassyPrelude a la ModularPrelude (control, deprecated, library, mit)2012-08-180.1.0.0DanBurton
monad-abort-fd40.02A better error monad transformer (bsd3, control, library)2023-05-090.7.0.1MikhailVorozhtsov
monad-atom20.03Monadically convert object to unique integers and back. (bsd3, control, library)2012-03-160.4.1GrzegorzChrupala
monad-atom-simple10.01Monadically map objects to unique ints. (bsd3, control, library)2012-02-230.0.2GrzegorzChrupala
monad-batcher10.01An applicative monad that batches commands for later more efficient execution (bsd3, control, library)2017-04-290.0.0.0BasVanDijk
monad-bool (deprecated)70.01This package has been removed. (bsd3, control, deprecated, library)2013-01-280.2.0JohnWiegley
monad-choice10.00Monad, monad transformer, and typeclass representing choices. (agpl, control, library)2020-03-270.2.0.0LouisH
monad-chronicle90.00These as a transformer, ChronicleT (bsd3, control, library, these)2022-05-201.0.1phadej
monad-classes (deprecated)32.07more flexible mtl (control, deprecated, library, mit)2018-05-070.3.2.2
monad-codec10.07Monadic conversion between complex data structures and unique integers (bsd3, control, library)2019-11-300.2.1JakubWaszczuk
monad-connect80.01Transformer for TCP connection with TLS and SOCKS support (control, library, monad, network, public-domain)2016-03-160.1akrasner
monad-control2542.0542Lift control operations, like exception catching, through monad transformers (bsd3, control, library)2021-08-021.0.3.1BasVanDijk, phadej
monad-control-aligned40.010Lift control operations, like exception catching, through monad transformers (bsd3, control, library)2023-10-020.0.2.1athanclark
monad-control-identity130.02Stronger classes than monad-control (bsd3, control, library)2022-03-310.2.0.0jumper149
monad-coroutine240.010Coroutine monad transformer for suspending and resuming monadic computations (concurrency, control, library, monads)2022-03-230.9.2MarioBlazevic
monad-dijkstra1700.02A monad transformer for weighted graph searches (bsd3, control, library, monads)2023-08-120.1.1.4ecramer
monad-exception (deprecated in favor of layers)20.01Exstensible monadic exceptions (control, deprecated, library, public-domain)2012-03-010.1ShaneOBrien
monad-extras200.09Extra utility functions for working with monads (bsd3, control, library)2017-02-100.6.0JohnWiegley
monad-finally30.01Guard monadic computations with cleanup actions (bsd3, control, library)2023-05-090.1.2.1MikhailVorozhtsov
monad-fork (deprecated in favor of layers)30.02Type class for monads which support a fork operation. (control, deprecated, library, public-domain)2012-02-210.1ShaneOBrien
monad-hash20.01Monad transformer for incremental hashing (control, cryptography, hash, library, monad, public-domain)2016-05-300.1.0.2akrasner
monad-introspect10.00A reader monad that gives the environment access to the entire transformer stack (bsd3, control, library)2020-08-100.1.0.0mniip
monad-io-adapter30.01Adapters between MonadIO and MonadBase IO. (control, library)2017-11-210.1.0.0lexi_lambda
monad-journal200.03Pure logger typeclass and monad transformer (bsd3, control, library)2017-11-250.8.1DimitriSabadie
monad-levels30.01Specific levels of monad transformers (control, library, mit)2015-02-030.1.0.1IvanMiljenovic
monad-lgbt10.01Monad transformers for combining local and global state. (bsd2, control, library)2016-07-230.0.2MichalGajda
monad-loops1642.25126Monadic loops (control, library, public-domain)2015-06-190.4.3JamesCook
monad-loops-stm20.02Monadic loops for STM (control, library, public-domain)2013-06-090.4JamesCook
monad-markov10.01Markov process monad (control, library, mit)2018-06-290.1.0.0arran
monad-memo582.02Memoization monad transformer (bsd3, control, library, monad)2022-01-030.5.4EduardSergeev
monad-mersenne-random32.55An efficient random generator monad, based on the Mersenne Twister (bsd3, control, library)2010-07-140.1DonaldStewart
monad-open10.01Open recursion for when you need it (control, library, mit)2015-03-220.1.0.0JonSterling
monad-ox30.03Monad for observation extraction (bsd3, control, library, natural-language-processing)2013-04-060.3.0JakubWaszczuk
monad-par982.2517A library for parallel programming based on a monad (bsd3, control, library, monads, parallelism)2023-09-280.3.6OliverCharles, RyanNewton, SimonMarlow
monad-par-extras690.05Combinators and extra features for Par monads (bsd3, control, library, monads, parallelism)2013-07-120.3.3RyanNewton
monad-parallel530.020Parallel execution of monadic computations (bsd3, control, library, monads)2022-03-220.8MarioBlazevic
monad-parallel-progressbar50.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)20.01Parameterized monads (bsd3, control, deprecated, library)2011-01-150.0.4DominiqueDevriese, EdwardKmett
monad-peel240.019Lift control operations like exception catching through monad transformers (bsd3, control, library)2023-08-100.3AndersKaseorg, SergeyAlirzaev
monad-products62.03Monad products (bsd3, control, library, monads)2016-01-174.0.1EdwardKmett
monad-ran20.01Fast monads and monad transformers (bsd3, control, library, monads)2009-05-060.1.0EdwardKmett
monad-resumption200.01Resumption and reactive resumption monads for Haskell. (bsd3, control, library)2019-09-300.1.4.0AdamProcter, IanGraves
monad-skeleton210.06Monads of program skeleta (bsd3, control, library, monads)2021-11-300.2FumiakiKinoshita
monad-st120.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-ste42.254ST monad with efficient explicit errors (bsd2, control, library)2016-05-040.1.0.0CarterSchonwald
monad-stm40.06MonadSTM class analogous to MonadIO (bsd3, control, library)2013-04-070.1.0.2MiguelMitrofanov
monad-supply30.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-time1032.015Type 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-time-effectful180.00Adaptation of the monad-time library for the effectful ecosystem. (control, library, mit)2023-06-191.0.0.0arybczak
monad-timing20.01Monad transformer for recording timing events (control, library, mit)2016-06-130.1.0.1pikajude
monad-tree00.00Tree data structure for nondeterministic computations. (control, library, mit)2021-11-090.2.0.0nbedell
monad-tx10.01A transactional state monad. (bsd3, control, library, monads)2009-04-060.0.1MattMorrow
monad-unlift (deprecated in favor of unliftio-core, unliftio, rio)60.06Typeclasses for representing monad transformer unlifting (control, deprecated, library, mit)2016-05-030.2.0MichaelSnoyman
monad-unlift-ref52.01Typeclasses for representing monad transformer unlifting (control, library, mit)2017-11-210.2.1MichaelSnoyman
monad-validate751.257A monad transformer for data validation. (control, library)2023-08-171.3.0.0lexi_lambda
monad-wrap20.01Wrap functions such as catch around different monads (bsd3, control, library)2013-04-270.1DavidMazieres
monadLib-compose20.02Arrow-like monad composition for monadLib. (bsd3, control, library, monads)2010-10-200.2AristidBreitkreuz
monadbi (deprecated)30.02Extract underlying monads from monad transformers (control, deprecated, library)2011-09-220.1AnupamJain
monadcryptorandom90.07A monad for using CryptoRandomGen (bsd3, control, cryptography, library)2018-04-110.7.2.1ThomasDuBuisson
monadfibre (deprecated)70.01Monadic functions which provide Choice and Parallelism. (control, deprecated, library)2011-09-220.1.2.1AnupamJain
monadic-recursion-schemes160.00Recursion Schemes for Monadic version. (bsd3, control, library, monad, recursion)2023-04-190.1.13.2KatsutoshiItoh
monadiccp90.04Constraint Programming (bsd3, control, library)2018-05-090.7.7MaikRiechert, PieterWuille, TomSchrijvers
monadiccp-gecode10.01Constraint Programming (bsd3, control, library)2018-05-300.1.3JanTikovsky
monadio-unwrappable10.01Reversibly allow monad transformer stacks to run in IO (bsd3, control, library)2012-06-180.3AndrewMiller
monadlist240.04Monadic versions of list functions (bsd3, control, library)2011-10-080.0.2ThomasEding
monadloc30.06A class for monads which can keep a monadic call trace (control, library, monads, public-domain)2013-06-060.7.1PepeIborra
monadloc-pp20.01A preprocessor for generating monadic call traces (control, monads, program, public-domain)2014-10-170.3.1PepeIborra
monadplus150.09Haskell98 partial maps and filters over MonadPlus. (bsd3, control, library)2023-01-061.4.3HansHoglund, OliverCharles
monads-fd (deprecated in favor of mtl)50.041Monad classes, using functional dependencies (bsd3, control, deprecated, library)2010-11-070.2.0.0RossPaterson
monads-tf580.074Monad classes, using type families (bsd3, control, library)2023-07-100.3.0.1RossPaterson, chris_martin
monoidal-functors142.00Monoidal Functors Library (categories, control, library, mit, program)2023-08-030.2.3.0solomon
moo-nad10.00Invocation helpers for the ReaderT-record-of-functions style. (bsd3, control, library)2021-05-230.1.0.2DanielDiazCarrete
more-extensible-effects12.01Initial project template from stack (bsd3, control, library)2017-01-290.1.0.4qzchenwl
morphisms10.03It's all about functions (control, data, library, mit)2019-01-040.1.1iokasimovmt
morphisms-functors10.01Functors, theirs compositions and transformations (control, data, library, mit)2019-01-150.1.7iokasimovmt
morphisms-functors-inventory10.00Inventory is state and store (control, data, library, mit)2019-01-120.1.0iokasimovmt
morphisms-objects10.00Algebraic structures (control, data, library, mit)2019-01-080.1.3iokasimovmt
motor30.02Type-safe effectful state machines in Haskell (control, library, mpl, program)2019-06-230.4.0owickstrom
motor-diagrams10.01Generate state diagrams from Motor FSM typeclasses (control, library, mpl)2019-06-280.4.0owickstrom
motor-reflection10.01Reflect on Motor FSM typeclasses to obtain runtime representations (control, library, mpl)2019-06-280.4.0owickstrom
mpeff10.00Efficient effect handlers based on evidence-passing semantics (control, effect, library, mit)2021-08-090.1.0.0ningningxie
mtl2502.753963Monad 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)20.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)20.01Higher order versions of MTL classes (bsd3, control, deprecated, library)2016-08-120.1int_index
mtl-tf10.01Monad Transformer Library with Type Families (bsd3, control, library)2018-01-230.2.1.0TrevorElliott
mtl-unleashed30.02MTL classes without the functional dependency (bsd3, control, library)2015-11-110.6.1DavidFox
mtl-uplift30.00Lift substacks of monad transformer stacks (control, library, mit)2022-01-210.1.0.1sgschlesinger
mtlx10.01Monad transformer library with type indexes, providing 'free' copies. (bsd3, control, library)2012-10-150.1.6MarkSnyder
mtsl10.00Reified monad transformer stacks (control, library, mit)2020-09-280.2.0.0sgschlesinger
multipass30.01Folding data with multiple named passes (bsd3, control, library)2013-01-270.1.0.2EdwardKmett
multistate470.06like mtl's ReaderT / WriterT / StateT, but more than one contained value/type. (bsd3, control, library)2022-01-240.8.0.4lspitzner, fozworth, dukerutledge
multiwalk130.00Traverse data types via generics, acting on multiple types simultaneously. (control, gpl, library)2023-07-170.3.0.1lvreis
mvc70.03Model-view-controller (bsd3, concurrency, control, library)2018-08-191.1.7GabrielGonzalez
mvc-updates30.01Concurrent and combinable updates (bsd3, concurrency, control, library)2014-09-231.2.0GabrielGonzalez
mzv30.02Implementation of the "Monads, Zippers and Views" (Schrijvers and Oliveira, ICFP'11) (bsd3, control, library)2014-04-160.1.0.2IsmaelFigueroa
named272.514Named parameters (keyword arguments) for Haskell (bsd3, control, library)2019-10-190.3.0.1Artyom, int_index
natural30.01Natural number (bsd3, control, library)2021-11-300.3.0.6TonyMorris, qfpl
natural-transformation542.017A natural transformation package. (bsd3, control, library)2016-11-150.4AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
needle30.01ASCII-fied arrow notation (control, library, mit)2014-09-280.1.0.1ScrambledEggs
newtype1200.032A typeclass and set of functions for working with newtypes. (bsd3, control, library)2019-09-100.2.2.0AndreasAbel, DariusJahandarie, HerbertValerioRiedel, jcristovao
newtype-deriving10.01Instance derivers for newtype wrappers (control, library, mit, template-haskell)2016-05-020.1.4NikitaVolkov
newtype-generics1762.017A typeclass and set of functions for working with newtypes (bsd3, control, library)2022-05-190.6.2jcristovao, sjakobi
newtype-th30.02A template haskell deriver to create Control.Newtype instances. (bsd3, control, library, template-haskell)2012-07-190.3.3MichaelSloan
newtyper10.01Extra functions for the Control.Newtype typeclass (bsd3, control, library)2012-05-150.1DylanJust
nondeterminism132.02A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2022-05-201.5AndreiBarbu
nqe110.02Concurrency library in the style of Erlang/OTP (control, library, mit, public-domain)2022-05-200.6.4jprupp
objective150.03Composable objects (bsd3, control, library)2021-10-271.3FumiakiKinoshita
observable40.01Continuation patterns (bsd3, control, library)2018-12-100.1.5iokasimovmt
op20.00Common operators encouraging large-scale easy reading (apache, combinators, control, functions, library, utility)2019-12-200.4.0.0infinity0
open-signals10.01A mechanism similar to checked exceptions that integrates with MTL and transformer stacks (control, library, mit)2016-04-170.1.0.3darwin226
operational812.2521Implementation of difficult monads made easy with operational semantics. (bsd3, control, library, monads)2023-02-190.2.4.2HeinrichApfelmus
operational-class110.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
pandora260.01A box of patterns and paradigms (control, data, library, mit)2022-05-290.5.6iokasimovmt
pandora-io100.00... (control, data, library, mit)2022-04-160.5.4iokasimovmt
parallel2112.0202Parallel programming library (bsd3, control, library, parallelism)2018-07-133.2.2.0AustinSeipp, BenGamari, HerbertValerioRiedel, IanLynagh, SimonMarlow
parallel-tree-search90.02Parallel Tree Search (concurrency, control, library, public-domain)2020-10-260.4.2SebastianFischer, nbu
parameterized360.02Parameterized/indexed monoids and monads using only a single parameter type variable. (bsd3, control, library)2017-12-170.5.0.0louispan
partial10.01A nullary type class for partial functions (control, library, mit)2017-11-281.0.0.0PhilFreeman
partial-isomorphisms380.04Partial isomorphisms. (bsd3, control, library)2021-09-030.2.3.0TillmannRendel, schernichkin
partial-lens (deprecated in favor of data-lens)20.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-state260.02Phantom State Transformer. Like State Monad, but without values. (bsd3, control, library)2023-09-260.2.1.4DanielDiaz
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
piped20.00Conduit with a smaller core (bsd3, control, library)2019-08-010.1.0.0ssadler
pipeline30.00Continuation patterns (bsd3, control, library)2019-02-240.1.0iokasimovmt
pipes1812.75188Compositional 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)40.01Streaming parsing in the pipes-core framework with Attoparsec. (bsd3, control, deprecated, library, program)2012-06-200.1.0.0MartinGrabmueller
pipes-break22.01Pipes to group by any delimiter (such as lines with carriage returns) (bsd3, control, library, pipes)2017-03-160.2.0.6mindreader
pipes-bytestring460.046ByteString support for pipes (bsd3, control, library, pipes)2021-02-122.1.7GabrielGonzalez
pipes-category50.01Allows instances for Category, Arrow and ArrowChoice for Pipes. (bsd3, control, library, pipes)2017-10-080.3.0.0louispan
pipes-cellular10.01Pipes-based combinators for cellular data processing (bsd3, control, library, pipes)2015-07-070.0.0.1patrykz
pipes-cellular-csv10.01Efficient pipes-based cellular CSV codec (bsd3, control, library, pipes)2015-07-071.0.0.0patrykz
pipes-concurrency252.021Concurrency for the pipes ecosystem (bsd3, concurrency, control, library, pipes)2021-12-052.0.14GabrielGonzalez
pipes-conduit10.01Conduit adapters (bsd3, control, enumerator, library)2012-03-100.0.1PaoloCapriotti
pipes-core (deprecated in favor of pipes)30.07Compositional pipelines (bsd3, control, deprecated, enumerator, library)2012-04-090.1.0PaoloCapriotti
pipes-errors30.01Integration between pipes and errors (bsd3, control, error-handling, library, monad, pipes)2015-05-210.3jdnavarro
pipes-extra30.01Various basic utilities for Pipes. (bsd3, control, enumerator, library)2012-06-090.2.0PaoloCapriotti
pipes-extras110.04Extra utilities for pipes (bsd3, control, library, pipes)2018-07-041.0.15GabrielGonzalez
pipes-fluid130.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-group460.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)30.01Pipes for grouping by lines with carriage returns. (bsd3, control, deprecated, library, pipes)2017-03-161.0.3.4mindreader
pipes-misc50.02Miscellaneous utilities for pipes, required by glazier-tutorial (bsd3, control, library, pipes)2018-05-220.5.0.0louispan
pipes-parse532.033Parsing infrastructure for the pipes ecosystem (bsd3, control, library, parsing, pipes)2021-02-123.0.9GabrielGonzalez
pipes-random210.01Producers for handling randomness. (bsd3, control, library)2019-05-101.0.0.5fosskers
pipes-rt10.01A few pipes to control the timing of yields (bsd3, control, library, pipes, program)2015-01-210.5.0imalsogreg
pipes-safe1340.045Safety 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-vector10.01Various proxies for streaming data into vectors (bsd3, control, library)2015-05-290.6.2BenGamari
pipes-zeromq420.01Pipes integration for ZeroMQ messaging (bsd3, control, library, network, pipes)2017-04-200.3.0.0peddie
plan-applicative20.01Applicative/Arrow for resource estimation and progress tracking. (bsd3, control, library)2018-08-182.0.1.0DanielDiazCarrete
poly-cont10.01Poly-kinded continuations (bsd3, control, library)2018-03-140.1.0.0dfeuer
porcupine-core12.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-http10.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
ports20.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-profunctors500.010product-profunctors (bsd3, category, control, library)2023-04-130.11.1.1tomjaguarpaw
profunctor-extras70.04This package has been absorbed into profunctors 4.0 (bsd3, categories, control, library)2013-10-134.0EdwardKmett
profunctor-monad20.00Monadic bidirectional programming (control, library, mit)2022-05-170.2.0.0lyxia, SamFrohlich
profunctors3152.75247Profunctors (bsd3, categories, control, library)2021-02-175.6.2EdwardKmett, ryanglscott
program20.00Programs with Environments and Managed Resources (bsd3, control, library)2021-12-020.1.0.0MichaelSzvetits
progress-reporting22.01Functionality for reporting function progress. (control, lgpl, library)2017-09-271.1.0JeroenBransen
prologue110.06Better, more general Prelude exporting common utilities. (apache, control, library)2018-12-183.2.6danilo2, iamrecursion
prompt50.01Monad (and transformer) for deferred-effect pure prompt-response queries (control, library, mit)2016-05-260.1.1.2jle
prospect80.01Explore continuations with trepidation (bsd3, control, library)2018-07-100.1.0.0isovector
protocol30.00Model distributed system as type-level multi-party protocol (bsd3, control, distributed-computing, distributed-systems, library, protocol)2020-07-120.1.0.1epoberezkin
quantum-arrow12.01An embedding of quantum computation as a Haskell arrow (control, library)2009-01-090.0.5LukePalmer
quiver132.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-cell10.01Quiver combinators for cellular data processing (bsd3, control, library)2015-08-311.0.0patrykz
quiver-csv10.01Quiver combinators for cellular CSV data processing (bsd3, control, library)2015-08-040.0.0.3patrykz
quiver-enumerator10.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-http10.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-interleave10.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-eff10.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
rank2classes382.09standard type constructor class hierarchy, only with methods of rank 2 types (bsd3, control, data, generics, library)2023-06-251.5.2MarioBlazevic
rate-limit260.02A basic library for rate-limiting IO actions. (bsd3, control, library)2023-01-031.4.3AdamWick, eyevanmalicesun
reactive-haskell (deprecated)20.01minimal fork of io-reactive (bsd3, control, deprecated, library, reactivity)2014-09-230.0.1Heather
reactive-io (deprecated)30.01IO-oriented FRP library (control, deprecated, library, mit)2013-07-060.1RomanCheplyaka
reader-soup10.03Vinyl-based reader-like monad composition (combinators, control, library, mit)2019-10-090.1.0.1YvesPares
reasonable-lens11.252Lens implementation. It is more small but adequately. (control, library, mit)2015-04-150.2.1.1outoftune
reasonable-operational10.02Just size Operational Monad implementation. (control, library, mit)2015-02-130.1.0.1outoftune
record130.06Anonymous records (control, data-structures, library, mit, records)2016-10-240.4.2NikitaVolkov
recursion222.05A recursion schemes library for Haskell. (bsd3, control, recursion)2021-09-122.2.5.0vmchale
recursion-schemes2422.7553Representing common recursion patterns as higher-order functions (bsd2, control, library, recursion)2023-02-275.2.2.4EdwardKmett, EricMertens, gelisam, ryanglscott, luc_tielen
recursion-schemes-ext110.02Amateur addenda to recursion-schemes (bsd3, control, library)2018-05-081.0.0.4vmchale
ref-fd182.04A type class for monads with references using functional dependencies. (bsd3, control, library)2023-03-280.5.0.1GeoffreyMainland
ref-mtl00.05A type class for monads with references compatible with the mtl2 library. (bsd3, control, library)2011-04-050.3GeoffreyMainland
ref-tf740.023A type class for monads with references using type families. (bsd3, control, library)2021-11-200.5.0.1GeoffreyMainland
reference20.03A class for references in Haskell (control, data, library, mit)2010-09-060.1MaciejPiechotka
references50.015Selectors for reading and updating data. (bsd3, control, library)2017-11-280.3.3.1lazac
regions40.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)20.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
registry520.06data structure for assembling components (control, library, mit)2022-12-090.6.0.0etorreborre
registry-hedgehog70.00utilities to work with Hedgehog generators and `registry` (control, library, mit)2022-11-240.8.0.0etorreborre
rematch50.07A simple api for matchers (control, library, mit)2013-05-190.2.0.0TomCrayford
rematch-text10.01`rematch` matchers for Data.Text (control, library, mit)2013-05-190.1.0.2TomCrayford
remote-monad20.04An parametrizable Remote Monad, and parametrizable Applicative Functor (bsd3, control, library)2016-02-080.2AndyGill
representable-profunctors (deprecated in favor of profunctors)10.02This package has been absorbed into profunctor-extras. (bsd3, categories, control, deprecated, library)2013-01-073.2EdwardKmett
request-monad00.01A transformer for generic requests (control, library, mit)2014-06-270.3.0.1nahiluhmot
resource-effect20.01A port of the package 'resourcet' for extensible effects. (bsd3, control, effect, library)2014-01-050.1.1ClarkGaebel
resource-effectful30.00A region-based resource effect for the effectful ecosystem. (bsd3, control, library)2023-05-120.1.0.0MichaelSzvetits
resource-pool-monad10.01A monadic interface for resource-pool (control, library, mit)2015-10-240.1.0.0srijs
resource-simple20.01Allocate resources which are guaranteed to be released. (bsd3, control, library)2012-03-020.2ShaneOBrien
resourcet-effectful110.00Adaptation of the resourcet library for the effectful ecosystem. (bsd3, control, library)2022-07-141.0.0.0arybczak
restartable20.00Minimal live coding library for model-view-event-update applications. (bsd3, control, library)2020-11-090.3.0.0MichalGajda
resumable-exceptions20.01A monad transformer for resumable exceptions (control, error-handling, failure, library, monads, reactivity)2010-09-200.0.0.20100920NicolasFrisby
retry2742.564Retry combinators for monadic actions that may fail (bsd3, control, library)2023-04-170.9.3.1MichaelXavier, OzgunAtaman
retry-effectful30.00Adaptation of the retry library for the effectful ecosystem. (bsd3, control, library)2022-09-300.1.0.0TristanCacqueray
rev-state70.01Reverse State monad transformer (bsd3, control, library)2016-02-010.1.2DanBurton
rex120.01A quasi-quoter for typeful results of regex captures. (bsd3, control, library)2022-04-150.6.2MichaelSloan
rio1562.073A 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-orphans630.03Orphan instances for the RIO type in the rio package (control, library, mit)2021-04-030.1.2.0MichaelSnoyman
rmonad60.01Restricted monad library (bsd3, control, library)2013-12-230.8.0.2GaneshSittampalam
safe-buffer-monad30.01A monadic buffer resilient to exceptions (bsd3, control, library)2018-06-170.1.0dcastro
safe-exceptions4252.25217Safe, consistent, and easy exception handling (control, library, mit)2023-06-260.1.7.4FrancescoMazzoli, MichaelSnoyman
safe-exceptions-checked (deprecated)112.03Safe, checked exceptions (bsd3, control, deprecated, library)2017-01-280.1.0mitchellwrosen
safe-wild-cards10.00Use RecordWildCards safely (bsd3, control, library)2021-05-311.0.0Artyom
scc30.01Streaming component combinators (combinators, concurrency, control, library, program)2021-02-270.8.3.1MarioBlazevic
schedule10.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
selective3352.2514Selective applicative functors (control, library, mit)2023-03-050.7snowleopard
semi-iso20.05Weakened partial isomorphisms, reversible computations. (control, data, library, mit)2014-12-121.0.0.0pawel834
semigroupoid-extras80.03Semigroupoids that depend on PolyKinds (bsd3, control, library)2015-05-155EdwardKmett
semigroupoids4902.5198Semigroupoids: Category sans id (bsd2, comonads, control, library)2023-03-176.0.0.1EdwardKmett, EricMertens, ryanglscott
sessions90.01Session Types for Haskell (control, library)2008-07-182008.7.18MatthewSackman
sessiontypes70.01Session types library (control, gpl, library, program)2018-01-130.1.2ferdinandvw
sessiontypes-distributed20.01Session types distributed (control, gpl, library)2018-01-130.1.1ferdinandvw
shade30.01A control structure used to combine heterogenous types with delayed effects. (bsd3, control, library)2017-05-200.1.1.1fredefox
shared-fields30.01a tiny library for using shared lens fields (bsd3, control, library)2015-07-200.2.0.0Intolerable
shortcircuit10.02Short-circuit values and expressions. (bsd3, control, data, library)2010-10-140.1AristidBreitkreuz
si-timers1542.02timers using SI units (seconds) (apache, control, library, time)2023-07-281.2.0.0coot
simple-effects22.03A simple effect system that integrates with MTL (bsd3, control, library)2018-11-190.13.0.0darwin226
simple-observer10.01The Observer pattern (bsd3, control, library)2009-11-110.0.1AndyGimblett
simple-sessions20.01A simple implementation of session types (bsd3, control, library)2013-10-100.1.3JesseTov
sink (deprecated)30.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
skulk10.01Eclectic collection of utility functions (control, library, mit)2016-06-050.1.3.0geekyfox
sousit20.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
spawn340.05Tiny 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-coveralls60.00Initial project template from stack (control, library, program)2023-02-050.0.7.0lehins, rubik
state-bag10.01Monad transformers for holding bags of state. (bsd3, control, library)2016-07-220.1.0.0RobinKay
state-plus20.02MonadPlus for StateT (bsd3, control, library)2017-04-160.1.3BorisSukholitko
stateWriter230.03A faster variant of the RWS monad transformers. (bsd3, control, library)2023-06-170.4.0SimonMarechal
statestack1150.07Simple State-like monad transformer with saveable and restorable state (bsd3, control, library)2023-02-130.3.1.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-closure30.01Serialisable static pointers to functions (bsd3, control, library)2018-01-170.1.0.0clinton
stm-actor70.00A simplistic actor model based on STM (control, library, mit)2023-04-200.3.1.0sgschlesinger
stm-incremental40.00A library for constructing incremental computations (concurrency, control, library, mit)2023-02-020.1.1.0sgschlesinger
stm-supply70.01STM wrapper around Control.Concurrent.Supply. (bsd3, control, library)2016-11-190.2.0.0jmc41493
stopwatch80.01A simple stopwatch utility (bsd3, control, library)2019-05-010.1.0.6debugito
stream-monad60.04Simple, Fair and Terminating Backtracking Monad (bsd3, control, library, monads)2012-09-100.4.0.2SebastianFischer
streaming-eversion10.01Translate pull-based stream folds into push-based iteratees. (bsd3, control, library)2018-05-120.4.0.0DanielDiazCarrete
streamly2722.532Streaming, 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-07-200.7.3.2harendra, pranaysashank, adithyaov
streamproc40.01Stream Processer Arrow (bsd3, control, library)2013-04-051.6.2PeterSimons
streams432.09Various Haskell 2010 stream comonads (bsd3, comonads, control, library)2023-03-123.3.2EdwardKmett, ryanglscott
streamt50.00Simple, Fair and Terminating Backtracking Monad Transformer (bsd3, control, library, monads)2022-05-200.5.0.1davidar
strict-concurrency110.012Strict concurrency abstractions (bsd3, control, library)2018-10-090.2.4.3DonaldStewart, YitzGale
strict-identity110.01Strict Identity Monad, handy for writing fast code! (bsd3, control, library)2014-01-120.1.0.0CarterSchonwald
strict-mvar412.00Strict MVars for IO and IOSim (apache, concurrency, control, library)2023-07-281.2.0.0coot
strict-writer (deprecated in favor of writer-cps-mtl)30.01A stricter writer, which uses StateT in order to avoid space leaks. (control, deprecated, library, mit)2017-02-100.4.0.0oisdk
strictly20.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-state10.01Get the total, put a single element (bsd3, control, library)2015-09-030.0.0.1athanclark
subhask62.01Type safe interface for programming in subcategories of Hask (algebra, bsd3, categories, control, library)2015-09-010.1.1.0MikeIzbicki
successors20.01An applicative functor to manage successors (control, library, mit)2022-01-100.1.0.3JoachimBreitner
supervisor30.01Control an internal monad execution for trace generation, backtrakcking, testing and other purposes (bsd3, control, library)2013-12-310.1.1.0AlbertoCorona
sweet-egison50.01Shallow embedding implementation of non-linear pattern matching (bsd3, control, library, pattern)2020-10-200.1.1.3SatoshiEgi, coord_e, momohatt
synchronous-channels02.02Synchronous communication channels (bsd3, concurrency, control, library)2015-07-070.2JesseTov
tagged-exception-core30.02Reflect exceptions using phantom types. (bsd3, control, error-handling, exceptions, failure, library, monad, monads, phantom-types)2016-02-022.2.0.0PeterTrsko
tagged-identity100.01Trivial monad transformer that allows identical monad stacks to have different types (bsd3, control, library)2023-07-050.1.4mrkkrp
tagshare60.02TagShare - explicit sharing with tags (bsd3, control, library)2012-08-010.0JonasDuregard
takahashi10.01create slide for presentation. (control, library, mit)2015-07-140.2.2.0outoftune
tardis392.05Bidirectional state monad transformer (bsd3, control, library)2022-05-080.4.4.0DanBurton
tehepero10.00Prettier error (bsd3, control, library)2020-06-030FumiakiKinoshita
telega20.00Telegram Bot API binding (control, data, library, mit)2020-01-300.3.0iokasimovmt
tell10.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-machine20.01A library to mock the current time. (bsd3, control, library)2017-11-260.1.0y_taka_23
time-out170.01Timers, timeouts, alarms, monadic wrappers (control, library, monad, public-domain, time, timeout)2016-05-300.2akrasner
time-warp32.01Distributed systems execution emulation (control, library, mit, network)2017-03-181.1.1.2jagajaga, gromak, volhovm, martoon, serokell
timeout90.02Generalized sleep and timeout functions (concurrency, control, library, mit)2014-08-020.1.1FedorGogolev
timeout-control20.01Updatable timeouts as a Monad transformer (bsd3, concurrency, control, library)2015-08-310.2NathanHowell
timers-tick200.01tick based timers (bsd3, control, library)2023-04-230.5.0.4fffaaa
to250.00Simple, safe, boring type conversions (bsd3, control, library)2019-08-181.2.0Artyom
tonalude230.01A standard library for Tonatona framework. (control, library, mit, tonatona)2023-08-290.2.0.0arowM, qnoyxu
total10.02Exhaustive pattern matching using lenses, traversals, and prisms (bsd3, control, library)2020-05-151.0.6GabrielGonzalez
trace20.02A monad transformer for tracing provenience of errors (control, library, mit)2015-04-150.2.0.0JonSterling
transactional-events20.01Transactional events, based on Concurrent ML semantics (bsd3, control, library)2008-10-100.1.0.0RyanIngram
transformers2772.753455Concrete functor and monad transformers (bsd3, control, library)2023-08-010.6.1.1RossPaterson
transformers-abort30.04Error and short-circuit monad transformers (bsd3, control, library)2020-07-260.6.0.3MikhailVorozhtsov
transformers-base2462.0397Lift 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-compose10.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-convert20.01Sensible conversions between some of the monad transformers (bsd3, control, library)2014-05-300.2.0.0jcristovao
transformers-eff10.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)20.04Free monad transformers (bsd3, control, deprecated, library)2012-11-011.0.1GabrielGonzalez
transformers-lift52.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
transient102.54composing programs with multithreading, events and distributed computing (concurrency, control, library, mit)2020-07-240.7.0.0AlbertoCorona, geraldus
transient-universe50.03fully composable remote execution for the creation of distributed systems (control, distributed-computing, library, mit, program)2020-07-290.6.0.1AlbertoCorona, geraldus
tree-monad110.03Non-Determinism Monad for Tree Search (bsd3, control, library, monads)2022-07-140.3.2SebastianFischer, nbu
trivia (deprecated)20.02The trivial monad and comonad (bsd3, control, deprecated, library)2014-03-020.0FumiakiKinoshita
tubes40.01Write stream processing computations with side effects in a series of tubes. (control, gpl, library, streaming)2016-08-162.1.1.0gatlin
tuple-lenses70.01Stock FieldN combos and generators (bsd3, control, library)2013-03-280.1.0.2JonathanFischoff
tweak20.01A library for incremental computing (bsd3, control, library)2013-10-050.1.0.1JonathanFischoff
type-operators30.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
unexceptionalio170.07IO without any non-error, synchronous exceptions (control, library)2020-05-130.5.1StephenWeber
unexceptionalio-trans50.03A wrapper around UnexceptionalIO using monad transformers (control, library)2020-02-120.5.1StephenWeber
unfree10.01Simplistic free monad with deriving through UndecidableInstances (bsd3, control, library)2022-10-030.1.0ejconlon
unlift10.00Typeclass for monads that can be unlifted to arbitrary base monads (control, library, monad, mpl, typeclass, unlift)2021-04-210.0.0.0vrom911
unliftio5802.75211The MonadUnliftIO typeclass for unlifting monads to IO (batteries included) (control, library, mit)2023-06-160.2.25.0MichaelSnoyman
unliftio-core3842.25203The MonadUnliftIO typeclass for unlifting monads to IO (control, library, mit)2023-02-060.2.1.0MichaelSnoyman
unliftio-pool140.06Data.Pool generalized to MonadUnliftIO. (bsd3, control, data, database, library, network)2023-03-300.4.2.0BardurArantsson
unordered-containers-rematch10.01Rematch support for unordered containers (control, library, mit)2013-05-200.1.0.0TomCrayford
unpack-funcs20.02Monad transformers that mirror worker-wrapper transformations. (bsd3, control, library)2013-04-180.3.1LouisWasserman
unsafe350.011Unified interface to unsafe functions (bsd3, control, library)2013-04-210.0HenningThielemann
unsequential10.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-interleaved90.03An interleaving combinator for use with applicative style implementations. (applicative, control, library, mit, parsing, text)2018-08-060.2.0.2DoaitseSwierstra, JeroenBransen
validationt102.251Straightforward validation monad (bsd3, control, library)2020-11-030.3.0mniip, typeable
var-monad50.01The VarMonad typeclass, generalizing types of references. (apache, control, library)2022-12-290.2.0.1chris_martin
variables30.01Monads with variables, without deep magic (control, library, mit)2014-08-180.1.1alynn
variadic50.00Abstractions for working with variadic functions (bsd3, control, library)2021-04-280.0.0.0carymrobbins
varying132.02FRP through value streams and monadic splines. (control, frp, library, mit, program)2019-10-210.8.1.0SchellScivally
vector-strategies30.02A parallel evaluation strategy for boxed vectors (bsd3, control, library)2012-11-130.4ThomasDuBuisson, haskell_github_trust
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-utils20.02Utilities for vinyl (bsd3, control, library)2017-12-280.3.0.1mjmrotek
wai-control70.00Run wai Applications in IO based monads (bsd3, control, library, web)2022-07-040.2.0.0jumper149
watchdog50.03Simple control structure to re-try an action with exponential backoff (bsd3, control, library)2023-07-090.3.2JanVornberger
weighted30.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
wires32.01Functional reactive programming library (bsd3, control, frp, library)2018-04-150.2.1esz
with30.02Simple open product type (bsd3, control, data, library)2018-09-160.1.0iokasimovmt
withdependencies260.01Run computations that depend on one or more elements in a stream. (control, gpl, library)2020-02-040.3.0SimonMarechal
wl-pprint-extras110.08A free monad based on the Wadler/Leijen pretty printer (bsd3, control, library, monads, text)2015-06-093.5.0.5EdwardKmett, NathanielFilardo
wl-pprint-terminfo100.03A color pretty printer with terminfo support (bsd3, control, library, monads, text)2016-06-223.7.1.4EdwardKmett, NathanielFilardo
writer-cps-exceptions50.01Control.Monad.Catch instances for the stricter CPS WriterT and RWST (bsd3, control, library)2019-03-070.1.0.1minad, chessai, topos
writer-cps-full20.01WriteT and RWST monad transformers (Reexport with all dependencies) (bsd3, control, library)2017-01-190.1.0.0minad, louispan
writer-cps-lens20.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-mtl170.06MonadWriter orphan instances for writer-cps-transformers (bsd3, control, library)2019-03-070.1.1.6minad, chessai, topos
writer-cps-transformers200.09WriteT and RWST monad transformers (bsd3, control, library)2019-04-290.5.6.1minad, chessai, topos
xml-html-conduit-lens50.01Optics for xml-conduit and html-conduit (bsd3, control, library)2018-06-140.3.2.4MatveyAksenov
zio50.00App-centric Monad-transformer based on Scala ZIO (UIO + ReaderT + ExceptT). (control, library, mpl)2020-11-210.1.0.2bebarker
zoom-refs30.01Zoom (~ Functor) and pairing (~ Applicative) for mutable references. (bsd3, control, library)2016-05-230.0.0.1mjmrotek