## Packages tagged control

616 packages have this tag.

[Merge tag] (trustees only)Related tags: library (611), bsd3 (440), mit (97), deprecated (61), monads (55), public-domain (30), data (29), program (25), benchmark (23), pipes (20), concurrency (17), gpl (17), failure (16), monad (14), parallelism (13), comonads (12), lgpl (11), bsd2 (10), network (10), error-handling (9), system (9), distributed-computing (7), effect (7), categories (6), frp (6), cloud-haskell (5), enumerator (5), logic (5), reactivity (5), apache (4), conversion (4), monadic-regions (4), ai (3), composition (3), data-structures (3), development (3), prelude (3), template-haskell (3), text (3), combinators (2), constraints (2), cryptography (2), exceptions (2), generics (2), parsing (2), streaming (2), user-interfaces (2), algebra (1), applicative (1), category (1), concurrent (1), contract (1), database (1), dependency-injection (1), distribution (1), eden (1), embedded (1), ...

Name |
DLs |
Rating |
Description |
Tags |
Maintainer |
---|---|---|---|---|---|

AAI | 8 | 0.0 | Abstract Application Interface. | (control, library, mit) | bash0r |

AbortT-monadstf | 3 | 0.0 | Monads-tf instances for the AbortT monad transformer. | (bsd3, control, library) | GregoryCrosswhite |

AbortT-mtl | 5 | 0.0 | mtl instances for the AbortT monad transformer | (bsd3, control, library) | GregoryCrosswhite |

AbortT-transformers | 13 | 0.0 | A monad and monadic transformer providing "abort" functionality | (bsd3, control, library) | GregoryCrosswhite |

Adaptive-Blaisorblade | 4 | 0.0 | Library for incremental computing. | (bsd3, control, library, program) | PaoloGiarrusso |

CC-delcont | 10 | 0.0 | Delimited continuations and dynamically scoped variables | (control, library) | DanDoel |

CC-delcont-alt | 8 | 0.0 | Three new monad transformers for multi-prompt delimited control | (bsd3, control, library) | KidoTakahiro |

CC-delcont-cxe | 9 | 0.0 | A monad transformers for multi-prompt delimited control | (bsd3, control, library) | KidoTakahiro |

CC-delcont-exc | 4 | 0.0 | A monad transformers for multi-prompt delimited control | (bsd3, control, library) | KidoTakahiro |

CC-delcont-ref | 3 | 0.0 | A monad transformers for multi-prompt delimited control using refercence cells | (bsd3, control, library) | KidoTakahiro |

CC-delcont-ref-tf | 7 | 0.0 | A monad transformers for multi-prompt delimited control using refercence cells | (bsd3, control, library) | KidoTakahiro |

Cascade | 2 | 0.0 | Playing with reified categorical composition | (control, library, public-domain) | NoahEasterly |

Catana | 6 | 0.0 | A monad for complex manipulation of a stream. | (bsd3, control, library) | DustinDeWeese |

ChannelT | 10 | 0.0 | Generalized stream processors | (bsd3, control, enumerator, iteratee, library, pipes, proxies) | pthariensflame |

ClassyPrelude | 2 | 0.0 | Prelude replacement using classes instead of concrete types where reasonable | (bsd3, control, data, library) | SveinOveAas |

Clean (deprecated in favor of definitive-base) | 4 | 0.0 | A light, clean and powerful utility library | (bsd3, control, deprecated, library) | MarcCoiffier |

ComonadSheet | 3 | 0.0 | A library for expressing spreadsheet-like computations as the fixed-points of comonads. | (bsd3, control, library) | kwf |

Compactable (deprecated in favor of compactable) | 9 | 0.0 | A generalization for containers that can be stripped of Nothing | (bsd3, control, deprecated, library) | fresheyeball |

Concurrential | 7 | 0.0 | Mix concurrent and sequential computation | (bsd3, control, library) | alexvieth |

Configurable | 2 | 0.0 | Declare types as Configurable then specialize them all in one place | (control, library, mit) | JosephAbrahamson |

ConstraintKinds | 12 | 0.0 | Repackages standard type classes with the ConstraintKinds extension | (bsd3, control, library) | MikeIzbicki |

ContArrow | 10 | 0.0 | Control.Arrow.Transformer.Cont | (bsd3, control, library) | EvgenyJukov |

Control-Engine (deprecated) | 20 | 0.0 | A parallel producer/consumer engine (thread pool) | (bsd3, control, deprecated, library) | ThomasDuBuisson |

Control-Monad-MultiPass | 3 | 0.0 | A Library for Writing Multi-Pass Algorithms. | (bsd3, control, library) | KevinBackhouse |

Control-Monad-ST2 | 1 | 0.0 | A variation on the ST monad with two type parameters. | (bsd3, control, library) | KevinBackhouse |

Coroutine | 3 | 0.0 | Type-safe coroutines using lightweight session types. | (bsd3, control, library) | RyanIngram |

DeepArrow | 16 | 0.0 | Arrows for "deep application" | (bsd3, combinators, control, library) | ConalElliott |

EitherT (deprecated in favor of either) | 5 | 0.0 | EitherT monad transformer | (bsd3, control, deprecated, library) | EyalLotem |

Empty | 6 | 0.0 | A type class for empty containers | (bsd3, control, library) | fresheyeball |

Etage | 28 | 0.0 | A general data-flow framework | (ai, control, lgpl, library) | MitarMilutinovic |

FailureT (deprecated in favor of transformers) | 2 | 0.0 | Failure Monad Transformer | (control, deprecated, failure, library, public-domain) | MatthewFarkasDyck |

FastPush | 11 | 0.0 | A monad and monad transformer for pushing things onto a stack very fast. | (bsd3, control, library) | wyager |

ForkableT | 6 | 0.0 | Forkable monad transformers | (bsd3, control, library) | AndrasSlemmer |

GotoT-transformers | 3 | 0.0 | A monad and monadic transformer providing "goto" functionality | (bsd3, control, library) | GregoryCrosswhite |

IfElse | 48 | 0.0 | Anaphoric and miscellaneous useful control-flow | (bsd3, control, library) | IvanPerez, JeffersonHeard, keera_studios_ci |

ImperativeHaskell | 18 | 2.0 | A library for writing Imperative style haskell. | (control, development, embedded, gpl, language, library) | MatthewMirman |

InfixApplicative | 7 | 0.0 | liftA2 for infix operators. | (bsd3, control, library) | ThomasDavie |

JuicyPixels-util | 3 | 0.0 | Convert JuicyPixel images into RGBA format, flip, trim and so on | (bsd3, control, library) | FumiakiKinoshita |

Kleislify | 5 | 0.0 | Variants of Control.Arrow functions, specialised to kleislis. | (bsd3, control, library) | DylanJust |

Kriens | 6 | 0.0 | Category for Continuation Passing Style | (bsd3, control, library) | matteo_provenzano |

List | 118 | 0.0 | List monad transformer and class | (bsd3, control, library) | YairChuchem |

LogicGrowsOnTrees | 6 | 0.0 | a parallel implementation of logic programming using distributed tree exploration | (benchmark, bsd3, control, distributed-computing, library, logic, parallelism) | GregoryCrosswhite |

LogicGrowsOnTrees-MPI | 3 | 0.0 | an adapter for LogicGrowsOnTrees that uses MPI | (bsd3, control, distributed-computing, library, logic, parallelism) | GregoryCrosswhite |

LogicGrowsOnTrees-network | 6 | 0.0 | an adapter for LogicGrowsOnTrees that uses multiple processes running in a network | (bsd3, control, distributed-computing, library, logic, parallelism) | GregoryCrosswhite |

LogicGrowsOnTrees-processes | 7 | 0.0 | an adapter for LogicGrowsOnTrees that uses multiple processes for parallelism | (benchmark, bsd3, control, distributed-computing, library, logic, parallelism) | GregoryCrosswhite |

MHask | 4 | 0.0 | The category of monads | (bsd3, control, library) | DanBurton |

MaybeT | 11 | 0.0 | MaybeT monad transformer | (bsd3, control, library) | CaleGibbard, DonaldStewart, EricKidd |

MaybeT-monads-tf (deprecated in favor of monads-tf) | 8 | 0.0 | MaybeT monad transformer compatible with monads-tf (deprecated) | (bsd3, control, deprecated, library) | BenMillwood |

MaybeT-transformers | 5 | 0.0 | MaybeT monad transformer using transformers instead of mtl. | (bsd3, control, library) | ErikHesselink, SebastiaanVisser |

Mecha | 1 | 0.0 | mecha are the most complex composite machines known to humanity, lets build them well! | (bsd2, concurrency, control, data, library, network, system) | CarterSchonwald |

Mechs | 4 | 0.0 | mecha are the most complex composite machines known to humanity, lets build them well! | (bsd2, concurrency, control, data, library, network, system) | CarterSchonwald |

MissingM | 3 | 0.0 | findM and other missing 'M's | (bsd3, control, library) | DylanJust |

MonadCatchIO-mtl (deprecated in favor of exceptions) | 29 | 0.0 | Monad-transformer version of the Control.Exception module | (bsd3, control, deprecated, library) | DanielGorin |

MonadCatchIO-mtl-foreign (deprecated) | 2 | 0.0 | Polymorphic combinators for working with foreign functions | (bsd3, control, deprecated, library) | AntoineLatter |

MonadCatchIO-transformers (deprecated in favor of exceptions) | 53 | 0.0 | Monad-transformer compatible version of the Control.Exception module | (bsd3, control, deprecated, library) | AriePeterson |

MonadCatchIO-transformers-foreign (deprecated) | 2 | 0.0 | Polymorphic combinators for working with foreign functions | (bsd3, control, deprecated, library) | AntoineLatter |

MonadPrompt | 36 | 0.0 | MonadPrompt, implementation & examples | (bsd3, control, library) | CaleGibbard, JamesCook, RyanIngram |

MonadRandom | 992 | 0.0 | Random-number generation monad. | (bsd3, control, library) | BrentYorgey, CaleGibbard, EricKidd, LukePalmer, PaoloVeronelli, PatrickPalka |

MonadRandomLazy | 5 | 0.0 | Lazy monad for psuedo random-number generation. | (bsd3, control, library) | NormanRamsey |

MonadStack | 5 | 0.0 | Generalizing lift to monad stacks | (bsd2, control, library) | bhurt |

Monatron | 7 | 0.0 | Monad transformer library with uniform liftings | (bsd3, control, library) | TomSchrijvers |

Monatron-IO | 3 | 0.0 | MonadIO instances for the Monatron transformers. | (bsd3, control, library) | TobiasBrandt |

Object | 2 | 0.0 | Object oriented programming for haskell using multiparameter typeclasses. | (apache, control, data, library) | yokto |

PermuteEffects | 6 | 0.0 | Permutations of effectful computations | (bsd3, control, library) | MartijnVanSteenbergen |

ProbabilityMonads | 2 | 0.0 | Probability distribution monads. | (bsd3, control, library) | EricKidd |

