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)

Networks of composable stream transducers

Functional workflows

A fast, flexible, fused effect system for Haskell

Compositional pipelines

The Monad Transformer Library

Generalized bananas, lenses and barbed wire

a fast, type driven, extensible ECS for game development

Extensional capabilities and deriving combinators

Extensible Effects: An Alternative to Monad Transformers

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

free monads

Serializable closures for distributed programming.

Composable, streaming, and efficient left folds

Anonymous records

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!)

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

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.

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

Principled practical FRP

This is an umbrella development repository for Cloud Haskell

the EitherT monad transformer

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 distributed data processing framework in Haskell.

a library for parallel programming

Lift control operations, like exception catching, through monad transformers

Bidirectional state monad transformer

constraint level if statements

Deep evaluation of data structures

mtl friendly exceptions

Type-safe error handling

Implement monads by specifying instructions and their desired operational semantics.

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

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

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

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

Type-safe effectful state machines in Haskell

The missing tutorial module for the lens library

Monad morphisms

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

Purely functional objects

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

Distributed systems execution emulation

Efficient Haskell effect handlers based on evidence translation.

Typeclasses for representing monad (transformer) morphisms

Typeclasses for representing monad (transformer) morphisms

Ghosts of Departed Proofs

Parsing for the pipes ecosystem

categories from category-extras

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

Scientific workflow management

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

haskell metrics

Support for static values

A natural transformation package

codecov.io support for haskell code coverage with hpc

Some useful control operators for looping

Coveralls support for Stack projects

Safety for the pipes ecosystem

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

A monad for managed values

Haskell plugin-based framework for any type of applications

List monad transformer

Some conveniences for hoisting errors into monads

Continuously varying values, made easy :)

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

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

Modular type class machinery for monad transformer stacks.

FRP library

Cloud Haskell - Asynchronous Execution

product-profunctors

Haskell distributed parallel Haskell

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

Cloud Haskell - gen_server implementation

A monad transformer for tracing error provenience

A free monad based on the Wadler/Leijen pretty printer

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

Safe, programmable, speculative evaluation for Haskell

IO without any PseudoExceptions

Daemons in Haskell made fun and easy

Operational monad library

Explicitly Typed exceptions as a library

Monadic Constraint Programming framework

Easily add a prefix to your MonadLogger output.

Simple cloud haskell backend for local networks

Core utilities for distributed-process-platform

Exhaustive pattern matching using lenses, traversals, and prisms

ByteString support for pipes