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
fused-effects

9.8 0.0 ConstraintKinds VS fused-effects

A fast, flexible, fused effect system for Haskell

Collect and Analyze Billions of Data Points in Real Time

Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

Promo www.influxdata.com

mtl

9.8 0.0 ConstraintKinds VS mtl

The Monad Transformer Library
funflow

9.8 0.0 ConstraintKinds VS funflow

Functional workflows
pipes

9.8 0.0 ConstraintKinds VS pipes

Compositional pipelines
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)
machines

9.7 0.0 ConstraintKinds VS machines

Networks of composable stream transducers
apecs

9.7 0.0 ConstraintKinds VS apecs

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

9.7 0.0 ConstraintKinds VS recursion-schemes

Generalized bananas, lenses and barbed wire
capability

9.6 0.0 ConstraintKinds VS capability

Extensional capabilities and deriving combinators
freer-simple

9.6 0.0 ConstraintKinds VS freer-simple

A friendly effect system for Haskell
free

9.6 0.0 ConstraintKinds VS free

free monads
classy-prelude-yesod

9.6 0.0 ConstraintKinds VS classy-prelude-yesod

Type classes for mapping, folding, and traversing monomorphic containers
classy-prelude

9.6 0.0 ConstraintKinds VS classy-prelude

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

9.6 0.0 ConstraintKinds VS record

Anonymous records
distributed-closure

9.5 0.0 ConstraintKinds VS distributed-closure

Serializable closures for distributed programming.
foldl

9.5 0.0 ConstraintKinds VS foldl

Composable, streaming, and efficient left folds
selective

9.5 0.0 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
unliftio

9.5 0.0 ConstraintKinds VS unliftio

The MonadUnliftIO typeclass for unlifting monads to IO
safe-exceptions

9.5 0.0 ConstraintKinds VS safe-exceptions

Safe, consistent, and easy exception handling
extensible-effects

9.5 0.0 ConstraintKinds VS extensible-effects

Extensible Effects: An Alternative to Monad Transformers
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 0.0 ConstraintKinds VS abstract-par

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

9.4 0.0 ConstraintKinds VS these

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

9.3 0.0 ConstraintKinds VS retry

Retry combinators for monadic actions that may fail
frpnow

9.3 0.0 ConstraintKinds VS frpnow

Principled practical FRP
parallel

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

This is an umbrella development repository for Cloud Haskell
distributed-fork

9.2 0.0 ConstraintKinds VS distributed-fork

A distributed data processing framework in Haskell.
either

9.2 0.0 ConstraintKinds VS either

the EitherT monad transformer
tardis

9.1 0.0 ConstraintKinds VS tardis

Bidirectional state monad transformer
monad-validate

9.1 0.0 ConstraintKinds VS monad-validate

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

9.1 0.0 ConstraintKinds VS deepseq

Deep evaluation of data structures
ifcxt

9.1 0.0 ConstraintKinds VS ifcxt

constraint level if statements
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
errors

9.0 0.0 ConstraintKinds VS errors

Type-safe error handling
monad-control

9.0 0.0 ConstraintKinds VS monad-control

Lift control operations, like exception catching, through monad transformers
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

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

9.0 0.0 ConstraintKinds VS operational

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

9.0 0.0 ConstraintKinds VS ixmonad

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

8.9 0.0 ConstraintKinds VS lens-tutorial

The missing tutorial module for the lens library
exceptions

8.9 0.0 ConstraintKinds VS exceptions

mtl friendly exceptions
motor

8.9 0.0 ConstraintKinds VS motor

Type-safe effectful state machines in Haskell
monad-time

8.9 0.0 ConstraintKinds VS monad-time

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

8.9 0.0 ConstraintKinds VS mmorph

Monad morphisms