ReplicateEffects | 5 | 0.0 | Composable replication schemes of applicative functors | (bsd3, control, library) | MartijnVanSteenbergen |

RichConditional | 1 | 0.0 | Tiny library to replace classic if/else | (control, library, mit) | alexvieth |

RoyalMonad | 6 | 0.0 | All hail the Royal Monad! | (bsd3, control, library) | AtzeVanDerPloeg |

SciFlow | 15 | 0.0 | Scientific workflow management system | (control, library, mit) | kaizhang |

THEff | 8 | 0.0 | TH implementation of effects. | (bsd3, control, effect, library, th) | kolodeznydiver |

Tainted | 6 | 0.0 | Tainted type, and associated operations | (bsd3, control, data, library, monads, trans) | RossMeikleham |

TreeT | 3 | 0.0 | Transformer for Data.Tree | (control, library, monads, public-domain) | RahulGopinath |

TypeCompose | 76 | 0.0 | Type composition classes & instances | (bsd3, composition, control, library) | ConalElliott |

Workflow | 41 | 0.0 | Workflow patterns over a monad for thread state logging & recovery | (bsd3, control, library, workflow) | AlbertoCorona |

abstract-par | 629 | 0.0 | Type classes generalizing the functionality of the 'monad-par' library. | (bsd3, control, library, monads, parallelism) | RyanNewton |

acme-iot | 6 | 0.0 | IO monad transformer | (control, library, mit) | mniip |

action-permutations | 12 | 0.0 | Execute a set of actions (e.g. parsers) in each possible order | (bsd3, control, library) | RossPaterson |

allocated-processor | 6 | 0.0 | Functional combinators for monadic actions that require allocation and de-allocation | (bsd3, control, library) | NoamLewis |

alternative-extra | 4 | 0.0 | Extra utilities for alternatives | (bsd3, control, library) | marcosdumay |

alternators | 5 | 0.0 | Handy functions when using transformers | (bsd3, control, library) | louispan |

annihilator (deprecated in favor of boolean-like) | 6 | 0.0 | Semigroups with annihilators and utility functions | (bsd3, control, deprecated, library) | Shou |

apecs | 84 | 0.0 | A fast ECS for game engine programming | (bsd3, control, data, game, library) | |

applicative-extras | 21 | 0.0 | Instances for Applicative | (bsd3, control, library) | ChrisEidhof |

applicative-fail | 7 | 0.0 | Applicative functor and monad which collects all your fails | (bsd3, control, library) | AlekseyUymanov |

applicative-splice | 2 | 0.0 | Write applicative programs in direct style (generalizes idiom brackets). | (control, library, public-domain) | AkioTakano |

arrow-extras | 7 | 0.0 | Extra functions for Control.Arrow | (bsd3, control, library) | louispan |

arrow-improve | 1 | 0.0 | Improved arrows. | (control, library, mit) | alynn |

arrow-list | 12 | 0.0 | List arrows for Haskell. | (bsd3, control, library) | AdamBergmark, ErikHesselink, SebastiaanVisser |

arrowapply-utils | 4 | 0.0 | Utilities for working with ArrowApply instances more naturally | (bsd3, control, library) | AndrewMiller |

arrows | 53 | 0.0 | Arrow classes and transformers | (bsd3, control, library) | RossPaterson |

artery | 4 | 0.0 | A simple, arrow-based reactive programming | (bsd3, control, frp, library) | FumiakiKinoshita |

assert | 6 | 0.0 | Helpers for Control.Exception.assert | (bsd3, control, library) | LiyangHu |

assert-failure | 58 | 2.0 | Syntactic sugar improving 'assert' and 'error' | (bsd3, contract, control, library) | MikolajKonarski |

async-refresh | 9 | 0.0 | Package implementing core logic for refreshing of expiring data. | (bsd3, control, library) | mtesseract |

async-refresh-tokens | 11 | 0.0 | Package implementing core logic for refreshing of expiring access tokens | (bsd3, control, library) | mtesseract |

asynchronous-exceptions (deprecated) | 3 | 0.0 | Distinguish between synchronous and asynchronous exceptions | (control, deprecated, library, mit) | RomanCheplyaka |

atl | 14 | 0.0 | Arrow Transformer Library | (bsd3, control, library) | MatthewFarkasDyck |

attoparsec-trans | 5 | 0.0 | Interleaved effects for attoparsec parsers | (control, library, mit) | srijs |

auto | 19 | 2.0 | Denotative, locally stateful programming DSL & platform | (control, library, mit) | jle |

auto-update | 737 | 0.0 | Efficiently run periodic, on-demand actions | (control, library, mit) | KazuYamamoto, MichaelSnoyman |

backtracking-exceptions | 1 | 0.0 | A monad transformer for backtracking exceptions | (bsd3, control, library) | tapuu |

backward-state | 4 | 0.0 | A state monad that runs the state in reverse through the computation | (bsd3, control, library, monads) | LukePalmer |

barrier-monad | 2 | 0.0 | Implementation of barrier monad, can use custom front/back type | (control, library, public-domain) | AaronBlack |

basic-prelude | 59 | 2.0 | An enhanced core prelude; a common foundation for alternate preludes. | (control, library, mit, prelude) | DanBurton, MichaelSnoyman |

billeksah-main | 1 | 0.0 | Leksah plugin base | (control, lgpl, program) | JuergenNicklischFranken |

billeksah-main-static | 1 | 0.0 | Leksah plugin base | (control, lgpl, program) | JuergenNicklischFranken |

billeksah-services | 1 | 0.0 | Leksah library | (control, lgpl, library) | JuergenNicklischFranken |

boolean-like | 5 | 0.0 | Logical combinatory operations dealing with datatypes representing booleans by their constructors. | (bsd3, control, library) | Shou |

break | 7 | 0.0 | Break from a loop | (bsd3, control, library) | GabrielGonzalez |

bytestring-progress | 12 | 0.0 | A library for tracking the consumption of a lazy ByteString | (bsd3, control, library) | AdamWick |

bytestring-rematch | 1 | 0.0 | Rematch support for ByteString | (control, library, mit) | TomCrayford |

catch-fd | 7 | 0.0 | MonadThrow and MonadCatch, using functional dependencies | (bsd3, control, library) | AndySonnenburg |

categories | 54 | 0.0 | Categories | (bsd3, control, library) | EdwardKmett |

category-extras | 48 | 0.0 | A meta-package documenting various packages inspired by category theory | (bsd3, comonads, control, library, monads) | DanDoel, DanielWagner, EdwardKmett, RussellOConnor |

cflp | 46 | 0.0 | Constraint Functional-Logic Programming in Haskell | (bsd3, control, library) | SebastianFischer |

classy-parallel | 1 | 0.0 | Fork of the monad-parallel package using monad-control | (control, gpl, library) | SamAnklesaria |

classy-prelude | 103 | 0.0 | A typeclass-based Prelude. | (control, library, mit, prelude) | GregWeber, MichaelSnoyman |

classy-prelude-conduit | 75 | 0.0 | classy-prelude together with conduit functions | (control, library, mit, prelude) | GregWeber, MichaelSnoyman |

classy-prelude-yesod | 59 | 0.0 | Provide a classy prelude including common Yesod functionality. | (control, library, mit) | GregWeber, MichaelSnoyman |

cloud-haskell | 7 | 0.0 | The Cloud Haskell Application Platform | (bsd3, control, library) | FacundoDominguez, TimWatson |

codecov-haskell | 8 | 0.0 | Codecov.io support for Haskell. | (bsd3, control, library, program) | killy971 |

comonad | 1744 | 2.5 | Comonads | (bsd3, comonads, control, library) | EdwardKmett, EricMertens, ryanglscott |

comonad-extras | 44 | 0.0 | Exotic comonad transformers | (bsd3, comonads, control, library) | EdwardKmett |

comonad-random (deprecated) | 6 | 0.0 | Comonadic interface for random values | (control, deprecated, library) | JakeMcArthur |

comonad-transformers (deprecated in favor of comonad) | 113 | 0.0 | This package has been merged into comonad 4.0 | (bsd3, comonads, control, deprecated, library) | EdwardKmett |

comonads-fd (deprecated in favor of comonad) | 65 | 0.0 | This package has been merged into comonad 4.0 | (bsd3, comonads, control, deprecated, library) | EdwardKmett |

compactable | 9 | 2.0 | A generalization for containers that can be stripped of Nothings. | (bsd3, control, library) | fresheyeball |

composition-prelude | 21 | 0.0 | Higher-order function combinators | (bsd3, control, data, library) | vmchale |

computations | 2 | 0.0 | Advanced notions of computation | (bsd3, control, library) | WolfgangJeltsch |

concatenative | 36 | 0.0 | A library for postfix control flow. | (bsd3, control, library) | SamAnklesaria |

concurrent-machines | 22 | 0.0 | Concurrent networked stream transducers | (benchmark, bsd3, concurrency, control, library) | AnthonyCowley |

concurrent-state | 22 | 0.0 | MTL-like library using TVars | (control, library, mit) | JoelTaylor |

cond | 38 | 0.0 | Basic conditional and boolean operators with monadic variants. | (bsd3, control, library, logic, monad) | AdamCurtis |

constrained-categories | 9 | 0.0 | Constrained clones of the category-theory type classes, using ConstraintKinds. | (control, gpl, library) | leftaroundabout |

constrained-monads | 13 | 0.0 | Typeclasses and instances for monads with constraints. | (benchmark, control, library, mit) | oisdk |

constrained-normal | 6 | 0.0 | Normalised Deep Embeddings for Constrained Type-Class Instances | (bsd3, control, library) | NeilSculthorpe |

constraint-manip | 4 | 0.0 | Some conviencience type functions for manipulating constraints. | (control, library, mit) | clinton |

continue | 3 | 0.0 | Monads with suspension and arbitrary-spot reentry | (bsd3, control, library) | ErtugrulSoeylemez, esz |

contravariant | 1698 | 0.0 | Contravariant functors | (bsd3, control, data, library) | EdwardKmett, EricMertens |

contravariant-extras | 48 | 0.0 | Extras for the "contravariant" package | (control, library, mit) | NikitaVolkov |

control-bool | 9 | 0.0 | Useful combinators for boolean expressions | (bsd3, control, library) | FumiakiKinoshita |

control-dotdotdot | 8 | 0.0 | Haskell operator `g ... f = \x1 .. xn -> g (f x1 .. xn)`. | (bsd3, control, library) | erisco |

control-event | 30 | 0.0 | Event scheduling system. | (bsd3, control, library) | ThomasDuBuisson |

control-invariants | 1 | 0.0 | Invariants and contract monitoring | (control, library, mit) | aminb, SimonHudon |

control-monad-exception | 62 | 0.0 | Explicitly typed, checked exceptions with stack traces | (control, failure, library, mit, monads) | PepeIborra |

control-monad-exception-monadsfd | 11 | 0.0 | Monads-fd instances for the EMT exceptions monad transformer | (control, failure, library, monads, public-domain) | PepeIborra |

control-monad-exception-monadstf | 14 | 0.0 | Monads-tf instances for the EMT exceptions monad transformer | (control, failure, library, monads, public-domain) | PepeIborra |

