Popularity

3.2

Growing

Activity

0.0

Stable

Stars 3

Watchers 2

Forks 1

Last Commit over 1 year ago

Monthly Downloads: 44

Programming language: Haskell

License: BSD 3-clause "New" or "Revised" License

Tags: Control Contract

Latest version: v0.1.2.3

assert-failure alternatives and similar packages

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

rio-orphans

9.9 3.9 assert-failure VS rio-orphans

A standard library for Haskell
transient

9.8 0.0 assert-failure 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)

Static code analysis for 29 languages.

Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

Promo www.sonarqube.org

funflow

9.8 5.7 assert-failure VS funflow

Functional workflows
pipes

9.8 1.3 assert-failure VS pipes

Compositional pipelines
machines

9.8 2.7 assert-failure VS machines

Networks of composable stream transducers
fused-effects

9.8 8.1 assert-failure VS fused-effects

A fast, flexible, fused effect system for Haskell
apecs

9.7 4.4 assert-failure VS apecs

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

9.7 4.8 assert-failure VS recursion-schemes

Generalized bananas, lenses and barbed wire
mtl

9.7 5.8 assert-failure VS mtl

The Monad Transformer Library
capability

9.7 2.7 assert-failure VS capability

Extensional capabilities and deriving combinators
distributed-closure

9.6 0.0 assert-failure VS distributed-closure

Serializable closures for distributed programming.
selective

9.6 4.5 assert-failure VS selective

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

9.6 4.2 assert-failure VS free

free monads
foldl

9.6 2.8 assert-failure VS foldl

Composable, streaming, and efficient left folds
record

9.6 0.0 assert-failure VS record

Anonymous records
classy-prelude-yesod

9.5 5.2 assert-failure VS classy-prelude-yesod

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

9.5 0.0 assert-failure 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
hask

9.5 0.0 assert-failure VS hask

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

9.5 1.8 assert-failure VS safe-exceptions

Safe, consistent, and easy exception handling
extensible-effects

9.5 0.0 assert-failure VS extensible-effects

Extensible Effects: An Alternative to Monad Transformers
classy-prelude

9.5 5.2 assert-failure VS classy-prelude

Type classes for mapping, folding, and traversing monomorphic containers
freer-simple

9.5 3.4 assert-failure VS freer-simple

A friendly effect system for Haskell
ComonadSheet

9.4 0.0 assert-failure 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 assert-failure 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
abstract-par

9.4 1.9 assert-failure VS abstract-par

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

9.4 3.8 assert-failure VS these

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

9.4 4.9 assert-failure VS unliftio

The MonadUnliftIO typeclass for unlifting monads to IO
retry

9.4 3.5 assert-failure VS retry

Retry combinators for monadic actions that may fail
parallel

9.3 3.2 assert-failure VS parallel

a library for parallel programming
frpnow

9.3 0.0 assert-failure VS frpnow

Principled practical FRP
distributed-fork

9.2 0.0 assert-failure VS distributed-fork

A distributed data processing framework in Haskell.
cloud-haskell

9.2 0.0 assert-failure VS cloud-haskell

This is an umbrella development repository for Cloud Haskell
either

9.2 1.5 assert-failure VS either

the EitherT monad transformer
distributed-process-platform

9.2 0.0 assert-failure 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
deepseq

9.2 6.0 assert-failure VS deepseq

Deep evaluation of data structures
monad-validate

9.1 0.0 assert-failure VS monad-validate

A Haskell monad transformer library for data validation
errors

9.1 2.1 assert-failure VS errors

Type-safe error handling
tardis

9.1 0.0 assert-failure VS tardis

Bidirectional state monad transformer
ifcxt

9.1 0.0 assert-failure VS ifcxt

constraint level if statements
monad-control

9.1 2.4 assert-failure VS monad-control

Lift control operations, like exception catching, through monad transformers
monad-time

9.1 0.0 assert-failure VS monad-time

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

9.1 3.9 assert-failure VS contravariant

Haskell 98 contravariant functors
operational

9.0 3.0 assert-failure VS operational

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

9.0 0.0 assert-failure VS ixmonad

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

9.0 3.0 assert-failure VS exceptions

mtl friendly exceptions
effect-monad

9.0 0.0 assert-failure VS effect-monad

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

9.0 2.4 assert-failure VS mmorph

Monad morphisms
lens-tutorial

9.0 0.0 assert-failure VS lens-tutorial

The missing tutorial module for the lens library
freer-effects

9.0 0.0 assert-failure VS freer-effects

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

8.9 0.0 assert-failure VS motor

Type-safe effectful state machines in Haskell

Do you think we are missing an alternative of assert-failure or a related project?

Add another 'Control' Package

Popular Comparisons

README

assert-failure

This library contains syntactic sugar that makes it easier to write simple contracts with 'assert' and 'error' and report the values that violate contracts. The original 'assert' function is here re-exported for convenience.

Make sure to enable assertions for your cabal package, e.g., by setting

ghc-options: -fno-ignore-asserts

in your .cabal file. Otherwise, some of the functions will have no effect at all.

The library emerged from the chaos of the tons of assertions (sometimes augmented by comments and trace printouts) and 'error' calls in the LambdaHack game engine.

assert-failure

syntactic sugar that improves the usability of 'assert' and 'error' in Haskell

assert-failure alternatives and similar packages

Popular Comparisons

README

assert-failure