Haskell Control

A standard library for Haskell

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

Functional workflows

Networks of composable stream transducers

Compositional pipelines

Generalized bananas, lenses and barbed wire

The Monad Transformer Library

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

Extensional capabilities and deriving combinators

Composable, streaming, and efficient left folds

Serializable closures for distributed programming.

Anonymous records

free monads

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

Type classes for mapping, folding, and traversing monomorphic containers

Safe, consistent, and easy exception handling

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

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

A friendly effect system for Haskell

Extensible Effects: An Alternative to Monad Transformers

Type classes for mapping, folding, and traversing monomorphic containers

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

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

The MonadUnliftIO typeclass for unlifting monads to IO

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

Retry combinators for monadic actions that may fail

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

Principled practical FRP

This is an umbrella development repository for Cloud Haskell

a library for parallel programming

A distributed data processing framework in Haskell.

Haskell 98 contravariant functors

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

A Haskell monad transformer library for data validation

Implement monads by specifying instructions and their desired operational semantics.

Deep evaluation of data structures

Type-safe error handling

Lift control operations, like exception catching, through monad transformers

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

Bidirectional state monad transformer

constraint level if statements

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

mtl friendly exceptions

Monad morphisms

The missing tutorial module for the lens library

coveralls.io support for haskell code coverage with hpc

Monad Transformers and Classes

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

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.

Type-safe effectful state machines in Haskell

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

Purely functional objects

Efficient Haskell effect handlers based on evidence translation.

Distributed systems execution emulation

Parsing for the pipes ecosystem

Ghosts of Departed Proofs

categories from category-extras

Typeclasses for representing monad (transformer) morphisms

Typeclasses for representing monad (transformer) morphisms

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

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

Some useful control operators for looping

Support for static values

A natural transformation package

Scientific workflow management

Safety for the pipes ecosystem

A monad for managed values

Coveralls support for Stack projects

List monad transformer

Grammar parser - combinator library for parsing a general context-free grammar

haskell metrics

codecov.io support for haskell code coverage with hpc

FRP library

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

Modular type class machinery for monad transformer stacks.

Haskell plugin-based framework for any type of applications

Some conveniences for hoisting errors into monads

Cloud Haskell - Asynchronous Execution

product-profunctors

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

Continuously varying values, made easy :)

Cloud Haskell - gen_server implementation

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

A free monad based on the Wadler/Leijen pretty printer

Haskell distributed parallel Haskell

Safe, programmable, speculative evaluation for Haskell

Simple cloud haskell backend for local networks

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

Core utilities for distributed-process-platform

IO without any PseudoExceptions

Exhaustive pattern matching using lenses, traversals, and prisms

Monadic Constraint Programming framework

Daemons in Haskell made fun and easy

ByteString support for pipes

Operational monad library

Explicitly Typed exceptions as a library

Easily add a prefix to your MonadLogger output.