ConstraintKinds alternatives and similar packages

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

rio-orphans

9.9 0.0 ConstraintKinds VS rio-orphans

A standard library for Haskell
mtl

9.8 0.0 ConstraintKinds VS mtl

The Monad Transformer Library

InfluxDB - Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

Promo www.influxdata.com

funflow

9.8 3.5 ConstraintKinds VS funflow

Functional workflows
machines

9.8 3.6 ConstraintKinds VS machines

Networks of composable stream transducers
pipes

9.8 0.0 ConstraintKinds VS pipes

Compositional pipelines
fused-effects

9.8 4.5 ConstraintKinds VS fused-effects

A fast, flexible, fused effect system for Haskell
transient

9.8 0.0 ConstraintKinds 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 ConstraintKinds VS apecs

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

9.7 4.9 ConstraintKinds VS recursion-schemes

Generalized bananas, lenses and barbed wire
freer-simple

9.6 0.0 ConstraintKinds VS freer-simple

A friendly effect system for Haskell
foldl

9.6 4.3 ConstraintKinds VS foldl

Composable, streaming, and efficient left folds
classy-prelude

9.6 5.9 ConstraintKinds VS classy-prelude

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

9.6 0.0 ConstraintKinds VS record

Anonymous records
capability

9.6 2.7 ConstraintKinds VS capability

Extensional capabilities and deriving combinators
free

9.6 4.1 ConstraintKinds VS free

free monads
classy-prelude-yesod

9.6 5.9 ConstraintKinds VS classy-prelude-yesod

Type classes for mapping, folding, and traversing monomorphic containers
extensible-effects

9.5 0.0 ConstraintKinds VS extensible-effects

Extensible Effects: An Alternative to Monad Transformers
unliftio

9.5 3.9 ConstraintKinds VS unliftio

The MonadUnliftIO typeclass for unlifting monads to IO
these

9.5 4.3 ConstraintKinds VS these

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

9.5 3.4 ConstraintKinds VS safe-exceptions

Safe, consistent, and easy exception handling
selective

9.5 4.4 ConstraintKinds VS selective

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

9.5 0.0 ConstraintKinds 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
distributed-closure

9.5 3.9 ConstraintKinds VS distributed-closure

Serializable closures for distributed programming.
ComonadSheet

9.4 0.0 ConstraintKinds VS ComonadSheet

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

9.4 0.0 ConstraintKinds VS hask

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

9.4 5.6 ConstraintKinds VS abstract-par

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

9.4 1.6 ConstraintKinds VS retry

Retry combinators for monadic actions that may fail
parallel

9.3 4.4 ConstraintKinds VS parallel

a library for parallel programming
transient-universe

9.3 0.0 ConstraintKinds 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
cloud-haskell

9.2 0.0 ConstraintKinds VS cloud-haskell

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

9.2 0.6 ConstraintKinds VS either

the EitherT monad transformer
frpnow

9.2 0.0 ConstraintKinds VS frpnow

Principled practical FRP
distributed-fork

9.2 0.0 ConstraintKinds VS distributed-fork

A distributed data processing framework in Haskell.
deepseq

9.1 3.3 ConstraintKinds VS deepseq

Deep evaluation of data structures
ifcxt

9.1 0.0 ConstraintKinds VS ifcxt

constraint level if statements
tardis

9.1 5.5 ConstraintKinds VS tardis

Bidirectional state monad transformer
monad-validate

9.1 0.0 ConstraintKinds 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
distributed-process-platform

9.1 0.0 ConstraintKinds 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
contravariant

9.1 0.0 ConstraintKinds VS contravariant

Haskell 98 contravariant functors
ixmonad

9.0 0.0 ConstraintKinds VS ixmonad

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

9.0 3.1 ConstraintKinds VS errors

Type-safe error handling
effect-monad

9.0 0.0 ConstraintKinds VS effect-monad

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

9.0 0.0 ConstraintKinds VS freer-effects

DISCONTINUED. An implementation of "Freer Monads, More Extensible Effects".
monad-control

9.0 0.0 ConstraintKinds VS monad-control

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

9.0 4.3 ConstraintKinds VS operational

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

8.9 4.4 ConstraintKinds VS exceptions

mtl friendly exceptions
mmorph

8.9 0.0 ConstraintKinds VS mmorph

Monad morphisms
lens-tutorial

8.9 0.0 ConstraintKinds VS lens-tutorial

The missing tutorial module for the lens library
monad-time

8.9 4.6 ConstraintKinds VS monad-time

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

8.9 0.0 ConstraintKinds VS motor

Type-safe effectful state machines in Haskell