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 2.1 invariant VS rio-orphans

A standard library for Haskell
funflow

9.8 3.5 invariant VS funflow

Functional workflows

CodeRabbit: AI Code Reviews for Developers

Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

Promo coderabbit.ai

pipes

9.8 0.0 invariant VS pipes

Compositional pipelines
fused-effects

9.8 6.2 invariant VS fused-effects

A fast, flexible, fused effect system for Haskell
mtl

9.8 0.0 invariant VS mtl

The Monad Transformer Library
machines

9.8 3.6 invariant VS machines

Networks of composable stream transducers
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)
apecs

9.7 7.3 invariant VS apecs

a fast, extensible, type driven Haskell ECS framework for games
recursion-schemes

9.7 4.9 invariant VS recursion-schemes

Generalized bananas, lenses and barbed wire
classy-prelude

9.6 6.4 invariant VS classy-prelude

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

9.6 4.9 invariant VS foldl

Composable, streaming, and efficient left folds
free

9.6 4.1 invariant VS free

free monads
capability

9.6 3.1 invariant VS capability

Extensional capabilities and deriving combinators
freer-simple

9.6 0.0 invariant VS freer-simple

A friendly effect system for Haskell
record

9.6 0.0 invariant VS record

Anonymous records
classy-prelude-yesod

9.6 6.4 invariant VS classy-prelude-yesod

Type classes for mapping, folding, and traversing monomorphic containers
distributed-closure

9.5 3.9 invariant VS distributed-closure

Serializable closures for distributed programming.
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
unliftio

9.5 2.8 invariant VS unliftio

The MonadUnliftIO typeclass for unlifting monads to IO
extensible-effects

9.5 0.0 invariant VS extensible-effects

Extensible Effects: An Alternative to Monad Transformers
safe-exceptions

9.5 3.4 invariant VS safe-exceptions

Safe, consistent, and easy exception handling
selective

9.5 4.9 invariant VS selective

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
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.
abstract-par

9.4 5.6 invariant VS abstract-par

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

9.4 3.9 invariant VS these

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

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

9.4 1.6 invariant VS retry

Retry combinators for monadic actions that may fail
transient-universe

9.3 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
parallel

9.3 3.8 invariant VS parallel

a library for parallel programming
cloud-haskell

9.2 0.0 invariant VS cloud-haskell

DISCONTINUED. This is an umbrella development repository for Cloud Haskell
frpnow

9.2 0.0 invariant VS frpnow

Principled practical FRP
deepseq

9.2 6.1 invariant VS deepseq

Deep evaluation of data structures
distributed-fork

9.2 0.0 invariant VS distributed-fork

A distributed data processing framework in Haskell.
tardis

9.1 5.5 invariant VS tardis

Bidirectional state monad transformer
either

9.1 3.4 invariant VS either

the EitherT monad transformer
ifcxt

9.1 0.0 invariant VS ifcxt

constraint level if statements
monad-validate

9.1 0.0 invariant VS monad-validate

DISCONTINUED. (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validation
contravariant

9.1 3.8 invariant VS contravariant

Haskell 98 contravariant functors
distributed-process-platform

9.1 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
errors

9.0 3.1 invariant VS errors

Type-safe error handling
ixmonad

9.0 0.0 invariant VS ixmonad

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

9.0 0.0 invariant VS effect-monad

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

9.0 0.0 invariant VS monad-control

Lift control operations, like exception catching, through monad transformers
freer-effects

9.0 0.0 invariant VS freer-effects

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

9.0 3.6 invariant VS operational

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

8.9 0.0 invariant VS motor

Type-safe effectful state machines in Haskell
lens-tutorial

8.9 3.6 invariant VS lens-tutorial

The missing tutorial module for the lens library
monad-time

8.9 4.6 invariant VS monad-time

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

8.9 5.4 invariant VS exceptions

mtl friendly exceptions
mmorph

8.9 0.0 invariant VS mmorph

Monad morphisms