Haskell Control

Making composable programs with multithreading, events and distributed computing

Orphan instances for the RIO type in the rio package

Networked stream transducers

Compositional pipelines

A fast, flexible, fused effect system.

Workflows with arrows

Generalized bananas, lenses and barbed wire

Monad classes, using functional dependencies

Selective applicative functors

An Alternative to Monad Transformers

A fast ECS for game engine programming

Anonymous records

Extensional capabilities and deriving combinators

Monads for free

Denotative, locally stateful programming DSL & platform

Composable, streaming, and efficient left folds

Implementation of a friendly effect system for Haskell.

A typeclass-based Prelude.

Provide a classy prelude including common Yesod functionality.

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

Safe, consistent, and easy exception handling

Categories

A library for expressing spreadsheet-like computations as the fixed-points of comonads.

Remote execution and map-reduce

Principled practical FRP

An either-or-both data type & a generalized 'zip with padding' typeclass

Compositional pipelines

Retry combinators for monadic actions that may fail

The Cloud Haskell Application Platform

Like 'forkIO', but uses remote machines instead of local threads.

Parallel programming library

Serializable closures for distributed programming.

An either monad transformer

The Cloud Haskell Application Platform

Lift control operations, like exception catching, through monad transformers

The MonadUnliftIO typeclass for unlifting monads to IO (batteries included)

put if statements within type constraints

Bidirectional state monad transformer

Deep evaluation of data structures

Type-safe effectful state machines in Haskell

Tutorial for the lens library

Contravariant functors

Implementation of difficult monads made easy with operational semantics.

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

Monad morphisms

Extensible optionally-pure exceptions

Coveralls.io support for Haskell.

Simplified error-handling

Monad transformers and classes

Composable objects

An enhanced core prelude; a common foundation for alternate preludes.

Distributed systems execution emulation

Embeds effect systems into Haskell using parameteric effect monads

Embeds effect systems into Haskell using graded monads

Implementation of effect system for Haskell.

Parsing infrastructure for the pipes ecosystem

A library for writing Imperative style haskell.

Categories

Typeclasses for representing monad transformer unlifting

Scientific workflow management system

A natural transformation package.

Initial project template from stack

Monadic loops

Safety for the pipes ecosystem

Compositional, type-safe, polymorphic static values and closures

Reason about invariants and preconditions with ghosts of departed proofs.

List monad transformer

A convenient wrapper around EKG metrics

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

Codecov.io support for Haskell.

Typeclasses for representing monad transformer unlifting

a mirror image of some standard type classes, with methods of rank 2 types

Haskell distributed parallel Haskell

FRP through value streams and monadic splines.

Workflow patterns over a monad for thread state logging & recovery

Some convenience facilities for hoisting errors into a monad

Functional reactive programming library

A free monad based on the Wadler/Leijen pretty printer

lifted IO operations from the base library

Random-number generation monad.

Cloud Haskell Async API

product-profunctors

Modular type class machinery for monad transformer stacks.

A standard library for Tonatona framework.

A monad for managed values

Add prefixes to your monad-logger output

Just like monad-control, except less efficient, ...

Cloud Haskell Extras

A monad transformer for tracing provenience of errors

Constraint Programming

Simple zero-configuration backend for Cloud Haskell

Operational Applicative, Alternative, Monad and MonadPlus from free types.

Explicitly typed, checked exceptions with stack traces

ByteString support for pipes

IO without any non-error, synchronous exceptions

An undead monad

Supervisors for The Cloud Haskell Application Platform

The Cloud Haskell Application Platform

Daemons in Haskell made fun and easy

Merged into 'speculation'. Use that instead.