Packages tagged control

818 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (810), bsd3 (556), mit (148), deprecated (78), monads (57), data (48), program (47), public-domain (32), concurrency (22), pipes (21), monad (18), failure (17), effect (16), gpl (15), bsd2 (13), parallelism (13), comonads (12), apache (11), error-handling (11), network (11), distributed-computing (9), system (9), combinators (8), mpl (8), categories (7), enumerator (7), frp (6), lgpl (6), text (6), cloud-haskell (5), language (5), logic (5), reactivity (5), arrows (4), conversion (4), exceptions (4), monadic-regions (4), recursion (4), ai (3), algebra (3), composition (3), data-structures (3), development (3), generics (3), parsing (3), prelude (3), streaming (3), template-haskell (3), time (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), aws (1), benchmarking (1), category-theory (1), closure (1), cloud (1), concurrent (1), contract (1), control. (1), delay (1), dependency-injection (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
AAI120.00Abstract Application Interface. (control, library, mit)2015-08-030.2.0.1bash0r
AbortT-monadstf40.01Monads-tf instances for the AbortT monad transformer. (bsd3, control, library)2012-12-071.0GregoryCrosswhite
AbortT-mtl50.02mtl instances for the AbortT monad transformer (bsd3, control, library)2016-02-061.0.0.1GregoryCrosswhite
AbortT-transformers150.06A monad and monadic transformer providing "abort" functionality (bsd3, control, library)2019-07-191.0.1.3GregoryCrosswhite
Adaptive-Blaisorblade30.01Library for incremental computing. (bsd3, control, library, program)2013-01-260.23PaoloGiarrusso
CC-delcont80.03Delimited continuations and dynamically scoped variables (control, library)2016-05-110.2.1.0DanDoel
CC-delcont-alt90.01Three new monad transformers for multi-prompt delimited control (bsd3, control, library)2012-10-230.1.1.1KidoTakahiro
CC-delcont-cxe70.02A monad transformers for multi-prompt delimited control (bsd3, control, library)2011-10-120.1.0.2KidoTakahiro
CC-delcont-exc30.02A monad transformers for multi-prompt delimited control (bsd3, control, library)2011-10-120.1.0.0KidoTakahiro
CC-delcont-ref30.02A monad transformers for multi-prompt delimited control using refercence cells (bsd3, control, library)2011-10-120.1.0.0KidoTakahiro
CC-delcont-ref-tf90.01A monad transformers for multi-prompt delimited control using refercence cells (bsd3, control, library)2011-10-180.1.0.2KidoTakahiro
Cascade40.01Playing with reified categorical composition (control, library, public-domain)2014-11-140.1.0.0NoahEasterly
Catana70.01A monad for complex manipulation of a stream. (bsd3, control, library)2012-02-220.3DustinDeWeese
ChannelT150.01Generalized stream processors (bsd3, control, enumerator, iteratee, library, pipes, proxies)2018-01-280.0.0.7pthariensflame
ClassyPrelude60.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)40.01A light, clean and powerful utility library (bsd3, control, deprecated, library)2013-06-100.6MarcCoiffier
ComonadSheet30.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)70.01A generalization for containers that can be stripped of Nothing (bsd3, control, deprecated, library)2017-03-060.1.0.2fresheyeball
Concurrential140.01Mix concurrent and sequential computation (bsd3, control, library)2015-09-040.5.0.1alexvieth
Configurable30.01Declare types as Configurable then specialize them all in one place (control, library, mit)2012-10-190.1.0.0JosephAbrahamson
ConstraintKinds190.06Repackages standard type classes with the ConstraintKinds extension (bsd3, control, library)2014-05-201.3.0MikeIzbicki
ContArrow120.01Control.Arrow.Transformer.Cont (bsd3, control, library)2009-09-210.0.5EvgenyJukov
Control-Engine (deprecated)270.01A parallel producer/consumer engine (thread pool) (bsd3, control, deprecated, library)2009-08-181.1.0.1ThomasDuBuisson
Control-Monad-MultiPass30.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
DeepArrow190.03Arrows for "deep application" (bsd3, combinators, control, library)2013-08-130.4.0ConalElliott
EitherT (deprecated in favor of either)50.04EitherT monad transformer (bsd3, control, deprecated, library)2012-04-220.2.0EyalLotem
Empty50.01A type class for empty containers (bsd3, control, library)2017-03-020.1.0.1fresheyeball
Etage280.02A general data-flow framework (ai, control, lgpl, library)2014-05-100.1.12MitarMilutinovic
FailT1552.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
FastPush100.01A monad and monad transformer for pushing things onto a stack very fast. (bsd3, control, library)2017-02-260.1.0.3wyager
ForkableT80.02Forkable monad transformers (bsd3, control, library)2015-01-180.1.0.2AndrasSlemmer
Get30.01get stuff out of stuff (bsd3, control, library)2018-01-100.2018.1.10MarisaVeryMoe
GotoT-transformers50.02A monad and monadic transformer providing "goto" functionality (bsd3, control, library)2012-07-221.0.0.1GregoryCrosswhite
IfElse440.012Anaphoric and miscellaneous useful control-flow (bsd3, control, library)2008-12-240.85IvanPerez, JeffersonHeard, keera_studios_ci
ImperativeHaskell302.01A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-072.0.0.1MatthewMirman
InfixApplicative70.04liftA2 for infix operators. (bsd3, control, library)2009-12-241.1ThomasDavie
JuicyPixels-util70.05Convert JuicyPixel images into RGBA format, flip, trim and so on (bsd3, control, library)2014-10-180.2FumiakiKinoshita
Kleislify70.02Variants of Control.Arrow functions, specialised to kleislis. (bsd3, control, library)2012-05-150.0.4DylanJust
Kriens60.01Category for Continuation Passing Style (bsd3, control, library)2015-12-070.1.0.1matteo_provenzano
List750.08List monad transformer and class (bsd3, control, library)2017-09-270.6.2YairChuchem
ListT (deprecated)40.01List transformer (bsd3, control, deprecated, library)2017-12-140.1.2.0
LogicGrowsOnTrees120.04a parallel implementation of logic programming using distributed tree exploration (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.1.0.2GregoryCrosswhite
LogicGrowsOnTrees-MPI70.01an adapter for LogicGrowsOnTrees that uses MPI (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.0.0.1.1GregoryCrosswhite
LogicGrowsOnTrees-network130.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-processes100.01an adapter for LogicGrowsOnTrees that uses multiple processes for parallelism (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.0.0.2GregoryCrosswhite
MHask70.01The category of monads (bsd3, control, library)2013-08-060.3.0.0DanBurton
MaybeT70.021MaybeT monad transformer (bsd3, control, library)2008-12-210.1.2CaleGibbard, DonaldStewart, EricKidd
MaybeT-monads-tf (deprecated in favor of monads-tf)40.01MaybeT monad transformer compatible with monads-tf (deprecated) (bsd3, control, deprecated, library)2011-06-220.2.0.1BenMillwood
MaybeT-transformers60.03MaybeT monad transformer using transformers instead of mtl. (bsd3, control, library)2010-06-280.2ErikHesselink, SebastiaanVisser
Mecha30.01mecha are the most complex composite machines known to humanity, lets build them well! (bsd2, concurrency, control, data, library, network, system)2016-08-110.0.0.0CarterSchonwald
Mechs40.01mecha are the most complex composite machines known to humanity, lets build them well! (bsd2, concurrency, control, data, library, network, system)2016-08-110.0.0.0CarterSchonwald
MissingM40.01findM and other missing 'M's (bsd3, control, library)2012-11-150.0.4DylanJust
MonadCatchIO-mtl (deprecated in favor of exceptions)140.020Monad-transformer version of the Control.Exception module (bsd3, control, deprecated, library)2014-01-040.3.1.0DanielGorin
MonadCatchIO-mtl-foreign (deprecated)30.01Polymorphic combinators for working with foreign functions (bsd3, control, deprecated, library)2010-05-290.1AntoineLatter
MonadCatchIO-transformers (deprecated in favor of exceptions)290.073Monad-transformer compatible version of the Control.Exception module (bsd3, control, deprecated, library)2014-12-230.3.1.3AriePeterson
MonadCatchIO-transformers-foreign (deprecated)30.03Polymorphic combinators for working with foreign functions (bsd3, control, deprecated, library)2010-05-290.1AntoineLatter
MonadPrompt450.06MonadPrompt, implementation & examples (bsd3, control, library)2014-09-141.0.0.5CaleGibbard, JamesCook, RyanIngram
MonadRandom3222.0144Random-number generation monad. (bsd3, control, library)2022-11-050.6BrentYorgey, CaleGibbard, EricKidd, LukePalmer, PaoloVeronelli, PatrickPalka
MonadRandomLazy70.01Lazy monad for psuedo random-number generation. (bsd3, control, library)2015-12-290.1.1.1NormanRamsey
MonadStack70.01Generalizing lift to monad stacks (bsd2, control, library)2015-07-130.1.0.3bhurt
Monatron60.03Monad transformer library with uniform liftings (bsd3, control, library)2010-05-120.3.1TomSchrijvers
Monatron-IO30.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
PermuteEffects80.01Permutations of effectful computations (bsd3, control, library)2011-01-160.2MartijnVanSteenbergen
ProbabilityMonads30.01Probability distribution monads. (bsd3, control, library)2007-10-070.1.0EricKidd
ReplicateEffects60.02Composable replication schemes of applicative functors (bsd3, control, library)2012-12-270.3MartijnVanSteenbergen
RichConditional30.01Tiny library to replace classic if/else (control, library, mit)2015-02-160.1.0.0alexvieth
RoyalMonad90.01All hail the Royal Monad! (bsd3, control, library)2015-09-231000.9AtzeVanDerPloeg
SciFlow260.02Scientific workflow management system (control, library, mit)2019-05-260.7.0kaizhang
SciFlow-drmaa30.00Scientific workflow management system (control, library, mit)2019-05-260.1.0kaizhang
THEff110.01TH implementation of effects. (bsd3, control, effect, library, th-)2017-01-220.1.4kolodeznydiver
Tainted100.01Tainted type, and associated operations (bsd3, control, data, library, monads, trans)2015-05-270.1.0.2RossMeikleham
TotalMap52.01A total map datatype (control, library, mit)2019-09-130.1.1.1edwardwas
TreeT30.01Transformer for Data.Tree (control, library, monads, public-domain)2011-09-170.0RahulGopinath
TypeCompose1070.031Type composition classes & instances (bsd3, composition, control, library)2018-11-070.9.14ConalElliott
Workflow952.02Workflow patterns over a monad for thread state logging & recovery (bsd3, control, library, workflow)2015-05-010.8.3AlbertoCorona
abstract-par720.011Type classes generalizing the functionality of the 'monad-par' library. (bsd3, control, library, monads, parallelism)2013-11-060.3.3RyanNewton
acme-iot60.01IO monad transformer (control, library, mit)2016-08-130.1.0.1mniip
action-permutations150.03Execute a set of actions (e.g. parsers) in each possible order (bsd3, control, library)2014-04-110.0.0.1RossPaterson
allocated-processor50.04Functional combinators for monadic actions that require allocation and de-allocation (bsd3, control, library)2010-05-230.0.2NoamLewis
alternative-extra40.01Extra utilities for alternatives (bsd3, control, library)2017-02-200.1.0.0marcosdumay
alternators110.03Handy functions when using transformers. (bsd3, control, library)2018-07-021.0.0.0louispan
annotated-exception362.00Exceptions, with checkpoints and context. (bsd3, control, library)2022-08-160.2.0.4parsonsmatt
ap-normalize1340.02Self-normalizing applicative expressions (control, library, mit)2021-05-250.1.0.1lyxia
apart70.00Get all your structure and rip it apart. (bsd3, control, data, library, program)2018-09-280.1.3iokasimovmt
apecs1152.255Fast Entity-Component-System library for game programming (bsd3, control, data, game, library)2023-04-010.9.5AlexanderBondarenko, jonascarpay
apecs-stm210.00STM stores for apecs (bsd3, control, data, game, library)2021-08-070.1.5jonascarpay
applicative-extras200.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-splice30.01Write applicative programs in direct style (generalizes idiom brackets). (control, library, public-domain)2016-04-170.0.0.0AkioTakano
arity-generic-liftA40.00Provides an arity-generic version of the liftA2, liftA3... liftAn functions. (control, library, mit)2018-12-310.1.0.0oisdk
arrow-extras110.01Extra functions for Control.Arrow (bsd3, control, library)2017-03-150.1.0.1louispan
arrow-improve30.01Improved arrows. (control, library, mit)2014-02-180.1.0.0alynn
arrow-list280.01List arrows for Haskell. (bsd3, control, library)2020-10-180.7.1AdamBergmark, ErikHesselink, SebastiaanVisser
arrow-utils80.00functions for working with arrows (arrows, bsd3, combinators, control, library)2022-01-250.1.1miguel_negrao
arrowapply-utils60.02Utilities for working with ArrowApply instances more naturally (bsd3, control, library)2012-03-180.2AndrewMiller
arrows640.031Arrow classes and transformers (bsd3, control, library)2018-03-310.4.4.2RossPaterson
artery50.01A simple, arrow-based reactive programming (bsd3, control, frp, library)2014-09-090.1.1FumiakiKinoshita
assert100.05Helpers for Control.Exception.assert (bsd3, control, library)2013-11-180.0.1.2LiyangHu, haskell_github_trust
assert-failure342.02Syntactic sugar improving 'assert' and 'error' (bsd3, contract, control, library)2022-07-030.1.2.6MikolajKonarski
async-refresh130.01Package implementing core logic for refreshing of expiring data. (bsd3, control, library)2018-03-200.3.0.0mtesseract
async-refresh-tokens160.01Package implementing core logic for refreshing of expiring access tokens (bsd3, control, library)2018-03-210.4.0.0mtesseract
asynchronous-exceptions (deprecated)40.01Distinguish between synchronous and asynchronous exceptions (control, deprecated, library, mit)2014-02-051.1.0.1RomanCheplyaka
atl (deprecated)100.02Arrow Transformer Library (bsd3, control, deprecated, library)2016-09-2817072
attoparsec-trans150.02Interleaved effects for attoparsec parsers (control, library, mit)2015-06-160.1.1.0srijs
auto352.251Denotative, locally stateful programming DSL & platform (control, library, mit)2017-01-140.4.3.1jle
auto-update2270.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)40.01A monad transformer for backtracking exceptions (bsd3, control, deprecated, library)2014-08-220.1.0.0
backward-state100.01A state monad that runs the state in reverse through the computation (bsd3, control, library, monads)2013-01-140.1.0.2LukePalmer
barrier-monad50.01Implementation of barrier monad, can use custom front/back type (control, library, public-domain)2011-12-010.1.0.1AaronBlack
basic-prelude1152.2534An enhanced core prelude; a common foundation for alternate preludes. (control, library, mit, prelude)2017-12-050.7.0DanBurton, MichaelSnoyman
billeksah-main30.01Leksah plugin base (control, program)2011-11-291.0.0JuergenNicklischFranken
billeksah-main-static40.01Leksah plugin base (control, program)2011-11-291.0.0JuergenNicklischFranken
billeksah-services40.03Leksah library (control, library)2011-11-291.0.0JuergenNicklischFranken
boolean-like90.01Logical combinatory operations dealing with datatypes representing booleans by their constructors. (bsd3, control, library)2016-09-220.1.1.0Shou
break80.01Break from a loop (bsd3, control, library)2017-04-071.0.2GabrielGonzalez
bytestring-progress490.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-haz270.01Generic implementation of the Has and CoHas patterns (bsd3, control, library)2023-01-180.3.1.10xd34df00d
capability252.01Extensional capabilities and deriving combinators (bsd3, control, library)2022-03-210.5.0.1aherrmann
capataz160.01OTP-like supervision trees in Haskell (concurrency, control, library, mit)2019-05-210.2.1.0RomanGonzalez
caps40.00Monadic capabilities with late binding (bsd3, control, library)2021-03-140.1int_index
cas-hashable52.03A hashing class for content-addressed storage (control, library, mit)2020-03-091.0.1YvesPares
cas-hashable-s340.00ContentHashable instances for S3 objects (control, library, mit)2020-03-091.0.0YvesPares
cas-store82.01A content-addressed storage (control, library, mit)2020-06-011.1.0YvesPares
catch-fd130.02MonadThrow and MonadCatch, using functional dependencies (bsd3, control, library)2012-10-120.2.0.2AndySonnenburg
categories480.07Categories (bsd3, control, library)2015-01-061.0.7EdwardKmett
category (deprecated)201.2511Categorical types and classes (bsd3, control, deprecated, library, math)2019-12-240.2.5.0
category-extras500.011A meta-package documenting various packages inspired by category theory (bsd3, comonads, control, library, monads)2012-04-061.0.2DanDoel, DanielWagner, EdwardKmett, RussellOConnor
cflp460.01Constraint Functional-Logic Programming in Haskell (bsd3, control, library)2009-06-042009.2.1SebastianFischer
chr-core100.02Constraint Handling Rules (bsd3, control, library)2022-09-160.1.1.0AtzeDijkstra
churros220.00Channel/Arrow based streaming computation library. (control, data, library, mit)2022-10-160.1.6.0LyndonMaydwell
classy-parallel40.02Fork of the monad-parallel package using monad-control (control, gpl, library)2012-07-310.1.0.0SamAnklesaria
classy-prelude1920.057A typeclass-based Prelude. (control, library, mit, prelude)2021-12-071.5.0.2GregWeber, MichaelSnoyman
classy-prelude-conduit1210.010classy-prelude together with conduit functions (control, library, mit, prelude)2018-10-081.5.0GregWeber, MichaelSnoyman
classy-prelude-yesod1040.08Provide a classy prelude including common Yesod functionality. (control, library, mit, yesod)2018-10-081.5.0GregWeber, MichaelSnoyman
cleff311.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-haskell70.01The Cloud Haskell Application Platform (bsd3, control, library)2016-07-300.3.0.0FacundoDominguez, TimWatson
codecov-haskell121.251Codecov.io support for Haskell. (bsd3, control, library, program)2017-06-170.5.0killy971
coercible-utils50.03Utility functions for Coercible types (bsd3, control, library)2019-09-100.1.0sjakobi, chessai, koz_ross
commandert130.01A monad for commanders (control, library, mit)2022-01-210.1.1.1sgschlesinger
comonad3442.5160Comonads (bsd3, comonads, control, library)2020-12-305.0.8EdwardKmett, EricMertens, ryanglscott
comonad-extras610.04Exotic comonad transformers (bsd3, comonads, control, library)2020-02-214.0.1EdwardKmett
comonad-random (deprecated)50.01Comonadic interface for random values (control, deprecated, library)2009-07-210.1.2JakeMcArthur
comonad-transformers (deprecated in favor of comonad)750.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)410.010This package has been merged into comonad 4.0 (bsd3, comonads, control, deprecated, library)2013-10-134.0EdwardKmett
compactable412.259A typeclass for structures which can be catMaybed, filtered, and partitioned. (bsd3, control, library)2022-01-090.2.0.0fresheyeball
composition-prelude2372.032Higher-order function combinators (bsd3, control, data, library)2020-11-103.0.0.2vmchale
computations30.01Advanced notions of computation (bsd3, control, library)2015-05-030.0.0.0WolfgangJeltsch
concatenative170.04A library for postfix control flow. (bsd3, control, library)2010-07-021.0.1SamAnklesaria
concurrent-machines360.03Concurrent networked stream transducers (bsd3, concurrency, control, library)2022-03-110.3.1.5AnthonyCowley
concurrent-state470.01MTL-like library using TVars (control, library, mit)2014-01-270.6.0.0JoelTaylor
cond352.016Basic conditional and boolean operators with monadic variants. (bsd3, control, library, logic, monad)2014-11-230.4.1.1AdamCurtis
conduino130.01Lightweight composable continuation-based stream processors (bsd3, control, library)2020-01-080.2.2.0jle
conkin40.01Tools for functors from Hask^k to Hask (control, library, public-domain)2017-10-261.0.2NoahEasterly
constrained-categories430.07Constrained clones of the category-theory type classes, using ConstraintKinds. (control, gpl, library)2023-05-180.4.2.0leftaroundabout
constrained-monads150.01Typeclasses and instances for monads with constraints. (control, library, mit)2017-03-310.5.0.0oisdk
constrained-normal90.01Normalised Deep Embeddings for Constrained Type-Class Instances (bsd3, control, library)2014-06-091.0.2NeilSculthorpe
constraint-manip60.02Some conviencience type functions for manipulating constraints. (control, library, mit)2017-10-160.1.1.0clinton
constrictor150.02strict versions of many things in base (control, library, mit)2018-05-310.1.2.0chessai
continue90.01Monads with suspension and arbitrary-spot reentry (bsd3, control, library)2013-04-210.2.0ErtugrulSoeylemez, esz
contravariant2882.5173Contravariant functors (bsd3, control, data, library)2021-07-271.5.5EdwardKmett, EricMertens, ryanglscott
contravariant-extras630.08Extras for the "contravariant" package (control, library, mit)2021-11-020.3.5.3NikitaVolkov
control (deprecated)150.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-bool140.05Useful combinators for boolean expressions (bsd3, control, library)2013-12-080.2.1FumiakiKinoshita
control-dotdotdot60.01Haskell operator `g ... f = \x1 .. xn -> g (f x1 .. xn)`. (bsd3, control, library)2018-01-210.1.0.1erisco
control-dsl191.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-event330.02Event scheduling system. (bsd3, control, library)2019-05-171.3ThomasDuBuisson
control-invariants30.02Invariants and contract monitoring (control, library, mit)2016-10-280.1.0.0SimonHudon, bandali
control-iso80.01A typeclass for type isomorphisms (bsd3, control, library)2019-02-040.1.0.2fresheyeball
control-monad-exception880.08Explicitly typed, checked exceptions with stack traces (control, failure, library, monads)2020-07-060.11.4PepeIborra
control-monad-exception-monadsfd160.01Monads-fd instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-exception-monadstf190.01Monads-tf instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-exception-mtl150.01MTL instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-failure (deprecated)140.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)70.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-free560.03Free monads and monad transformers (control, library, monads, public-domain)2018-10-060.6.2LukePalmer, PepeIborra
control-monad-loop120.08Simple monad transformer for imperative-style loops (bsd3, control, library)2012-07-080.1JoeyAdams
control-monad-omega172.07A breadth-first list monad. (control, library, public-domain)2019-09-170.3.2LukePalmer
control-monad-queue170.01Reusable corecursive queues, via continuations. (bsd3, control, library)2015-12-190.2.0.1LeonSmith
control-timeout (deprecated)40.03Timeout handling (bsd3, control, deprecated, library)2008-02-010.1.2AdamLangley
contstuff (deprecated)210.07Fast, easy to use CPS-based monad transformers (bsd3, control, deprecated, library, monads)2011-05-191.2.6ErtugrulSoeylemez, esz
contstuff-monads-tf (deprecated)50.01ContStuff instances for monads-tf transformers (deprecated) (bsd3, control, deprecated, library, monads)2010-11-240.2.1ErtugrulSoeylemez, esz
contstuff-transformers (deprecated)40.01Deprecated interface between contstuff 0.7.0 and the transformers package (bsd3, control, deprecated, library, monads)2010-12-270.1.1ErtugrulSoeylemez, esz
conversion200.09Universal converter between values of different types (control, conversion, data, library, mit)2016-04-121.2.1NikitaVolkov
conversion-bytestring190.01"Conversion" instances for the "bytestring" library (control, conversion, data, library, mit)2022-05-041.0.1.1NikitaVolkov
conversion-case-insensitive40.02"Conversion" instances for the "case-insensitive" library (control, conversion, data, library, mit)2015-04-231.0.0.0NikitaVolkov
conversion-text210.04"Conversion" instances for the "text" library (control, conversion, data, library, mit)2022-05-041.0.1.1NikitaVolkov
corecursive-main30.00Write your main like it can call itself back. (bsd3, control, library, program)2018-08-190.1.0.0LucasDiCioccio
coroutine-object180.02Object-oriented programming realization using coroutine (bsd3, control, library)2016-02-050.3.0IanWooKim
coverage120.01Exhaustivity Checking Library (control, library, mit)2016-02-170.1.0.4NicolasDelPiano
cr90.01Code review tool (control, gpl, network, program, system)2012-12-031.2AlexandruScvortov
crem32.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-prelude60.03An enhanced prelude, serving as a foundation for my projects (control, library)2012-10-020.2.2.0AnupamJain
daemons300.03Daemons in Haskell made fun and easy (control, gpl, library, network, program, system)2020-02-030.3.0AlexandruScvortov
data-fresh70.01Interface and functor transformers for fresh values (bsd3, control, library)2013-09-080.2013.251.0StijnVanDrongelen
data-lens610.048Used to be Haskell 98 Lenses (bsd3, comonads, control, library)2018-01-012.11.2EdwardKmett, RussellOConnor
data-lens-fd300.09Lenses (bsd3, comonads, control, library)2016-07-172.0.6EdwardKmett, RussellOConnor
data-lens-ixset (deprecated in favor of data-store, tables, lens)80.01A Lens for IxSet (bsd3, comonads, control, data-structures, deprecated, library)2012-01-150.1.4DagOdenhall
decepticons40.01The categorical dual of transformers. (bsd3, control, library)2013-05-070.1.0.0JoeQuinn
deep-transformations80.02Deep natural and unnatural tree transformations, including attribute grammars (bsd3, control, generics, library)2023-04-030.2.1.1MarioBlazevic
deepcontrol360.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
deepseq1642.51359Deep evaluation of data structures (bsd3, control, library)2022-12-181.4.8.1HerbertValerioRiedel, chessai, melaniebrown
deepseq-bounded340.02Bounded deepseq, including support for generic deriving (bsd3, control, library)2015-02-040.8.0.0AndrewSeniuk
deepseq-generics540.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-magic120.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)80.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-t470.04Dependency injection for records-of-functions. (bsd3, control, library)2023-01-150.6.8.0DanielDiazCarrete
dep-t-advice340.00Giving good advice to functions in records-of-functions. (bsd3, control, library)2022-10-230.6.2.0DanielDiazCarrete
dep-t-dynamic80.00A dynamic environment for dependency injection. (bsd3, control, library)2022-11-080.1.1.0DanielDiazCarrete
dep-t-value30.00Pair resources files with types within your program. (bsd3, control, library)2022-04-170.1.0.0DanielDiazCarrete
deriving-trans560.00Derive instances for monad transformer stacks (bsd3, control, library)2023-02-200.8.1.0jumper149
despair70.01Despair (bsd3, control, library)2015-12-010.0.6Heather
disposable (deprecated in favor of glazier-react)100.02Allows storing different resource-releasing actions together. (bsd3, control, deprecated, library)2018-07-021.0.0.0louispan
distributed-closure302.07Serializable closures for distributed programming. (bsd3, control, library, program)2019-12-290.4.2.0AlpMestanogullari, FacundoDominguez, MathieuBoespflug
distributed-fork (deprecated)60.01Like 'forkIO', but uses remote machines instead of local threads. (bsd3, control, deprecated, library)2018-06-150.0.1.3utdemir
distributed-fork-aws-lambda (deprecated)70.01AWS Lambda backend for distributed-fork. (bsd3, control, deprecated, library)2018-06-150.0.2.0utdemir
distributed-process892.530Cloud Haskell: Erlang-style concurrency in Haskell (bsd3, control, library)2018-06-120.7.4EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson, davidsd, JoelMcCracken
distributed-process-async200.06Cloud Haskell Async API (bsd3, control, library)2018-06-140.2.6FacundoDominguez, MathieuBoespflug, TimWatson, davidsd
distributed-process-client-server230.09The Cloud Haskell Application Platform (bsd3, control, library)2018-06-140.2.5.1FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-execution90.02Execution Framework for The Cloud Haskell Application Platform (bsd3, control, library)2016-02-180.1.2.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-extras230.011Cloud Haskell Extras (bsd3, control, library)2018-06-130.3.5FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-fsm40.01The Cloud Haskell implementation of Erlang/OTP gen_statem (bsd3, control, library)2017-03-260.0.1TimWatson
distributed-process-lifted150.02monad-control style typeclass and transformer instances for Process monad. (bsd3, cloud-haskell, control, library)2018-02-250.3.0.1jeremyjh
distributed-process-monad-control140.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)20.02The Cloud Haskell Application Platform (bsd3, control, deprecated, library)2014-06-130.1.0FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-registry70.01Cloud Haskell Extended Process Registry (bsd3, control, library)2016-02-180.1.0.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-simplelocalnet431.56Simple zero-configuration backend for Cloud Haskell (bsd3, control, library)2017-08-220.2.4EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-supervisor110.04Supervisors for The Cloud Haskell Application Platform (bsd3, control, library)2018-06-140.2.1FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-systest60.01Cloud Haskell Test Support (bsd3, cloud-haskell, control, library)2017-02-050.1.1TimWatson
distributed-process-task90.02Task Framework for The Cloud Haskell Application Platform (bsd3, cloud-haskell, control, library)2016-02-180.1.2.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-tests300.01Tests and test support tools for distributed-process. (bsd3, cloud-haskell, control, library)2017-10-050.4.11FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-zookeeper100.01A Zookeeper back-end for Cloud Haskell. (bsd3, cloud-haskell, control, library)2017-09-090.2.3.0jeremyjh
distributed-static450.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)50.01An alternative to monads (bsd3, control, deprecated, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-020.1.0.3yangbo
drinkery370.01Boozy streaming library (bsd3, control, library)2018-07-180.4FumiakiKinoshita
edenmodules70.03Semi-explicit parallel programming library (bsd3, control, distributed-computing, eden, library, parallelism)2014-04-061.2.0.0MischaDieterle, JostBerthold, horstmeyer
effect-handlers200.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-monad142.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-stack140.00Reducing the pain of transformer stacks with duplicated effects (bsd3, control, library)2019-07-140.3DanielWagner
effectful492.51An easy to use, performant extensible effects library. (bsd3, control, library)2023-01-112.2.2.0arybczak
effectful-core720.013An easy to use, performant extensible effects library. (bsd3, control, library)2023-03-132.2.2.2arybczak
effectful-plugin290.00A GHC plugin for improving disambiguation of effects. (bsd3, control, library)2023-03-131.1.0.1arybczak
effectful-th280.00Template Haskell utilities for the effectful library. (bsd3, control, library)2023-01-131.0.0.1arybczak
effects190.02Computational Effects (bsd3, control, library, monads)2019-04-130.2.4SjoerdVisscher
effects-parser40.01Parser Effect for the Control.Effects Library (bsd3, control, library, monads)2013-09-150.1JesseMcDonald
effet140.00An Effect System based on Type Classes (bsd3, control, library)2020-12-240.4.0.0MichaelSzvetits
effin230.03A Typeable-free implementation of extensible effects (bsd3, control, effect, library)2017-08-030.3.0.3AnthonyVandikas
either3122.0283Combinators for working with sums (bsd3, control, library, monads)2022-05-085.0.2EdwardKmett, ryanglscott, GeorgeWilson
elevator210.04Immediately lifts to a desired level (bsd3, control, library)2015-04-010.2.3FumiakiKinoshita
elision180.00Arrows with holes. (bsd2, control, library, program)2016-02-180.1.3.2jacrough
enclosed-exceptions982.023Catching all exceptions from within an enclosed computation (control, library, mit)2018-07-111.0.3MichaelSnoyman, jcristovao
enum-text-rio60.01Making fmt available with rio (bsd3, control, library, program)2019-07-231.2.0.0ChrisDornan
error-context130.01Provides API for enriching errors with contexts (bsd3, control, error-handling, library)2018-04-100.2.0.1mtesseract
error-continuations40.01Error Continuations (control, library, public-domain)2015-01-050.1.0.0echatav
error-list80.02A useful type for collecting error messages. (control, library, mit)2015-06-180.1.0.3thinkpad20
errorcall-eq-instance (deprecated in favor of base-orphans)170.02An orphan Eq instance for ErrorCall (control, deprecated, library, mit)2015-04-220.3.0SimonHengel
errors1742.25140Simplified error-handling (bsd3, control, error-handling, library)2018-05-112.3.0GabrielGonzalez
errors-ext260.01`bracket`-like functions for `ExceptT` over `IO` monad. (control, error-handling, library)2018-07-170.4.2warlock
eternal330.01everything breaking the Fairbairn threshold (bsd3, control, library)2016-07-240.1.7Heather
ether (deprecated)152.252Monad transformers and classes (bsd3, control, deprecated, library)2017-06-030.5.1.0int_index
eveff130.00Efficient effect handlers based on evidence translation. (control, effect, library, mit)2021-07-191.0.0.2ningningxie
event-driven40.02library for event driven programming (bsd3, control, library)2010-07-160.0.2YoshikuniJujo
event-handlers40.02Event handlers (control, data, library, public-domain)2008-12-150.0.0.3JamesCook
event-monad130.01Event-graph simulation monad transformer (control, library, public-domain)2010-01-110.0.3JamesCook
event-transformer (deprecated)20.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)30.01Exception monad transformer instances for monads-fd classes. (bsd3, control, deprecated, error-handling, failure, library, monad)2010-10-060.2GeoffreyMainland
exception-monads-tf210.01Exception monad transformer instances for monads-tf classes. (bsd3, control, error-handling, failure, library, monad)2017-05-030.4.0.1GeoffreyMainland
exception-mtl810.03Exception monad transformer instances for mtl classes. (bsd3, control, error-handling, failure, library, monad)2023-03-220.4.0.2GeoffreyMainland
exception-transformers1100.019Type classes and monads for unchecked extensible exceptions. (bsd3, control, error-handling, failure, library, monad)2021-11-200.4.0.11GeoffreyMainland, TroelsHenriksen
exceptional320.01Essentially the Maybe type with error messages. (bsd2, control, library)2015-07-220.3.0.0pharpend
exceptions3242.0948Extensible 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
exhaustive230.01Compile time checks that a computation considers producing data through all possible constructors (bsd3, control, library)2020-06-171.1.9OliverCharles
exitcode170.02Monad transformer for exit codes (bsd3, control, library)2022-03-170.1.0.6TonyMorris, qfpl, GeorgeWilson
explicit-exception730.028Exceptions which are explicit in the type signature. (bsd3, control, library)2023-01-140.2HenningThielemann
explicit-sharing340.01Explicit Sharing of Monadic Effects (control, library, monads, public-domain)2011-06-300.9SebastianFischer
extensible-effects1302.2512An Alternative to Monad Transformers (control, effect, library, mit)2019-01-035.0.0.1BenFoppa, SvenHeyll, shergill, sickmind
extensible-effects-concurrent1462.00Message passing concurrency as extensible-effect (bsd3, concurrency, control, effect, library, program)2020-12-162.0.0SvenHeyll
extensible-exceptions1170.088Extensible exceptions (bsd3, control, library)2012-02-020.1.1.4IanLynagh
failable290.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)190.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-rio40.00Adaptor for getting fmt to work with rio (bsd3, control, library, text)2019-07-231.0.0.0ChrisDornan
fold-debounce660.03Fold multiple events that happen in a given period of time. (bsd3, control, library)2023-04-050.2.0.11debugito
foldl3942.5113Composable, streaming, and efficient left folds (bsd3, control, library)2023-01-151.4.14GabrielGonzalez
foldl-exceptions72.00Exception handling with FoldM (control, library, mit)2023-01-111.0.0.2chris_martin, Monoid_Mary
foldl-incremental122.01incremental folds (control, library, mit, statistics)2015-02-230.2.0.0tonyday
foldl-transduce612.01Transducers for foldl folds. (bsd3, control, library)2021-03-190.6.0.1DanielDiazCarrete
foldl-transduce-attoparsec90.01Attoparsec and foldl-transduce integration. (bsd3, control, library)2016-02-120.2.0.0DanielDiazCarrete
for-free40.01Functor, Monad, MonadPlus, etc for free (control, library, public-domain)2012-07-090.1AaronBlack
forbidden-fruit40.01A library accelerates imperative style programming. (bsd3, control, library)2015-02-240.1.0minpou
forest140.01Tree and Forest types (control, library, mpl)2018-08-020.2.1.1ShaneOBrien
free6982.5196Monads for free (bsd3, control, library, monads)2023-03-125.2EdwardKmett, EricMertens, JohnWiegley, ryanglscott
free-algebras502.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-categories140.01free categories (bsd3, control, library)2020-09-290.2.0.2echatav
free-category292.01efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2023-06-040.0.4.5coot
free-er40.00An extensible effects library (bsd3, control, effect, library, program)2017-10-100.1.0.0OmerAgacan
free-operational130.02Operational Applicative, Alternative, Monad and MonadPlus from free types. (bsd3, control, library)2013-08-080.5.0.0LuisCasillas
free-vl140.00van Laarhoven encoded Free Monad with Extensible Effects (bsd3, control, library, monads, program)2016-02-100.1.4aaronlevin
freer342.250Implementation of the Freer Monad (bsd3, control, library, program)2016-11-250.2.4.1alleledev
freer-effects92.02Implementation of effect system for Haskell. (bsd3, control, library, program)2017-04-160.3.0.1MatejKollar, PeterTrsko, TomasJanousek
freer-simple732.010A friendly effect system for Haskell. (bsd3, control, library, program)2022-01-071.2.1.2lexi_lambda
freer-simple-catching40.01Checked runtime exceptions with freer-simple (control, library, mit)2018-11-120.1.0.0benweitzman
freer-simple-http50.01Make HTTP requests with freer-simple! (control, http, library, mit, web)2018-11-120.1.0.0benweitzman
freer-simple-profiling30.01Automatic profling of freer-simple programs (benchmarking, control, library, mit, profiling)2018-11-120.1.0.0benweitzman
freer-simple-random50.01Random number generators using freer-simple (control, library, mit, random)2018-11-120.1.0.0benweitzman
freer-simple-time40.01freer-simple interface to IO based time functions (control, library, mit, time)2018-11-120.1.0.0benweitzman
fresnel70.01high-powered optics in a small package (bsd3, control, library)2022-02-260.0.0.1robrix
fresnel-fused-effects40.00fresnel/fused-effects integration (bsd3, control, library)2022-02-260.0.0.0robrix
from-sum222.01Combinators for working with Maybe and Either (bsd3, control, library)2020-01-250.2.3.0cdepillabout
frpnow232.54Principled practical FRP (bsd3, control, library)2015-08-250.18AtzeVanDerPloeg
frpnow-gloss70.01Program awesome stuff with Gloss and frpnow! (bsd3, control, library)2015-07-140.12AtzeVanDerPloeg
frpnow-gtk60.01Program GUIs with GTK and frpnow! (bsd3, control, library)2015-07-140.11AtzeVanDerPloeg
frpnow-vty60.00Program terminal applications with vty and frpnow! (control, gpl, library, program)2018-03-190.2.0.1JaroReinders
fsharp (deprecated)70.02some F# operators, high priority pipes (bsd3, control, deprecated, library)2014-02-180.0.4Heather
full-sessions200.01a monad for protocol-typed network programming (bsd3, control, library, network)2012-01-230.6.2.1KeigoImai
function-combine50.01Combining functions (bsd3, control, library)2011-09-230.1.0IainAlexander
functor (deprecated in favor of category)20.01Functors (bsd3, control, deprecated, library, math)2017-11-160.1.0.0
functor-apply (deprecated in favor of semigroupoids)230.06This package has been subsumed by semigroupoids (bsd3, control, deprecated, library)2011-01-300.11EdwardKmett
functors30.01(.:) and friends, syntax for Functor and Applicative. (bsd3, control, library)2010-11-280.1AristidBreitkreuz
funflow232.02Workflows with arrows (control, library, mit, program)2020-03-091.6.0nclarke
fused-effects882.7516A fast, flexible, fused effect system. (bsd3, control, library)2022-10-051.1.2.1patrick_thomson, robrix, joshvera
fused-effects-exceptions300.00Handle exceptions thrown in IO with fused-effects. (bsd3, control, control., library)2021-06-081.1.0.1patrick_thomson, robrix
fused-effects-lens232.01Monadic lens combinators for fused-effects. (bsd3, control, library)2020-07-101.2.0.1patrick_thomson, robrix
fused-effects-mwc-random30.00High-quality random number generation as an effect. (bsd3, control, library)2020-10-050.1.0.0patrick_thomson
fused-effects-optics130.00Bridge between the optics and fused-effects ecosystems. (bsd3, control, library)2022-07-130.2.1.0patrick_thomson
fused-effects-random90.00Random number generation for fused-effects. (bsd3, control, library)2020-07-121.1.0.0patrick_thomson, robrix
fused-effects-resumable40.00Resumable exceptions for the fused-effects ecosystem. (bsd3, control, library)2019-11-130.1.0.0patrick_thomson
fused-effects-squeal52.250A fused-effects adapter for squeal-postgresql. (bsd3, control, library)2020-01-260.1.0.0iko
fused-effects-th110.00Template Haskell helpers for fused-effects. (bsd3, control, library)2021-04-070.1.0.3patrick_thomson, robrix
future-resource60.02realtime resource handling with manual concurrency (control, lgpl, library)2015-04-220.4.0.0capsjac
gang-of-threads170.01Non-deterministic parallelism with bags (bsd3, control, library, parallelism)2014-07-223.2.1bholst
garlic-bread50.01A monad transformer for keeping track of where you've come from. (bsd3, control, library)2018-03-170.1.0.1parsonsmatt
gas30.01Limit how many steps a program may take. (bsd3, control, library)2018-08-140.0.0.1rightfold
general-allocate160.02Exception-safe resource management in more monads (apache, control, exceptions, library)2023-03-010.2.1.4shlevy
general-prelude (deprecated)40.01Prelude replacement using generalized type classes where possible (bsd3, control, data, deprecated, library)2012-12-180.1.2JohnWiegley
generator140.01Python-generators notation for creation of monadic lists (bsd3, control, library)2015-05-280.5.5YairChuchem
generators (deprecated)50.01Actually useful monadic random value generators. (bsd3, control, deprecated, library)2010-06-251.0.3LiamOConnorDavis
generic-deepseq100.01Generic deep evaluation of data structures (bsd3, control, generics, library)2012-02-282.0.1.1MaximeHenrion
ghc-call-stack-extras70.01Extra utilities for HasCallStack (bsd3, control, library)2018-03-140.1.0.2dfeuer
gooey70.01Graphical user interfaces that are renderable, change over time and eventually produce a value. (control, library, mit)2015-10-060.1.0.0SchellScivally
grab142.01Applicative non-linear consumption (control, library, mit)2022-06-200.0.0.8chris_martin, Monoid_Mary
graphted170.01Graph indexed monads. (bsd3, comonads, control, library, monads)2017-05-090.3.1.0AaronFriel
groupoids (deprecated in favor of semigroupoids)162.06This package has been absorbed into semigroupoids 4.0 (bsd3, categories, control, deprecated, library)2013-10-134.0EdwardKmett
hasim110.01Process-Based Discrete Event Simulation library (bsd3, control, library)2008-12-290.1.2JochemBerndsen
hask50.01Categories (bsd3, control, library)2014-11-100EdwardKmett
haskell-cnc140.01Library for parallel programming in the Intel Concurrent Collections paradigm. (bsd3, control, library, parallelism, program)2011-08-120.1.3.200RyanNewton
hcron60.01A simple job scheduler, which just runs some IO action at a given time. (bsd3, control, library, scheduling)2012-08-230.0.0.3TimoHuebel
hdph50.01Haskell distributed parallel Haskell (bsd3, control, distributed-computing, library, monads, parallelism, program)2013-02-070.0.1PatrickMaier
hdph-closure60.02Explicit closures in Haskell distributed parallel Haskell (bsd3, control, distributed-computing, library)2013-02-070.0.1PatrickMaier
hierarchical-env130.00hierarchical environments for dependency injection (bsd3, control, library)2021-05-130.2.0.2autotaker
hmk290.01A make alternative based on Plan9's mk. (control, development, distribution, library, program)2016-01-110.9.7.4MathieuBoespflug
hoist-error160.03Some convenience facilities for hoisting errors into a monad (control, library, mit)2018-06-150.2.1.0JonSterling, schalmers, qfpl
hpc770.017Code Coverage Library for Haskell (bsd3, control, library)2022-10-230.6.2.0AustinSeipp, BenGamari, HerbertValerioRiedel, IanLynagh, wz1000, DavidBinder
hpc-coveralls570.01Coveralls.io support for Haskell. (bsd3, control, library, program)2017-05-131.0.10killy971
hpc-lcov260.00Convert HPC output into LCOV format (bsd3, control, library, program)2023-05-211.1.1brandonchinn178
hreader310.02Generalization of MonadReader and ReaderT using hset (bsd3, control, library)2016-12-121.1.0AlekseyUymanov
hs-di102.01Dependency Injection library for Haskell (bsd3, control, dependency-injection, development, library, program, template-haskell, testing)2016-09-260.3.0Wizek
hsPID90.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
hyperfunctions30.01Hyperfunctions (bsd3, categories, control, library)2015-06-210EdwardKmett
if70.01(?) and (?>) conditional operator (bsd3, control, library)2016-11-170.1.0.0winterland
ifcxt62.251put if statements within type constraints (bsd3, control, library)2016-08-030.1.1MikeIzbicki
implicit-logging70.01A logging framework built around implicit parameters. (control, lgpl, library)2016-09-110.2.0.0rev_null
in-other-words130.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
indexed260.014Haskell98 indexed functors, monads, comonads (bsd3, control, library)2016-09-170.1.3ReinerPope, typedrat
indexed-extras260.03Indexed functors, monads and comonads that require extensions to Haskell98 (bsd3, control, library)2016-07-080.2ReinerPope, typedrat
indexed-free150.02indexed monads for free (bsd3, control, library, monad)2013-11-270.3.1FumiakiKinoshita
indextype150.04A series of type families and constraints for "indexable" types. (bsd3, control, library)2017-10-190.3.0.1clinton
inject-function110.01Monadic functions with injected parameters. (control, gpl, library)2013-09-130.2.1.0DimitriSabadie
instance-control120.01Controls how the compiler searches for instances using type families. (bsd3, control, library)2017-09-270.1.2.0lazac
interchangeable (deprecated)60.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
interruptible70.01Monad transformers that can be run and resumed later, conserving their context. (bsd3, control, library)2016-06-080.1.1.1marcosdumay
interspersed150.01An abstraction over interspersing monadic actions (control, library, mit)2016-06-020.1.2NikitaVolkov
invariant4840.018Haskell98 invariant functors (bsd2, control, data, library)2023-02-270.6.1NicolasFrisby, ryanglscott
invertible291.255bidirectional arrows, bijective functions, and invariant functors (bsd3, composition, control, data, library)2020-08-070.2.0.7DylanSimon
invertible-hlist50.01invertible functions and instances for HList (bsd3, composition, control, data, library)2017-03-070.2.0.2DylanSimon
io-choice350.05Choice for IO and lifted IO (bsd3, control, library)2018-12-110.0.7KazuYamamoto
io-classes1502.05Type classes for concurrency with STM, ST and timing (apache, control, library)2023-04-261.1.0.0coot
io-classes-mtl1372.00Experimental MTL instances for io-classes (apache, control, library)2023-04-200.1.0.1coot
io-reactive40.02An API for generating TIMBER style reactive objects. (bsd3, control, library, program, reactivity)2008-09-230.1.1AndyGill
io-region100.01Exception safe resource management with dynamic regions (bsd3, control, library)2015-04-240.1.1YurasShumovich
iotransaction40.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)110.01Embeds effect systems into Haskell using parameteric effect monads (bsd3, control, deprecated, library, monads)2014-05-150.57DominicOrchard
joint210.01Trying to compose non-composable (bsd3, control, data, library)2021-01-010.1.9iokasimovmt
json-tracer130.01A polymorphic, type-safe, json-structured tracing library (bsd3, control, library)2018-05-110.0.3.0autotaker
lambda-devs50.01a Paralell-DEVS implementaion based on distributed-process (bsd3, control, library, program, simulation)2013-11-240.4.0alios
lawless-concurrent-machines50.01Concurrent networked stream transducers (bsd3, concurrency, control, library)2017-10-020.3.1misandrist
lax120.01Lax arrows (bsd3, control, library)2012-02-070.1.0.3WolfgangJeltsch
layers30.02Modular type class machinery for monad transformer stacks. (bsd3, control, library)2013-03-140.1ShaneOBrien
lazy50.01Explicit laziness for Haskell (control, library, mit)2018-04-280.1NikitaVolkov
lazy-bracket30.00A bracket with lazy resource allocation. (bsd3, control, library)2022-04-160.1.0.0DanielDiazCarrete
lazy-priority-queue100.00Lazy-Spined Monadic Priority Queues (control, data, gpl, library, program)2021-02-180.1.1MarioBlazevic
lazyio280.04Run IO actions lazily while respecting their order (bsd3, control, library, monads)2016-12-140.1.0.4HenningThielemann
lens-filesystem90.00Lens interface for your filesystem; still a bit experimental (bsd3, control, library)2020-10-210.1.0.1ChrisPenner
lens-misc80.02Miscellaneous lens utilities. (bsd3, control, library)2018-07-020.0.2.0louispan
lens-tell40.00MonadTell-based lens combinators (bsd3, control, library)2021-09-060.1lightandlight
lens-tutorial152.51Tutorial for the lens library (bsd3, control, library)2019-06-191.0.4GabrielGonzalez
lensref160.02References which can be joined and on which lenses can be applied (bsd3, control, data, library)2014-05-180.2PeterDivianszky
lenz-mtl (deprecated)40.00mtl operations with Van Laarhoven lenses (control, data, deprecated, lenses, library)2019-10-250.1
level-monad210.02Non-Determinism Monad for Level-Wise Search (control, library, monads, public-domain)2009-06-220.4.1SebastianFischer
lifted-base2520.0269lifted IO operations from the base library (bsd3, control, library)2018-03-140.2.3.12BasVanDijk
lifted-base-tf (deprecated)30.01lifted IO operations from the base library (bsd3, control, deprecated, library)2018-08-190.1.0.0
linear-smc360.00Build SMC morphisms using linear types (control, lgpl, library)2023-05-242.0.2JeanPhilippeBernardy
list-t3752.039ListT done right (control, data-structures, library, mit, streaming)2023-01-091.0.5.6NikitaVolkov
list-transformer502.04List monad transformer (bsd3, control, library)2022-09-021.0.9GabrielGonzalez
little-rio290.02When you need just the RIO monad (bsd3, control, library)2023-05-112.0.0ejconlon
local-search130.01Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2013-07-180.0.7RichardSenington
log-effect290.02An extensible log effect using extensible-effects (control, effect, library, logging, mit, program)2019-03-021.2.0ibotty, sickmind
log-effect-syslog70.01Syslog functions for log-effect (bsd3, control, effect, library, logging, syslog)2019-03-020.2.0sickmind
logicst30.01Backtracking mutable references in the ST and IO monads (bsd3, control, library)2013-04-170.1.0.0AndySonnenburg
logict4100.039A backtracking logic-programming monad. (bsd3, control, library)2023-04-240.8.1.0DanDoel, Bodigrim
logict-sequence132.00A backtracking logic-programming monad with asymptotic improvements to msplit (control, library, mit)2022-12-060.2.0.2JasonDagit, dfeuer
loop830.04Fast loops (for when GHC can't optimize forM_) (control, library, mit)2015-09-030.3.0NiklasHambuechen
loop-dsl41.50monadic loop dsl. (control, library, mit)2021-11-150.1.0.0ailrk
loop-effin70.01control-monad-loop port for effin (bsd3, control, library)2014-10-070.1.1.0HiromiIshii
loop-while40.02A monad transformer supporting various styles of while loop (bsd3, control, library)2010-01-111.0.0NeilBrown
loops130.01Fast imperative-style loops (bsd3, control, library)2014-06-130.2.0.2ThomasTuegel
machinecell400.01Arrow based stream transducers (bsd3, control, frp, library, reactivity)2018-04-174.0.1HidenoriAzuma
machines842.529Networked stream transducers (bsd3, control, enumerator, library)2022-05-180.7.3EdwardKmett, EricMertens, ryanglscott
machines-attoparsec30.00Parse machines streams with attoparsec parsers. (bsd3, control, data, enumerator, library, parsing, text)2019-01-310davean
machines-bytestring40.01ByteString support for machines (bsd3, control, library, machines)2017-06-070.1.0.0zclod
machines-encoding30.00Transcode encodings with machines. (bsd3, control, data, enumerator, library, text)2019-01-310davean
managed1240.022A monad for managed values (bsd3, control, library)2023-01-311.0.10GabrielGonzalez
map-classes50.01A set of classes and instances for working with key/value mappings. (bsd3, control, library)2018-03-310.1.0.0clinton
map-reduce-folds190.01foldl wrappers for map-reduce (bsd3, control, library)2023-05-020.1.2adamCS
mealstrom72.01Manipulate FSMs and store them in PostgreSQL. (control, database, library, mit)2021-01-150.0.1.1amx
mech30.01mecha are the most complex composite machines known to humanity, lets build them well! (bsd2, concurrency, control, data, library, network, system)2016-08-110.0.0.0CarterSchonwald
mechs30.01mecha are the most complex composite machines known to humanity, lets build them well! (bsd2, concurrency, control, data, library, network, system)2016-08-110.0.0.0CarterSchonwald
memo-ptr40.01Pointer equality memoization (control, library, mit)2015-05-310.1.0.0edofic
memoization-utils50.01Utilities for memoizing functions (control, library, mit)2015-11-060.1.0.1yamadapc
meta-par60.02Provides the monad-par interface, but based on modular scheduler "mix-ins". (bsd3, control, library, monads, parallelism)2012-05-040.3RyanNewton
metaheuristics40.00Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2019-10-040.0.8richardjamessenington
method120.01rebindable methods for improving testability (bsd3, control, library)2021-05-070.4.0.0autotaker
micro-recursion-schemes150.04Simple recursion schemes (bsd3, control, library, recursion)2018-05-145.0.2.2
midair142.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)170.05fast and simple operational monad (bsd3, control, deprecated, library)2015-01-260.4.9FumiakiKinoshita
mix-arrows110.01Mixing effects of one arrow into another one (bsd3, control, library)2012-02-061.2MiguelMitrofanov
mmorph3222.5131Monad morphisms (bsd3, control, library)2021-07-161.2.0GabrielGonzalez
mmtl40.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)30.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-fd390.02A better error monad transformer (bsd3, control, library)2023-05-090.7.0.1MikhailVorozhtsov
monad-atom140.03Monadically convert object to unique integers and back. (bsd3, control, library)2012-03-160.4.1GrzegorzChrupala
monad-atom-simple40.01Monadically map objects to unique ints. (bsd3, control, library)2012-02-230.0.2GrzegorzChrupala
monad-batcher40.01An applicative monad that batches commands for later more efficient execution (bsd3, control, library)2017-04-290.0.0.0BasVanDijk
monad-bool (deprecated)40.01This package has been removed. (bsd3, control, deprecated, library)2013-01-280.2.0JohnWiegley
monad-choice50.00Monad, monad transformer, and typeclass representing choices. (agpl, control, library)2020-03-270.2.0.0LouisH
monad-chronicle130.00These as a transformer, ChronicleT (bsd3, control, library, these)2022-05-201.0.1phadej
monad-classes (deprecated)102.07more flexible mtl (control, deprecated, library, mit)2018-05-070.3.2.2
monad-codec120.07Monadic conversion between complex data structures and unique integers (bsd3, control, library)2019-11-300.2.1JakubWaszczuk
monad-connect60.01Transformer for TCP connection with TLS and SOCKS support (control, library, monad, network, public-domain)2016-03-160.1akrasner
monad-control2832.0541Lift control operations, like exception catching, through monad transformers (bsd3, control, library)2021-08-021.0.3.1BasVanDijk, phadej
monad-control-aligned90.010Just like monad-control, except less efficient, and the monadic state terms are all * -> * (bsd3, control, library)2018-03-260.0.1.1athanclark
monad-control-identity250.02Stronger classes than monad-control (bsd3, control, library)2022-03-310.2.0.0jumper149
monad-coroutine490.010Coroutine monad transformer for suspending and resuming monadic computations (concurrency, control, library, monads)2022-03-230.9.2MarioBlazevic
monad-dijkstra1450.02A monad transformer for weighted graph searches (bsd3, control, library, monads)2020-07-020.1.1.3ecramer
monad-exception (deprecated in favor of layers)20.01Exstensible monadic exceptions (control, deprecated, library, public-domain)2012-03-010.1ShaneOBrien
monad-extras550.09Extra utility functions for working with monads (bsd3, control, library)2017-02-100.6.0JohnWiegley
monad-finally290.01Guard monadic computations with cleanup actions (bsd3, control, library)2023-05-090.1.2.1MikhailVorozhtsov
monad-fork (deprecated in favor of layers)20.02Type class for monads which support a fork operation. (control, deprecated, library, public-domain)2012-02-210.1ShaneOBrien
monad-hash80.01Monad transformer for incremental hashing (control, cryptography, hash, library, monad, public-domain)2016-05-300.1.0.2akrasner
monad-introspect30.00A reader monad that gives the environment access to the entire transformer stack (bsd3, control, library)2020-08-100.1.0.0mniip
monad-io-adapter40.01Adapters between MonadIO and MonadBase IO. (control, library)2017-11-210.1.0.0lexi_lambda
monad-journal660.03Pure logger typeclass and monad transformer (bsd3, control, library)2017-11-250.8.1DimitriSabadie
monad-levels50.01Specific levels of monad transformers (control, library, mit)2015-02-030.1.0.1IvanMiljenovic
monad-lgbt70.01Monad transformers for combining local and global state. (bsd2, control, library)2016-07-230.0.2MichalGajda
monad-loops1662.25125Monadic loops (control, library, public-domain)2015-06-190.4.3JamesCook
monad-loops-stm40.02Monadic loops for STM (control, library, public-domain)2013-06-090.4JamesCook
monad-markov30.01Markov process monad (control, library, mit)2018-06-290.1.0.0arran
monad-memo552.02Memoization monad transformer (bsd3, control, library, monad)2022-01-030.5.4EduardSergeev
monad-mersenne-random52.55An efficient random generator monad, based on the Mersenne Twister (bsd3, control, library)2010-07-140.1DonaldStewart
monad-open30.01Open recursion for when you need it (control, library, mit)2015-03-220.1.0.0JonSterling
monad-ox90.03Monad for observation extraction (bsd3, control, library, natural-language-processing)2013-04-060.3.0JakubWaszczuk
monad-par1152.2517A library for parallel programming based on a monad (bsd3, control, library, monads, parallelism)2019-11-040.3.5RyanNewton, SimonMarlow
monad-par-extras790.05Combinators and extra features for Par monads (bsd3, control, library, monads, parallelism)2013-07-120.3.3RyanNewton
monad-parallel620.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)70.01Parameterized monads (bsd3, control, deprecated, library)2011-01-150.0.4DominiqueDevriese, EdwardKmett
monad-peel190.019Lift control operations like exception catching through monad transformers (bsd3, control, library)2017-03-020.2.1.2AndersKaseorg, SergeyAlirzaev
monad-products302.03Monad products (bsd3, control, library, monads)2016-01-174.0.1EdwardKmett
monad-ran70.01Fast monads and monad transformers (bsd3, control, library, monads)2009-05-060.1.0EdwardKmett
monad-resumption260.01Resumption and reactive resumption monads for Haskell. (bsd3, control, library)2019-09-300.1.4.0AdamProcter, IanGraves
monad-skeleton370.06Monads of program skeleta (bsd3, control, library, monads)2021-11-300.2FumiakiKinoshita
monad-st270.05Provides a MonadST class (bsd3, control, library, monads)2017-06-260.2.4.1EdwardKmett
monad-state80.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-stm110.06MonadSTM class analogous to MonadIO (bsd3, control, library)2013-04-070.1.0.2MiguelMitrofanov
monad-supply200.03Stateful supply monad (control, data, library, monad)2020-09-140.9GeoffHulette
monad-task70.02A monad transformer that turns event processing into co-routine programming. (bsd3, control, library)2018-01-040.2.0PaulLiu
monad-time1072.014Type class for monads which carry the notion of the current time. (bsd3, control, library)2022-07-050.4.0.0GracjanPolak, MikhailGlushenkov, arybczak, jonathanjouty_scrive, trin_cz
monad-timing60.01Monad transformer for recording timing events (control, library, mit)2016-06-130.1.0.1pikajude
monad-tree90.00Tree data structure for nondeterministic computations. (control, library, mit)2021-11-090.2.0.0nbedell
monad-tx40.01A transactional state monad. (bsd3, control, library, monads)2009-04-060.0.1MattMorrow
monad-unlift (deprecated in favor of unliftio-core, unliftio, rio)140.06Typeclasses for representing monad transformer unlifting (control, deprecated, library, mit)2016-05-030.2.0MichaelSnoyman
monad-unlift-ref62.01Typeclasses for representing monad transformer unlifting (control, library, mit)2017-11-210.2.1MichaelSnoyman
monad-validate581.257A monad transformer for data validation. (control, library)2022-07-051.2.0.1lexi_lambda
monad-wrap60.01Wrap functions such as catch around different monads (bsd3, control, library)2013-04-270.1DavidMazieres
monadLib-compose70.02Arrow-like monad composition for monadLib. (bsd3, control, library, monads)2010-10-200.2AristidBreitkreuz
monadbi (deprecated)40.02Extract underlying monads from monad transformers (control, deprecated, library)2011-09-220.1AnupamJain
monadcryptorandom420.07A monad for using CryptoRandomGen (bsd3, control, cryptography, library)2018-04-110.7.2.1ThomasDuBuisson
monadfibre (deprecated)60.01Monadic functions which provide Choice and Parallelism. (control, deprecated, library)2011-09-220.1.2.1AnupamJain
monadic-recursion-schemes590.00Recursion Schemes for Monadic version. (bsd3, control, library, monad, recursion)2023-04-190.1.13.2KatsutoshiItoh
monadiccp450.04Constraint Programming (bsd3, control, library)2018-05-090.7.7MaikRiechert, PieterWuille, TomSchrijvers
monadiccp-gecode110.01Constraint Programming (bsd3, control, library)2018-05-300.1.3JanTikovsky
monadio-unwrappable70.01Reversibly allow monad transformer stacks to run in IO (bsd3, control, library)2012-06-180.3AndrewMiller
monadlist120.04Monadic versions of list functions (bsd3, control, library)2011-10-080.0.2ThomasEding
monadloc230.06A class for monads which can keep a monadic call trace (control, library, monads, public-domain)2013-06-060.7.1PepeIborra
monadloc-pp110.01A preprocessor for generating monadic call traces (control, monads, program, public-domain)2014-10-170.3.1PepeIborra
monadplus290.09Haskell98 partial maps and filters over MonadPlus. (bsd3, control, library)2023-01-061.4.3HansHoglund, OliverCharles
monads-fd (deprecated in favor of mtl)130.041Monad classes, using functional dependencies (bsd3, control, deprecated, library)2010-11-070.2.0.0RossPaterson
monads-tf600.074Monad classes, using type families (bsd3, control, library)2016-06-080.1.0.3RossPaterson
monoidal-functors82.00Monoidal Functors Library (categories, control, library, mit)2023-01-300.2.1.0solomon
moo-nad50.00Invocation helpers for the ReaderT-record-of-functions style. (bsd3, control, library)2021-05-230.1.0.2DanielDiazCarrete
more-extensible-effects132.01Initial project template from stack (bsd3, control, library)2017-01-290.1.0.4qzchenwl
morphisms60.03It's all about functions (control, data, library, mit)2019-01-040.1.1iokasimovmt
morphisms-functors160.01Functors, theirs compositions and transformations (control, data, library, mit)2019-01-150.1.7iokasimovmt
morphisms-functors-inventory40.00Inventory is state and store (control, data, library, mit)2019-01-120.1.0iokasimovmt
morphisms-objects110.00Algebraic structures (control, data, library, mit)2019-01-080.1.3iokasimovmt
motor120.02Type-safe effectful state machines in Haskell (control, library, mpl, program)2019-06-230.4.0owickstrom
motor-diagrams80.01Generate state diagrams from Motor FSM typeclasses (control, library, mpl)2019-06-280.4.0owickstrom
motor-reflection70.01Reflect on Motor FSM typeclasses to obtain runtime representations (control, library, mpl)2019-06-280.4.0owickstrom
mpeff40.00Efficient effect handlers based on evidence-passing semantics (control, effect, library, mit)2021-08-090.1.0.0ningningxie
mtl2462.753943Monad 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)30.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-tf100.01Monad Transformer Library with Type Families (bsd3, control, library)2018-01-230.2.1.0TrevorElliott
mtl-unleashed210.02MTL classes without the functional dependency (bsd3, control, library)2015-11-110.6.1DavidFox
mtl-uplift60.00Lift substacks of monad transformer stacks (control, library, mit)2022-01-210.1.0.1sgschlesinger
mtlx160.01Monad transformer library with type indexes, providing 'free' copies. (bsd3, control, library)2012-10-150.1.6MarkSnyder
mtsl50.00Reified monad transformer stacks (control, library, mit)2020-09-280.2.0.0sgschlesinger
multipass70.01Folding data with multiple named passes (bsd3, control, library)2013-01-270.1.0.2EdwardKmett
multistate680.06like mtl's ReaderT / WriterT / StateT, but more than one contained value/type. (bsd3, control, library)2022-01-240.8.0.4lspitzner, fozworth, dukerutledge
mvc350.03Model-view-controller (bsd3, concurrency, control, library)2018-08-191.1.7GabrielGonzalez
mvc-updates110.01Concurrent and combinable updates (bsd3, concurrency, control, library)2014-09-231.2.0GabrielGonzalez
mzv80.02Implementation of the "Monads, Zippers and Views" (Schrijvers and Oliveira, ICFP'11) (bsd3, control, library)2014-04-160.1.0.2IsmaelFigueroa
named322.514Named parameters (keyword arguments) for Haskell (bsd3, control, library)2019-10-190.3.0.1Artyom, int_index
natural230.01Natural number (bsd3, control, library)2021-11-300.3.0.6TonyMorris, qfpl
natural-transformation692.017A natural transformation package. (bsd3, control, library)2016-11-150.4AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
needle50.01ASCII-fied arrow notation (control, library, mit)2014-09-280.1.0.1ScrambledEggs
newtype1440.032A typeclass and set of functions for working with newtypes. (bsd3, control, library)2019-09-100.2.2.0AndreasAbel, DariusJahandarie, HerbertValerioRiedel, jcristovao
newtype-deriving110.01Instance derivers for newtype wrappers (control, library, mit, template-haskell)2016-05-020.1.4NikitaVolkov
newtype-generics2352.017A typeclass and set of functions for working with newtypes (bsd3, control, library)2022-05-190.6.2jcristovao, sjakobi
newtype-th130.02A template haskell deriver to create Control.Newtype instances. (bsd3, control, library, template-haskell)2012-07-190.3.3MichaelSloan
newtyper30.01Extra functions for the Control.Newtype typeclass (bsd3, control, library)2012-05-150.1DylanJust
nondeterminism132.02A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2022-05-201.5AndreiBarbu
nqe300.02Concurrency library in the style of Erlang/OTP (control, library, mit, public-domain)2022-05-200.6.4jprupp
objective620.03Composable objects (bsd3, control, library)2021-10-271.3FumiakiKinoshita
observable140.01Continuation patterns (bsd3, control, library)2018-12-100.1.5iokasimovmt
op90.00Common operators encouraging large-scale easy reading (apache, combinators, control, functions, library, utility)2019-12-200.4.0.0infinity0
open-signals120.01A mechanism similar to checked exceptions that integrates with MTL and transformer stacks (control, library, mit)2016-04-170.1.0.3darwin226
operational1242.2521Implementation of difficult monads made easy with operational semantics. (bsd3, control, library, monads)2023-02-190.2.4.2HeinrichApfelmus
operational-class150.01MonadProgram typeclass for the operational package (control, library, mit)2015-07-120.3.0.0srijs
overload160.01Finite overloading (control, library, mit)2018-03-080.1.0.5darwin226
pandora960.01A box of patterns and paradigms (control, data, library, mit)2022-05-290.5.6iokasimovmt
pandora-io120.00... (control, data, library, mit)2022-04-160.5.4iokasimovmt
parallel2402.0200Parallel programming library (bsd3, control, library, parallelism)2018-07-133.2.2.0AustinSeipp, BenGamari, HerbertValerioRiedel, IanLynagh, SimonMarlow
parallel-tree-search230.02Parallel Tree Search (concurrency, control, library, public-domain)2020-10-260.4.2SebastianFischer, nbu
parameterized460.02Parameterized/indexed monoids and monads using only a single parameter type variable. (bsd3, control, library)2017-12-170.5.0.0louispan
partial60.01A nullary type class for partial functions (control, library, mit)2017-11-281.0.0.0PhilFreeman
partial-isomorphisms400.04Partial isomorphisms. (bsd3, control, library)2021-09-030.2.3.0TillmannRendel, schernichkin
partial-lens (deprecated in favor of data-lens)30.01Haskell 98 Partial Lenses (comonads, control, deprecated, library, mit)2011-12-210.0.1RussellOConnor
perm150.01permutation Applicative and Monad with many mtl instances (bsd3, control, library)2012-11-110.4.0.0AndySonnenburg
phantom-state180.02Phantom State Transformer. Like State Monad, but without values. (bsd3, control, library)2016-05-310.2.1.2DanielDiaz
pid50.00a simple PID controller (control, program)2022-08-160.1.0.2SergeyAlirzaev
pipe-enumerator110.01A bidirectional bridge between pipes and iteratees (bsd3, control, library, pipes)2015-07-070.3.0.2patrykz
piped30.00Conduit with a smaller core (bsd3, control, library)2019-08-010.1.0.0ssadler
pipeline40.00Continuation patterns (bsd3, control, library)2019-02-240.1.0iokasimovmt
pipes2752.75188Compositional pipelines (bsd3, control, library, pipes)2021-05-074.3.16GabrielGonzalez
pipes-async90.01A higher-level interface to using concurrency with pipes (bsd3, control, library)2018-07-230.1.3JohnWiegley
pipes-attoparsec-streaming (deprecated)20.01Streaming parsing in the pipes-core framework with Attoparsec. (bsd3, control, deprecated, library, program)2012-06-200.1.0.0MartinGrabmueller
pipes-break112.01Pipes to group by any delimiter (such as lines with carriage returns) (bsd3, control, library, pipes)2017-03-160.2.0.6mindreader
pipes-bytestring590.046ByteString support for pipes (bsd3, control, library, pipes)2021-02-122.1.7GabrielGonzalez
pipes-category110.01Allows instances for Category, Arrow and ArrowChoice for Pipes. (bsd3, control, library, pipes)2017-10-080.3.0.0louispan
pipes-cellular30.01Pipes-based combinators for cellular data processing (bsd3, control, library, pipes)2015-07-070.0.0.1patrykz
pipes-cellular-csv40.01Efficient pipes-based cellular CSV codec (bsd3, control, library, pipes)2015-07-071.0.0.0patrykz
pipes-concurrency742.021Concurrency for the pipes ecosystem (bsd3, concurrency, control, library, pipes)2021-12-052.0.14GabrielGonzalez
pipes-conduit30.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-errors100.01Integration between pipes and errors (bsd3, control, error-handling, library, monad, pipes)2015-05-210.3jdnavarro
pipes-extra70.01Various basic utilities for Pipes. (bsd3, control, enumerator, library)2012-06-090.2.0PaoloCapriotti
pipes-extras450.04Extra utilities for pipes (bsd3, control, library, pipes)2018-07-041.0.15GabrielGonzalez
pipes-fluid220.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-group540.014Group streams into substreams (bsd3, control, library, pipes)2018-07-041.0.12GabrielGonzalez
pipes-io40.01Stateful IO streams based on pipes (apache, control, library, pipes)2016-08-260.1yinguanhao
pipes-lines (deprecated in favor of pipes-break)80.01Pipes for grouping by lines with carriage returns. (bsd3, control, deprecated, library, pipes)2017-03-161.0.3.4mindreader
pipes-misc310.02Miscellaneous utilities for pipes, required by glazier-tutorial (bsd3, control, library, pipes)2018-05-220.5.0.0louispan
pipes-parse562.033Parsing infrastructure for the pipes ecosystem (bsd3, control, library, parsing, pipes)2021-02-123.0.9GabrielGonzalez
pipes-random270.01Producers for handling randomness. (bsd3, control, library)2019-05-101.0.0.5fosskers
pipes-rt120.01A few pipes to control the timing of yields (bsd3, control, library, pipes, program)2015-01-210.5.0imalsogreg
pipes-safe2010.045Safety for the pipes ecosystem (bsd3, control, error-handling, library, pipes)2022-04-082.3.4GabrielGonzalez
pipes-transduce390.02Interfacing pipes with foldl folds. (bsd3, control, library)2018-05-120.4.4.0DanielDiazCarrete
pipes-vector170.01Various proxies for streaming data into vectors (bsd3, control, library)2015-05-290.6.2BenGamari
pipes-zeromq470.01Pipes integration for ZeroMQ messaging (bsd3, control, library, network, pipes)2017-04-200.3.0.0peddie
plan-applicative100.01Applicative/Arrow for resource estimation and progress tracking. (bsd3, control, library)2018-08-182.0.1.0DanielDiazCarrete
poly-cont30.01Poly-kinded continuations (bsd3, control, library)2018-03-140.1.0.0dfeuer
porcupine-core52.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-http50.00A location accessor for porcupine to connect to HTTP sources/sinks (arrows, combinators, control, data, library, mit, program, web)2019-10-090.1.0.0YvesPares
porcupine-s330.00A location accessor for porcupine to connect to AWS S3 sources/sinks (arrows, aws, cloud, combinators, control, data, library, mit, program)2019-10-090.1.0.0YvesPares
porpoise30.00A minimalist HTTP server framework written on top of wai (control, library, mit, program)2020-10-050.1.0.0sgschlesinger
ports70.01The Haskell Ports Library (control, library)2007-07-140.4.3.2DonaldStewart
prelude-plus150.01Prelude for rest of us (bsd3, control, data, system)2009-10-140.0.0.6YusakuHashimoto
product-profunctors820.010product-profunctors (bsd3, category, control, library)2023-04-130.11.1.1tomjaguarpaw
profunctor-extras860.04This package has been absorbed into profunctors 4.0 (bsd3, categories, control, library)2013-10-134.0EdwardKmett
profunctor-monad60.00Monadic bidirectional programming (control, library, mit)2022-05-170.2.0.0lyxia, SamFrohlich
profunctors3872.75246Profunctors (bsd3, categories, control, library)2021-02-175.6.2EdwardKmett, ryanglscott
program30.00Programs with Environments and Managed Resources (bsd3, control, library)2021-12-020.1.0.0MichaelSzvetits
progress-reporting52.01Functionality for reporting function progress. (control, lgpl, library)2017-09-271.1.0JeroenBransen
prologue430.06Better, more general Prelude exporting common utilities. (apache, control, library)2018-12-183.2.6danilo2, iamrecursion
prompt150.01Monad (and transformer) for deferred-effect pure prompt-response queries (control, library, mit)2016-05-260.1.1.2jle
prospect60.01Explore continuations with trepidation (bsd3, control, library)2018-07-100.1.0.0isovector
protocol50.00Model distributed system as type-level multi-party protocol (bsd3, control, distributed-computing, distributed-systems, library, protocol)2020-07-120.1.0.1epoberezkin
quantum-arrow92.01An embedding of quantum computation as a Haskell arrow (control, library)2009-01-090.0.5LukePalmer
quiver432.010Quiver finite stream processing library (bsd3, control, library)2015-12-081.1.3patrykz
quiver-binary80.01Binary serialisation support for Quivers (control, library, mit)2016-11-260.1.1.1IvanMiljenovic
quiver-bytestring70.03Quiver combinators for bytestring streaming (bsd3, control, library)2015-09-131.0.0patrykz
quiver-cell80.01Quiver combinators for cellular data processing (bsd3, control, library)2015-08-311.0.0patrykz
quiver-csv70.01Quiver combinators for cellular CSV data processing (bsd3, control, library)2015-08-040.0.0.3patrykz
quiver-enumerator30.01Bridge between Quiver and Iteratee paradigms (bsd3, control, library)2015-08-030.0.0.1patrykz
quiver-groups60.01Group and chunk values within a Quiver (control, library, mit)2016-07-190.1.0.1IvanMiljenovic
quiver-http70.01Adapter to stream over HTTP(s) with quiver (bsd3, control, http, library)2015-08-180.0.0.2ChristianMarie
quiver-instances90.01Extra instances for Quiver (control, library, mit)2016-11-260.2.0.1IvanMiljenovic
quiver-interleave90.01Interleave values from multiple Quivers (control, library, mit)2016-11-260.2.0.2IvanMiljenovic
quiver-sort70.01Sort the values in a quiver (control, library, mit)2016-11-260.2.0.1IvanMiljenovic
random-eff60.01A simple random generator library for extensible-effects (bsd3, control, effect, library)2014-04-010.1.0.1HiromiIshii
random-effin60.01A simple random generator library for effin (bsd3, control, effect, library)2014-10-090.1.1.0HiromiIshii
rank2classes682.09standard type constructor class hierarchy, only with methods of rank 2 types (bsd3, control, data, generics, library)2023-03-301.5.1MarioBlazevic
rate-limit370.02A basic library for rate-limiting IO actions. (bsd3, control, library)2023-01-031.4.3AdamWick, eyevanmalicesun
reactive-haskell (deprecated)30.01minimal fork of io-reactive (bsd3, control, deprecated, library, reactivity)2014-09-230.0.1Heather
reactive-io (deprecated)20.01IO-oriented FRP library (control, deprecated, library, mit)2013-07-060.1RomanCheplyaka
reader-soup50.03Vinyl-based reader-like monad composition (combinators, control, library, mit)2019-10-090.1.0.1YvesPares
reasonable-lens81.252Lens implementation. It is more small but adequately. (control, library, mit)2015-04-150.2.1.1outoftune
reasonable-operational70.02Just size Operational Monad implementation. (control, library, mit)2015-02-130.1.0.1outoftune
record480.06Anonymous records (control, data-structures, library, mit, records)2016-10-240.4.2NikitaVolkov
recursion532.05A recursion schemes library for Haskell. (bsd3, control, recursion)2021-09-122.2.5.0vmchale
recursion-schemes3892.7552Representing common recursion patterns as higher-order functions (bsd2, control, library, recursion)2023-02-275.2.2.4EdwardKmett, EricMertens, gelisam, ryanglscott, luc_tielen
recursion-schemes-ext370.02Amateur addenda to recursion-schemes (bsd3, control, library)2018-05-081.0.0.4vmchale
ref-fd332.04A type class for monads with references using functional dependencies. (bsd3, control, library)2023-03-280.5.0.1GeoffreyMainland
ref-mtl60.05A type class for monads with references compatible with the mtl2 library. (bsd3, control, library)2011-04-050.3GeoffreyMainland
ref-tf830.023A type class for monads with references using type families. (bsd3, control, library)2021-11-200.5.0.1GeoffreyMainland
reference40.03A class for references in Haskell (control, data, library, mit)2010-09-060.1MaciejPiechotka
references310.015Selectors for reading and updating data. (bsd3, control, library)2017-11-280.3.3.1lazac
regions340.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)140.01Monads-fd instances for the RegionT monad transformer (bsd3, control, deprecated, library, monadic-regions)2010-09-010.3.1.3BasVanDijk
regions-monadstf280.01Monads-tf instances for the RegionT monad transformer (bsd3, control, library, monadic-regions)2011-09-230.3.1.7BasVanDijk
regions-mtl110.01mtl instances for the RegionT monad transformer (bsd3, control, library, monadic-regions)2011-09-230.3.1.7BasVanDijk
registry1470.06data structure for assembling components (control, library, mit)2022-12-090.6.0.0etorreborre
registry-hedgehog480.00utilities to work with Hedgehog generators and `registry` (control, library, mit)2022-11-240.8.0.0etorreborre
rematch150.07A simple api for matchers (control, library, mit)2013-05-190.2.0.0TomCrayford
rematch-text80.01`rematch` matchers for Data.Text (control, library, mit)2013-05-190.1.0.2TomCrayford
remote-monad70.04An parametrizable Remote Monad, and parametrizable Applicative Functor (bsd3, control, library)2016-02-080.2AndyGill
representable-profunctors (deprecated in favor of profunctors)230.02This package has been absorbed into profunctor-extras. (bsd3, categories, control, deprecated, library)2013-01-073.2EdwardKmett
request-monad100.01A transformer for generic requests (control, library, mit)2014-06-270.3.0.1nahiluhmot
resource-effect50.01A port of the package 'resourcet' for extensible effects. (bsd3, control, effect, library)2014-01-050.1.1ClarkGaebel
resource-effectful190.00A region-based resource effect for the effectful ecosystem. (bsd3, control, library)2023-05-120.1.0.0MichaelSzvetits
resource-pool-monad80.01A monadic interface for resource-pool (control, library, mit)2015-10-240.1.0.0srijs
resource-simple50.01Allocate resources which are guaranteed to be released. (bsd3, control, library)2012-03-020.2ShaneOBrien
resourcet-effectful150.00Adaptation of the resourcet library for the effectful ecosystem. (bsd3, control, library)2022-07-141.0.0.0arybczak
restartable70.00Minimal live coding library for model-view-event-update applications. (bsd3, control, library)2020-11-090.3.0.0MichalGajda
resumable-exceptions50.01A monad transformer for resumable exceptions (control, error-handling, failure, library, monads, reactivity)2010-09-200.0.0.20100920NicolasFrisby
retry3632.563Retry combinators for monadic actions that may fail (bsd3, control, library)2023-04-170.9.3.1MichaelXavier, OzgunAtaman
retry-effectful60.00Adaptation of the retry library for the effectful ecosystem. (bsd3, control, library)2022-09-300.1.0.0TristanCacqueray
rev-state110.01Reverse State monad transformer (bsd3, control, library)2016-02-010.1.2DanBurton
rex310.01A quasi-quoter for typeful results of regex captures. (bsd3, control, library)2022-04-150.6.2MichaelSloan
rio1862.070A standard library for Haskell (control, library, mit)2022-04-250.1.22.0MichaelSnoyman
rio-app50.05Generic App type for rio. (bsd3, control, library, program)2021-06-150.1.0.0AlexanderBondarenko
rio-orphans790.03Orphan instances for the RIO type in the rio package (control, library, mit)2021-04-030.1.2.0MichaelSnoyman
rmonad250.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-exceptions2892.25215Safe, consistent, and easy exception handling (control, library, mit)2022-05-220.1.7.3FrancescoMazzoli, MichaelSnoyman
safe-exceptions-checked (deprecated)102.03Safe, checked exceptions (bsd3, control, deprecated, library)2017-01-280.1.0mitchellwrosen
safe-wild-cards30.00Use RecordWildCards safely (bsd3, control, library)2021-05-311.0.0Artyom
scc390.01Streaming component combinators (combinators, concurrency, control, library, program)2021-02-270.8.3.1MarioBlazevic
schedule70.00Pure deterministic scheduled computations (control, delay, gpl, library, schedule, time, timeout)2020-04-030.3.0.0infinity0
schonfinkeling30.01Transformation of n-ary functions to unary functions (bsd3, control, library)2011-10-030.1.0.0DenisDefreyne
selective3432.2514Selective applicative functors (control, library, mit)2023-03-050.7snowleopard
semi-iso160.05Weakened partial isomorphisms, reversible computations. (control, data, library, mit)2014-12-121.0.0.0pawel834
semigroupoid-extras510.03Semigroupoids that depend on PolyKinds (bsd3, control, library)2015-05-155EdwardKmett
semigroupoids5802.5196Semigroupoids: Category sans id (bsd2, comonads, control, library)2023-03-176.0.0.1EdwardKmett, EricMertens, ryanglscott
sessions420.01Session Types for Haskell (control, library)2008-07-182008.7.18MatthewSackman
sessiontypes80.01Session types library (control, gpl, library, program)2018-01-130.1.2ferdinandvw
sessiontypes-distributed60.01Session types distributed (control, gpl, library)2018-01-130.1.1ferdinandvw
shade170.01A control structure used to combine heterogenous types with delayed effects. (bsd3, control, library)2017-05-200.1.1.1fredefox
shared-fields100.01a tiny library for using shared lens fields (bsd3, control, library)2015-07-200.2.0.0Intolerable
shortcircuit40.02Short-circuit values and expressions. (bsd3, control, data, library)2010-10-140.1AristidBreitkreuz
si-timers1512.02timers using SI units (seconds) (apache, control, library)2023-04-261.1.0.0coot
simple-effects642.03A simple effect system that integrates with MTL (bsd3, control, library)2018-11-190.13.0.0darwin226
simple-observer30.01The Observer pattern (bsd3, control, library)2009-11-110.0.1AndyGimblett
simple-sessions90.01A simple implementation of session types (bsd3, control, library)2013-10-100.1.3JesseTov
sink (deprecated)40.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
skulk90.01Eclectic collection of utility functions (control, library, mit)2016-06-050.1.3.0geekyfox
sousit70.01Source/Sink/Transform: An alternative to lazy IO and iteratees. (bsd3, control, library)2012-09-160.4MarioSiegenthaler
spartacon40.00A unix-style (read from stdin, write to stdout) global hotkey daemon (bsd3, control, program)2021-04-120.1.0.0DanielWagner
spawn380.05Tiny library for concurrent computations (bsd3, concurrency, concurrent, control, library)2011-10-090.3KeeganMcAllister
speculation-transformers50.01Merged into 'speculation'. Use that instead. (bsd3, control, library)2011-01-190.1.2EdwardKmett
stack-hpc-coveralls240.00Initial project template from stack (control, library, program)2023-02-050.0.7.0lehins, rubik
state-bag40.01Monad transformers for holding bags of state. (bsd3, control, library)2016-07-220.1.0.0RobinKay
state-plus90.02MonadPlus for StateT (bsd3, control, library)2017-04-160.1.3BorisSukholitko
stateWriter310.03A faster variant of the RWS monad transformers. (bsd3, control, library)2020-08-210.3.0SimonMarechal
statestack1320.07Simple State-like monad transformer with saveable and restorable state (bsd3, control, library)2023-02-130.3.1.1BrentYorgey, RyanYates, jeffreyrosenbluth, bergey
static60.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-actor280.00A simplistic actor model based on STM (control, library, mit)2023-04-200.3.1.0sgschlesinger
stm-incremental90.00A library for constructing incremental computations (concurrency, control, library, mit)2023-02-020.1.1.0sgschlesinger
stm-supply60.01STM wrapper around Control.Concurrent.Supply. (bsd3, control, library)2016-11-190.2.0.0jmc41493
stopwatch330.01A simple stopwatch utility (bsd3, control, library)2019-05-010.1.0.6debugito
stream-monad190.04Simple, Fair and Terminating Backtracking Monad (bsd3, control, library, monads)2012-09-100.4.0.2SebastianFischer
streaming-eversion160.01Translate pull-based stream folds into push-based iteratees. (bsd3, control, library)2018-05-120.4.0.0DanielDiazCarrete
streamproc180.01Stream Processer Arrow (bsd3, control, library)2013-04-051.6.2PeterSimons
streams1012.09Various Haskell 2010 stream comonads (bsd3, comonads, control, library)2023-03-123.3.2EdwardKmett, ryanglscott
streamt100.00Simple, Fair and Terminating Backtracking Monad Transformer (bsd3, control, library, monads)2022-05-200.5.0.1davidar
strict-concurrency370.012Strict concurrency abstractions (bsd3, control, library)2018-10-090.2.4.3DonaldStewart, YitzGale
strict-identity180.01Strict Identity Monad, handy for writing fast code! (bsd3, control, library)2014-01-120.1.0.0CarterSchonwald
strict-mvar52.00Strict MVars for IO and IOSim (apache, control, library)2023-04-261.1.0.0coot
strict-stm1742.01Strict STM interface polymorphic over stm implementation. (apache, concurrency, control, library)2023-05-291.1.0.1coot
strict-writer (deprecated in favor of writer-cps-mtl)60.01A stricter writer, which uses StateT in order to avoid space leaks. (control, deprecated, library, mit)2017-02-100.4.0.0oisdk
strictly30.01Combinators for strictifying functions (bsd3, control, library)2013-08-141.0.0.0DanBurton
stt70.01A monad transformer version of the ST monad (control, library, mit)2016-11-060.2.1mckeankylej
sub-state30.01Get the total, put a single element (bsd3, control, library)2015-09-030.0.0.1athanclark
subhask82.01Type safe interface for programming in subcategories of Hask (algebra, bsd3, categories, control, library)2015-09-010.1.1.0MikeIzbicki
successors100.01An applicative functor to manage successors (control, library, mit)2022-01-100.1.0.3JoachimBreitner
supervisor50.01Control an internal monad execution for trace generation, backtrakcking, testing and other purposes (bsd3, control, library)2013-12-310.1.1.0AlbertoCorona
sweet-egison180.01Shallow embedding implementation of non-linear pattern matching (bsd3, control, library, pattern)2020-10-200.1.1.3SatoshiEgi, coord_e, momohatt
synchronous-channels52.02Synchronous communication channels (bsd3, concurrency, control, library)2015-07-070.2JesseTov
tagged-exception-core70.02Reflect exceptions using phantom types. (bsd3, control, error-handling, exceptions, failure, library, monad, monads, phantom-types)2016-02-022.2.0.0PeterTrsko
tagged-identity120.01Trivial monad transformer that allows identical monad stacks have different types (bsd3, control, library)2019-06-090.1.3mrkkrp
tagshare60.02TagShare - explicit sharing with tags (bsd3, control, library)2012-08-010.0JonasDuregard
takahashi110.01create slide for presentation. (control, library, mit)2015-07-140.2.2.0outoftune
tardis372.05Bidirectional state monad transformer (bsd3, control, library)2022-05-080.4.4.0DanBurton
tehepero30.00Prettier error (bsd3, control, library)2020-06-030FumiakiKinoshita
telega430.00Telegram Bot API binding (control, data, library, mit)2020-01-300.3.0iokasimovmt
tell40.01The MonadTell class and related monad transformers. (bsd3, control, library)2021-09-060.1lightandlight
threads-pool40.01A library to operate with pool of haskell's IO threads (bsd3, control, library)2010-11-080.1IlyaPortnov
time-machine30.01A library to mock the current time. (bsd3, control, library)2017-11-260.1.0y_taka_23
time-out280.01Timers, timeouts, alarms, monadic wrappers (control, library, monad, public-domain, time, timeout)2016-05-300.2akrasner
time-warp152.01Distributed systems execution emulation (control, library, mit, network)2017-03-181.1.1.2jagajaga, gromak, volhovm, martoon, serokell
timeout110.02Generalized sleep and timeout functions (concurrency, control, library, mit)2014-08-020.1.1FedorGogolev
timeout-control60.01Updatable timeouts as a Monad transformer (bsd3, concurrency, control, library)2015-08-310.2NathanHowell
timers-tick450.01tick based timers (bsd3, control, library)2023-04-230.5.0.4fffaaa
to180.00Simple, safe, boring type conversions (bsd3, control, library)2019-08-181.2.0Artyom
tonalude80.01A standard library for Tonatona framework. (control, library, mit, tonatona)2020-11-050.1.1.1arowM, qnoyxu
total160.02Exhaustive pattern matching using lenses, traversals, and prisms (bsd3, control, library)2020-05-151.0.6GabrielGonzalez
trace150.02A monad transformer for tracing provenience of errors (control, library, mit)2015-04-150.2.0.0JonSterling
transactional-events40.01Transactional events, based on Concurrent ML semantics (bsd3, control, library)2008-10-100.1.0.0RyanIngram
transformers3022.753438Concrete functor and monad transformers (bsd3, control, library)2023-02-040.6.1.0RossPaterson
transformers-abort290.04Error and short-circuit monad transformers (bsd3, control, library)2020-07-260.6.0.3MikhailVorozhtsov
transformers-base2282.0397Lift computations from the bottom of a transformer stack (bsd3, control, library)2021-08-010.4.6MikhailVorozhtsov
transformers-bifunctors42.05Bifunctors over monad transformers. (bsd3, control, functors, library)2017-07-160.1JacobStanley
transformers-compose30.03Arrow-like / category-like composition for transformers. (bsd3, control, library, monads)2010-11-010.1AristidBreitkreuz
transformers-continue32.01Control flow data type and monad transformer. (bsd3, control, library)2017-03-160.0.1nhibberd
transformers-convert60.01Sensible conversions between some of the monad transformers (bsd3, control, library)2014-05-300.2.0.0jcristovao
transformers-eff90.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)50.04Free monad transformers (bsd3, control, deprecated, library)2012-11-011.0.1GabrielGonzalez
transformers-lift172.03Ad-hoc type classes for lifting (bsd3, control, library)2019-05-230.2.0.2int_index
transformers-runnable40.01A unified interface for the run operation of monad transformers (bsd3, control, library)2012-10-120.1.0.0JanBessai
transient622.54composing programs with multithreading, events and distributed computing (concurrency, control, library, mit)2020-07-240.7.0.0AlbertoCorona, geraldus
transient-universe440.03fully composable remote execution for the creation of distributed systems (control, distributed-computing, library, mit, program)2020-07-290.6.0.1AlbertoCorona, geraldus
tree-monad200.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
tubes350.01Write stream processing computations with side effects in a series of tubes. (control, gpl, library, streaming)2016-08-162.1.1.0gatlin
tuple-lenses80.01Stock FieldN combos and generators (bsd3, control, library)2013-03-280.1.0.2JonathanFischoff
tweak60.01A library for incremental computing (bsd3, control, library)2013-10-050.1.0.1JonathanFischoff
type-operators160.02Various type-level operators (bsd3, control, library)2019-03-090.2.0.0Shou
uberlast30.01Generate overloaded lenses from plain data declaration (bsd3, control, library)2014-11-270.0FumiakiKinoshita
unexceptionalio260.07IO without any non-error, synchronous exceptions (control, library)2020-05-130.5.1StephenWeber
unexceptionalio-trans120.03A wrapper around UnexceptionalIO using monad transformers (control, library)2020-02-120.5.1StephenWeber
unfree20.01Simplistic free monad with deriving through UndecidableInstances (bsd3, control, library)2022-10-030.1.0ejconlon
unlift40.00Typeclass for monads that can be unlifted to arbitrary base monads (control, library, monad, mpl, typeclass, unlift)2021-04-210.0.0.0vrom911
unliftio5322.75206The MonadUnliftIO typeclass for unlifting monads to IO (batteries included) (control, library, mit)2023-02-280.2.24.0MichaelSnoyman
unliftio-core3602.25201The MonadUnliftIO typeclass for unlifting monads to IO (control, library, mit)2023-02-060.2.1.0MichaelSnoyman
unliftio-pool310.06Data.Pool generalized to MonadUnliftIO. (bsd3, control, data, database, library, network)2023-03-300.4.2.0BardurArantsson
unordered-containers-rematch50.01Rematch support for unordered containers (control, library, mit)2013-05-200.1.0.0TomCrayford
unpack-funcs130.02Monad transformers that mirror worker-wrapper transformations. (bsd3, control, library)2013-04-180.3.1LouisWasserman
unsafe360.011Unified interface to unsafe functions (bsd3, control, library)2013-04-210.0HenningThielemann
unsequential100.01An extension removing the sequentiality from monads (control, library, mit)2017-03-200.5.2.1NikitaVolkov
util-logict (deprecated)20.00See README for more info (bsd3, control, deprecated, library)2020-02-090.0.0.0
uu-interleaved190.03An interleaving combinator for use with applicative style implementations. (applicative, control, library, mit, parsing, text)2018-08-060.2.0.2DoaitseSwierstra, JeroenBransen
validationt152.251Straightforward validation monad (bsd3, control, library)2020-11-030.3.0typeable
var-monad130.01The VarMonad typeclass, generalizing types of references. (apache, control, library)2022-12-290.2.0.1chris_martin
variables50.01Monads with variables, without deep magic (control, library, mit)2014-08-180.1.1alynn
variadic80.00Abstractions for working with variadic functions (bsd3, control, library)2021-04-280.0.0.0carymrobbins
varying632.02FRP through value streams and monadic splines. (control, frp, library, mit, program)2019-10-210.8.1.0SchellScivally
vector-strategies100.02A parallel evaluation strategy for boxed vectors (bsd3, control, library)2012-11-130.4ThomasDuBuisson, haskell_github_trust
views (deprecated in favor of definitive-base)20.01Views allow you to run a State monad on part of a state. (bsd3, control, deprecated, library, monad)2013-03-151.0MarcCoiffier
vinyl-utils230.02Utilities for vinyl (bsd3, control, library)2017-12-280.3.0.1mjmrotek
wai-control130.00Run wai Applications in IO based monads (bsd3, control, library, web)2022-07-040.2.0.0jumper149
watchdog130.03Simple control structure to re-try an action with exponential backoff (bsd3, control, library)2021-10-130.3.1JanVornberger
weighted70.01Writer monad which uses semiring constraint (control, library, mit)2017-02-130.3.0.1oisdk
weighted-search110.01A weighted nondeterministic search monad (bsd3, control, library)2013-03-130.1.0.1LukePalmer
wires82.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
withdependencies220.01Run computations that depend on one or more elements in a stream. (control, gpl, library)2020-02-040.3.0SimonMarechal
wl-pprint-extras600.08A free monad based on the Wadler/Leijen pretty printer (bsd3, control, library, monads, text)2015-06-093.5.0.5EdwardKmett, NathanielFilardo
wl-pprint-terminfo850.03A color pretty printer with terminfo support (bsd3, control, library, monads, text)2016-06-223.7.1.4EdwardKmett, NathanielFilardo
writer-cps-exceptions80.01Control.Monad.Catch instances for the stricter CPS WriterT and RWST (bsd3, control, library)2019-03-070.1.0.1minad, chessai, topos
writer-cps-full50.01WriteT and RWST monad transformers (Reexport with all dependencies) (bsd3, control, library)2017-01-190.1.0.0minad, louispan
writer-cps-lens60.01Lens instances for the stricter CPS WriterT and RWST (bsd3, control, library)2017-03-060.1.0.1minad, louispan, chessai, topos
writer-cps-monads-tf50.01MonadWriter orphan instances for writer-cps-transformers (bsd3, control, library)2017-01-160.1.0.1minad
writer-cps-morph80.02MFunctor instance for CPS style WriterT and RWST (bsd3, control, library)2017-03-060.1.0.2minad, louispan
writer-cps-mtl400.06MonadWriter orphan instances for writer-cps-transformers (bsd3, control, library)2019-03-070.1.1.6minad, chessai, topos
writer-cps-transformers380.09WriteT and RWST monad transformers (bsd3, control, library)2019-04-290.5.6.1minad, chessai, topos
xml-html-conduit-lens240.01Optics for xml-conduit and html-conduit (bsd3, control, library)2018-06-140.3.2.4MatveyAksenov
zio80.00App-centric Monad-transformer based on Scala ZIO (UIO + ReaderT + ExceptT). (control, library, mpl)2020-11-210.1.0.2bebarker
zoom-refs50.01Zoom (~ Functor) and pairing (~ Applicative) for mutable references. (bsd3, control, library)2016-05-230.0.0.1mjmrotek