invariant alternatives and similar packages

Based on the "Control" category.
Alternatively, view invariant alternatives based on common mentions on social networks and blogs.

rio-orphans

9.9 4.0 invariant VS rio-orphans

A standard library for Haskell
transient

9.8 0.0 invariant VS transient

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)

Run Linux Software Faster and Safer than Linux with Unikernels

Promo github.com/nanovms

funflow

9.8 8.1 invariant VS funflow

Functional workflows
machines

9.8 2.7 invariant VS machines

Networks of composable stream transducers
fused-effects

9.8 5.2 invariant VS fused-effects

A fast, flexible, fused effect system for Haskell
pipes

9.8 3.7 invariant VS pipes

Compositional pipelines
recursion-schemes

9.7 6.0 invariant VS recursion-schemes

Generalized bananas, lenses and barbed wire
mtl

9.7 1.9 invariant VS mtl

The Monad Transformer Library
apecs

9.7 4.0 invariant VS apecs

a fast, type driven, extensible ECS for game development
capability

9.7 5.8 invariant VS capability

Extensional capabilities and deriving combinators
record

9.6 0.0 invariant VS record

Anonymous records
distributed-closure

9.6 0.0 invariant VS distributed-closure

Serializable closures for distributed programming.
classy-prelude-yesod

9.6 4.8 invariant VS classy-prelude-yesod

Type classes for mapping, folding, and traversing monomorphic containers
foldl

9.6 3.8 invariant VS foldl

Composable, streaming, and efficient left folds
selective

9.6 5.0 invariant VS selective

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

9.6 4.7 invariant VS free

free monads
classy-prelude

9.6 4.8 invariant VS classy-prelude

Type classes for mapping, folding, and traversing monomorphic containers
hask

9.5 0.0 invariant VS hask

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

9.5 0.0 invariant VS extensible-effects

Extensible Effects: An Alternative to Monad Transformers
freer-simple

9.5 0.0 invariant VS freer-simple

A friendly effect system for Haskell
abstract-par

9.5 0.0 invariant VS abstract-par

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

9.5 3.4 invariant VS safe-exceptions

Safe, consistent, and easy exception handling
auto

9.5 0.0 invariant VS auto

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

9.4 0.0 invariant VS ComonadSheet

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

9.4 0.0 invariant VS transient-universe

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

9.4 1.7 invariant VS retry

Retry combinators for monadic actions that may fail
these

9.4 3.2 invariant VS these

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

9.4 7.3 invariant VS unliftio

The MonadUnliftIO typeclass for unlifting monads to IO
frpnow

9.3 0.0 invariant VS frpnow

Principled practical FRP
parallel

9.3 0.0 invariant VS parallel

a library for parallel programming
cloud-haskell

9.2 0.0 invariant VS cloud-haskell

This is an umbrella development repository for Cloud Haskell
either

9.2 3.4 invariant VS either

the EitherT monad transformer
contravariant

9.2 4.8 invariant VS contravariant

Haskell 98 contravariant functors
distributed-process-platform

9.2 0.0 invariant VS distributed-process-platform

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
distributed-fork

9.2 0.0 invariant VS distributed-fork

A distributed data processing framework in Haskell.
monad-control

9.1 4.1 invariant VS monad-control

Lift control operations, like exception catching, through monad transformers
errors

9.1 1.9 invariant VS errors

Type-safe error handling
deepseq

9.1 1.5 invariant VS deepseq

Deep evaluation of data structures
tardis

9.1 0.0 invariant VS tardis

Bidirectional state monad transformer
ifcxt

9.1 0.0 invariant VS ifcxt

constraint level if statements
freer-effects

9.0 0.0 invariant VS freer-effects

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

9.0 2.4 invariant VS exceptions

mtl friendly exceptions
monad-time

9.0 0.0 invariant VS monad-time

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

9.0 4.2 invariant VS operational

Implement monads by specifying instructions and their desired operational semantics.
ether

8.9 0.0 invariant VS ether

Monad Transformers and Classes
effect-monad

8.9 0.0 invariant VS effect-monad

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

8.9 0.0 invariant VS hpc-coveralls

coveralls.io support for haskell code coverage with hpc
mmorph

8.9 4.9 invariant VS mmorph

Monad morphisms
ixmonad

8.9 0.0 invariant VS ixmonad

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

8.9 0.0 invariant VS lens-tutorial

The missing tutorial module for the lens library