control-monad-exception-mtl | 14 | 0.0 | MTL instances for the EMT exceptions monad transformer | (control, failure, library, monads, public-domain) | PepeIborra |

control-monad-failure (deprecated) | 24 | 0.0 | A class for monads which can fail with an error. (deprecated) | (control, deprecated, failure, library, monads, public-domain) | MichaelSnoyman, PepeIborra |

control-monad-failure-mtl (deprecated) | 10 | 0.0 | A class for monads which can fail with an error for mtl 1 (deprecated) | (control, deprecated, failure, library, monads, public-domain) | MichaelSnoyman, PepeIborra |

control-monad-free | 29 | 0.0 | Free monads and monad transformers | (control, library, monads, public-domain) | LukePalmer, PepeIborra |

control-monad-loop | 4 | 0.0 | Simple monad transformer for imperative-style loops | (bsd3, control, library) | JoeyAdams |

control-monad-omega | 18 | 0.0 | A breadth-first list monad. | (control, library, public-domain) | LukePalmer |

control-monad-queue | 14 | 0.0 | Reusable corecursive queues, via continuations. | (bsd3, control, library) | LeonSmith |

control-timeout (deprecated) | 8 | 0.0 | Timeout handling | (bsd3, control, deprecated, library) | AdamLangley |

contstuff (deprecated) | 46 | 0.0 | Fast, easy to use CPS-based monad transformers | (bsd3, control, deprecated, library, monads) | ErtugrulSoeylemez, esz |

contstuff-monads-tf (deprecated) | 8 | 0.0 | ContStuff instances for monads-tf transformers (deprecated) | (bsd3, control, deprecated, library, monads) | ErtugrulSoeylemez, esz |

contstuff-transformers (deprecated) | 5 | 0.0 | Deprecated interface between contstuff 0.7.0 and the transformers package | (bsd3, control, deprecated, library, monads) | ErtugrulSoeylemez, esz |

conversion | 9 | 0.0 | Universal converter between values of different types | (control, conversion, data, library, mit) | NikitaVolkov |

conversion-bytestring | 7 | 0.0 | "Conversion" instances for the "bytestring" library | (control, conversion, data, library, mit) | NikitaVolkov |

conversion-case-insensitive | 3 | 0.0 | "Conversion" instances for the "case-insensitive" library | (control, conversion, data, library, mit) | NikitaVolkov |

conversion-text | 8 | 0.0 | "Conversion" instances for the "text" library | (control, conversion, data, library, mit) | NikitaVolkov |

coroutine-object | 14 | 0.0 | Object-oriented programming realization using coroutine | (bsd3, control, library) | IanWooKim |

coverage | 7 | 0.0 | Exhaustivity Checking Library | (control, library, mit) | NicolasDelPiano |

cr | 3 | 0.0 | Code review tool | (control, gpl, network, program, system) | AlexandruScvortov |

csp | 7 | 2.0 | Discrete constraint satisfaction problem (CSP) solver. | (ai, constraints, control, failure, lgpl, library, monads) | AndreiBarbu |

custom-prelude | 2 | 0.0 | An enhanced prelude, serving as a foundation for my projects | (control, gpl, library) | AnupamJain |

daemons | 11 | 0.0 | Daemons in Haskell made fun and easy | (control, gpl, library, network, program, system) | AlexandruScvortov |

data-fresh | 4 | 0.0 | Interface and functor transformers for fresh values | (bsd3, control, library) | StijnVanDrongelen |

data-lens | 48 | 0.0 | Used to be Haskell 98 Lenses | (bsd3, comonads, control, library) | EdwardKmett, RussellOConnor |

data-lens-fd | 20 | 0.0 | Lenses | (bsd3, comonads, control, library) | EdwardKmett, RussellOConnor |

data-lens-ixset (deprecated in favor of data-store, tables, lens) | 5 | 0.0 | A Lens for IxSet | (bsd3, comonads, control, data-structures, deprecated, library) | DagOdenhall |

decepticons | 1 | 0.0 | The categorical dual of transformers. | (bsd3, control, library) | JoeQuinn |

deepcontrol | 21 | 0.0 | A library that provides deep-level programming style and(or) notation on Applicative and Monad | (bsd3, control, library) | KONISHI_Yohsuke |

deepseq | 607 | 2.0 | Deep evaluation of data structures | (bsd3, control, library) | AustinSeipp, DonaldStewart, HerbertValerioRiedel, IanLynagh, SimonMarlow |

deepseq-bounded | 18 | 0.0 | Bounded deepseq, including support for generic deriving | (bsd3, control, library) | AndrewSeniuk |

deepseq-generics | 118 | 0.0 | GHC.Generics-based Control.DeepSeq.rnf implementation | (bsd3, control, library) | HerbertValerioRiedel |

deepseq-magic | 5 | 0.0 | Deep evaluation of data structures without NFData | (control, library, public-domain) | EdwardYang |

deepseq-th (deprecated in favor of deepseq-generics) | 11 | 0.0 | Template Haskell based deriver for optimised NFData instances | (bsd3, control, deprecated, library) | HerbertValerioRiedel |

demarcate (deprecated in favor of free) | 3 | 0.0 | Demarcating transformed monad. | (bsd3, control, deprecated, library) | NickolayKudasov |

despair | 6 | 0.0 | Despair | (bsd3, control, library) | Heather |

disposable | 19 | 0.0 | Allows storing different resource-releasing actions together. | (bsd3, control, library) | louispan |

distributed-closure | 12 | 2.0 | Serializable closures for distributed programming. | (bsd3, control, library) | AlexanderVershilov, AlpMestanogullari, MathieuBoespflug |

distributed-process | 92 | 2.5 | Cloud Haskell: Erlang-style concurrency in Haskell | (benchmark, bsd3, control, library) | AlexanderVershilov, EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson |

distributed-process-async | 10 | 0.0 | Cloud Haskell Async API | (bsd3, control, library) | AlexanderVershilov, FacundoDominguez, MathieuBoespflug, TimWatson |

distributed-process-azure | 2 | 0.0 | Microsoft Azure backend for Cloud Haskell | (bsd3, control, library) | EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson |

distributed-process-client-server | 15 | 0.0 | The Cloud Haskell Application Platform | (bsd3, control, library) | AlexanderVershilov, FacundoDominguez, MathieuBoespflug, TimWatson |

distributed-process-execution | 5 | 0.0 | Execution Framework for The Cloud Haskell Application Platform | (bsd3, control, library) | AlexanderVershilov, FacundoDominguez, MathieuBoespflug, TimWatson |

distributed-process-extras | 14 | 0.0 | Cloud Haskell Extras | (bsd3, control, library) | AlexanderVershilov, FacundoDominguez, MathieuBoespflug, TimWatson |

distributed-process-fsm | 2 | 0.0 | The Cloud Haskell implementation of Erlang/OTP gen_statem | (bsd3, control, library) | TimWatson |

distributed-process-lifted | 18 | 0.0 | monad-control style typeclass and transformer instances for Process monad. | (bsd3, cloud-haskell, control, library) | jeremyjh |

distributed-process-monad-control | 17 | 0.0 | Orphan instances for MonadBase and MonadBaseControl. | (bsd3, control, library) | jeremyjh |

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) | 3 | 0.0 | The Cloud Haskell Application Platform | (bsd3, control, deprecated, library) | AlexanderVershilov, FacundoDominguez, MathieuBoespflug, TimWatson |

distributed-process-registry | 3 | 0.0 | Cloud Haskell Extended Process Registry | (bsd3, control, library) | AlexanderVershilov, FacundoDominguez, MathieuBoespflug, TimWatson |

distributed-process-simplelocalnet | 38 | 0.0 | Simple zero-configuration backend for Cloud Haskell | (bsd3, control, library) | AlexanderVershilov, EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson |

distributed-process-supervisor | 6 | 0.0 | Supervisors for The Cloud Haskell Application Platform | (bsd3, control, library) | AlexanderVershilov, FacundoDominguez, MathieuBoespflug, TimWatson |

distributed-process-systest | 5 | 0.0 | Cloud Haskell Test Support | (bsd3, cloud-haskell, control, library) | TimWatson |

distributed-process-task | 5 | 0.0 | Task Framework for The Cloud Haskell Application Platform | (bsd3, cloud-haskell, control, library) | AlexanderVershilov, FacundoDominguez, MathieuBoespflug, TimWatson |

distributed-process-tests | 32 | 0.0 | Tests and test support tools for distributed-process. | (bsd3, cloud-haskell, control, library) | AlexanderVershilov, FacundoDominguez, MathieuBoespflug, TimWatson |

distributed-process-zookeeper | 18 | 0.0 | A Zookeeper back-end for Cloud Haskell. | (bsd3, cloud-haskell, control, library) | jeremyjh |

distributed-static | 58 | 0.0 | Compositional, type-safe, polymorphic static values and closures | (bsd3, control, library) | EdskoDeVries, FacundoDominguez, MathieuBoespflug, TimWatson |

edenmodules | 3 | 0.0 | Semi-explicit parallel programming library | (bsd3, control, distributed-computing, eden, library, parallelism) | MischaDieterle, JostBerthold, horstmeyer |

effect-handlers | 15 | 0.0 | A library for writing extensible algebraic effects and handlers. Similar to extensible-effects but with deep handlers. | (benchmark, control, library, mit) | edofic, blambda |

effect-monad | 7 | 0.0 | Embeds effect systems into Haskell using graded monads | (bsd3, control, library, monads) | DominicOrchard |

effects | 10 | 0.0 | Computational Effects | (bsd3, control, library, monads) | SjoerdVisscher |

effects-parser | 2 | 0.0 | Parser Effect for the Control.Effects Library | (bsd3, control, library, monads) | JesseMcDonald |

effin | 21 | 0.0 | A Typeable-free implementation of extensible effects | (bsd3, control, effect, library) | AnthonyVandikas |

either | 897 | 0.0 | An either monad transformer | (bsd3, control, library, monads) | EdwardKmett, ryanglscott |

elevator | 11 | 0.0 | Immediately lifts to a desired level | (bsd3, control, library) | FumiakiKinoshita |

elision | 9 | 0.0 | Arrows with holes. | (bsd2, control, library, program) | jacrough |

enclosed-exceptions | 102 | 2.0 | Catching all exceptions from within an enclosed computation | (control, library, mit) | MichaelSnoyman, jcristovao |

error-continuations | 2 | 0.0 | Error Continuations | (control, library, public-domain) | echatav |

error-list | 6 | 0.0 | A useful type for collecting error messages. | (control, library, mit) | thinkpad20 |

errorcall-eq-instance (deprecated in favor of base-orphans) | 10 | 0.0 | An orphan Eq instance for ErrorCall | (control, deprecated, library, mit) | SimonHengel |

errors | 633 | 2.25 | Simplified error-handling | (bsd3, control, error-handling, library) | GabrielGonzalez |

eternal | 16 | 0.0 | everything breaking the Fairbairn threshold | (bsd3, control, library) | Heather |

