Haskell Control

A standard library for Haskell

Compositional pipelines

Networks of composable stream transducers

Functional workflows

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

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

Extensional capabilities and deriving combinators

Generalized bananas, lenses and barbed wire

Serializable closures for distributed programming.

Type classes for mapping, folding, and traversing monomorphic containers

A friendly effect system for Haskell

free monads

Composable, streaming, and efficient left folds

Type classes for mapping, folding, and traversing monomorphic containers

Anonymous records

The MonadUnliftIO typeclass for unlifting monads to IO

Extensible Effects: An Alternative to Monad Transformers

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

Safe, consistent, and easy exception handling

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

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

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

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

Retry combinators for monadic actions that may fail

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

Principled practical FRP

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

the EitherT monad transformer

This is an umbrella development repository for Cloud Haskell

A distributed data processing framework in Haskell.

(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

Deep evaluation of data structures

Lift control operations, like exception catching, through monad transformers

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

constraint level if statements

Type-safe error handling

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

Implement monads by specifying instructions and their desired operational semantics.

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

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

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

mtl friendly exceptions

Monad morphisms

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

Type-safe effectful state machines in Haskell

The missing tutorial module for the lens library

Purely functional objects

Monad Transformers and Classes

coveralls.io support for haskell code coverage with hpc

Efficient Haskell effect handlers based on evidence translation.

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

Distributed systems execution emulation

Ghosts of Departed Proofs

Parsing for the pipes ecosystem

categories from category-extras

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

haskell metrics

Typeclasses for representing monad (transformer) morphisms

Safety for the pipes ecosystem

List monad transformer

Typeclasses for representing monad (transformer) morphisms

A natural transformation package

Some useful control operators for looping

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

A monad for managed values

Scientific workflow management

Support for static values

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

codecov.io support for haskell code coverage with hpc

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

Coveralls support for Stack projects

FRP library

Haskell plugin-based framework for any type of applications

product-profunctors

Bidirectional programming in Haskell with monadic profunctors

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

Continuously varying values, made easy :)

Modular type class machinery for monad transformer stacks.

Some conveniences for hoisting errors into monads

Cloud Haskell - Asynchronous Execution

Exhaustive pattern matching using lenses, traversals, and prisms

Simple cloud haskell backend for local networks

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

Monadic Constraint Programming framework

Cloud Haskell - gen_server implementation

A free monad based on the Wadler/Leijen pretty printer

Explicitly Typed exceptions as a library

Haskell distributed parallel Haskell

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

Safe, programmable, speculative evaluation for Haskell

Daemons in Haskell made fun and easy

A monad transformer for tracing error provenience

Operational monad library

ByteString support for pipes

IO without any PseudoExceptions