Haskell Control

A standard library for Haskell

Compositional pipelines

Functional workflows

A fast, flexible, fused effect system for Haskell

The Monad Transformer Library

A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking, pure state)

a fast, extensible, type driven Haskell ECS framework for games

Extensional capabilities and deriving combinators

Generalized bananas, lenses and barbed wire

Networks of composable stream transducers

Anonymous records

free monads

Composable, streaming, and efficient left folds

Type classes for mapping, folding, and traversing monomorphic containers

A friendly effect system for Haskell

Type classes for mapping, folding, and traversing monomorphic containers

Extensible Effects: An Alternative to Monad Transformers

Safe, consistent, and easy exception handling

Serializable closures for distributed programming.

The MonadUnliftIO typeclass for unlifting monads to IO

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically

A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.

Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto

Retry combinators for monadic actions that may fail

Type classes generalizing the functionality of the 'monad-par' library.

An either-or-both data type, with corresponding hybrid error/writer monad transformer.

Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)

A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web browsers are first class nodes in the cloud

a library for parallel programming

DISCONTINUED. This is an umbrella development repository for Cloud Haskell

Principled practical FRP

DEPRECATED (Cloud Haskell Platform) in favor of distributed-process-extras, distributed-process-async, distributed-process-client-server, distributed-process-registry, distributed-process-supervisor, distributed-process-task and distributed-process-execution

Bidirectional state monad transformer

Deep evaluation of data structures

DISCONTINUED. (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validation

Haskell 98 contravariant functors

A distributed data processing framework in Haskell.

constraint level if statements

the EitherT monad transformer

mtl friendly exceptions

Type-safe error handling

Lift control operations, like exception catching, through monad transformers

DISCONTINUED. An implementation of "Freer Monads, More Extensible Effects".

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.

Implement monads by specifying instructions and their desired operational semantics.

Type class for monads which carry the notion of the current time.

Monad morphisms

Type-safe effectful state machines in Haskell

The missing tutorial module for the lens library

A higher-order effect system where the sky's the limit

Monad Transformers and Classes

Purely functional objects

Efficient Haskell effect handlers based on evidence translation.

An enhanced core prelude, meant for building up more complete preludes on top of.

DISCONTINUED. Distributed systems execution emulation

Ghosts of Departed Proofs

coveralls.io support for haskell code coverage with hpc

Typeclasses for representing monad (transformer) morphisms

Typeclasses for representing monad (transformer) morphisms

Parsing for the pipes ecosystem

List monad transformer

categories from category-extras

A monad transformer and corresponding type class for computations which consume random values.

Proof that Haskell can look and act like an imperative language.

haskell metrics

Safety for the pipes ecosystem

DISCONTINUED. Support for static values

Scientific workflow management

Grammatical parsers - combinator library for parsing general context-free grammars

A natural transformation package

Some useful control operators for looping

A monad for managed values

FRP library

codecov.io support for haskell code coverage with hpc

re-startable monad that recover the execution state from a log, and workflow patterns

product-profunctors

Coveralls support for Stack projects

Continuously varying values, made easy :)

Bidirectional programming in Haskell with monadic profunctors

Haskell plugin-based framework for any type of applications

Monadic Constraint Programming framework

Modular type class machinery for monad transformer stacks.

Some conveniences for hoisting errors into monads

DISCONTINUED. Cloud Haskell - Asynchronous Execution

IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl

DISCONTINUED. References which can be joined and on which lenses can be applied

DISCONTINUED. Cloud Haskell - gen_server implementation

A free monad based on the Wadler/Leijen pretty printer

DISCONTINUED. Simple cloud haskell backend for local networks

Provides the region monad for safely opening and working with scarce resources

Haskell distributed parallel Haskell

Exhaustive pattern matching using lenses, traversals, and prisms

Daemons in Haskell made fun and easy

Explicitly Typed exceptions as a library

Safe, programmable, speculative evaluation for Haskell

DISCONTINUED. Core utilities for distributed-process-platform

Free Algebras in Haskell

ByteString support for pipes

Easily add a prefix to your MonadLogger output.