ether | 482 | 2.0 | Monad transformers and classes | (benchmark, bsd3, control, library) | int_index |

event-driven | 3 | 0.0 | library for event driven programming | (bsd3, control, library) | YoshikuniJujo |

event-handlers | 3 | 0.0 | Event handlers | (control, data, library, public-domain) | JamesCook |

event-monad | 9 | 0.0 | Event-graph simulation monad transformer | (control, library, public-domain) | JamesCook |

event-transformer (deprecated) | 4 | 0.0 | Initial project template from stack | (bsd3, control, deprecated, library, program) | SchellScivally |

exception-monads-fd (deprecated in favor of exception-mtl) | 5 | 0.0 | Exception monad transformer instances for monads-fd classes. | (bsd3, control, deprecated, error-handling, failure, library, monad) | GeoffreyMainland |

exception-monads-tf | 14 | 0.0 | Exception monad transformer instances for monads-tf classes. | (bsd3, control, error-handling, failure, library, monad) | GeoffreyMainland |

exception-mtl | 19 | 0.0 | Exception monad transformer instances for mtl classes. | (bsd3, control, error-handling, failure, library, monad) | GeoffreyMainland |

exception-transformers | 21 | 0.0 | Type classes and monads for unchecked extensible exceptions. | (bsd3, control, error-handling, failure, library, monad) | GeoffreyMainland |

exceptional | 18 | 0.0 | Essentially the Maybe type with error messages. | (bsd2, control, library) | pharpend |

exceptions | 2749 | 2.0 | Extensible optionally-pure exceptions | (bsd3, control, exceptions, library, monad) | EdwardKmett, ryanglscott |

exhaustive | 13 | 0.0 | Compile time checks that a computation considers producing data through all possible constructors | (bsd3, control, library) | OliverCharles |

exitcode | 6 | 0.0 | Monad transformer for exit codes | (bsd3, control, library) | qfpl |

explicit-exception | 47 | 0.0 | Exceptions which are explicit in the type signature. | (bsd3, control, library) | HenningThielemann |

explicit-sharing | 35 | 0.0 | Explicit Sharing of Monadic Effects | (control, library, monads, public-domain) | SebastianFischer |

extensible-effects | 47 | 2.25 | An Alternative to Monad Transformers | (control, effect, library, mit) | BenFoppa, RomanCheplyaka, shergill |

extensible-exceptions | 1085 | 0.0 | Extensible exceptions | (bsd3, control, library) | IanLynagh |

failure (deprecated in favor of exceptions) | 32 | 0.0 | A simple type class for success/failure computations. (deprecated) | (bsd3, control, deprecated, failure, library, monads) | MichaelSnoyman, Michael_Smith |

feature-flags | 8 | 0.0 | A simple library for dynamically enabling and disabling functionality. | (control, library, mit) | IanDuncan |

fold-debounce | 13 | 0.0 | Fold multiple events that happen in a given period of time. | (bsd3, control, library) | debugito |

foldl | 548 | 2.25 | Composable, streaming, and efficient left folds | (bsd3, control, library) | GabrielGonzalez |

foldl-incremental | 7 | 2.0 | incremental folds | (benchmark, control, library, mit, statistics) | tonyday |

foldl-transduce | 27 | 2.0 | Transducers for foldl folds. | (benchmark, bsd3, control, library) | DanielDiazCarrete |

foldl-transduce-attoparsec | 5 | 0.0 | Attoparsec and foldl-transduce integration. | (bsd3, control, library) | DanielDiazCarrete |

for-free | 2 | 0.0 | Functor, Monad, MonadPlus, etc for free | (control, library, public-domain) | AaronBlack |

forbidden-fruit | 2 | 0.0 | A library accelerates imperative style programming. | (bsd3, control, library) | minpou |

forest | 20 | 0.0 | Tree and Forest types | (control, library, mpl) | ShaneOBrien |

free | 1378 | 2.5 | Monads for free | (bsd3, control, library, monads) | EdwardKmett, EricMertens |

free-operational | 7 | 0.0 | Operational Applicative, Alternative, Monad and MonadPlus from free types. | (bsd3, control, library) | LuisCasillas |

free-vl | 8 | 0.0 | van Laarhoven encoded Free Monad with Extensible Effects | (bsd3, control, library, monads, program) | aaronlevin |

freer | 18 | 2.25 | Implementation of the Freer Monad | (benchmark, bsd3, control, library, program) | alleledev |

freer-effects | 8 | 2.0 | Implementation of effect system for Haskell. | (benchmark, bsd3, control, library, program) | MatejKollar, PeterTrsko, TomasJanousek |

from-sum | 8 | 0.0 | Canonical fromMaybeM and fromEitherM functions. | (bsd3, control, library) | cdepillabout |

frpnow | 13 | 2.5 | Principled practical FRP | (bsd3, control, library) | AtzeVanDerPloeg |

frpnow-gloss | 4 | 0.0 | Program awesome stuff with Gloss and frpnow! | (bsd3, control, library) | AtzeVanDerPloeg |

frpnow-gtk | 4 | 0.0 | Program GUIs with GTK and frpnow! | (bsd3, control, library) | AtzeVanDerPloeg |

fsharp (deprecated) | 6 | 0.0 | some F# operators, high priority pipes | (bsd3, control, deprecated, library) | Heather |

full-sessions | 17 | 0.0 | a monad for protocol-typed network programming | (bsd3, control, library, network) | KeigoImai |

function-combine | 4 | 0.0 | Combining functions | (bsd3, control, library) | IainAlexander |

functor-apply (deprecated in favor of semigroupoids) | 45 | 0.0 | This package has been subsumed by semigroupoids | (bsd3, control, deprecated, library) | EdwardKmett |

functors | 4 | 0.0 | (.:) and friends, syntax for Functor and Applicative. | (bsd3, control, library) | AristidBreitkreuz |

future-resource | 3 | 0.0 | realtime resource handling with manual concurrency | (control, lgpl, library) | capsjac |

gang-of-threads | 8 | 0.0 | Non-deterministic parallelism with bags | (bsd3, control, library, parallelism) | bholst |

general-prelude (deprecated) | 4 | 0.0 | Prelude replacement using generalized type classes where possible | (bsd3, control, data, deprecated, library) | JohnWiegley |

generator | 13 | 0.0 | Python-generators notation for creation of monadic lists | (bsd3, control, library) | YairChuchem |

generators (deprecated) | 8 | 0.0 | Actually useful monadic random value generators. | (bsd3, control, deprecated, library) | LiamOConnorDavis |

generic-deepseq | 5 | 0.0 | Generic deep evaluation of data structures | (bsd3, control, generics, library) | MaximeHenrion |

gooey | 3 | 0.0 | Graphical user interfaces that are renderable, change over time and eventually produce a value. | (control, library, mit) | SchellScivally |

graphted | 17 | 0.0 | Graph indexed monads. | (bsd3, comonads, control, library, monads) | AaronFriel |

groupoids (deprecated in favor of semigroupoids) | 25 | 2.0 | This package has been absorbed into semigroupoids 4.0 | (bsd3, categories, control, deprecated, library) | EdwardKmett |

hasim | 10 | 0.0 | Process-Based Discrete Event Simulation library | (bsd3, control, library) | JochemBerndsen |

hask | 2 | 0.0 | Categories | (bsd3, control, library) | EdwardKmett |

haskell-cnc | 14 | 0.0 | Library for parallel programming in the Intel Concurrent Collections paradigm. | (bsd3, control, library, parallelism, program) | RyanNewton |

hcron | 4 | 0.0 | A simple job scheduler, which just runs some IO action at a given time. | (bsd3, control, library, scheduling) | TimoHuebel |

hdph | 2 | 0.0 | Haskell distributed parallel Haskell | (bsd3, control, distributed-computing, library, monads, parallelism, program) | PatrickMaier |

hdph-closure | 1 | 0.0 | Explicit closures in Haskell distributed parallel Haskell | (bsd3, control, distributed-computing, library) | PatrickMaier |

hmk | 24 | 0.0 | A make alternative based on Plan9's mk. | (control, development, distribution, gpl, library, program) | MathieuBoespflug |

hoist-error | 5 | 0.0 | Some convenience facilities for hoisting errors into a monad | (control, library, mit) | JonSterling |

hpc | 52 | 0.0 | Code Coverage Library for Haskell | (bsd3, control, library) | AustinSeipp, HerbertValerioRiedel, IanLynagh |

hpc-coveralls | 76 | 0.0 | Coveralls.io support for Haskell. | (bsd3, control, library, program) | killy971 |

hreader | 45 | 0.0 | Generalization of MonadReader and ReaderT using hset | (bsd3, control, library) | AlekseyUymanov |

hs-di | 6 | 0.0 | Dependency Injection library for Haskell | (bsd3, control, dependency-injection, development, library, program, template-haskell, testing) | Wizek |

hspec-monad-control | 1 | 0.0 | Orphan instances of MonadBase and MonadBaseControl for SpecM | (bsd3, control, library) | bmjames |

hyperfunctions | 3 | 0.0 | Hyperfunctions | (bsd3, categories, control, library) | EdwardKmett |

if | 4 | 0.0 | (?) and (?>) conditional operator | (bsd3, control, library) | winterland |

ifcxt | 4 | 2.0 | put if statements within type constraints | (bsd3, control, library) | MikeIzbicki |

implicit-logging | 3 | 0.0 | A logging framework built around implicit parameters. | (control, lgpl, library) | rev_null |

index-core | 9 | 0.0 | Indexed Types | (bsd3, control, indexed, library) | GabrielGonzalez |

indexed | 10 | 0.0 | Haskell98 indexed functors, monads, comonads | (bsd3, control, library) | ReinerPope |

indexed-extras | 4 | 0.0 | Indexed functors, monads and comonads that require extensions to Haskell98 | (bsd3, control, library) | ReinerPope |

indexed-free | 6 | 0.0 | indexed monads for free | (bsd3, control, library, monad) | FumiakiKinoshita |

indextype | 7 | 0.0 | A series of type families and constraints for "indexable" types. | (control, library, mit) | clinton |

inject-function | 6 | 0.0 | Monadic functions with injected parameters. | (control, gpl, library) | DimitriSabadie |

instance-control | 8 | 0.0 | Controls how the compiler searches for instances using type families. | (bsd3, control, library) | lazac |

interchangeable (deprecated) | 5 | 0.0 | A type class for interchangeable data. | (control, deprecated, library, mit) | arowM |

interleave | 4 | 0.0 | Combinators for supporting interleaving of different behaviours | (bsd3, control, library) | NeilBrown |

interruptible | 4 | 0.0 | Monad transformers that can be run and resumed later, conserving their context. | (bsd3, control, library) | marcosdumay |

interspersed | 8 | 0.0 | An abstraction over interspersing monadic actions | (control, library, mit) | NikitaVolkov |

invariant | 29 | 0.0 | Haskell98 invariant functors | (bsd2, control, data, library) | NicolasFrisby, ryanglscott |

invertible | 14 | 0.0 | bidirectional arrows, bijective functions, and invariant functors | (bsd3, composition, control, data, library) | DylanSimon |

