Packages tagged control

837 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
AAI110.00Abstract Application Interface. (control, library, mit)2015-08-030.2.0.1bash0r
AbortT-monadstf60.01Monads-tf instances for the AbortT monad transformer. (bsd3, control, library)2012-12-071.0GregoryCrosswhite
AbortT-mtl80.02mtl instances for the AbortT monad transformer (bsd3, control, library)2016-02-061.0.0.1GregoryCrosswhite
AbortT-transformers170.06A monad and monadic transformer providing "abort" functionality (bsd3, control, library)2019-07-191.0.1.3GregoryCrosswhite
Adaptive-Blaisorblade70.01Library for incremental computing. (bsd3, control, library, program)2013-01-260.23PaoloGiarrusso
CC-delcont130.03Delimited continuations and dynamically scoped variables (control, library)2016-05-110.2.1.0DanDoel
CC-delcont-alt140.01Three new monad transformers for multi-prompt delimited control (bsd3, control, library)2012-10-230.1.1.1KidoTakahiro
CC-delcont-cxe100.02A monad transformers for multi-prompt delimited control (bsd3, control, library)2011-10-120.1.0.2KidoTakahiro
CC-delcont-exc50.02A monad transformers for multi-prompt delimited control (bsd3, control, library)2011-10-120.1.0.0KidoTakahiro
CC-delcont-ref50.02A monad transformers for multi-prompt delimited control using refercence cells (bsd3, control, library)2011-10-120.1.0.0KidoTakahiro
CC-delcont-ref-tf110.01A monad transformers for multi-prompt delimited control using refercence cells (bsd3, control, library)2011-10-180.1.0.2KidoTakahiro
Cascade50.01Playing with reified categorical composition (control, library, public-domain)2014-11-140.1.0.0NoahEasterly
Catana90.01A monad for complex manipulation of a stream. (bsd3, control, library)2012-02-220.3DustinDeWeese
ChannelT320.01Generalized stream processors (bsd3, control, enumerator, iteratee, library, pipes, proxies)2018-01-280.0.0.7pthariensflame
ClassyPrelude50.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)100.01A light, clean and powerful utility library (bsd3, control, deprecated, library)2013-06-100.6MarcCoiffier
ComonadSheet60.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)110.01A generalization for containers that can be stripped of Nothing (bsd3, control, deprecated, library)2017-03-060.1.0.2fresheyeball
Concurrential170.01Mix concurrent and sequential computation (bsd3, control, library)2015-09-040.5.0.1alexvieth
Configurable50.01Declare types as Configurable then specialize them all in one place (control, library, mit)2012-10-190.1.0.0JosephAbrahamson
ConstraintKinds160.06Repackages standard type classes with the ConstraintKinds extension (bsd3, control, library)2014-05-201.3.0MikeIzbicki
ContArrow140.01Control.Arrow.Transformer.Cont (bsd3, control, library)2009-09-210.0.5EvgenyJukov
Control-Engine (deprecated)290.01A parallel producer/consumer engine (thread pool) (bsd3, control, deprecated, library)2009-08-181.1.0.1ThomasDuBuisson
Control-Monad-MultiPass50.01A Library for Writing Multi-Pass Algorithms. (bsd3, control, library)2013-06-140.1.0.0KevinBackhouse
Control-Monad-ST250.02A variation on the ST monad with two type parameters. (bsd3, control, library)2013-06-110.1.0.1KevinBackhouse
Coroutine60.01Type-safe coroutines using lightweight session types. (bsd3, control, library)2008-12-180.1.0.0RyanIngram
DeepArrow280.03Arrows for "deep application" (bsd3, combinators, control, library)2013-08-130.4.0ConalElliott
EitherT (deprecated in favor of either)110.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
Etage320.02A general data-flow framework (ai, control, lgpl, library)2014-05-100.1.12MitarMilutinovic
FailT1282.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)70.01Failure Monad Transformer (control, deprecated, failure, library, public-domain)2013-03-1415778.1
FastPush130.01A monad and monad transformer for pushing things onto a stack very fast. (bsd3, control, library)2017-02-260.1.0.3wyager
ForkableT120.02Forkable monad transformers (bsd3, control, library)2015-01-180.1.0.2AndrasSlemmer
Get60.01get stuff out of stuff (bsd3, control, library)2018-01-100.2018.1.10MarisaVeryMoe
GotoT-transformers70.02A monad and monadic transformer providing "goto" functionality (bsd3, control, library)2012-07-221.0.0.1GregoryCrosswhite
IfElse610.012Anaphoric and miscellaneous useful control-flow (bsd3, control, library)2008-12-240.85IvanPerez, JeffersonHeard, keera_studios_ci
ImperativeHaskell312.01A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-072.0.0.1MatthewMirman
InfixApplicative100.04liftA2 for infix operators. (bsd3, control, library)2009-12-241.1ThomasDavie
JuicyPixels-util150.05Convert JuicyPixel images into RGBA format, flip, trim and so on (bsd3, control, library)2014-10-180.2FumiakiKinoshita
Kleislify190.02Variants of Control.Arrow functions, specialised to kleislis. (bsd3, control, library)2012-05-150.0.4DylanJust
Kriens70.01Category for Continuation Passing Style (bsd3, control, library)2015-12-070.1.0.1matteo_provenzano
List620.08List monad transformer and class (bsd3, control, library)2017-09-270.6.2YairChuchem
ListT (deprecated)100.01List transformer (bsd3, control, deprecated, library)2017-12-140.1.2.0
LogicGrowsOnTrees150.04a parallel implementation of logic programming using distributed tree exploration (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.1.0.2GregoryCrosswhite
LogicGrowsOnTrees-MPI110.01an adapter for LogicGrowsOnTrees that uses MPI (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.0.0.1.1GregoryCrosswhite
LogicGrowsOnTrees-network150.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-processes110.01an adapter for LogicGrowsOnTrees that uses multiple processes for parallelism (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.0.0.2GregoryCrosswhite
MHask100.01The category of monads (bsd3, control, library)2013-08-060.3.0.0DanBurton
MaybeT110.021MaybeT monad transformer (bsd3, control, library)2008-12-210.1.2CaleGibbard, DonaldStewart, EricKidd
MaybeT-monads-tf (deprecated in favor of monads-tf)120.01MaybeT monad transformer compatible with monads-tf (deprecated) (bsd3, control, deprecated, library)2011-06-220.2.0.1BenMillwood
MaybeT-transformers80.03MaybeT monad transformer using transformers instead of mtl. (bsd3, control, library)2010-06-280.2ErikHesselink, SebastiaanVisser
Mecha71.251mecha are the most complex composite machines known to humanity, lets build them well! (bsd2, concurrency, control, data, library, network, system)2016-08-110.0.0.0CarterSchonwald
Mechs41.251mecha are the most complex composite machines known to humanity, lets build them well! (bsd2, concurrency, control, data, library, network, system)2016-08-110.0.0.0CarterSchonwald
MissingM110.01findM and other missing 'M's (bsd3, control, library)2012-11-150.0.4DylanJust
MonadCatchIO-mtl (deprecated in favor of exceptions)290.020Monad-transformer version of the Control.Exception module (bsd3, control, deprecated, library)2014-01-040.3.1.0DanielGorin
MonadCatchIO-mtl-foreign (deprecated)50.01Polymorphic combinators for working with foreign functions (bsd3, control, deprecated, library)2010-05-290.1AntoineLatter
MonadCatchIO-transformers (deprecated in favor of exceptions)450.073Monad-transformer compatible version of the Control.Exception module (bsd3, control, deprecated, library)2014-12-230.3.1.3AriePeterson
MonadCatchIO-transformers-foreign (deprecated)50.03Polymorphic combinators for working with foreign functions (bsd3, control, deprecated, library)2010-05-290.1AntoineLatter
MonadPrompt520.06MonadPrompt, implementation & examples (bsd3, control, library)2014-09-141.0.0.5CaleGibbard, JamesCook, RyanIngram
MonadRandom3022.0146Random-number generation monad. (bsd3, control, library)2022-11-050.6BrentYorgey, CaleGibbard, EricKidd, LukePalmer, PaoloVeronelli, PatrickPalka
MonadRandomLazy140.01Lazy monad for psuedo random-number generation. (bsd3, control, library)2015-12-290.1.1.1NormanRamsey
MonadStack100.01Generalizing lift to monad stacks (bsd2, control, library)2015-07-130.1.0.3bhurt
Monatron80.03Monad transformer library with uniform liftings (bsd3, control, library)2010-05-120.3.1TomSchrijvers
Monatron-IO60.01MonadIO instances for the Monatron transformers. (bsd3, control, library)2012-04-261.0TobiasBrandt
Object50.01Object oriented programming for haskell using multiparameter typeclasses. (apache, control, data, library)2014-05-151.0yokto
PermuteEffects100.01Permutations of effectful computations (bsd3, control, library)2011-01-160.2MartijnVanSteenbergen
ProbabilityMonads50.01Probability distribution monads. (bsd3, control, library)2007-10-070.1.0EricKidd
ReplicateEffects80.02Composable replication schemes of applicative functors (bsd3, control, library)2012-12-270.3MartijnVanSteenbergen
RichConditional50.01Tiny library to replace classic if/else (control, library, mit)2015-02-160.1.0.0alexvieth
RoyalMonad130.01All hail the Royal Monad! (bsd3, control, library)2015-09-231000.9AtzeVanDerPloeg
SciFlow300.02Scientific workflow management system (control, library, mit)2019-05-260.7.0kaizhang
SciFlow-drmaa70.00Scientific workflow management system (control, library, mit)2019-05-260.1.0kaizhang
THEff150.01TH implementation of effects. (bsd3, control, effect, library, th-)2017-01-220.1.4kolodeznydiver
Tainted170.01Tainted type, and associated operations (bsd3, control, data, library, monads, trans)2015-05-270.1.0.2RossMeikleham
TotalMap72.01A total map datatype (control, library, mit)2019-09-130.1.1.1edwardwas
TreeT110.01Transformer for Data.Tree (control, library, monads, public-domain)2011-09-170.0RahulGopinath
TypeCompose1010.031Type composition classes & instances (bsd3, composition, control, library)2018-11-070.9.14ConalElliott
Workflow812.02Workflow patterns over a monad for thread state logging & recovery (bsd3, control, library, workflow)2015-05-010.8.3AlbertoCorona
abstract-par590.011Type classes generalizing the functionality of the 'monad-par' library. (bsd3, control, library, monads, parallelism)2013-11-060.3.3RyanNewton
acme-iot220.01IO monad transformer (control, library, mit)2016-08-130.1.0.1mniip
action-permutations160.03Execute a set of actions (e.g. parsers) in each possible order (bsd3, control, library)2014-04-110.0.0.1RossPaterson
allocated-processor130.04Functional combinators for monadic actions that require allocation and de-allocation (bsd3, control, library)2010-05-230.0.2NoamLewis
alternative-extra50.01Extra utilities for alternatives (bsd3, control, library)2017-02-200.1.0.0marcosdumay
alternators190.03Handy functions when using transformers. (bsd3, control, library)2018-07-021.0.0.0louispan
annotated-exception332.02Exceptions, with checkpoints and context. (bsd3, control, library)2023-09-080.2.0.5parsonsmatt
ap-normalize1190.02Self-normalizing applicative expressions (control, library, mit)2021-05-250.1.0.1lyxia
apart90.00Get all your structure and rip it apart. (bsd3, control, data, library, program)2018-09-280.1.3iokasimovmt
apecs1242.255Fast Entity-Component-System library for game programming (bsd3, control, data, game, library)2024-03-200.9.6AlexanderBondarenko, jship, jonascarpay
apecs-stm210.00STM stores for apecs (bsd3, control, data, game, library)2023-11-090.2AlexanderBondarenko, jship, jonascarpay
applicative-extras320.014Instances for Applicative (bsd3, control, library)2011-01-030.1.8ChrisEidhof
applicative-fail180.01Applicative functor and monad which collects all your fails (bsd3, control, library)2015-08-031.1.1AlekseyUymanov
applicative-splice60.01Write applicative programs in direct style (generalizes idiom brackets). (control, library, public-domain)2016-04-170.0.0.0AkioTakano
arity-generic-liftA110.00Provides an arity-generic version of the liftA2, liftA3... liftAn functions. (control, library, mit)2018-12-310.1.0.0oisdk
arrow-extras180.01Extra functions for Control.Arrow (bsd3, control, library)2017-03-150.1.0.1louispan
arrow-improve50.01Improved arrows. (control, library, mit)2014-02-180.1.0.0alynn
arrow-list230.01List arrows for Haskell. (bsd3, control, library)2020-10-180.7.1AdamBergmark, ErikHesselink, SebastiaanVisser
arrow-utils180.00functions for working with arrows (arrows, bsd3, combinators, control, library)2022-01-250.1.1miguel_negrao
arrowapply-utils70.02Utilities for working with ArrowApply instances more naturally (bsd3, control, library)2012-03-180.2AndrewMiller
arrows660.031Arrow classes and transformers (bsd3, control, library)2018-03-310.4.4.2RossPaterson
artery70.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-failure412.02Syntactic sugar improving 'assert' and 'error' (bsd3, contract, control, library)2023-08-170.1.3.0MikolajKonarski
async-refresh230.01Package implementing core logic for refreshing of expiring data. (bsd3, control, library)2018-03-200.3.0.0mtesseract
async-refresh-tokens290.01Package implementing core logic for refreshing of expiring access tokens (bsd3, control, library)2018-03-210.4.0.0mtesseract
asynchronous-exceptions (deprecated)120.01Distinguish between synchronous and asynchronous exceptions (control, deprecated, library, mit)2014-02-051.1.0.1RomanCheplyaka
atl (deprecated)230.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
auto362.251Denotative, locally stateful programming DSL & platform (control, library, mit)2017-01-140.4.3.1jle
auto-update2570.028Efficiently run periodic, on-demand actions (control, library, mit)2019-07-090.1.6KazuYamamoto, MichaelSnoyman
backtracking122.01A backtracking monad (bsd3, control, library)2020-07-030.1.0SatoshiEgi, momohatt
backtracking-exceptions (deprecated)50.01A monad transformer for backtracking exceptions (bsd3, control, deprecated, library)2014-08-220.1.0.0
backward-state110.01A state monad that runs the state in reverse through the computation (bsd3, control, library, monads)2013-01-140.1.0.2LukePalmer
barrier-monad80.01Implementation of barrier monad, can use custom front/back type (control, library, public-domain)2011-12-010.1.0.1AaronBlack
basic-prelude1182.2534An enhanced core prelude; a common foundation for alternate preludes. (control, library, mit, prelude)2017-12-050.7.0DanBurton, MichaelSnoyman
billeksah-main50.01Leksah plugin base (control, program)2011-11-291.0.0JuergenNicklischFranken
billeksah-main-static60.01Leksah plugin base (control, program)2011-11-291.0.0JuergenNicklischFranken
billeksah-services50.03Leksah library (control, library)2011-11-291.0.0JuergenNicklischFranken
boolean-like150.01Logical combinatory operations dealing with datatypes representing booleans by their constructors. (bsd3, control, library)2016-09-220.1.1.0Shou
box540.08A profunctor effect system. (bsd3, control, library)2023-12-220.9.3.1tonyday567
break140.01Break from a loop (bsd3, control, library)2017-04-071.0.2GabrielGonzalez
bytestring-progress540.01A library for tracking the consumption of a lazy ByteString (bsd3, control, library)2019-08-281.4AdamWick
bytestring-rematch50.01Rematch support for ByteString (control, library, mit)2013-05-190.1.0.0TomCrayford
can-i-haz270.01Generic implementation of the Has and CoHas patterns (bsd3, control, library)2023-01-180.3.1.10xd34df00d
capability322.01Extensional capabilities and deriving combinators (bsd3, control, library)2022-03-210.5.0.1aherrmann
capataz190.01OTP-like supervision trees in Haskell (concurrency, control, library, mit)2019-05-210.2.1.0RomanGonzalez
caps80.00Monadic capabilities with late binding (bsd3, control, library)2021-03-140.1int_index
cas-hashable162.03A hashing class for content-addressed storage (control, library, mit)2020-03-091.0.1YvesPares
cas-hashable-s3100.00ContentHashable instances for S3 objects (control, library, mit)2020-03-091.0.0YvesPares
cas-store122.01A content-addressed storage (control, library, mit)2020-06-011.1.0YvesPares
catch-fd160.02MonadThrow and MonadCatch, using functional dependencies (bsd3, control, library)2012-10-120.2.0.2AndySonnenburg
categories540.07Categories (bsd3, control, library)2015-01-061.0.7EdwardKmett
category (deprecated)371.2511Categorical types and classes (bsd3, control, deprecated, library, math)2019-12-240.2.5.0
category-extras550.011A meta-package documenting various packages inspired by category theory (bsd3, comonads, control, library, monads)2012-04-061.0.2DanDoel, DanielWagner, EdwardKmett, RussellOConnor
cflp520.01Constraint Functional-Logic Programming in Haskell (bsd3, control, library)2009-06-042009.2.1SebastianFischer
chr-core140.02Constraint Handling Rules (bsd3, control, library)2022-09-160.1.1.0AtzeDijkstra
churros280.00Channel/Arrow based streaming computation library. (control, data, library, mit)2022-10-160.1.6.0LyndonMaydwell
classy-effects60.01An interface for a handler-independent, typeclass-based effect system. (control, effect, library, mpl)2023-09-180.1.0.0YamadaRyo
classy-effects-base70.03An interface for a handler-independent, typeclass-based effect system. (control, effect, library, mpl)2023-09-180.1.0.0YamadaRyo
classy-effects-th70.01Automatic compliance with the classy-effects protocols (control, effect, library, mpl, template-haskell)2023-09-180.1.0.0YamadaRyo
classy-parallel70.02Fork of the monad-parallel package using monad-control (control, gpl, library)2012-07-310.1.0.0SamAnklesaria
classy-prelude2510.057A typeclass-based Prelude. (control, library, mit, prelude)2023-08-011.5.0.3GregWeber, MichaelSnoyman
classy-prelude-conduit1710.010classy-prelude together with conduit functions (control, library, mit, prelude)2018-10-081.5.0GregWeber, MichaelSnoyman
classy-prelude-yesod1140.08Provide a classy prelude including common Yesod functionality. (control, library, mit, yesod)2018-10-081.5.0GregWeber, MichaelSnoyman
cleff381.751Fast and concise extensible effects (bsd3, control, effect, language, library)2022-05-210.3.3.0daylily
cleff-plugin62.00Automatic disambiguation for extensible effects (bsd3, control, effect, language, library)2022-03-130.1.0.0daylily
cloud-haskell110.01The Cloud Haskell Application Platform (bsd3, control, library)2016-07-300.3.0.0FacundoDominguez, TimWatson
codecov-haskell161.251Codecov.io support for Haskell. (bsd3, control, library, program)2017-06-170.5.0killy971
coercible-utils140.03Utility functions for Coercible types (bsd3, control, library)2019-09-100.1.0sjakobi, chessai, koz_ross
commandert190.01A monad for commanders (control, library, mit)2022-01-210.1.1.1sgschlesinger
comonad3802.5161Comonads (bsd3, comonads, control, library)2020-12-305.0.8EdwardKmett, EricMertens, ryanglscott
comonad-extras680.04Exotic comonad transformers (bsd3, comonads, control, library)2020-02-214.0.1EdwardKmett
comonad-random (deprecated)110.01Comonadic interface for random values (control, deprecated, library)2009-07-210.1.2JakeMcArthur
comonad-transformers (deprecated in favor of comonad)1450.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)840.010This package has been merged into comonad 4.0 (bsd3, comonads, control, deprecated, library)2013-10-134.0EdwardKmett
compactable362.259A typeclass for structures which can be catMaybed, filtered, and partitioned. (bsd3, control, library)2022-01-090.2.0.0fresheyeball
composition-prelude2652.032Higher-order function combinators (bsd3, control, data, library)2020-11-103.0.0.2vmchale
computations70.01Advanced notions of computation (bsd3, control, library)2015-05-030.0.0.0WolfgangJeltsch
concatenative230.04A library for postfix control flow. (bsd3, control, library)2010-07-021.0.1SamAnklesaria
concurrent-machines440.03Concurrent networked stream transducers (bsd3, concurrency, control, library)2022-03-110.3.1.5AnthonyCowley
concurrent-state450.01MTL-like library using TVars (control, library, mit)2014-01-270.6.0.0JoelTaylor
cond642.017Basic conditional and boolean operators with monadic variants. (bsd3, control, library, logic, monad)2023-11-190.5.1AdamCurtis, jcranch
conduino230.01Lightweight composable continuation-based stream processors (bsd3, control, library)2023-12-210.2.4.0jle
conkin50.01Tools for functors from Hask^k to Hask (control, library, public-domain)2017-10-261.0.2NoahEasterly
constrained-categories330.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-normal190.01Normalised Deep Embeddings for Constrained Type-Class Instances (bsd3, control, library)2014-06-091.0.2NeilSculthorpe
constraint-manip120.02Some conviencience type functions for manipulating constraints. (control, library, mit)2017-10-160.1.1.0clinton
constrictor220.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
contravariant3532.5176Contravariant functors (bsd3, control, data, library)2021-07-271.5.5EdwardKmett, EricMertens, ryanglscott
contravariant-extras800.08Extras for the "contravariant" package (control, library, mit)2023-10-140.3.5.4NikitaVolkov
control (deprecated)230.03Class of monad transformers which control operations can be lifted thru (bsd3, control, deprecated, library)2018-08-190.1.1.0
control-block140.00Higher-order functions with their function arguments at the end, for channeling the full power of BlockArguments and LambdaCase . (bsd2, control, library)2024-03-220.0.1melaniebrown
control-bool230.05Useful combinators for boolean expressions (bsd3, control, library)2013-12-080.2.1FumiakiKinoshita
control-dotdotdot130.01Haskell operator `g ... f = \x1 .. xn -> g (f x1 .. xn)`. (bsd3, control, library)2018-01-210.1.0.1erisco
control-dsl281.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-event440.02Event scheduling system. (bsd3, control, library)2019-05-171.3ThomasDuBuisson
control-invariants40.02Invariants and contract monitoring (control, library, mit)2016-10-280.1.0.0SimonHudon, bandali
control-iso90.01A typeclass for type isomorphisms (bsd3, control, library)2019-02-040.1.0.2fresheyeball
control-monad-exception860.08Explicitly typed, checked exceptions with stack traces (control, failure, library, monads)2020-07-060.11.4PepeIborra
control-monad-exception-monadsfd170.01Monads-fd instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-exception-monadstf290.01Monads-tf instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-exception-mtl210.01MTL instances for the EMT exceptions monad transformer (control, failure, library, monads, public-domain)2012-05-280.10.3PepeIborra
control-monad-failure (deprecated)210.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)160.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-free730.03Free monads and monad transformers (control, library, monads, public-domain)2018-10-060.6.2LukePalmer, PepeIborra
control-monad-loop150.08Simple monad transformer for imperative-style loops (bsd3, control, library)2012-07-080.1JoeyAdams
control-monad-omega242.07A breadth-first list monad. (control, library, public-domain)2019-09-170.3.2LukePalmer
control-monad-queue220.01Reusable corecursive queues, via continuations. (bsd3, control, library)2015-12-190.2.0.1LeonSmith
control-timeout (deprecated)150.03Timeout handling (bsd3, control, deprecated, library)2008-02-010.1.2AdamLangley
contstuff (deprecated)730.07Fast, easy to use CPS-based monad transformers (bsd3, control, deprecated, library, monads)2011-05-191.2.6ErtugrulSoeylemez, esz
contstuff-monads-tf (deprecated)100.01ContStuff instances for monads-tf transformers (deprecated) (bsd3, control, deprecated, library, monads)2010-11-240.2.1ErtugrulSoeylemez, esz
contstuff-transformers (deprecated)90.01Deprecated interface between contstuff 0.7.0 and the transformers package (bsd3, control, deprecated, library, monads)2010-12-270.1.1ErtugrulSoeylemez, esz
conversion270.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-insensitive110.02"Conversion" instances for the "case-insensitive" library (control, conversion, data, library, mit)2015-04-231.0.0.0NikitaVolkov
conversion-text260.04"Conversion" instances for the "text" library (control, conversion, data, library, mit)2022-05-041.0.1.1NikitaVolkov
corecursive-main140.00Write your main like it can call itself back. (bsd3, control, library, program)2018-08-190.1.0.0LucasDiCioccio
coroutine-object200.02Object-oriented programming realization using coroutine (bsd3, control, library)2016-02-050.3.0IanWooKim
coverage180.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
crem52.00Compositional representable executable machines (control, library, machines, mit, program, state-machines)2023-03-170.1.0.0marcosh
csp262.01Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-141.4.0AndreiBarbu
custom-prelude70.03An enhanced prelude, serving as a foundation for my projects (control, library)2012-10-020.2.2.0AnupamJain
daemons290.03Daemons in Haskell made fun and easy (control, gpl, library, network, program, system)2023-09-290.4.0AlexandruScvortov
data-fresh130.01Interface and functor transformers for fresh values (bsd3, control, library)2013-09-080.2013.251.0StijnVanDrongelen
data-lens660.048Used to be Haskell 98 Lenses (bsd3, comonads, control, library)2018-01-012.11.2EdwardKmett, RussellOConnor
data-lens-fd340.09Lenses (bsd3, comonads, control, library)2016-07-172.0.6EdwardKmett, RussellOConnor
data-lens-ixset (deprecated in favor of data-store, tables, lens)150.01A Lens for IxSet (bsd3, comonads, control, data-structures, deprecated, library)2012-01-150.1.4DagOdenhall
decepticons50.01The categorical dual of transformers. (bsd3, control, library)2013-05-070.1.0.0JoeQuinn
deep-transformations160.02Deep natural and unnatural tree transformations, including attribute grammars (bsd3, control, generics, library)2023-10-290.2.2MarioBlazevic
deepcontrol400.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
deepseq1432.51391Deep evaluation of data structures (bsd3, control, library)2023-07-271.5.0.0HerbertValerioRiedel, chessai, melaniebrown
deepseq-bounded360.02Bounded deepseq, including support for generic deriving (bsd3, control, library)2015-02-040.8.0.0AndrewSeniuk
deepseq-generics580.023GHC.Generics-based Control.DeepSeq.rnf implementation (bsd3, control, library)2016-01-030.2.0.0HerbertValerioRiedel
deepseq-instances100.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)170.02Template Haskell based deriver for optimised NFData instances (bsd3, control, deprecated, library)2012-10-130.1.0.4HerbertValerioRiedel
demarcate (deprecated in favor of free)60.01Demarcating transformed monad. (bsd3, control, deprecated, library)2013-09-230.1.0NickolayKudasov
dep-t330.04Dependency injection for records-of-functions. (bsd3, control, library)2023-01-150.6.8.0DanielDiazCarrete
dep-t-advice370.00Giving good advice to functions in records-of-functions. (bsd3, control, library)2022-10-230.6.2.0DanielDiazCarrete
dep-t-dynamic130.00A dynamic environment for dependency injection. (bsd3, control, library)2022-11-080.1.1.0DanielDiazCarrete
dep-t-value50.00Pair resources files with types within your program. (bsd3, control, library)2022-04-170.1.0.0DanielDiazCarrete
deriving-trans570.00Derive instances for monad transformer stacks (bsd3, control, library)2023-07-110.9.1.0jumper149
despair130.01Despair (bsd3, control, library)2015-12-010.0.6Heather
disposable (deprecated in favor of glazier-react)260.02Allows storing different resource-releasing actions together. (bsd3, control, deprecated, library)2018-07-021.0.0.0louispan
distributed-closure612.07Serializable closures for distributed programming. (bsd3, control, library, program)2023-11-270.5.0.0AlpMestanogullari, FacundoDominguez, MathieuBoespflug
distributed-fork (deprecated)170.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)120.01AWS Lambda backend for distributed-fork. (bsd3, control, deprecated, library)2018-06-150.0.2.0utdemir
distributed-process1622.530Cloud Haskell: Erlang-style concurrency in Haskell (bsd3, control, library)2024-04-040.7.6EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson, LaurentRDC, davidsd, JoelMcCracken
distributed-process-async450.06Cloud Haskell Async API (bsd3, control, library)2024-03-250.2.7FacundoDominguez, MathieuBoespflug, TimWatson, LaurentRDC, davidsd
distributed-process-client-server240.09The Cloud Haskell Application Platform (bsd3, control, library)2018-06-140.2.5.1FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-execution130.02Execution Framework for The Cloud Haskell Application Platform (bsd3, control, library)2016-02-180.1.2.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-extras140.011Cloud Haskell Extras (bsd3, control, library)2018-06-130.3.5FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-fsm50.01The Cloud Haskell implementation of Erlang/OTP gen_statem (bsd3, control, library)2017-03-260.0.1TimWatson, LaurentRDC, davidsd
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-control210.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)50.02The Cloud Haskell Application Platform (bsd3, control, deprecated, library)2014-06-130.1.0FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-registry100.01Cloud Haskell Extended Process Registry (bsd3, control, library)2016-02-180.1.0.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-simplelocalnet611.56Simple zero-configuration backend for Cloud Haskell (bsd3, control, library)2024-03-270.3.0EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson, LaurentRDC, davidsd
distributed-process-supervisor150.04Supervisors for The Cloud Haskell Application Platform (bsd3, control, library)2018-06-140.2.1FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-systest90.01Cloud Haskell Test Support (bsd3, cloud-haskell, control, library)2017-02-050.1.1TimWatson, LaurentRDC, davidsd
distributed-process-task140.02Task Framework for The Cloud Haskell Application Platform (bsd3, cloud-haskell, control, library)2016-02-180.1.2.2FacundoDominguez, MathieuBoespflug, TimWatson
distributed-process-tests490.01Tests and test support tools for distributed-process. (bsd3, cloud-haskell, control, library)2024-03-310.4.12FacundoDominguez, MathieuBoespflug, TimWatson, LaurentRDC, davidsd
distributed-process-zookeeper130.01A Zookeeper back-end for Cloud Haskell. (bsd3, cloud-haskell, control, library)2017-09-090.2.3.0jeremyjh
distributed-static660.09Compositional, type-safe, polymorphic static values and closures (bsd3, control, library)2024-03-250.3.10EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson, LaurentRDC, davidsd, JoelMcCracken
do-notation-dsl (deprecated in favor of control-dsl)160.01An alternative to monads (bsd3, control, deprecated, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-020.1.0.3yangbo
drinkery290.01Boozy streaming library (bsd3, control, library)2018-07-180.4FumiakiKinoshita
edenmodules100.03Semi-explicit parallel programming library (bsd3, control, distributed-computing, eden, library, parallelism)2014-04-061.2.0.0MischaDieterle, JostBerthold, horstmeyer
effect-handlers310.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-monad162.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-stack130.00Reducing the pain of transformer stacks with duplicated effects (bsd3, control, library)2019-07-140.3DanielWagner
effectful692.53An easy to use, performant extensible effects library. (bsd3, control, library)2023-09-132.3.0.0arybczak
effectful-core802.015An easy to use, performant extensible effects library. (bsd3, control, library)2023-11-132.3.0.1arybczak
effectful-plugin260.00A GHC plugin for improving disambiguation of effects. (bsd3, control, library)2023-09-131.1.0.2arybczak
effectful-th330.00Template Haskell utilities for the effectful library. (bsd3, control, library)2023-01-131.0.0.1arybczak
effects250.02Computational Effects (bsd3, control, library, monads)2019-04-130.2.4SjoerdVisscher
effects-parser120.01Parser Effect for the Control.Effects Library (bsd3, control, library, monads)2013-09-150.1JesseMcDonald
effet180.00An Effect System based on Type Classes (bsd3, control, library)2020-12-240.4.0.0MichaelSzvetits
effin280.03A Typeable-free implementation of extensible effects (bsd3, control, effect, library)2017-08-030.3.0.3AnthonyVandikas
either3022.0284Combinators for working with sums (bsd3, control, library, monads)2022-05-085.0.2EdwardKmett, ryanglscott, GeorgeWilson
elevator230.04Immediately lifts to a desired level (bsd3, control, library)2015-04-010.2.3FumiakiKinoshita
elision190.00Arrows with holes. (bsd2, control, library, program)2016-02-180.1.3.2jacrough
enclosed-exceptions932.023Catching all exceptions from within an enclosed computation (control, library, mit)2018-07-111.0.3MichaelSnoyman, jcristovao
enum-text-rio160.01Making fmt available with rio (bsd3, control, library, program)2019-07-231.2.0.0ChrisDornan
error-context150.01Provides API for enriching errors with contexts (bsd3, control, error-handling, library)2018-04-100.2.0.1mtesseract
error-continuations50.01Error Continuations (control, library, public-domain)2015-01-050.1.0.0echatav
error-list90.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)320.02An orphan Eq instance for ErrorCall (control, deprecated, library, mit)2015-04-220.3.0SimonHengel
errors2082.5142Simplified error-handling (bsd3, control, error-handling, library)2018-05-112.3.0GabrielGonzalez
errors-ext350.01`bracket`-like functions for `ExceptT` over `IO` monad. (control, error-handling, library)2018-07-170.4.2warlock
eternal360.01everything breaking the Fairbairn threshold (bsd3, control, library)2016-07-240.1.7Heather
ether (deprecated)352.252Monad transformers and classes (bsd3, control, deprecated, library)2017-06-030.5.1.0int_index
eveff170.00Efficient effect handlers based on evidence translation. (control, effect, library, mit)2021-07-191.0.0.2ningningxie
event-driven50.02library for event driven programming (bsd3, control, library)2010-07-160.0.2YoshikuniJujo
event-handlers90.02Event handlers (control, data, library, public-domain)2008-12-150.0.0.3JamesCook
event-monad120.01Event-graph simulation monad transformer (control, library, public-domain)2010-01-110.0.3JamesCook
event-transformer (deprecated)120.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)80.01Exception monad transformer instances for monads-fd classes. (bsd3, control, deprecated, error-handling, failure, library, monad)2010-10-060.2GeoffreyMainland
exception-monads-tf300.01Exception monad transformer instances for monads-tf classes. (bsd3, control, error-handling, failure, library, monad)2017-05-030.4.0.1GeoffreyMainland
exception-mtl730.03Exception monad transformer instances for mtl classes. (bsd3, control, error-handling, failure, library, monad)2023-03-220.4.0.2GeoffreyMainland
exception-transformers1250.019Type classes and monads for unchecked extensible exceptions. (bsd3, control, error-handling, failure, library, monad)2023-08-310.4.0.12GeoffreyMainland, TroelsHenriksen
exceptional400.01Essentially the Maybe type with error messages. (bsd2, control, library)2015-07-220.3.0.0pharpend
exceptions3442.0985Extensible optionally-pure exceptions (bsd3, control, exceptions, library, monad)2024-04-200.10.8EdwardKmett, ryanglscott
exceptiot60.00ExceptT, but uses IO instead of Either (bsd3, control, library)2022-11-220.0.1.0parsonsmatt
exhaustive350.01Compile time checks that a computation considers producing data through all possible constructors (bsd3, control, library)2020-06-171.1.9OliverCharles
exitcode250.03Monad transformer for exit codes (bsd3, control, library)2023-10-060.1.0.9TonyMorris, qfpl, GeorgeWilson
explicit-exception600.028Exceptions which are explicit in the type signature. (bsd3, control, library)2023-01-140.2HenningThielemann
explicit-sharing370.01Explicit Sharing of Monadic Effects (control, library, monads, public-domain)2011-06-300.9SebastianFischer
extensible-effects1402.2512An Alternative to Monad Transformers (control, effect, library, mit)2019-01-035.0.0.1BenFoppa, SvenHeyll, shergill, sickmind
extensible-effects-concurrent1542.00Message passing concurrency as extensible-effect (bsd3, concurrency, control, effect, library, program)2020-12-162.0.0SvenHeyll
extensible-exceptions1270.088Extensible exceptions (bsd3, control, library)2012-02-020.1.1.4IanLynagh
failable370.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)350.071A simple type class for success/failure computations. (deprecated) (bsd3, control, deprecated, failure, library, monads)2014-06-080.2.0.3MichaelSnoyman, Michael_Smith
feature-flags150.01A simple library for dynamically enabling and disabling functionality. (control, library, mit)2015-04-020.1.0.1IanDuncan
fmt-for-rio110.00Adaptor for getting fmt to work with rio (bsd3, control, library, text)2019-07-231.0.0.0ChrisDornan
fold-debounce570.03Fold multiple events that happen in a given period of time. (bsd3, control, library)2023-04-050.2.0.11debugito
foldl5072.5115Composable, streaming, and efficient left folds (bsd3, control, library)2024-03-021.4.16GabrielGonzalez
foldl-exceptions162.00Exception handling with FoldM (control, library, mit)2023-01-111.0.0.2chris_martin, Monoid_Mary
foldl-incremental132.01incremental folds (control, library, mit, statistics)2015-02-230.2.0.0tonyday
foldl-transduce532.01Transducers for foldl folds. (bsd3, control, library)2021-03-190.6.0.1DanielDiazCarrete
foldl-transduce-attoparsec100.01Attoparsec and foldl-transduce integration. (bsd3, control, library)2016-02-120.2.0.0DanielDiazCarrete
for-free60.01Functor, Monad, MonadPlus, etc for free (control, library, public-domain)2012-07-090.1AaronBlack
forbidden-fruit50.01A library accelerates imperative style programming. (bsd3, control, library)2015-02-240.1.0minpou
forest200.01Tree and Forest types (control, library, mpl)2018-08-020.2.1.1ShaneOBrien
free5632.5202Monads for free (bsd3, control, library, monads)2023-03-125.2EdwardKmett, EricMertens, JohnWiegley, ryanglscott
free-algebras572.02Free algebras (algebra, control, library, monads, mpl)2023-06-040.1.1.0coot
free-applicative-t60.00Free Applicative Transformer (bsd3, control, library)2022-12-310.1.0.0viercc
free-categories250.01free categories (bsd3, control, library)2020-09-290.2.0.2echatav
free-category312.01efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2023-06-040.0.4.5coot
free-er100.00An extensible effects library (bsd3, control, effect, library, program)2017-10-100.1.0.0OmerAgacan
free-listt70.00Lawful list and set monad transformers based on free monads (control, library, mit)2024-01-030.1.0.1turion
free-operational110.02Operational Applicative, Alternative, Monad and MonadPlus from free types. (bsd3, control, library)2013-08-080.5.0.0LuisCasillas
free-vl210.00van Laarhoven encoded Free Monad with Extensible Effects (bsd3, control, library, monads, program)2016-02-100.1.4aaronlevin
freer252.250Implementation of the Freer Monad (bsd3, control, library, program)2016-11-250.2.4.1alleledev
freer-effects82.02Implementation of effect system for Haskell. (bsd3, control, library, program)2017-04-160.3.0.1MatejKollar, PeterTrsko, TomasJanousek
freer-simple712.010A friendly effect system for Haskell. (bsd3, control, library, program)2022-01-071.2.1.2lexi_lambda
freer-simple-catching50.01Checked runtime exceptions with freer-simple (control, library, mit)2018-11-120.1.0.0benweitzman
freer-simple-http70.01Make HTTP requests with freer-simple! (control, http, library, mit, web)2018-11-120.1.0.0benweitzman
freer-simple-profiling70.01Automatic profling of freer-simple programs (benchmarking, control, library, mit, profiling)2018-11-120.1.0.0benweitzman
freer-simple-random60.01Random number generators using freer-simple (control, library, mit, random)2018-11-120.1.0.0benweitzman
freer-simple-time50.01freer-simple interface to IO based time functions (control, library, mit, time)2018-11-120.1.0.0benweitzman
fresnel120.01high-powered optics in a small package (bsd3, control, library)2023-11-270.0.0.3robrix
fresnel-fused-effects60.00fresnel/fused-effects integration (bsd3, control, library)2022-02-260.0.0.0robrix
from-sum352.01Combinators for working with Maybe and Either (bsd3, control, library)2020-01-250.2.3.0cdepillabout
frpnow262.54Principled practical FRP (bsd3, control, library)2015-08-250.18AtzeVanDerPloeg
frpnow-gloss90.01Program awesome stuff with Gloss and frpnow! (bsd3, control, library)2015-07-140.12AtzeVanDerPloeg
frpnow-gtk70.01Program GUIs with GTK and frpnow! (bsd3, control, library)2015-07-140.11AtzeVanDerPloeg
frpnow-vty70.00Program terminal applications with vty and frpnow! (control, gpl, library, program)2018-03-190.2.0.1JaroReinders
fsharp (deprecated)180.02some F# operators, high priority pipes (bsd3, control, deprecated, library)2014-02-180.0.4Heather
full-sessions220.01a monad for protocol-typed network programming (bsd3, control, library, network)2012-01-230.6.2.1KeigoImai
function-combine90.01Combining functions (bsd3, control, library)2011-09-230.1.0IainAlexander
functor (deprecated in favor of category)60.01Functors (bsd3, control, deprecated, library, math)2017-11-160.1.0.0
functor-apply (deprecated in favor of semigroupoids)570.06This package has been subsumed by semigroupoids (bsd3, control, deprecated, library)2011-01-300.11EdwardKmett
functors130.01(.:) and friends, syntax for Functor and Applicative. (bsd3, control, library)2010-11-280.1AristidBreitkreuz
funflow252.02Workflows with arrows (control, library, mit, program)2020-03-091.6.0nclarke
fused-effects1242.7516A fast, flexible, fused effect system. (bsd3, control, library)2023-06-091.1.2.2patrick_thomson, robrix, joshvera
fused-effects-exceptions260.00Handle exceptions thrown in IO with fused-effects. (bsd3, control, control., library)2021-06-081.1.0.1patrick_thomson, robrix
fused-effects-lens372.01Monadic lens combinators for fused-effects. (bsd3, control, library)2020-07-101.2.0.1patrick_thomson, robrix
fused-effects-mwc-random50.00High-quality random number generation as an effect. (bsd3, control, library)2020-10-050.1.0.0patrick_thomson
fused-effects-optics150.00Bridge between the optics and fused-effects ecosystems. (bsd3, control, library)2022-07-130.2.1.0patrick_thomson
fused-effects-random140.00Random number generation for fused-effects. (bsd3, control, library)2020-07-121.1.0.0patrick_thomson, robrix
fused-effects-resumable60.00Resumable exceptions for the fused-effects ecosystem. (bsd3, control, library)2019-11-130.1.0.0patrick_thomson
fused-effects-squeal52.250A fused-effects adapter for squeal-postgresql. (bsd3, control, library)2020-01-260.1.0.0iko
fused-effects-th160.00Template Haskell helpers for fused-effects. (bsd3, control, library)2021-04-070.1.0.3patrick_thomson, robrix
future-resource110.02realtime resource handling with manual concurrency (control, lgpl, library)2015-04-220.4.0.0capsjac
gang-of-threads230.01Non-deterministic parallelism with bags (bsd3, control, library, parallelism)2014-07-223.2.1bholst
garlic-bread130.01A monad transformer for keeping track of where you've come from. (bsd3, control, library)2018-03-170.1.0.1parsonsmatt
gas60.01Limit how many steps a program may take. (bsd3, control, library)2018-08-140.0.0.1rightfold
general-allocate340.02Exception-safe resource management in more monads (apache, control, exceptions, library)2024-01-130.2.3.1shlevy
general-prelude (deprecated)110.01Prelude replacement using generalized type classes where possible (bsd3, control, data, deprecated, library)2012-12-180.1.2JohnWiegley
generator170.01Python-generators notation for creation of monadic lists (bsd3, control, library)2015-05-280.5.5YairChuchem
generators (deprecated)120.01Actually useful monadic random value generators. (bsd3, control, deprecated, library)2010-06-251.0.3LiamOConnorDavis
generic-deepseq170.01Generic deep evaluation of data structures (bsd3, control, generics, library)2012-02-282.0.1.1MaximeHenrion
ghc-call-stack-extras140.01Extra utilities for HasCallStack (bsd3, control, library)2018-03-140.1.0.2dfeuer
gooey80.01Graphical user interfaces that are renderable, change over time and eventually produce a value. (control, library, mit)2015-10-060.1.0.0SchellScivally
grab212.01Applicative non-linear consumption (control, library, mit)2022-06-200.0.0.8chris_martin, Monoid_Mary
graphted180.01Graph indexed monads. (bsd3, comonads, control, library, monads)2017-05-090.3.1.0AaronFriel
groupoids (deprecated in favor of semigroupoids)352.06This package has been absorbed into semigroupoids 4.0 (bsd3, categories, control, deprecated, library)2013-10-134.0EdwardKmett
hasim130.01Process-Based Discrete Event Simulation library (bsd3, control, library)2008-12-290.1.2JochemBerndsen
hask60.01Categories (bsd3, control, library)2014-11-100EdwardKmett
haskell-cnc160.01Library for parallel programming in the Intel Concurrent Collections paradigm. (bsd3, control, library, parallelism, program)2011-08-120.1.3.200RyanNewton
hcron80.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
heftia60.01Higher-order version of Freer. (control, library, monads, mpl)2023-09-180.1.0.0YamadaRyo
heftia-effects70.00Handlers for standard effects using Heftia. (control, effect, library, monads, mpl, program)2023-09-180.1.0.0YamadaRyo
hierarchical-env130.00hierarchical environments for dependency injection (bsd3, control, library)2021-05-130.2.0.2autotaker
hmk300.01A make alternative based on Plan9's mk. (control, development, distribution, library, program)2016-01-110.9.7.4MathieuBoespflug
hoist-error250.03Some convenience facilities for hoisting errors into a monad (control, library, mit)2018-06-150.2.1.0JonSterling, schalmers, qfpl
hpc840.018Code Coverage Library for Haskell (bsd3, control, library)2024-01-110.7.0.1AustinSeipp, BenGamari, HerbertValerioRiedel, IanLynagh, wz1000, DavidBinder
hpc-coveralls632.01Coveralls.io support for Haskell. (bsd3, control, library, program)2017-05-131.0.10killy971
hpc-lcov280.00Convert HPC output into LCOV format (bsd3, control, library, program)2023-12-261.1.2brandonchinn178
hreader280.02Generalization of MonadReader and ReaderT using hset (bsd3, control, library)2023-10-181.1.1AlekseyUymanov
hs-di102.01Dependency Injection library for Haskell (bsd3, control, dependency-injection, development, library, program, template-haskell, testing)2016-09-260.3.0Wizek
hsPID140.01PID control loop (control, lgpl, library)2018-11-250.1.2jlamothe
hspec-monad-control40.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
if160.01(?) and (?>) conditional operator (bsd3, control, library)2016-11-170.1.0.0winterland
ifcxt72.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-words210.04A higher-order effect system where the sky's the limit (bsd3, control, library)2022-06-150.2.1.1KingoftheHomeless
index-core130.02Indexed Types (bsd3, control, indexed, library)2016-06-121.0.4GabrielGonzalez
indexed250.014Haskell98 indexed functors, monads, comonads (bsd3, control, library)2016-09-170.1.3ReinerPope, typedrat
indexed-extras210.03Indexed functors, monads and comonads that require extensions to Haskell98 (bsd3, control, library)2016-07-080.2ReinerPope, typedrat
indexed-free200.02indexed monads for free (bsd3, control, library, monad)2013-11-270.3.1FumiakiKinoshita
indexed-transformers160.00Atkey indexed monad transformers (bsd3, control, library)2024-01-150.1.0.4echatav
indextype230.04A series of type families and constraints for "indexable" types. (bsd3, control, library)2017-10-190.3.0.1clinton
inject-function120.01Monadic functions with injected parameters. (control, gpl, library)2013-09-130.2.1.0DimitriSabadie
instance-control200.01Controls how the compiler searches for instances using type families. (bsd3, control, library)2017-09-270.1.2.0lazac
interchangeable (deprecated)160.01A type class for interchangeable data. (control, deprecated, library, mit)2015-01-180.2.0.0arowM
interleave70.01Combinators for supporting interleaving of different behaviours (bsd3, control, library)2011-01-071.0NeilBrown
interruptible80.01Monad transformers that can be run and resumed later, conserving their context. (bsd3, control, library)2016-06-080.1.1.1marcosdumay
interspersed130.01An abstraction over interspersing monadic actions (control, library, mit)2016-06-020.1.2NikitaVolkov
invariant5850.018Haskell98 invariant functors (bsd2, control, data, library)2024-03-190.6.3NicolasFrisby, ryanglscott
invertible381.255bidirectional arrows, bijective functions, and invariant functors (bsd3, composition, control, data, library)2023-07-040.2.0.8DylanSimon
invertible-hlist50.01invertible functions and instances for HList (bsd3, composition, control, data, library)2017-03-070.2.0.2DylanSimon
io-choice310.05Choice for IO and lifted IO (bsd3, control, library)2018-12-110.0.7KazuYamamoto
io-classes2382.05Type classes for concurrency with STM, ST and timing (apache, control, library)2024-02-151.4.1.0coot
io-classes-mtl2512.00Experimental MTL instances for io-classes (apache, control, library)2024-02-150.1.1.0coot
io-reactive50.02An API for generating TIMBER style reactive objects. (bsd3, control, library, program, reactivity)2008-09-230.1.1AndyGill
io-region170.01Exception safe resource management with dynamic regions (bsd3, control, library)2015-04-240.1.1YurasShumovich
iotransaction50.01Supports the automatic undoing of IO operations when an exception is thrown. (control, library, mit)2013-05-040.1DylanShearer
ixmonad (deprecated in favor of effect-monad, type-level-sets)200.01Embeds effect systems into Haskell using parameteric effect monads (bsd3, control, deprecated, library, monads)2014-05-150.57DominicOrchard
joint300.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
kindly-functors60.00A category polymorphic `Functor` typeclass (categories, control, library, mit)2024-02-050.1.0.1solomon
lambda-devs60.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
lax170.01Lax arrows (bsd3, control, library)2012-02-070.1.0.3WolfgangJeltsch
layers60.02Modular type class machinery for monad transformer stacks. (bsd3, control, library)2013-03-140.1ShaneOBrien
lazy120.01Explicit laziness for Haskell (control, library, mit)2018-04-280.1NikitaVolkov
lazy-bracket40.00A bracket with lazy resource allocation. (bsd3, control, library)2022-04-160.1.0.0DanielDiazCarrete
lazy-priority-queue120.00Lazy-Spined Monadic Priority Queues (control, data, gpl, library, program)2021-02-180.1.1MarioBlazevic
lazyio380.04Run IO actions lazily while respecting their order (bsd3, control, library, monads)2016-12-140.1.0.4HenningThielemann
lazyio-applicative150.00LazyIO applicative for asymptotic performance (applicative, control, library, mit)2024-02-020.1.0.3profunctorial
lens-filesystem90.00Lens interface for your filesystem; still a bit experimental (bsd3, control, library)2020-10-210.1.0.1ChrisPenner
lens-misc140.02Miscellaneous lens utilities. (bsd3, control, library)2018-07-020.0.2.0louispan
lens-tell100.00MonadTell-based lens combinators (bsd3, control, library)2021-09-060.1lightandlight
lens-tutorial132.51Tutorial for the lens library (bsd3, control, library)2019-06-191.0.4GabrielGonzalez
lensref (deprecated)170.02References which can be joined and on which lenses can be applied (bsd3, control, data, deprecated, library)2014-05-180.2PeterDivianszky
lenz-mtl (deprecated)90.00mtl operations with Van Laarhoven lenses (control, data, deprecated, lenses, library)2019-10-250.1
level-monad270.02Non-Determinism Monad for Level-Wise Search (control, library, monads, public-domain)2009-06-220.4.1SebastianFischer
lifted-base2770.0270lifted IO operations from the base library (bsd3, control, library)2018-03-140.2.3.12BasVanDijk
lifted-base-tf (deprecated)50.01lifted IO operations from the base library (bsd3, control, deprecated, library)2018-08-190.1.0.0
list-t3552.040ListT done right (control, data-structures, library, mit, streaming)2023-10-111.0.5.7NikitaVolkov
list-transformer482.04List monad transformer (bsd3, control, library)2023-07-151.1.0GabrielGonzalez
little-rio340.02When you need just the RIO monad (bsd3, control, library)2023-06-212.0.1ejconlon
local-search170.01Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2013-07-180.0.7RichardSenington
log-effect330.02An extensible log effect using extensible-effects (control, effect, library, logging, mit, program)2019-03-021.2.0ibotty, sickmind
log-effect-syslog140.01Syslog functions for log-effect (bsd3, control, effect, library, logging, syslog)2019-03-020.2.0sickmind
logicst50.01Backtracking mutable references in the ST and IO monads (bsd3, control, library)2013-04-170.1.0.0AndySonnenburg
logict3600.041A backtracking logic-programming monad. (bsd3, control, library)2023-04-240.8.1.0DanDoel, Bodigrim
logict-sequence172.00A backtracking logic-programming monad with asymptotic improvements to msplit (control, library, mit)2022-12-060.2.0.2JasonDagit, dfeuer
loop690.04Fast loops (for when GHC can't optimize forM_) (control, library, mit)2015-09-030.3.0NiklasHambuechen
loop-dsl61.50monadic loop dsl. (control, library, mit)2021-11-150.1.0.0ailrk
loop-effin100.01control-monad-loop port for effin (bsd3, control, library)2014-10-070.1.1.0HiromiIshii
loop-while80.02A monad transformer supporting various styles of while loop (bsd3, control, library)2010-01-111.0.0NeilBrown
loops150.01Fast imperative-style loops (bsd3, control, library)2014-06-130.2.0.2ThomasTuegel
machinecell250.01Arrow based stream transducers (bsd3, control, frp, library, reactivity)2018-04-174.0.1HidenoriAzuma
machines1152.529Networked stream transducers (bsd3, control, enumerator, library)2022-05-180.7.3EdwardKmett, EricMertens, ryanglscott
machines-attoparsec130.00Parse machines streams with attoparsec parsers. (bsd3, control, data, enumerator, library, parsing, text)2019-01-310davean
machines-bytestring50.01ByteString support for machines (bsd3, control, library, machines)2017-06-070.1.0.0zclod
machines-encoding50.00Transcode encodings with machines. (bsd3, control, data, enumerator, library, text)2019-01-310davean
managed1070.022A monad for managed values (bsd3, control, library)2023-01-311.0.10GabrielGonzalez
map-classes90.01A set of classes and instances for working with key/value mappings. (bsd3, control, library)2018-03-310.1.0.0clinton
map-reduce-folds310.01foldl wrappers for map-reduce (bsd3, control, library)2023-05-020.1.2adamCS
mealstrom112.01Manipulate FSMs and store them in PostgreSQL. (control, database, library, mit)2021-01-150.0.1.1amx
mech51.251mecha are the most complex composite machines known to humanity, lets build them well! (bsd2, concurrency, control, data, library, network, system)2016-08-110.0.0.0CarterSchonwald
mechs61.251mecha are the most complex composite machines known to humanity, lets build them well! (bsd2, concurrency, control, data, library, network, system)2016-08-110.0.0.0CarterSchonwald
memo-ptr50.01Pointer equality memoization (control, library, mit)2015-05-310.1.0.0edofic
memoization-utils90.01Utilities for memoizing functions (control, library, mit)2015-11-060.1.0.1yamadapc
meta-par50.02Provides the monad-par interface, but based on modular scheduler "mix-ins". (bsd3, control, library, monads, parallelism)2012-05-040.3RyanNewton
metaheuristics60.00Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2019-10-040.0.8richardjamessenington
method190.01rebindable methods for improving testability (bsd3, control, library)2021-05-070.4.0.0autotaker
micro-recursion-schemes90.04Simple recursion schemes (bsd3, control, library, recursion)2018-05-145.0.2.2
midair272.01Hot-swappable FRP (concurrency, control, frp, gpl, interaction, library, music, reactive, reactivity, user-interfaces)2018-11-100.2.0.1TomMurphy
mini700.00Minimal essentials (control, data, lenses, library, mit, parsing)2024-04-141.3.0.1vicwall
minioperational (deprecated in favor of monad-skeleton)320.05fast and simple operational monad (bsd3, control, deprecated, library)2015-01-260.4.9FumiakiKinoshita
mix-arrows150.01Mixing effects of one arrow into another one (bsd3, control, library)2012-02-061.2MiguelMitrofanov
mmorph3112.5133Monad morphisms (bsd3, control, library)2021-07-161.2.0GabrielGonzalez
mmtl60.04Modular Monad transformer library (bsd3, control, library)2008-09-300.1MauroJaskelioff
mmtl-base (deprecated)50.01MonadBase type-class for mmtl (bsd3, control, deprecated, library)2011-12-1315321.1
modular-prelude (deprecated)90.02A new Prelude featuring first class modules (control, deprecated, library, mit)2012-08-180.3.0.0DanBurton
modular-prelude-classy (deprecated)80.01Reifying ClassyPrelude a la ModularPrelude (control, deprecated, library, mit)2012-08-180.1.0.0DanBurton
moffy110.03Monadic Functional Reactive Programming (bsd3, control, library)2023-12-050.1.1.0YoshikuniJujo
moffy-samples170.00Samples of moffy (bsd3, control, library)2024-01-040.1.0.3YoshikuniJujo
moffy-samples-events270.03Events for sample codes of moffy (bsd3, control, library)2024-01-040.2.2.5YoshikuniJujo
moffy-samples-gtk380.00Sample executables of moffy - GTK3 version (bsd3, control, program)2023-12-200.1.0.0YoshikuniJujo
moffy-samples-gtk3-run190.00Package to run moffy samples - GTK3 version (bsd3, control, library, program)2023-12-210.1.0.7YoshikuniJujo
moffy-samples-gtk480.00Sample executables of moffy - GTK4 version (bsd3, control, program)2023-12-120.1.0.1YoshikuniJujo
moffy-samples-gtk4-run160.00Package to run moffy samples - Gtk4 version (bsd3, control, library)2023-12-190.2.1.3YoshikuniJujo
monad-abort-fd360.02A better error monad transformer (bsd3, control, library)2023-05-090.7.0.1MikhailVorozhtsov
monad-atom160.03Monadically convert object to unique integers and back. (bsd3, control, library)2012-03-160.4.1GrzegorzChrupala
monad-atom-simple60.01Monadically map objects to unique ints. (bsd3, control, library)2012-02-230.0.2GrzegorzChrupala
monad-batcher130.01An applicative monad that batches commands for later more efficient execution (bsd3, control, library)2017-04-290.0.0.0BasVanDijk
monad-bool (deprecated)110.01This package has been removed. (bsd3, control, deprecated, library)2013-01-280.2.0JohnWiegley
monad-choice110.00Monad, monad transformer, and typeclass representing choices. (agpl, control, library)2020-03-270.2.0.0LouisH
monad-chronicle250.00These as a transformer, ChronicleT (bsd3, control, library, these)2022-05-201.0.1phadej
monad-classes (deprecated)242.07more flexible mtl (control, deprecated, library, mit)2018-05-070.3.2.2
monad-codec270.07Monadic conversion between complex data structures and unique integers (bsd3, control, library)2019-11-300.2.1JakubWaszczuk
monad-connect80.01Transformer for TCP connection with TLS and SOCKS support (control, library, monad, network, public-domain)2016-03-160.1akrasner
monad-control3112.0544Lift control operations, like exception catching, through monad transformers (bsd3, control, library)2021-08-021.0.3.1BasVanDijk, phadej
monad-control-aligned240.010Lift control operations, like exception catching, through monad transformers (bsd3, control, library)2023-10-020.0.2.1athanclark
monad-control-identity280.02Stronger classes than monad-control (bsd3, control, library)2022-03-310.2.0.0jumper149
monad-coroutine640.010Coroutine monad transformer for suspending and resuming monadic computations (concurrency, control, library, monads)2022-03-230.9.2MarioBlazevic
monad-dijkstra1760.02A monad transformer for weighted graph searches (bsd3, control, library, monads)2023-12-180.1.1.5ecramer
monad-exception (deprecated in favor of layers)70.01Exstensible monadic exceptions (control, deprecated, library, public-domain)2012-03-010.1ShaneOBrien
monad-extras570.09Extra utility functions for working with monads (bsd3, control, library)2017-02-100.6.0JohnWiegley
monad-finally190.01Guard monadic computations with cleanup actions (bsd3, control, library)2023-05-090.1.2.1MikhailVorozhtsov
monad-fork (deprecated in favor of layers)50.02Type class for monads which support a fork operation. (control, deprecated, library, public-domain)2012-02-210.1ShaneOBrien
monad-hash140.01Monad transformer for incremental hashing (control, cryptography, hash, library, monad, public-domain)2016-05-300.1.0.2akrasner
monad-introspect130.00A reader monad that gives the environment access to the entire transformer stack (bsd3, control, library)2020-08-100.1.0.0mniip
monad-io-adapter110.01Adapters between MonadIO and MonadBase IO. (control, library)2017-11-210.1.0.0lexi_lambda
monad-journal760.03Pure logger typeclass and monad transformer (bsd3, control, library)2017-11-250.8.1DimitriSabadie
monad-levels80.01Specific levels of monad transformers (control, library, mit)2015-02-030.1.0.1IvanMiljenovic
monad-lgbt80.01Monad transformers for combining local and global state. (bsd2, control, library)2016-07-230.0.2MichalGajda
monad-loops1782.25129Monadic loops (control, library, public-domain)2015-06-190.4.3JamesCook
monad-loops-stm130.02Monadic loops for STM (control, library, public-domain)2013-06-090.4JamesCook
monad-markov80.01Markov process monad (control, library, mit)2018-06-290.1.0.0arran
monad-memo662.02Memoization monad transformer (bsd3, control, library, monad)2022-01-030.5.4EduardSergeev
monad-mersenne-random62.55An efficient random generator monad, based on the Mersenne Twister (bsd3, control, library)2010-07-140.1DonaldStewart
monad-open80.01Open recursion for when you need it (control, library, mit)2015-03-220.1.0.0JonSterling
monad-ox230.03Monad for observation extraction (bsd3, control, library, natural-language-processing)2013-04-060.3.0JakubWaszczuk
monad-par1192.2517A library for parallel programming based on a monad (bsd3, control, library, monads, parallelism)2023-09-280.3.6OliverCharles, RyanNewton, SimonMarlow
monad-par-extras640.05Combinators and extra features for Par monads (bsd3, control, library, monads, parallelism)2013-07-120.3.3RyanNewton
monad-parallel820.020Parallel execution of monadic computations (bsd3, control, library, monads)2022-03-220.8MarioBlazevic
monad-parallel-progressbar90.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)120.01Parameterized monads (bsd3, control, deprecated, library)2011-01-150.0.4DominiqueDevriese, EdwardKmett
monad-peel340.019Lift control operations like exception catching through monad transformers (bsd3, control, library)2023-08-100.3AndersKaseorg, SergeyAlirzaev
monad-products292.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, JosefSvenningsson
monad-resumption330.01Resumption and reactive resumption monads for Haskell. (bsd3, control, library)2019-09-300.1.4.0AdamProcter, IanGraves
monad-skeleton450.06Monads of program skeleta (bsd3, control, library, monads)2021-11-300.2FumiakiKinoshita
monad-st360.05Provides a MonadST class (bsd3, control, library, monads)2017-06-260.2.4.1EdwardKmett
monad-state120.02Utility library for monads, particularly those involving state. (bsd3, control, data, library, monads)2014-12-020.2.0.3ByronJohnson
monad-ste72.254ST monad with efficient explicit errors (bsd2, control, library)2016-05-040.1.0.0CarterSchonwald
monad-stm140.06MonadSTM class analogous to MonadIO (bsd3, control, library)2013-04-070.1.0.2MiguelMitrofanov
monad-supply280.03Stateful supply monad (control, data, library, monad)2020-09-140.9GeoffHulette
monad-task80.02A monad transformer that turns event processing into co-routine programming. (bsd3, control, library)2018-01-040.2.0PaulLiu
monad-time822.015Type class for monads which carry the notion of the current time. (bsd3, control, library)2022-07-050.4.0.0GracjanPolak, MikhailGlushenkov, arybczak, trin_cz, jonathanjouty
monad-time-effectful180.00Adaptation of the monad-time library for the effectful ecosystem. (control, library, mit)2023-06-191.0.0.0arybczak
monad-timing80.01Monad transformer for recording timing events (control, library, mit)2016-06-130.1.0.1pikajude
monad-tree140.00Tree data structure for nondeterministic computations. (control, library, mit)2021-11-090.2.0.0nbedell
monad-tx50.01A transactional state monad. (bsd3, control, library, monads)2009-04-060.0.1MattMorrow
monad-unlift (deprecated in favor of unliftio-core, unliftio, rio)190.06Typeclasses for representing monad transformer unlifting (control, deprecated, library, mit)2016-05-030.2.0MichaelSnoyman
monad-unlift-ref132.01Typeclasses for representing monad transformer unlifting (control, library, mit)2017-11-210.2.1MichaelSnoyman
monad-validate681.257A monad transformer for data validation. (control, library)2023-08-171.3.0.0lexi_lambda
monad-wrap70.01Wrap functions such as catch around different monads (bsd3, control, library)2013-04-270.1DavidMazieres
monadLib-compose110.02Arrow-like monad composition for monadLib. (bsd3, control, library, monads)2010-10-200.2AristidBreitkreuz
monadbi (deprecated)120.02Extract underlying monads from monad transformers (control, deprecated, library)2011-09-220.1AnupamJain
monadcryptorandom430.07A monad for using CryptoRandomGen (bsd3, control, cryptography, library)2018-04-110.7.2.1ThomasDuBuisson
monadfibre (deprecated)150.01Monadic functions which provide Choice and Parallelism. (control, deprecated, library)2011-09-220.1.2.1AnupamJain
monadic-recursion-schemes560.00Recursion Schemes for Monadic version. (bsd3, control, library, monad, recursion)2023-04-190.1.13.2KatsutoshiItoh
monadiccp470.04Constraint Programming (bsd3, control, library)2018-05-090.7.7MaikRiechert, PieterWuille, TomSchrijvers
monadiccp-gecode130.01Constraint Programming (bsd3, control, library)2018-05-300.1.3JanTikovsky
monadio-unwrappable130.01Reversibly allow monad transformer stacks to run in IO (bsd3, control, library)2012-06-180.3AndrewMiller
monadlist290.04Monadic versions of list functions (bsd3, control, library)2011-10-080.0.2ThomasEding
monadloc320.06A class for monads which can keep a monadic call trace (control, library, monads, public-domain)2013-06-060.7.1PepeIborra
monadloc-pp140.01A preprocessor for generating monadic call traces (control, monads, program, public-domain)2014-10-170.3.1PepeIborra
monadplus330.09Haskell98 partial maps and filters over MonadPlus. (bsd3, control, library)2023-01-061.4.3HansHoglund, OliverCharles
monads-fd (deprecated in favor of mtl)230.041Monad classes, using functional dependencies (bsd3, control, deprecated, library)2010-11-070.2.0.0RossPaterson
monads-tf770.075Monad classes, using type families (bsd3, control, library)2023-07-100.3.0.1RossPaterson, chris_martin
monoidal-functors232.00Monoidal Functors Library (categories, control, library, mit, program)2023-08-030.2.3.0solomon
moo-nad80.00Invocation helpers for the ReaderT-record-of-functions style. (bsd3, control, library)2021-05-230.1.0.2DanielDiazCarrete
more-extensible-effects152.01Initial project template from stack (bsd3, control, library)2017-01-290.1.0.4qzchenwl
morphisms130.03It's all about functions (control, data, library, mit)2019-01-040.1.1iokasimovmt
morphisms-functors170.01Functors, theirs compositions and transformations (control, data, library, mit)2019-01-150.1.7iokasimovmt
morphisms-functors-inventory50.00Inventory is state and store (control, data, library, mit)2019-01-120.1.0iokasimovmt
morphisms-objects120.00Algebraic structures (control, data, library, mit)2019-01-080.1.3iokasimovmt
motor170.02Type-safe effectful state machines in Haskell (control, library, mpl, program)2019-06-230.4.0owickstrom
motor-diagrams100.01Generate state diagrams from Motor FSM typeclasses (control, library, mpl)2019-06-280.4.0owickstrom
motor-reflection90.01Reflect on Motor FSM typeclasses to obtain runtime representations (control, library, mpl)2019-06-280.4.0owickstrom
mpeff120.00Efficient effect handlers based on evidence-passing semantics (control, effect, library, mit)2021-08-090.1.0.0ningningxie
mtl2722.754017Monad 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)40.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)50.01Higher order versions of MTL classes (bsd3, control, deprecated, library)2016-08-120.1int_index
mtl-tf90.01Monad Transformer Library with Type Families (bsd3, control, library)2018-01-230.2.1.0TrevorElliott
mtl-unleashed270.02MTL classes without the functional dependency (bsd3, control, library)2015-11-110.6.1DavidFox
mtl-uplift130.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
mtsl110.00Reified monad transformer stacks (control, library, mit)2020-09-280.2.0.0sgschlesinger
multipass90.01Folding data with multiple named passes (bsd3, control, library)2013-01-270.1.0.2EdwardKmett
multistate750.06like mtl's ReaderT / WriterT / StateT, but more than one contained value/type. (bsd3, control, library)2022-01-240.8.0.4lspitzner, fozworth, dukerutledge
multiwalk60.01Traverse data types via generics, acting on multiple types simultaneously. (control, gpl, library)2023-07-170.3.0.1lvreis
mvc350.03Model-view-controller (bsd3, concurrency, control, library)2018-08-191.1.7GabrielGonzalez
mvc-updates140.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
named382.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-transformation492.017A natural transformation package. (bsd3, control, library)2016-11-150.4AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
needle70.01ASCII-fied arrow notation (control, library, mit)2014-09-280.1.0.1ScrambledEggs
newtype1460.032A typeclass and set of functions for working with newtypes. (bsd3, control, library)2019-09-100.2.2.0AndreasAbel, DariusJahandarie, HerbertValerioRiedel, jcristovao
newtype-deriving150.01Instance derivers for newtype wrappers (control, library, mit, template-haskell)2016-05-020.1.4NikitaVolkov
newtype-generics2412.017A typeclass and set of functions for working with newtypes (bsd3, control, library)2022-05-190.6.2jcristovao, sjakobi
newtype-th90.02A template haskell deriver to create Control.Newtype instances. (bsd3, control, library, template-haskell)2012-07-190.3.3MichaelSloan
newtyper90.01Extra functions for the Control.Newtype typeclass (bsd3, control, library)2012-05-150.1DylanJust
nondeterminism242.02A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2022-05-201.5AndreiBarbu
nqe480.02Concurrency library in the style of Erlang/OTP (control, library, mit, public-domain)2023-12-060.6.5jprupp
objective700.03Composable objects (bsd3, control, library)2021-10-271.3FumiakiKinoshita
observable190.01Continuation patterns (bsd3, control, library)2018-12-100.1.5iokasimovmt
op110.00Common operators encouraging large-scale easy reading (apache, combinators, control, functions, library, utility)2019-12-200.4.0.0infinity0
open-signals110.01A mechanism similar to checked exceptions that integrates with MTL and transformer stacks (control, library, mit)2016-04-170.1.0.3darwin226
operational1222.2521Implementation of difficult monads made easy with operational semantics. (bsd3, control, library, monads)2023-02-190.2.4.2HeinrichApfelmus
operational-class220.01MonadProgram typeclass for the operational package (control, library, mit)2015-07-120.3.0.0srijs
overload300.01Finite overloading (control, library, mit)2018-03-080.1.0.5darwin226
pandora1570.01A box of patterns and paradigms (control, data, library, mit)2022-05-290.5.6iokasimovmt
pandora-io140.00... (control, data, library, mit)2022-04-160.5.4iokasimovmt
parallel2612.0205Parallel programming library (bsd3, control, library, parallelism)2018-07-133.2.2.0AustinSeipp, BenGamari, HerbertValerioRiedel, IanLynagh, SimonMarlow
parallel-tree-search250.02Parallel Tree Search (concurrency, control, library, public-domain)2020-10-260.4.2SebastianFischer, nbu
parameterized570.02Parameterized/indexed monoids and monads using only a single parameter type variable. (bsd3, control, library)2017-12-170.5.0.0louispan
partial120.01A nullary type class for partial functions (control, library, mit)2017-11-281.0.0.0PhilFreeman
partial-isomorphisms340.04Partial isomorphisms. (bsd3, control, library)2021-09-030.2.3.0TillmannRendel, schernichkin
partial-lens (deprecated in favor of data-lens)60.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-state330.02Phantom State Transformer. Like State Monad, but without values. (bsd3, control, library)2023-09-260.2.1.4DanielDiaz
pid70.00a simple PID controller (control, program)2022-08-160.1.0.2SergeyAlirzaev
pipe-enumerator140.01A bidirectional bridge between pipes and iteratees (bsd3, control, library, pipes)2015-07-070.3.0.2patrykz
piped80.00Conduit with a smaller core (bsd3, control, library)2019-08-010.1.0.0ssadler
pipeline110.00Continuation patterns (bsd3, control, library)2019-02-240.1.0iokasimovmt
pipes2522.75188Compositional pipelines (bsd3, control, library, pipes)2021-05-074.3.16GabrielGonzalez
pipes-async140.01A higher-level interface to using concurrency with pipes (bsd3, control, library)2018-07-230.1.3JohnWiegley
pipes-attoparsec-streaming (deprecated)50.01Streaming parsing in the pipes-core framework with Attoparsec. (bsd3, control, deprecated, library, program)2012-06-200.1.0.0MartinGrabmueller
pipes-break172.01Pipes to group by any delimiter (such as lines with carriage returns) (bsd3, control, library, pipes)2017-03-160.2.0.6mindreader
pipes-bytestring600.046ByteString support for pipes (bsd3, control, library, pipes)2021-02-122.1.7GabrielGonzalez
pipes-category140.01Allows instances for Category, Arrow and ArrowChoice for Pipes. (bsd3, control, library, pipes)2017-10-080.3.0.0louispan
pipes-cellular60.01Pipes-based combinators for cellular data processing (bsd3, control, library, pipes)2015-07-070.0.0.1patrykz
pipes-cellular-csv100.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-conduit70.01Conduit adapters (bsd3, control, enumerator, library)2012-03-100.0.1PaoloCapriotti
pipes-core (deprecated in favor of pipes)70.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-extra120.01Various basic utilities for Pipes. (bsd3, control, enumerator, library)2012-06-090.2.0PaoloCapriotti
pipes-extras460.04Extra utilities for pipes (bsd3, control, library, pipes)2018-07-041.0.15GabrielGonzalez
pipes-fluid380.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-io50.01Stateful IO streams based on pipes (apache, control, library, pipes)2016-08-260.1yinguanhao
pipes-lines (deprecated in favor of pipes-break)270.01Pipes for grouping by lines with carriage returns. (bsd3, control, deprecated, library, pipes)2017-03-161.0.3.4mindreader
pipes-misc380.02Miscellaneous utilities for pipes, required by glazier-tutorial (bsd3, control, library, pipes)2018-05-220.5.0.0louispan
pipes-parse652.033Parsing infrastructure for the pipes ecosystem (bsd3, control, library, parsing, pipes)2021-02-123.0.9GabrielGonzalez
pipes-random370.01Producers for handling randomness. (bsd3, control, library)2019-05-101.0.0.5fosskers
pipes-rt130.01A few pipes to control the timing of yields (bsd3, control, library, pipes, program)2015-01-210.5.0imalsogreg
pipes-safe2090.046Safety for the pipes ecosystem (bsd3, control, error-handling, library, pipes)2023-11-042.3.5GabrielGonzalez
pipes-transduce390.02Interfacing pipes with foldl folds. (bsd3, control, library)2018-05-120.4.4.0DanielDiazCarrete
pipes-vector180.01Various proxies for streaming data into vectors (bsd3, control, library)2015-05-290.6.2BenGamari
pipes-zeromq490.01Pipes integration for ZeroMQ messaging (bsd3, control, library, network, pipes)2017-04-200.3.0.0peddie
plan-applicative120.01Applicative/Arrow for resource estimation and progress tracking. (bsd3, control, library)2018-08-182.0.1.0DanielDiazCarrete
poly-cont40.01Poly-kinded continuations (bsd3, control, library)2018-03-140.1.0.0dfeuer
porcupine-core62.02Express portable, composable and reusable data tasks and pipelines (arrows, combinators, control, data, json, library, mit, numerical, pipes, program, streaming)2019-10-090.1.0.1YvesPares
porcupine-http40.00A location accessor for porcupine to connect to HTTP sources/sinks (arrows, combinators, control, data, library, mit, program, web)2019-10-090.1.0.0YvesPares
porcupine-s350.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
porpoise60.00A minimalist HTTP server framework written on top of wai (control, library, mit, program)2020-10-050.1.0.0sgschlesinger
ports80.01The Haskell Ports Library (control, library)2007-07-140.4.3.2DonaldStewart
prelude-plus160.01Prelude for rest of us (bsd3, control, data, system)2009-10-140.0.0.6YusakuHashimoto
product-profunctors710.010product-profunctors (bsd3, category, control, library)2023-04-130.11.1.1tomjaguarpaw
profunctor-extras670.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
profunctors3502.75249Profunctors (bsd3, categories, control, library)2021-02-175.6.2EdwardKmett, ryanglscott
program50.00Programs with Environments and Managed Resources (bsd3, control, library)2021-12-020.1.0.0MichaelSzvetits
progress-reporting92.01Functionality for reporting function progress. (control, lgpl, library)2017-09-271.1.0JeroenBransen
prologue420.06Better, more general Prelude exporting common utilities. (apache, control, library)2018-12-183.2.6danilo2, iamrecursion
prompt160.01Monad (and transformer) for deferred-effect pure prompt-response queries (control, library, mit)2016-05-260.1.1.2jle
prospect120.01Explore continuations with trepidation (bsd3, control, library)2018-07-100.1.0.0isovector
protocol70.00Model distributed system as type-level multi-party protocol (bsd3, control, distributed-computing, distributed-systems, library, protocol)2020-07-120.1.0.1epoberezkin
quantum-arrow162.01An embedding of quantum computation as a Haskell arrow (control, library)2009-01-090.0.5LukePalmer
quiver422.010Quiver finite stream processing library (bsd3, control, library)2015-12-081.1.3patrykz
quiver-binary110.01Binary serialisation support for Quivers (control, library, mit)2016-11-260.1.1.1IvanMiljenovic
quiver-bytestring90.03Quiver combinators for bytestring streaming (bsd3, control, library)2015-09-131.0.0patrykz
quiver-cell90.01Quiver combinators for cellular data processing (bsd3, control, library)2015-08-311.0.0patrykz
quiver-csv80.01Quiver combinators for cellular CSV data processing (bsd3, control, library)2015-08-040.0.0.3patrykz
quiver-enumerator40.01Bridge between Quiver and Iteratee paradigms (bsd3, control, library)2015-08-030.0.0.1patrykz
quiver-groups50.01Group and chunk values within a Quiver (control, library, mit)2016-07-190.1.0.1IvanMiljenovic
quiver-http70.01Adapter to stream over HTTP(s) with quiver (bsd3, control, http, library)2015-08-180.0.0.2ChristianMarie
quiver-instances110.01Extra instances for Quiver (control, library, mit)2016-11-260.2.0.1IvanMiljenovic
quiver-interleave130.01Interleave values from multiple Quivers (control, library, mit)2016-11-260.2.0.2IvanMiljenovic
quiver-sort110.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
rank2classes792.09standard type constructor class hierarchy, only with methods of rank 2 types (bsd3, control, data, generics, library)2023-10-191.5.3MarioBlazevic
rate-limit470.02A basic library for rate-limiting IO actions. (bsd3, control, library)2023-01-031.4.3AdamWick, eyevanmalicesun
reactive-haskell (deprecated)110.01minimal fork of io-reactive (bsd3, control, deprecated, library, reactivity)2014-09-230.0.1Heather
reactive-io (deprecated)80.01IO-oriented FRP library (control, deprecated, library, mit)2013-07-060.1RomanCheplyaka
reader-soup120.03Vinyl-based reader-like monad composition (combinators, control, library, mit)2019-10-090.1.0.1YvesPares
reasonable-lens101.252Lens implementation. It is more small but adequately. (control, library, mit)2015-04-150.2.1.1outoftune
reasonable-operational90.02Just size Operational Monad implementation. (control, library, mit)2015-02-130.1.0.1outoftune
record490.06Anonymous records (control, data-structures, library, mit, records)2016-10-240.4.2NikitaVolkov
recursion672.05A recursion schemes library for Haskell. (bsd3, control, recursion)2021-09-122.2.5.0vmchale
recursion-schemes3572.7556Representing common recursion patterns as higher-order functions (bsd2, control, library, recursion)2023-10-155.2.2.5EdwardKmett, EricMertens, gelisam, ryanglscott, luc_tielen
recursion-schemes-ext480.02Amateur addenda to recursion-schemes (bsd3, control, library)2018-05-081.0.0.4vmchale
ref-fd422.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-tf1160.023A type class for monads with references using type families. (bsd3, control, library)2021-11-200.5.0.1GeoffreyMainland
reference70.03A class for references in Haskell (control, data, library, mit)2010-09-060.1MaciejPiechotka
references340.015Selectors for reading and updating data. (bsd3, control, library)2017-11-280.3.3.1lazac
regions350.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)160.01Monads-fd instances for the RegionT monad transformer (bsd3, control, deprecated, library, monadic-regions)2010-09-010.3.1.3BasVanDijk
regions-monadstf350.01Monads-tf instances for the RegionT monad transformer (bsd3, control, library, monadic-regions)2011-09-230.3.1.7BasVanDijk
regions-mtl150.01mtl instances for the RegionT monad transformer (bsd3, control, library, monadic-regions)2011-09-230.3.1.7BasVanDijk
registry1450.06data structure for assembling components (control, library, mit)2023-12-020.6.1.0etorreborre
registry-hedgehog590.00utilities to work with Hedgehog generators and `registry` (control, library, mit)2023-12-020.8.1.0etorreborre
rematch240.07A simple api for matchers (control, library, mit)2013-05-190.2.0.0TomCrayford
rematch-text120.01`rematch` matchers for Data.Text (control, library, mit)2013-05-190.1.0.2TomCrayford
remote-monad90.04An parametrizable Remote Monad, and parametrizable Applicative Functor (bsd3, control, library)2016-02-080.2AndyGill
representable-profunctors (deprecated in favor of profunctors)460.02This package has been absorbed into profunctor-extras. (bsd3, categories, control, deprecated, library)2013-01-073.2EdwardKmett
request-monad110.01A transformer for generic requests (control, library, mit)2014-06-270.3.0.1nahiluhmot
resource-effect60.01A port of the package 'resourcet' for extensible effects. (bsd3, control, effect, library)2014-01-050.1.1ClarkGaebel
resource-effectful60.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-simple70.01Allocate resources which are guaranteed to be released. (bsd3, control, library)2012-03-020.2ShaneOBrien
resourcet-effectful310.00Adaptation of the resourcet library for the effectful ecosystem. (bsd3, control, library)2023-11-051.0.1.0arybczak
restartable90.00Minimal live coding library for model-view-event-update applications. (bsd3, control, library)2020-11-090.3.0.0MichalGajda
resumable-exceptions60.01A monad transformer for resumable exceptions (control, error-handling, failure, library, monads, reactivity)2010-09-200.0.0.20100920NicolasFrisby
retry2872.564Retry combinators for monadic actions that may fail (bsd3, control, library)2023-04-170.9.3.1MichaelXavier, OzgunAtaman
retry-effectful70.00Adaptation of the retry library for the effectful ecosystem. (bsd3, control, library)2022-09-300.1.0.0TristanCacqueray
rev-state230.01Reverse State monad transformer (bsd3, control, library)2024-01-160.2.0.1DanBurton
rex610.01A quasi-quoter for typeful results of regex captures. (bsd3, control, library)2022-04-150.6.2MichaelSloan
rio1772.073A standard library for Haskell (control, library, mit)2022-04-250.1.22.0MichaelSnoyman
rio-app120.05Generic App type for rio. (bsd3, control, library, program)2021-06-150.1.0.0AlexanderBondarenko
rio-orphans700.03Orphan instances for the RIO type in the rio package (control, library, mit)2021-04-030.1.2.0MichaelSnoyman
rmonad280.01Restricted monad library (bsd3, control, library)2013-12-230.8.0.2GaneshSittampalam
rt172.00A more fine-grained version of state threads (ST) (bsd3, control, library)2024-04-080.1.0.0j_mie6
safe-buffer-monad40.01A monadic buffer resilient to exceptions (bsd3, control, library)2018-06-170.1.0dcastro
safe-exceptions4052.25221Safe, consistent, and easy exception handling (control, library, mit)2023-06-260.1.7.4FrancescoMazzoli, MichaelSnoyman
safe-exceptions-checked (deprecated)152.03Safe, checked exceptions (bsd3, control, deprecated, library)2017-01-280.1.0mitchellwrosen
safe-wild-cards700.00Use RecordWildCards safely (bsd3, control, library)2024-03-111.0.0.1Artyom
scc410.01Streaming component combinators (combinators, concurrency, control, library, program)2021-02-270.8.3.1MarioBlazevic
schedule130.00Pure deterministic scheduled computations (control, delay, gpl, library, schedule, time, timeout)2020-04-030.3.0.0infinity0
schonfinkeling90.01Transformation of n-ary functions to unary functions (bsd3, control, library)2011-10-030.1.0.0DenisDefreyne
selective3552.2515Selective applicative functors (control, library, mit)2024-04-200.7.0.1snowleopard
semi-iso150.05Weakened partial isomorphisms, reversible computations. (control, data, library, mit)2014-12-121.0.0.0pawel834
semigroupoid-extras490.03Semigroupoids that depend on PolyKinds (bsd3, control, library)2015-05-155EdwardKmett
semigroupoids5372.5199Semigroupoids: Category sans id (bsd2, comonads, control, library)2023-03-176.0.0.1EdwardKmett, EricMertens, ryanglscott
sessions440.01Session Types for Haskell (control, library)2008-07-182008.7.18MatthewSackman
sessiontypes90.01Session types library (control, gpl, library, program)2018-01-130.1.2ferdinandvw
sessiontypes-distributed80.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-fields120.01a tiny library for using shared lens fields (bsd3, control, library)2015-07-200.2.0.0Intolerable
shortcircuit70.02Short-circuit values and expressions. (bsd3, control, data, library)2010-10-140.1AristidBreitkreuz
simple-effects752.03A simple effect system that integrates with MTL (bsd3, control, library)2018-11-190.13.0.0darwin226
simple-observer100.01The Observer pattern (bsd3, control, library)2009-11-110.0.1AndyGimblett
simple-sessions160.01A simple implementation of session types (bsd3, control, library)2013-10-100.1.3JesseTov
sink (deprecated)70.01An alternative to lazy I/O that doesn't conflate execution with evaluation (control, data, deprecated, library, mit, system)2011-08-270.1.0.1JakeMcArthur
skulk110.01Eclectic collection of utility functions (control, library, mit)2016-06-050.1.3.0geekyfox
sousit70.01Source/Sink/Transform: An alternative to lazy IO and iteratees. (bsd3, control, library)2012-09-160.4MarioSiegenthaler
spartacon50.00A unix-style (read from stdin, write to stdout) global hotkey daemon (bsd3, control, program)2021-04-120.1.0.0DanielWagner
spawn520.05Tiny library for concurrent computations (bsd3, concurrency, concurrent, control, library)2011-10-090.3KeeganMcAllister
speculation-transformers80.01Merged into 'speculation'. Use that instead. (bsd3, control, library)2011-01-190.1.2EdwardKmett
stack-hpc-coveralls310.00Initial project template from stack (control, library, program)2023-02-050.0.7.0lehins, rubik
stamina180.00Retries for humans (apache, control, library, program)2024-01-260.1.0.3domenkozar
state-bag40.01Monad transformers for holding bags of state. (bsd3, control, library)2016-07-220.1.0.0RobinKay
state-plus120.02MonadPlus for StateT (bsd3, control, library)2017-04-160.1.3BorisSukholitko
stateWriter420.03A faster variant of the RWS monad transformers. (bsd3, control, library)2023-06-170.4.0SimonMarechal
statestack970.07Simple State-like monad transformer with saveable and restorable state (bsd3, control, library)2023-02-130.3.1.1BrentYorgey, RyanYates, jeffreyrosenbluth, bergey
static110.00Type-safe and interoperable static values and closures (closure, control, gpl, library, static)2020-05-290.1.0.1infinity0
static-closure50.01Serialisable static pointers to functions (bsd3, control, library)2018-01-170.1.0.0clinton
stm-actor390.00A simplistic actor model based on STM (control, library, mit)2023-04-200.3.1.0sgschlesinger
stm-incremental170.00A library for constructing incremental computations (concurrency, control, library, mit)2023-02-020.1.1.0sgschlesinger
stm-supply160.01STM wrapper around Control.Concurrent.Supply. (bsd3, control, library)2016-11-190.2.0.0jmc41493
stopwatch320.01A simple stopwatch utility (bsd3, control, library)2019-05-010.1.0.6debugito
stream-monad270.04Simple, Fair and Terminating Backtracking Monad (bsd3, control, library, monads)2012-09-100.4.0.2SebastianFischer
streaming-eversion250.01Translate pull-based stream folds into push-based iteratees. (bsd3, control, library)2018-05-120.4.0.0DanielDiazCarrete
streamproc220.01Stream Processer Arrow (bsd3, control, library)2013-04-051.6.2PeterSimons
streams1162.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-concurrency420.012Strict concurrency abstractions (bsd3, control, library)2018-10-090.2.4.3DonaldStewart, YitzGale
strict-identity410.01Strict Identity Monad, handy for writing fast code! (bsd3, control, library)2014-01-120.1.0.0CarterSchonwald
strict-writer (deprecated in favor of writer-cps-mtl)140.01A stricter writer, which uses StateT in order to avoid space leaks. (control, deprecated, library, mit)2017-02-100.4.0.0oisdk
strictly50.01Combinators for strictifying functions (bsd3, control, library)2013-08-141.0.0.0DanBurton
stt80.01A monad transformer version of the ST monad (control, library, mit)2016-11-060.2.1mckeankylej
sub-state40.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
successors160.01An applicative functor to manage successors (control, library, mit)2022-01-100.1.0.3JoachimBreitner
supervisor60.01Control an internal monad execution for trace generation, backtrakcking, testing and other purposes (bsd3, control, library)2013-12-310.1.1.0AlbertoCorona
sweet-egison180.01Shallow embedding implementation of non-linear pattern matching (bsd3, control, library, pattern)2020-10-200.1.1.3SatoshiEgi, coord_e, momohatt
synchronous-channels92.02Synchronous communication channels (bsd3, concurrency, control, library)2015-07-070.2JesseTov
tagged-exception-core90.02Reflect exceptions using phantom types. (bsd3, control, error-handling, exceptions, failure, library, monad, monads, phantom-types)2016-02-022.2.0.0PeterTrsko
tagged-identity230.01Trivial monad transformer that allows identical monad stacks to have different types (bsd3, control, library)2023-07-050.1.4mrkkrp
tagshare100.02TagShare - explicit sharing with tags (bsd3, control, library)2012-08-010.0JonasDuregard
takahashi120.01create slide for presentation. (control, library, mit)2015-07-140.2.2.0outoftune
tardis352.05Bidirectional state monad transformer (bsd3, control, library)2024-01-160.5.0DanBurton
tehepero80.00Prettier error (bsd3, control, library)2020-06-030FumiakiKinoshita
telega740.00Telegram Bot API binding (control, data, library, mit)2020-01-300.3.0iokasimovmt
tell70.01The MonadTell class and related monad transformers. (bsd3, control, library)2021-09-060.1lightandlight
threads-pool70.01A library to operate with pool of haskell's IO threads (bsd3, control, library)2010-11-080.1IlyaPortnov
time-machine40.01A library to mock the current time. (bsd3, control, library)2017-11-260.1.0y_taka_23
time-out120.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
timeout100.02Generalized sleep and timeout functions (concurrency, control, library, mit)2014-08-020.1.1FedorGogolev
timeout-control140.01Updatable timeouts as a Monad transformer (bsd3, concurrency, control, library)2015-08-310.2NathanHowell
timers-tick490.01tick based timers (bsd3, control, library)2023-04-230.5.0.4fffaaa
to190.00Simple, safe, boring type conversions (bsd3, control, library)2019-08-181.2.0Artyom
tonalude210.01A standard library for Tonatona framework. (control, library, mit, tonatona)2023-08-290.2.0.0arowM, qnoyxu
total190.02Exhaustive pattern matching using lenses, traversals, and prisms (bsd3, control, library)2020-05-151.0.6GabrielGonzalez
trace180.02A monad transformer for tracing provenience of errors (control, library, mit)2015-04-150.2.0.0JonSterling
transactional-events50.01Transactional events, based on Concurrent ML semantics (bsd3, control, library)2008-10-100.1.0.0RyanIngram
transformers3352.753483Concrete functor and monad transformers (bsd3, control, library)2023-08-010.6.1.1RossPaterson
transformers-abort270.04Error and short-circuit monad transformers (bsd3, control, library)2020-07-260.6.0.3MikhailVorozhtsov
transformers-base2882.0400Lift computations from the bottom of a transformer stack (bsd3, control, library)2021-08-010.4.6MikhailVorozhtsov
transformers-bifunctors72.05Bifunctors over monad transformers. (bsd3, control, functors, library)2017-07-160.1JacobStanley
transformers-compose40.03Arrow-like / category-like composition for transformers. (bsd3, control, library, monads)2010-11-010.1AristidBreitkreuz
transformers-continue72.01Control flow data type and monad transformer. (bsd3, control, library)2017-03-160.0.1nhibberd
transformers-convert40.01Sensible conversions between some of the monad transformers (bsd3, control, library)2014-05-300.2.0.0jcristovao
transformers-eff80.01An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff (bsd3, control, library)2018-03-220.2.1.0OliverCharles
transformers-free (deprecated in favor of free)140.04Free monad transformers (bsd3, control, deprecated, library)2012-11-011.0.1GabrielGonzalez
transformers-lift172.03Ad-hoc type classes for lifting (bsd3, control, library)2019-05-230.2.0.2int_index
transformers-runnable50.01A unified interface for the run operation of monad transformers (bsd3, control, library)2012-10-120.1.0.0JanBessai
transient702.54composing programs with multithreading, events and distributed computing (concurrency, control, library, mit)2020-07-240.7.0.0AlbertoCorona, geraldus
transient-universe490.03fully composable remote execution for the creation of distributed systems (control, distributed-computing, library, mit, program)2020-07-290.6.0.1AlbertoCorona, geraldus
tree-monad240.03Non-Determinism Monad for Tree Search (bsd3, control, library, monads)2022-07-140.3.2SebastianFischer, nbu
trivia (deprecated)60.02The trivial monad and comonad (bsd3, control, deprecated, library)2014-03-020.0FumiakiKinoshita
tubes320.01Write stream processing computations with side effects in a series of tubes. (control, gpl, library, streaming)2016-08-162.1.1.0gatlin
tuple-lenses90.01Stock FieldN combos and generators (bsd3, control, library)2013-03-280.1.0.2JonathanFischoff
tweak70.01A library for incremental computing (bsd3, control, library)2013-10-050.1.0.1JonathanFischoff
type-flip90.04 (bsd3, control, library)2023-12-010.1.0.0YoshikuniJujo
type-operators190.02Various type-level operators (bsd3, control, library)2019-03-090.2.0.0Shou
uberlast50.01Generate overloaded lenses from plain data declaration (bsd3, control, library)2014-11-270.0FumiakiKinoshita
unexceptionalio450.07IO without any non-error, synchronous exceptions (control, library)2020-05-130.5.1StephenWeber
unexceptionalio-trans210.03A wrapper around UnexceptionalIO using monad transformers (control, library)2024-01-020.5.2StephenWeber
unfree50.01Simplistic free monad with deriving through UndecidableInstances (bsd3, control, library)2022-10-030.1.0ejconlon
unlift90.00Typeclass for monads that can be unlifted to arbitrary base monads (control, library, monad, mpl, typeclass, unlift)2021-04-210.0.0.0vrom911
unliftio4652.75219The MonadUnliftIO typeclass for unlifting monads to IO (batteries included) (control, library, mit)2023-06-160.2.25.0MichaelSnoyman
unliftio-core3302.25210The MonadUnliftIO typeclass for unlifting monads to IO (control, library, mit)2023-02-060.2.1.0MichaelSnoyman
unliftio-pool680.06Data.Pool generalized to MonadUnliftIO. (bsd3, control, data, database, library, network)2023-12-210.4.3.0BardurArantsson
unordered-containers-rematch40.01Rematch support for unordered containers (control, library, mit)2013-05-200.1.0.0TomCrayford
unpack-funcs150.02Monad transformers that mirror worker-wrapper transformations. (bsd3, control, library)2013-04-180.3.1LouisWasserman
unsafe430.012Unified interface to unsafe functions (bsd3, control, library)2013-04-210.0HenningThielemann
unsequential130.01An extension removing the sequentiality from monads (control, library, mit)2017-03-200.5.2.1NikitaVolkov
util-logict (deprecated)40.00See README for more info (bsd3, control, deprecated, library)2020-02-090.0.0.0
uu-interleaved200.03An interleaving combinator for use with applicative style implementations. (applicative, control, library, mit, parsing, text)2018-08-060.2.0.2DoaitseSwierstra, JeroenBransen
validationt192.251Straightforward validation monad (bsd3, control, library)2020-11-030.3.0mniip, typeable
var-monad180.01The VarMonad typeclass, generalizing types of references. (apache, control, library)2022-12-290.2.0.1chris_martin
variables60.01Monads with variables, without deep magic (control, library, mit)2014-08-180.1.1alynn
variadic40.00Abstractions for working with variadic functions (bsd3, control, library)2021-04-280.0.0.0carymrobbins
varying682.02FRP through value streams and monadic splines. (control, frp, library, mit, program)2019-10-210.8.1.0SchellScivally
vector-strategies130.02A parallel evaluation strategy for boxed vectors (bsd3, control, library)2012-11-130.4ThomasDuBuisson, haskell_github_trust
views (deprecated in favor of definitive-base)50.01Views allow you to run a State monad on part of a state. (bsd3, control, deprecated, library, monad)2013-03-151.0MarcCoiffier
vinyl-utils260.02Utilities for vinyl (bsd3, control, library)2017-12-280.3.0.1mjmrotek
wai-control240.00Run wai Applications in IO based monads (bsd3, control, library, web)2022-07-040.2.0.0jumper149
watchdog170.03Simple control structure to re-try an action with exponential backoff (bsd3, control, library)2023-07-090.3.2JanVornberger
weighted80.01Writer monad which uses semiring constraint (control, library, mit)2017-02-130.3.0.1oisdk
weighted-search100.01A weighted nondeterministic search monad (bsd3, control, library)2013-03-130.1.0.1LukePalmer
wires92.01Functional reactive programming library (bsd3, control, frp, library)2018-04-150.2.1esz
with70.02Simple open product type (bsd3, control, data, library)2018-09-160.1.0iokasimovmt
withdependencies380.01Run computations that depend on one or more elements in a stream. (control, gpl, library)2020-02-040.3.0SimonMarechal
wl-pprint-extras630.08A free monad based on the Wadler/Leijen pretty printer (bsd3, control, library, monads, text)2015-06-093.5.0.5EdwardKmett, NathanielFilardo
wl-pprint-terminfo990.03A color pretty printer with terminfo support (bsd3, control, library, monads, text)2016-06-223.7.1.4EdwardKmett, NathanielFilardo
writer-cps-exceptions110.01Control.Monad.Catch instances for the stricter CPS WriterT and RWST (bsd3, control, library)2019-03-070.1.0.1minad, chessai, topos
writer-cps-full60.01WriteT and RWST monad transformers (Reexport with all dependencies) (bsd3, control, library)2017-01-190.1.0.0minad, louispan
writer-cps-lens80.01Lens instances for the stricter CPS WriterT and RWST (bsd3, control, library)2017-03-060.1.0.1minad, louispan, chessai, topos
writer-cps-monads-tf60.01MonadWriter orphan instances for writer-cps-transformers (bsd3, control, library)2017-01-160.1.0.1minad
writer-cps-morph100.02MFunctor instance for CPS style WriterT and RWST (bsd3, control, library)2017-03-060.1.0.2minad, louispan
writer-cps-mtl360.06MonadWriter orphan instances for writer-cps-transformers (bsd3, control, library)2019-03-070.1.1.6minad, chessai, topos
writer-cps-transformers370.09WriteT and RWST monad transformers (bsd3, control, library)2019-04-290.5.6.1minad, chessai, topos
xml-html-conduit-lens290.01Optics for xml-conduit and html-conduit (bsd3, control, library)2018-06-140.3.2.4MatveyAksenov
zio130.00App-centric Monad-transformer based on Scala ZIO (UIO + ReaderT + ExceptT). (control, library, mpl)2020-11-210.1.0.2bebarker
zoom-refs100.01Zoom (~ Functor) and pairing (~ Applicative) for mutable references. (bsd3, control, library)2016-05-230.0.0.1mjmrotek