Haskell Control

A standard library for Haskell

Compositional pipelines

Functional workflows

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, flexible, fused effect system for Haskell

Networks of composable stream transducers

The Monad Transformer Library

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

Generalized bananas, lenses and barbed wire

Composable, streaming, and efficient left folds

Type classes for mapping, folding, and traversing monomorphic containers

Type classes for mapping, folding, and traversing monomorphic containers

Anonymous records

A friendly effect system for Haskell

Extensional capabilities and deriving combinators

free monads

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

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

Serializable closures for distributed programming.

Safe, consistent, and easy exception handling

The MonadUnliftIO typeclass for unlifting monads to IO

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

Extensible Effects: An Alternative to Monad Transformers

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

Retry combinators for monadic actions that may fail

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

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

a library for parallel programming

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

Principled practical FRP

DISCONTINUED. This is an umbrella development repository for Cloud Haskell

A distributed data processing framework in Haskell.

the EitherT monad transformer

Deep evaluation of data structures

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

Haskell 98 contravariant functors

Bidirectional state monad transformer

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

constraint level if statements

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

Type-safe error handling

Lift control operations, like exception catching, through monad transformers

Implement monads by specifying instructions and their desired operational semantics.

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.

mtl friendly exceptions

Type-safe effectful state machines in Haskell

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

Monad morphisms

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

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

Ghosts of Departed Proofs

Efficient Haskell effect handlers based on evidence translation.

DISCONTINUED. Distributed systems execution emulation

coveralls.io support for haskell code coverage with hpc

Parsing for the pipes ecosystem

categories from category-extras

Typeclasses for representing monad (transformer) morphisms

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

Typeclasses for representing monad (transformer) morphisms

haskell metrics

List monad transformer

Safety for the pipes ecosystem

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

Some useful control operators for looping

A monad for managed values

Scientific workflow management

A natural transformation package

Support for static values

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

codecov.io support for haskell code coverage with hpc

FRP library

product-profunctors

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

Coveralls support for Stack projects

Haskell plugin-based framework for any type of applications

Monadic Constraint Programming framework

Bidirectional programming in Haskell with monadic profunctors

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

Modular type class machinery for monad transformer stacks.

Continuously varying values, made easy :)

Some conveniences for hoisting errors into monads

Cloud Haskell - Asynchronous Execution

Simple cloud haskell backend for local networks

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

Haskell distributed parallel Haskell

Exhaustive pattern matching using lenses, traversals, and prisms

Daemons in Haskell made fun and easy

Operational monad library

Explicitly Typed exceptions as a library

A free monad based on the Wadler/Leijen pretty printer

Cloud Haskell - gen_server implementation

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

IO without any PseudoExceptions

Easily add a prefix to your MonadLogger output.

Safe, programmable, speculative evaluation for Haskell

ByteString support for pipes