invertible-hlist | 2 | 0.0 | invertible functions and instances for HList | (bsd3, composition, control, data, library) | DylanSimon |

io-choice | 12 | 0.0 | Choice for IO and lifted IO | (bsd3, control, library) | KazuYamamoto |

io-reactive | 3 | 0.0 | An API for generating TIMBER style reactive objects. | (bsd3, control, library, program, reactivity) | AndyGill |

io-region | 5 | 0.0 | Exception safe resource management with dynamic regions | (bsd3, control, library) | YurasShumovich |

iotransaction | 2 | 0.0 | Supports the automatic undoing of IO operations when an exception is thrown. | (control, library, mit) | DylanShearer |

ixmonad (deprecated in favor of effect-monad, type-level-sets) | 8 | 0.0 | Embeds effect systems into Haskell using parameteric effect monads | (bsd3, control, deprecated, library, monads) | DominicOrchard |

json-tracer | 11 | 0.0 | A polymorphic, type-safe, json-structured tracing library | (bsd3, control, library) | autotaker |

lambda-devs | 4 | 0.0 | a Paralell-DEVS implementaion based on distributed-process | (bsd3, control, library, program, simulation) | alios |

lax | 12 | 0.0 | Lax arrows | (bsd3, control, library) | WolfgangJeltsch |

layers | 4 | 0.0 | Modular type class machinery for monad transformer stacks. | (bsd3, control, library) | ShaneOBrien |

lazyio | 16 | 0.0 | Run IO actions lazily while respecting their order | (bsd3, control, library, monads) | HenningThielemann |

lens-tutorial | 7 | 2.5 | Tutorial for the lens library | (bsd3, control, library) | GabrielGonzalez |

lensref | 7 | 0.0 | References which can be joined and on which lenses can be applied | (bsd3, control, data, library) | PeterDivianszky |

level-monad | 25 | 0.0 | Non-Determinism Monad for Level-Wise Search | (control, library, monads, public-domain) | SebastianFischer |

lifted-base | 2007 | 0.0 | lifted IO operations from the base library | (benchmark, bsd3, control, library) | BasVanDijk |

list-t | 510 | 2.0 | ListT done right | (control, data-structures, library, mit, streaming) | NikitaVolkov |

list-transformer | 14 | 0.0 | List monad transformer | (bsd3, control, library) | GabrielGonzalez |

local-search | 9 | 0.0 | Generalised local search within Haskell, for applications in combinatorial optimisation. | (control, gpl, library, local-search, optimisation) | RichardSenington |

log-effect | 8 | 0.0 | An extensible log effect using extensible-effects | (control, effect, library, logging, mit) | ibotty |

logicst | 2 | 0.0 | Backtracking mutable references in the ST and IO monads | (bsd3, control, library) | AndySonnenburg |

logict | 178 | 0.0 | A backtracking logic-programming monad. | (bsd3, control, library) | DanDoel |

