Haskell Control

A standard library for Haskell

Compositional pipelines

A fast, flexible, fused effect system for Haskell

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)

Networks of composable stream transducers

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

Extensional capabilities and deriving combinators

Generalized bananas, lenses and barbed wire

free monads

Anonymous records

Composable, streaming, and efficient left folds

A friendly effect system for Haskell

Serializable closures for distributed programming.

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

Type classes for mapping, folding, and traversing monomorphic containers

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

Extensible Effects: An Alternative to Monad Transformers

Safe, consistent, and easy exception handling

The MonadUnliftIO typeclass for unlifting monads to IO

Type classes for mapping, folding, and traversing monomorphic containers

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

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

Retry combinators for monadic actions that may fail

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 library for parallel programming

Principled practical FRP

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

This is an umbrella development repository for Cloud Haskell

A distributed data processing framework in Haskell.

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

the EitherT monad transformer

Deep evaluation of data structures

Haskell 98 contravariant functors

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

Bidirectional state monad transformer

constraint level if statements

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

Type-safe error handling

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

Lift control operations, like exception catching, through monad transformers

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

Implement monads by specifying instructions and their desired operational semantics.

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

mtl friendly exceptions

Purely functional objects

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

The missing tutorial module for the lens library

Type-safe effectful state machines in Haskell

Monad morphisms

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

coveralls.io support for haskell code coverage with hpc

Monad Transformers and Classes

Efficient Haskell effect handlers based on evidence translation.

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.

Typeclasses for representing monad (transformer) morphisms

Some useful control operators for looping

Typeclasses for representing monad (transformer) morphisms

Scientific workflow management

List monad transformer

Support for static values

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

Safety for the pipes ecosystem

A monad for managed values

haskell metrics

A natural transformation package

codecov.io support for haskell code coverage with hpc

Coveralls support for Stack projects

Haskell plugin-based framework for any type of applications

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

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

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

Modular type class machinery for monad transformer stacks.

Some conveniences for hoisting errors into monads

Cloud Haskell - Asynchronous Execution

Continuously varying values, made easy :)

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

Monadic Constraint Programming framework

Cloud Haskell - gen_server implementation

FRP library

product-profunctors

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

Simple cloud haskell backend for local networks

Bidirectional programming in Haskell with monadic profunctors

Haskell distributed parallel Haskell

Core utilities for distributed-process-platform

Exhaustive pattern matching using lenses, traversals, and prisms

IO without any PseudoExceptions

Operational monad library

Safe, programmable, speculative evaluation for Haskell

A free monad based on the Wadler/Leijen pretty printer

Explicitly Typed exceptions as a library

Daemons in Haskell made fun and easy

Store FSMs in PostgreSQL