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)

Compositional pipelines

Networks of composable stream transducers

A fast, flexible, fused effect system for Haskell

Functional workflows

Extensional capabilities and deriving combinators

Generalized bananas, lenses and barbed wire

The Monad Transformer Library

a fast, type driven, extensible ECS for game development

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

Serializable closures for distributed programming.

Composable, streaming, and efficient left folds

Extensible Effects: An Alternative to Monad Transformers

Anonymous records

free monads

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

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

Safe, consistent, and easy exception handling

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 friendly effect system for Haskell

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.

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

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 MonadUnliftIO typeclass for unlifting monads to IO

Retry combinators for monadic actions that may fail

Principled practical FRP

the EitherT monad transformer

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

Haskell 98 contravariant functors

a library for parallel programming

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

Deep evaluation of data structures

Type-safe effectful state machines in Haskell

Type-safe error handling

Implement monads by specifying instructions and their desired operational semantics.

Lift control operations, like exception catching, through monad transformers

Monad Transformers and Classes

coveralls.io support for haskell code coverage with hpc

Embeds effect systems in Haskell using 'parametric effect monads'

Monad morphisms

Embeds effect systems in Haskell using 'parametric effect monads'

The missing tutorial module for the lens library

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

Purely functional objects

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

Distributed systems execution emulation

categories from category-extras

Typeclasses for representing monad (transformer) morphisms

Ghosts of Departed Proofs

Parsing for the pipes ecosystem

Typeclasses for representing monad (transformer) morphisms

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

Scientific workflow management

haskell metrics

Efficient Haskell effect handlers based on evidence translation.

Support for static values

A natural transformation package

codecov.io support for haskell code coverage with hpc

Some useful control operators for looping

Safety for the pipes ecosystem

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

Coveralls support for Stack projects

A monad for managed values

List monad transformer

Haskell plugin-based framework for any type of applications

Modular type class machinery for monad transformer stacks.

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

Some conveniences for hoisting errors into monads

Haskell distributed parallel Haskell

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

Continuously varying values, made easy :)

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

FRP library

Cloud Haskell - Asynchronous Execution

Safe, programmable, speculative evaluation for Haskell

product-profunctors

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

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

A free monad based on the Wadler/Leijen pretty printer

Cloud Haskell - gen_server implementation

IO without any PseudoExceptions

Monadic Constraint Programming framework

Operational monad library

A monad transformer for tracing error provenience

Explicitly Typed exceptions as a library

Easily add a prefix to your MonadLogger output.

Core utilities for distributed-process-platform

ByteString support for pipes

Simple cloud haskell backend for local networks

Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.

Daemons in Haskell made fun and easy