loop | 45 | 0.0 | Fast loops (for when GHC can't optimize forM_) | (benchmark, control, library, mit) | NiklasHambuechen |

loop-effin | 3 | 0.0 | control-monad-loop port for effin | (bsd3, control, library) | HiromiIshii |

loop-while | 3 | 0.0 | A monad transformer supporting various styles of while loop | (bsd3, control, library) | NeilBrown |

loops | 8 | 0.0 | Fast imperative-style loops | (benchmark, bsd3, control, library) | ThomasTuegel |

machinecell | 25 | 0.0 | Arrow based stream transducers | (bsd3, control, frp, library, reactivity) | HidenoriAzuma |

machines | 76 | 2.5 | Networked stream transducers | (benchmark, bsd3, control, enumerator, library) | EdwardKmett, EricMertens, ryanglscott |

machines-bytestring | 4 | 0.0 | ByteString support for machines | (bsd3, control, library, machines) | zclod |

managed | 35 | 0.0 | A monad for managed values | (bsd3, control, library) | GabrielGonzalez |

mealstrom | 2 | 2.0 | Manipulate FSMs and store them in PostgreSQL. | (control, database, library, mit) | amx |

mech | 2 | 0.0 | mecha are the most complex composite machines known to humanity, lets build them well! | (bsd2, concurrency, control, data, library, network, system) | CarterSchonwald |

mechs | 1 | 0.0 | mecha are the most complex composite machines known to humanity, lets build them well! | (bsd2, concurrency, control, data, library, network, system) | CarterSchonwald |

memo-ptr | 2 | 0.0 | Pointer equality memoization | (control, library, mit) | edofic |

memoization-utils | 3 | 0.0 | Utilities for memoizing functions | (control, library, mit) | yamadapc |

meta-par | 3 | 0.0 | Provides the monad-par interface, but based on modular scheduler "mix-ins". | (bsd3, control, library, monads, parallelism) | RyanNewton |

midair | 7 | 0.0 | Hot-swappable FRP | (concurrency, control, frp, gpl, interaction, library, music, reactive, reactivity, user-interfaces) | TomMurphy |

minioperational (deprecated in favor of monad-skeleton) | 27 | 0.0 | fast and simple operational monad | (bsd3, control, deprecated, library) | FumiakiKinoshita |

mix-arrows | 7 | 0.0 | Mixing effects of one arrow into another one | (bsd3, control, library) | MiguelMitrofanov |

mmorph | 2019 | 2.5 | Monad morphisms | (bsd3, control, library) | GabrielGonzalez |

mmtl | 3 | 0.0 | Modular Monad transformer library | (bsd3, control, library) | MauroJaskelioff |

mmtl-base | 1 | 0.0 | MonadBase type-class for mmtl | (bsd3, control, library) | MatthewFarkasDyck |

modular-prelude (deprecated) | 3 | 0.0 | A new Prelude featuring first class modules | (control, deprecated, library, mit) | DanBurton |

modular-prelude-classy (deprecated) | 3 | 0.0 | Reifying ClassyPrelude a la ModularPrelude | (control, deprecated, library, mit) | DanBurton |

monad-abort-fd | 10 | 0.0 | A better error monad transformer | (bsd3, control, library) | MikhailVorozhtsov |

monad-atom | 7 | 0.0 | Monadically convert object to unique integers and back. | (bsd3, control, library) | GrzegorzChrupala |

monad-atom-simple | 3 | 0.0 | Monadically map objects to unique ints. | (bsd3, control, library) | GrzegorzChrupala |

monad-batcher | 5 | 0.0 | An applicative monad that batches commands for later more efficient execution | (bsd3, control, library) | BasVanDijk |

monad-bool (deprecated) | 4 | 0.0 | This package has been removed. | (bsd3, control, deprecated, library) | JohnWiegley |

monad-classes | 8 | 2.0 | more flexible mtl | (control, library, mit) | MatthewFarkasDyck |

monad-codec | 10 | 0.0 | Monadic conversion between complex data structures and unique integers | (bsd3, control, library) | JakubWaszczuk |

monad-connect | 3 | 0.0 | Transformer for TCP connection with TLS and SOCKS support | (control, library, monad, network, public-domain) | akrasner |

monad-control | 2268 | 0.0 | Lift control operations, like exception catching, through monad transformers | (bsd3, control, library) | BasVanDijk |

monad-control-aligned | 6 | 0.0 | Just like monad-control, except less efficient, and the monadic state terms are all * -> * | (bsd3, control, library) | athanclark |

monad-coroutine | 24 | 0.0 | Coroutine monad transformer for suspending and resuming monadic computations | (concurrency, control, gpl, library, monads) | MarioBlazevic |

monad-dijkstra | 12 | 0.0 | Monad transformer for weighted graph searches using Dijkstra's or A* algorithm | (bsd3, control, library, monads) | ecramer |

monad-exception (deprecated in favor of layers) | 2 | 0.0 | Exstensible monadic exceptions | (control, deprecated, library, public-domain) | ShaneOBrien |

monad-extras | 34 | 0.0 | Extra utility functions for working with monads | (bsd3, control, library) | JohnWiegley |

monad-fork (deprecated in favor of layers) | 2 | 0.0 | Type class for monads which support a fork operation. | (control, deprecated, library, public-domain) | ShaneOBrien |

monad-hash | 6 | 0.0 | Monad transformer for incremental hashing | (control, cryptography, hash, library, monad, public-domain) | akrasner |

monad-journal | 268 | 0.0 | Pure logger typeclass and monad transformer | (bsd3, control, library) | DimitriSabadie |

monad-levels | 4 | 0.0 | Specific levels of monad transformers | (control, library, mit) | IvanMiljenovic |

monad-lgbt | 3 | 0.0 | Monad transformers for combining local and global state. | (bsd2, control, library) | MichalGajda |

monad-loops | 747 | 2.25 | Monadic loops | (control, library, public-domain) | JamesCook |

monad-loops-stm | 5 | 0.0 | Monadic loops for STM | (control, library, public-domain) | JamesCook |

monad-memo | 18 | 0.0 | Memoization monad transformer | (benchmark, bsd3, control, library, monad) | EduardSergeev |

monad-mersenne-random | 4 | 2.25 | An efficient random generator monad, based on the Mersenne Twister | (bsd3, control, library) | DonaldStewart |

monad-open | 2 | 0.0 | Open recursion for when you need it | (control, library, mit) | JonSterling |

monad-ox | 9 | 0.0 | Monad for observation extraction | (bsd3, control, library, natural-language-processing) | JakubWaszczuk |

monad-par | 653 | 2.0 | A library for parallel programming based on a monad | (bsd3, control, library, monads, parallelism) | RyanNewton, SimonMarlow |

monad-par-extras | 625 | 0.0 | Combinators and extra features for Par monads | (bsd3, control, library, monads, parallelism) | RyanNewton |

monad-parallel | 35 | 0.0 | Parallel execution of monadic computations | (bsd3, control, library, monads) | MarioBlazevic |

monad-parallel-progressbar | 4 | 0.0 | Parallel execution of monadic computations with a progress bar | (control, library, mit, monads, system, user-interfaces) | mnacamura |

monad-param (deprecated in favor of indexed) | 15 | 0.0 | Parameterized monads | (bsd3, control, deprecated, library) | DominiqueDevriese, EdwardKmett |

monad-peel | 11 | 0.0 | Lift control operations like exception catching through monad transformers | (bsd3, control, library) | AndersKaseorg, SergeyAlirzaev |

monad-products | 18 | 2.0 | Monad products | (bsd3, control, library, monads) | EdwardKmett |

monad-ran | 5 | 0.0 | Fast monads and monad transformers | (bsd3, control, library, monads) | EdwardKmett |

monad-resumption | 9 | 0.0 | Resumption and reactive resumption monads for Haskell. | (bsd3, control, library) | AdamProcter, IanGraves |

monad-skeleton | 30 | 0.0 | Monads of program skeleta | (bsd3, control, library, monads) | FumiakiKinoshita |

monad-st | 19 | 0.0 | Provides a MonadST class | (bsd3, control, library, monads) | EdwardKmett |

monad-state | 5 | 0.0 | Utility library for monads, particularly those involving state. | (bsd3, control, data, library, monads) | ByronJohnson |

monad-ste | 3 | 0.0 | ST monad with efficient explicit errors | (bsd2, control, library) | CarterSchonwald |

monad-stm | 6 | 0.0 | MonadSTM class analogous to MonadIO | (bsd3, control, library) | MiguelMitrofanov |

monad-supply | 11 | 0.0 | Stateful supply monad. | (control, data, library, monads) | GeoffHulette |

monad-task | 2 | 0.0 | A monad transformer that turns event processing into co-routine programming. | (bsd3, control, library) | PaulLiu |

monad-time | 6 | 0.0 | Type class for monads which carry the notion of the current time. | (bsd3, control, library) | GracjanPolak, MikhailGlushenkov, arybczak, jonathanjouty_scrive |

monad-timing | 4 | 0.0 | Monad transformer for recording timing events | (control, library, mit) | pikajude |

monad-tx | 4 | 0.0 | A transactional state monad. | (bsd3, control, library, monads) | MattMorrow |

monad-unlift | 52 | 0.0 | Typeclasses for representing monad transformer unlifting | (control, library, mit) | MichaelSnoyman |

monad-unlift-ref | 6 | 2.0 | Typeclasses for representing monad transformer unlifting | (control, library, mit) | MichaelSnoyman |

monad-wrap | 5 | 0.0 | Wrap functions such as catch around different monads | (bsd3, control, library) | DavidMazieres |

monadLib-compose | 6 | 0.0 | Arrow-like monad composition for monadLib. | (bsd3, control, library, monads) | AristidBreitkreuz |

monadbi (deprecated) | 3 | 0.0 | Extract underlying monads from monad transformers | (control, deprecated, gpl, library) | AnupamJain |

monadcryptorandom | 38 | 0.0 | A monad for using CryptoRandomGen | (bsd3, control, cryptography, library) | ThomasDuBuisson |

monadfibre (deprecated) | 6 | 0.0 | Monadic functions which provide Choice and Parallelism. | (control, deprecated, gpl, library) | AnupamJain |

monadiccp | 34 | 0.0 | Constraint Programming | (bsd3, control, library) | MaikRiechert, PieterWuille, TomSchrijvers |

monadiccp-gecode | 3 | 0.0 | Constraint Programming | (bsd3, control, library) | JanTikovsky |

monadio-unwrappable | 4 | 0.0 | Reversibly allow monad transformer stacks to run in IO | (bsd3, control, library) | AndrewMiller |

monadlist | 5 | 0.0 | Monadic versions of list functions | (bsd3, control, library) | ThomasEding |

monadloc | 21 | 0.0 | A class for monads which can keep a monadic call trace | (control, library, monads, public-domain) | PepeIborra |

monadloc-pp | 7 | 0.0 | A preprocessor for generating monadic call traces | (control, monads, program, public-domain) | PepeIborra |

monadplus | 195 | 0.0 | Haskell98 partial maps and filters over MonadPlus. | (bsd3, control, library) | HansHoglund |

monads-fd (deprecated in favor of mtl) | 20 | 0.0 | Monad classes, using functional dependencies | (bsd3, control, deprecated, library) | RossPaterson |

monads-tf | 85 | 0.0 | Monad classes, using type families | (bsd3, control, library) | RossPaterson |

more-extensible-effects | 13 | 2.0 | Initial project template from stack | (bsd3, control, library) | qzchenwl |

mtl | 3803 | 2.5 | Monad classes, using functional dependencies | (bsd3, control, library) | DonaldStewart, EdwardKmett, HerbertValerioRiedel, IanLynagh, RossPaterson |

mtl-evil-instances (deprecated in favor of layers) | 1 | 0.0 | Instances for the mtl classes for all monad transformers. | (control, deprecated, library, public-domain) | ShaneOBrien |

mtl-extras (deprecated in favor of transformers-lift) | 3 | 0.0 | Higher order versions of MTL classes | (bsd3, control, deprecated, library) | int_index |

mtl-tf (deprecated) | 3 | 0.0 | Monad transformer library using type families | (bsd3, control, deprecated, library) | TrevorElliott |

mtl-unleashed | 14 | 0.0 | MTL classes without the functional dependency | (bsd3, control, library) | DavidFox |

mtlx | 16 | 0.0 | Monad transformer library with type indexes, providing 'free' copies. | (bsd3, control, library) | MarkSnyder |

multipass | 5 | 0.0 | Folding data with multiple named passes | (bsd3, control, library) | EdwardKmett |

multistate | 29 | 0.0 | like mtl's ReaderT / WriterT / StateT, but more than one contained value/type. | (bsd3, control, library) | lspitzner |

mvc | 22 | 0.0 | Model-view-controller | (bsd3, concurrency, control, library) | GabrielGonzalez |

mvc-updates | 7 | 0.0 | Concurrent and combinable updates | (bsd3, concurrency, control, library) | GabrielGonzalez |

mzv | 4 | 0.0 | Implementation of the "Monads, Zippers and Views" (Schrijvers and Oliveira, ICFP'11) | (bsd3, control, library) | IsmaelFigueroa |

natural-transformation | 482 | 2.0 | A natural transformation package. | (bsd3, control, library) | AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott |

needle | 3 | 0.0 | ASCII-fied arrow notation | (control, library, mit) | ScrambledEggs |

newtype | 256 | 0.0 | A typeclass and set of functions for working with newtypes. | (bsd3, control, library) | DariusJahandarie, jcristovao |

newtype-deriving | 5 | 0.0 | Instance derivers for newtype wrappers | (control, library, mit, template-haskell) | NikitaVolkov |

newtype-generics | 375 | 2.0 | A typeclass and set of functions for working with newtypes, with generics support. | (bsd3, control, library) | jcristovao, sjakobi |

newtype-th | 10 | 0.0 | A template haskell deriver to create Control.Newtype instances. | (bsd3, control, library, template-haskell) | MichaelSloan |

newtyper | 2 | 0.0 | Extra functions for the Control.Newtype typeclass | (bsd3, control, library) | DylanJust |

nondeterminism | 8 | 2.0 | A monad and monad transformer for nondeterministic computations. | (ai, constraints, control, failure, lgpl, library, monads) | AndreiBarbu |

objective | 48 | 0.0 | Composable objects | (bsd3, control, library) | FumiakiKinoshita |

open-signals | 7 | 0.0 | A mechanism similar to checked exceptions that integrates with MTL and transformer stacks | (control, library, mit) | darwin226 |

operational | 475 | 2.0 | Implementation of difficult monads made easy with operational semantics. | (bsd3, control, library, monads) | HeinrichApfelmus |

operational-class | 8 | 0.0 | MonadProgram typeclass for the operational package | (control, library, mit) | srijs |

overload | 14 | 0.0 | Finite overloading | (control, library, mit) | darwin226 |

parallel | 1347 | 0.0 | Parallel programming library | (bsd3, control, library, parallelism) | AustinSeipp, HerbertValerioRiedel, IanLynagh, SimonMarlow |

parallel-tree-search | 15 | 0.0 | Parallel Tree Search | (concurrency, control, library, public-domain) | SebastianFischer |

partial | 3 | 0.0 | A nullary type class for partial functions | (control, library, mit) | PhilFreeman |

partial-isomorphisms | 12 | 0.0 | Partial isomorphisms. | (bsd3, control, library) | TillmannRendel, schernichkin |

partial-lens (deprecated in favor of data-lens) | 2 | 0.0 | Haskell 98 Partial Lenses | (comonads, control, deprecated, library, mit) | RussellOConnor |

perm | 7 | 0.0 | permutation Applicative and Monad with many mtl instances | (bsd3, control, library) | AndySonnenburg |

phantom-state | 11 | 0.0 | Phantom State Transformer. Like State Monad, but without values. | (benchmark, bsd3, control, library) | DanielDiaz |

pipe-enumerator | 9 | 0.0 | A bidirectional bridge between pipes and iteratees | (bsd3, control, library, pipes) | patrykz |

pipes | 889 | 2.75 | Compositional pipelines | (bsd3, control, library, pipes) | GabrielGonzalez |

pipes-async | 5 | 0.0 | A higher-level interface to using concurrency with pipes | (bsd3, control, library) | JohnWiegley |

pipes-attoparsec-streaming (deprecated) | 3 | 0.0 | Streaming parsing in the pipes-core framework with Attoparsec. | (bsd3, control, deprecated, library, program) | MartinGrabmueller |

pipes-break | 12 | 2.0 | Pipes to group by any delimiter (such as lines with carriage returns) | (bsd3, control, library, pipes) | mindreader |

pipes-bytestring | 459 | 0.0 | ByteString support for pipes | (bsd3, control, library, pipes) | GabrielGonzalez |

pipes-category | 9 | 0.0 | Allows instances for Category, Arrow and ArrowChoice for Pipes. | (bsd3, control, library, pipes) | louispan |

pipes-cellular | 2 | 0.0 | Pipes-based combinators for cellular data processing | (bsd3, control, library, pipes) | patrykz |

pipes-cellular-csv | 2 | 0.0 | Efficient pipes-based cellular CSV codec | (bsd3, control, library, pipes) | patrykz |

pipes-concurrency | 32 | 2.0 | Concurrency for the pipes ecosystem | (bsd3, concurrency, control, library, pipes) | GabrielGonzalez |

pipes-conduit | 2 | 0.0 | Conduit adapters | (bsd3, control, enumerator, library) | PaoloCapriotti |

pipes-core (deprecated in favor of pipes) | 5 | 0.0 | Compositional pipelines | (bsd3, control, deprecated, enumerator, library) | PaoloCapriotti |

pipes-errors | 7 | 0.0 | Integration between pipes and errors | (bsd3, control, error-handling, library, monad, pipes) | jdnavarro |

pipes-extra | 4 | 0.0 | Various basic utilities for Pipes. | (benchmark, bsd3, control, enumerator, library) | PaoloCapriotti |

pipes-extras | 16 | 0.0 | Extra utilities for pipes | (bsd3, control, library, pipes) | GabrielGonzalez |

pipes-fluid | 15 | 0.0 | Reactively combines Producers so that a value is yielded as soon as possible. | (bsd3, control, frp, library, pipes) | louispan |

pipes-group | 471 | 0.0 | Group streams into substreams | (bsd3, control, library, pipes) | GabrielGonzalez |

pipes-io | 3 | 0.0 | Stateful IO streams based on pipes | (apache, control, library, pipes) | yinguanhao |

pipes-lines (deprecated in favor of pipes-break) | 18 | 0.0 | Pipes for grouping by lines with carriage returns. | (bsd3, control, deprecated, library, pipes) | mindreader |

pipes-misc | 20 | 0.0 | Miscellaneous utilities for pipes, required by glazier-tutorial | (bsd3, control, library, pipes) | louispan |

pipes-parse | 458 | 2.0 | Parsing infrastructure for the pipes ecosystem | (bsd3, control, library, parsing, pipes) | GabrielGonzalez |

pipes-random | 9 | 0.0 | Producers for handling randomness. | (bsd3, control, library) | fosskers |

pipes-rt | 5 | 0.0 | A few pipes to control the timing of yields | (bsd3, control, library, pipes, program) | imalsogreg |

pipes-safe | 452 | 0.0 | Safety for the pipes ecosystem | (bsd3, control, error-handling, library, pipes) | GabrielGonzalez |

pipes-transduce | 13 | 0.0 | Interfacing pipes with foldl folds. | (bsd3, control, library) | DanielDiazCarrete |

pipes-vector | 11 | 0.0 | Various proxies for streaming data into vectors | (bsd3, control, library) | BenGamari |

pipes-zeromq4 | 4 | 0.0 | Pipes integration for ZeroMQ messaging | (bsd3, control, library, network, pipes) | peddie |

plan-applicative | 8 | 0.0 | Applicative/Arrow for resource estimation and progress tracking. | (bsd3, control, library) | DanielDiazCarrete |

ports | 4 | 0.0 | The Haskell Ports Library | (control, lgpl, library) | DonaldStewart |

prelude-plus | 13 | 0.0 | Prelude for rest of us | (bsd3, control, data, system) | YusakuHashimoto |

product-profunctors | 80 | 0.0 | product-profunctors | (bsd3, category, control, library) | tomjaguarpaw |

profunctor-extras | 44 | 0.0 | This package has been absorbed into profunctors 4.0 | (bsd3, categories, control, library) | EdwardKmett |

profunctors | 1543 | 2.5 | Profunctors | (bsd3, categories, control, library) | EdwardKmett, ryanglscott |

progress-reporting | 3 | 0.0 | Functionality for reporting function progress. | (control, lgpl, library) | JeroenBransen |

prologue | 6 | 0.0 | Better, more general Prelude exporting common utilities. | (apache, control, library) | danilo2 |

prompt | 6 | 0.0 | Monad (and transformer) for deferred-effect pure prompt-response queries | (control, library, mit) | jle |

quantum-arrow | 12 | 0.0 | An embedding of quantum computation as a Haskell arrow | (control, lgpl, library) | LukePalmer |

quiver | 21 | 2.0 | Quiver finite stream processing library | (bsd3, control, library) | patrykz |

quiver-binary | 4 | 0.0 | Binary serialisation support for Quivers | (control, library, mit) | IvanMiljenovic |

quiver-bytestring | 4 | 0.0 | Quiver combinators for bytestring streaming | (bsd3, control, library) | patrykz |

quiver-cell | 4 | 0.0 | Quiver combinators for cellular data processing | (bsd3, control, library) | patrykz |

quiver-csv | 4 | 0.0 | Quiver combinators for cellular CSV data processing | (bsd3, control, library) | patrykz |

quiver-enumerator | 3 | 0.0 | Bridge between Quiver and Iteratee paradigms | (bsd3, control, library) | patrykz |

quiver-groups | 3 | 0.0 | Group and chunk values within a Quiver | (control, library, mit) | IvanMiljenovic |

quiver-http | 3 | 0.0 | Adapter to stream over HTTP(s) with quiver | (bsd3, control, http, library) | ChristianMarie |

quiver-instances | 7 | 0.0 | Extra instances for Quiver | (control, library, mit) | IvanMiljenovic |

quiver-interleave | 7 | 0.0 | Interleave values from multiple Quivers | (control, library, mit) | IvanMiljenovic |

quiver-sort | 3 | 0.0 | Sort the values in a quiver | (control, library, mit) | IvanMiljenovic |

random-eff | 2 | 0.0 | A simple random generator library for extensible-effects | (bsd3, control, effect, library) | HiromiIshii |

random-effin | 2 | 0.0 | A simple random generator library for effin | (bsd3, control, effect, library) | HiromiIshii |

rank2classes | 8 | 0.0 | a mirror image of some standard type classes, with methods of rank 2 types | (bsd3, control, data, generics, library) | MarioBlazevic |

rate-limit | 7 | 0.0 | A basic library for rate-limiting IO actions. | (bsd3, control, library) | AdamWick |

reactive-haskell (deprecated) | 2 | 0.0 | minimal fork of io-reactive | (bsd3, control, deprecated, library, reactivity) | Heather |

reactive-io (deprecated) | 3 | 0.0 | IO-oriented FRP library | (control, deprecated, library, mit) | RomanCheplyaka |

reasonable-lens | 4 | 0.0 | Lens implementation. It is more small but adequately. | (control, library, mit) | outoftune |

reasonable-operational | 5 | 0.0 | Just size Operational Monad implementation. | (control, library, mit) | outoftune |

record | 25 | 0.0 | Anonymous records | (control, data-structures, library, mit, records) | NikitaVolkov |

recursion-schemes | 94 | 2.25 | Generalized bananas, lenses and barbed wire | (bsd3, control, library, recursion) | EdwardKmett, EricMertens, ryanglscott |

recursion-schemes-ext | 78 | 0.0 | Amateur addenda to recursion-schemes | (bsd3, control, library) | vmchale |

ref-fd | 15 | 2.0 | A type class for monads with references using functional dependencies. | (bsd3, control, library) | GeoffreyMainland |

ref-mtl | 6 | 0.0 | A type class for monads with references compatible with the mtl2 library. | (bsd3, control, library) | GeoffreyMainland |

ref-tf | 27 | 0.0 | A type class for monads with references using type families. | (bsd3, control, library) | GeoffreyMainland |

reference | 3 | 0.0 | A class for references in Haskell | (control, data, library, mit) | MaciejPiechotka |

references | 22 | 0.0 | Selectors for reading and updating data. | (bsd3, control, library) | lazac |

regions | 30 | 0.0 | Provides the region monad for safely opening and working with scarce resources. | (bsd3, control, library, monadic-regions) | BasVanDijk |

regions-monadsfd (deprecated in favor of regions-mtl) | 21 | 0.0 | Monads-fd instances for the RegionT monad transformer | (bsd3, control, deprecated, library, monadic-regions) | BasVanDijk |

regions-monadstf | 27 | 0.0 | Monads-tf instances for the RegionT monad transformer | (bsd3, control, library, monadic-regions) | BasVanDijk |

regions-mtl | 7 | 0.0 | mtl instances for the RegionT monad transformer | (bsd3, control, library, monadic-regions) | BasVanDijk |

rematch | 9 | 0.0 | A simple api for matchers | (control, library, mit) | TomCrayford |

rematch-text | 4 | 0.0 | `rematch` matchers for Data.Text | (control, library, mit) | TomCrayford |

remote-monad | 5 | 0.0 | An parametrizable Remote Monad, and parametrizable Applicative Functor | (bsd3, control, library) | AndyGill |

representable-profunctors (deprecated in favor of profunctors) | 31 | 0.0 | This package has been absorbed into profunctor-extras. | (bsd3, categories, control, deprecated, library) | EdwardKmett |

request-monad | 4 | 0.0 | A transformer for generic requests | (control, library, mit) | nahiluhmot |

resource-effect | 2 | 0.0 | A port of the package 'resourcet' for extensible effects. | (bsd3, control, effect, library) | ClarkGaebel |

resource-pool-monad | 2 | 0.0 | A monadic interface for resource-pool | (control, library, mit) | srijs |

resource-simple | 2 | 0.0 | Allocate resources which are guaranteed to be released. | (bsd3, control, library) | ShaneOBrien |

resumable-exceptions | 6 | 0.0 | A monad transformer for resumable exceptions | (control, error-handling, failure, library, monads, reactivity) | NicolasFrisby |

retry | 167 | 2.5 | Retry combinators for monadic actions that may fail | (bsd3, control, library) | MichaelXavier, OzgunAtaman |

rev-state | 7 | 0.0 | Reverse State monad transformer | (bsd3, control, library) | DanBurton |

rex | 17 | 0.0 | A quasi-quoter for typeful results of regex captures. | (bsd3, control, library) | MichaelSloan |

rmonad | 22 | 0.0 | Restricted monad library | (bsd3, control, library) | GaneshSittampalam |

safe-exceptions | 244 | 2.0 | Safe, consistent, and easy exception handling | (control, library, mit) | FrancescoMazzoli, MichaelSnoyman |

safe-exceptions-checked | 3 | 2.0 | Safe, checked exceptions | (bsd3, control, library) | mitchellwrosen |

scc | 28 | 0.0 | Streaming component combinators | (combinators, concurrency, control, gpl, library, program) | MarioBlazevic |

schonfinkeling | 2 | 0.0 | Transformation of n-ary functions to unary functions | (bsd3, control, library) | DenisDefreyne |

semi-iso | 9 | 0.0 | Weakened partial isomorphisms, reversible computations. | (control, data, library, mit) | pawel834 |

semigroupoid-extras | 35 | 0.0 | Semigroupoids that depend on PolyKinds | (bsd3, control, library) | EdwardKmett |

semigroupoids | 1521 | 2.5 | Semigroupoids: Category sans id | (bsd3, comonads, control, library) | EdwardKmett, EricMertens, ryanglscott |

sessions | 47 | 0.0 | Session Types for Haskell | (control, gpl, library) | MatthewSackman |

shade | 18 | 0.0 | A control structure used to combine heterogenous types with delayed effects. | (bsd3, control, library) | fredefox |

shared-fields | 4 | 0.0 | a tiny library for using shared lens fields | (bsd3, control, library) | Intolerable |

shortcircuit | 4 | 0.0 | Short-circuit values and expressions. | (bsd3, control, data, library) | AristidBreitkreuz |

simple-effects | 33 | 2.0 | A simple effect system that integrates with MTL | (benchmark, bsd3, control, library) | darwin226 |

simple-observer | 4 | 0.0 | The Observer pattern | (bsd3, control, library) | AndyGimblett |

simple-sessions | 12 | 0.0 | A simple implementation of session types | (bsd3, control, library) | JesseTov |

sink (deprecated) | 6 | 0.0 | An alternative to lazy I/O that doesn't conflate execution with evaluation | (control, data, deprecated, library, mit, system) | JakeMcArthur |

skulk | 6 | 0.0 | Eclectic collection of utility functions | (control, library, mit) | geekyfox |

sousit | 3 | 0.0 | Source/Sink/Transform: An alternative to lazy IO and iteratees. | (bsd3, control, library) | MarioSiegenthaler |

spawn | 8 | 0.0 | Tiny library for concurrent computations | (bsd3, concurrency, concurrent, control, library) | KeeganMcAllister |

speculation-transformers | 6 | 0.0 | Merged into 'speculation'. Use that instead. | (bsd3, control, library) | EdwardKmett |

stack-hpc-coveralls | 9 | 0.0 | Initial project template from stack | (control, library, program) | rubik |

state-bag | 1 | 0.0 | Monad transformers for holding bags of state. | (bsd3, control, library) | RobinKay |

state-plus | 8 | 0.0 | MonadPlus for StateT | (bsd3, control, library) | BorisSukholitko |

stateWriter | 43 | 0.0 | A faster variant of the RWS monad transformers. | (benchmark, bsd3, control, library) | SimonMarechal |

statestack | 439 | 0.0 | Simple State-like monad transformer with saveable and restorable state | (bsd3, control, library) | BrentYorgey, RyanYates, jeffreyrosenbluth, bergey |

stm-supply | 4 | 0.0 | STM wrapper around Control.Concurrent.Supply. | (bsd3, control, library) | jmc41493 |

stopwatch | 12 | 0.0 | A simple stopwatch utility | (bsd3, control, library) | debugito |

stream-monad | 21 | 0.0 | Simple, Fair and Terminating Backtracking Monad | (bsd3, control, library, monads) | SebastianFischer |

streaming-eversion | 10 | 0.0 | Translate pull-based stream folds into push-based iteratees. | (bsd3, control, library) | DanielDiazCarrete |

streamproc | 18 | 0.0 | Stream Processer Arrow | (bsd3, control, library) | PeterSimons |

streams | 64 | 2.0 | Various Haskell 2010 stream comonads | (bsd3, comonads, control, library) | EdwardKmett, ryanglscott |

strict-concurrency | 72 | 0.0 | Strict concurrency abstractions | (bsd3, control, library) | DonaldStewart, YitzGale |

strict-identity | 2 | 0.0 | Strict Identity Monad, handy for writing fast code! | (bsd3, control, library) | CarterSchonwald |

strict-writer (deprecated in favor of writer-cps-mtl) | 15 | 0.0 | A stricter writer, which uses StateT in order to avoid space leaks. | (control, deprecated, library, mit) | oisdk |

strictly | 1 | 0.0 | Combinators for strictifying functions | (bsd3, control, library) | DanBurton |

stt | 6 | 0.0 | A monad transformer version of the ST monad | (control, library, mit) | mckeankylej |

sub-state | 3 | 0.0 | Get the total, put a single element | (bsd3, control, library) | athanclark |

subhask | 5 | 2.0 | Type safe interface for programming in subcategories of Hask | (algebra, benchmark, bsd3, categories, control, library) | MikeIzbicki |

successors | 5 | 0.0 | An applicative functor to manage successors | (control, library, mit) | JoachimBreitner |

supervisor | 5 | 0.0 | Control an internal monad execution for trace generation, backtrakcking, testing and other purposes | (bsd3, control, library) | AlbertoCorona |

synchronous-channels | 8 | 2.0 | Synchronous communication channels | (bsd3, concurrency, control, library) | JesseTov |

tagged-exception-core | 8 | 0.0 | Reflect exceptions using phantom types. | (bsd3, control, error-handling, exceptions, failure, library, monad, monads, phantom-types) | PeterTrsko |

tagged-identity | 7 | 0.0 | Trivial monad transformer that allows identical monad stacks have different types | (bsd3, control, library) | mrkkrp |

tagshare | 28 | 0.0 | TagShare - explicit sharing with tags | (bsd3, control, library) | JonasDuregard |

takahashi | 8 | 0.0 | create slide for presentation. | (control, library, mit) | outoftune |

tardis | 9 | 0.0 | Bidirectional state monad transformer | (bsd3, control, library) | DanBurton |

these | 47 | 2.0 | An either-or-both data type & a generalized 'zip with padding' typeclass | (bsd3, control, data, library) | JohnWiegley, phadej, cmccann |

threads-pool | 4 | 0.0 | A library to operate with pool of haskell's IO threads | (bsd3, control, library) | IlyaPortnov |

time-out | 4 | 0.0 | Timers, timeouts, alarms, monadic wrappers | (control, library, monad, public-domain, time, timeout) | akrasner |

time-warp | 11 | 2.0 | Distributed systems execution emulation | (control, library, mit, network) | jagajaga, gromak, volhovm |

timeout | 6 | 0.0 | Generalized sleep and timeout functions | (concurrency, control, library, mit) | FedorGogolev |

timeout-control | 4 | 0.0 | Updatable timeouts as a Monad transformer | (bsd3, concurrency, control, library) | NathanHowell |

total | 10 | 0.0 | Exhaustive pattern matching using lenses, traversals, and prisms | (bsd3, control, library) | GabrielGonzalez |

trace | 9 | 0.0 | A monad transformer for tracing provenience of errors | (control, library, mit) | JonSterling |

transactional-events | 5 | 0.0 | Transactional events, based on Concurrent ML semantics | (bsd3, control, library) | RyanIngram |

transformers | 1627 | 2.5 | Concrete functor and monad transformers | (bsd3, control, library) | RossPaterson |

transformers-abort | 17 | 0.0 | Error and short-circuit monad transformers | (bsd3, control, library) | MikhailVorozhtsov |

transformers-base | 2066 | 0.0 | Lift computations from the bottom of a transformer stack | (bsd3, control, library) | MikhailVorozhtsov |

transformers-bifunctors | 3 | 0.0 | Bifunctors over monad transformers. | (bsd3, control, functors, library) | JacobStanley |

transformers-compose | 4 | 0.0 | Arrow-like / category-like composition for transformers. | (bsd3, control, library, monads) | AristidBreitkreuz |

transformers-continue | 5 | 2.0 | Control flow data type and monad transformer. | (bsd3, control, library) | nhibberd |

transformers-convert | 2 | 0.0 | Sensible conversions between some of the monad transformers | (bsd3, control, library) | jcristovao |

transformers-eff | 6 | 0.0 | An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff | (benchmark, bsd3, control, library) | OliverCharles |

transformers-free (deprecated in favor of free) | 11 | 0.0 | Free monad transformers | (bsd3, control, deprecated, library) | GabrielGonzalez |

transformers-lift | 436 | 2.0 | Ad-hoc type classes for lifting | (bsd3, control, library) | int_index |

transformers-runnable | 1 | 0.0 | A unified interface for the run operation of monad transformers | (bsd3, control, library) | JanBessai |

transient | 64 | 2.25 | composing programs with multithreading, events and distributed computing | (concurrency, control, library, mit) | AlbertoCorona, geraldus |

transient-universe | 39 | 0.0 | Remote execution and map-reduce: distributed computing for Transient | (control, library, mit, program) | AlbertoCorona, geraldus |

tree-monad | 13 | 0.0 | Non-Determinism Monad for Tree Search | (bsd3, control, library, monads) | SebastianFischer |

trivia | 4 | 0.0 | The trivial monad and comonad | (bsd3, control, library) | FumiakiKinoshita |

tubes | 18 | 0.0 | Write stream processing computations with side effects in a series of tubes. | (control, gpl, library, streaming) | gatlin |

tuple-lenses | 3 | 0.0 | Stock FieldN combos and generators | (bsd3, control, library) | JonathanFischoff |

tweak | 2 | 0.0 | A library for incremental computing | (bsd3, control, library) | JonathanFischoff |

type-operators | 431 | 0.0 | Various type-level operators | (bsd3, control, library) | Shou |

uberlast | 2 | 0.0 | Generate overloaded lenses from plain data declaration | (bsd3, control, library) | FumiakiKinoshita |

unexceptionalio | 553 | 0.0 | IO without any non-error, synchronous exceptions | (control, library) | StephenWeber |

unliftio | 19 | 0.0 | The MonadUnliftIO typeclass for unlifting monads to IO (batteries included) | (control, library, mit) | MichaelSnoyman |

unliftio-core | 19 | 0.0 | The MonadUnliftIO typeclass for unlifting monads to IO | (control, library, mit) | MichaelSnoyman |

unordered-containers-rematch | 1 | 0.0 | Rematch support for unordered containers | (control, library, mit) | TomCrayford |

unpack-funcs | 12 | 0.0 | Monad transformers that mirror worker-wrapper transformations. | (bsd3, control, library) | LouisWasserman |

unsafe | 17 | 0.0 | Unified interface to unsafe functions | (bsd3, control, library) | HenningThielemann |

unsequential | 7 | 0.0 | An extension removing the sequentiality from monads | (control, library, mit) | NikitaVolkov |

uu-interleaved | 9 | 0.0 | Providing an interleaving combinator for use with applicative/alternative style implementations. | (applicative, control, library, mit, parsing, text) | DoaitseSwierstra |

validationt | 9 | 2.0 | Straightforward validation monad. Convenient solution for validating web forms and APIs. | (bsd3, control, library) | typeable |

var-monad | 52 | 0.0 | The VarMonad typeclass, generalizing types of references. | (apache, control, library) | chris_martin |

variables | 2 | 0.0 | Monads with variables, without deep magic | (control, library, mit) | alynn |

varying | 34 | 2.0 | FRP through value streams and monadic splines. | (benchmark, control, frp, library, mit, program) | SchellScivally |

vector-strategies | 9 | 0.0 | A parallel evaluation strategy for boxed vectors | (bsd3, control, library) | ThomasDuBuisson |

views (deprecated in favor of definitive-base) | 1 | 0.0 | Views allow you to run a State monad on part of a state. | (bsd3, control, deprecated, library, monad) | MarcCoiffier |

vinyl-utils | 12 | 0.0 | Utilities for vinyl | (bsd3, control, library) | mjmrotek |

watchdog | 10 | 0.0 | Simple control structure to re-try an action with exponential backoff | (bsd3, control, library) | JanVornberger |

weighted | 6 | 0.0 | Writer monad which uses semiring constraint | (control, library, mit) | oisdk |

weighted-search | 5 | 0.0 | A weighted nondeterministic search monad | (bsd3, control, library) | LukePalmer |

wires | 3 | 0.0 | Functional reactive programming library | (bsd3, control, frp, library) | esz |

withdependencies | 15 | 0.0 | Run computations that depend on one or more elements in a stream. | (control, gpl, library) | SimonMarechal |

wl-pprint-extras | 51 | 0.0 | A free monad based on the Wadler/Leijen pretty printer | (bsd3, control, library, monads, text) | EdwardKmett, NathanielFilardo |

wl-pprint-terminfo | 71 | 0.0 | A color pretty printer with terminfo support | (bsd3, control, library, monads, text) | EdwardKmett, NathanielFilardo |

writer-cps-full | 5 | 0.0 | WriteT and RWST monad transformers (Reexport with all dependencies) | (bsd3, control, library) | minad, louispan |

writer-cps-lens | 5 | 0.0 | Lens instances for the stricter CPS WriterT and RWST | (bsd3, control, library) | minad, louispan |

writer-cps-monads-tf | 7 | 0.0 | MonadWriter orphan instances for writer-cps-transformers | (bsd3, control, library) | minad |

writer-cps-morph | 8 | 0.0 | MFunctor instance for CPS style WriterT and RWST | (bsd3, control, library) | minad, louispan |

writer-cps-mtl | 438 | 0.0 | MonadWriter orphan instances for writer-cps-transformers | (bsd3, control, library) | minad |

writer-cps-transformers | 436 | 0.0 | WriteT and RWST monad transformers | (bsd3, control, library) | minad |

xml-html-conduit-lens | 14 | 0.0 | Optics for xml-conduit and html-conduit | (bsd3, control, library) | MatveyAksenov |

zoom-refs | 4 | 0.0 | Zoom (~ Functor) and pairing (~ Applicative) for mutable references. | (bsd3, control, library) | mjmrotek |