Popularity

2.4

Declining

Activity

0.0

Stars 3

Watchers 1

Forks 1

Last Commit about 1 year ago

Monthly Downloads: 71

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 4.0 assert-failure VS rio-orphans

A standard library for Haskell
fused-effects

9.8 5.2 assert-failure VS fused-effects

A fast, flexible, fused effect system for Haskell

Run Linux Software Faster and Safer than Linux with Unikernels

Promo github.com/nanovms

machines

9.8 2.7 assert-failure VS machines

Networks of composable stream transducers
pipes

9.8 3.7 assert-failure VS pipes

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

9.8 8.1 assert-failure VS funflow

Functional workflows
recursion-schemes

9.7 6.0 assert-failure VS recursion-schemes

Generalized bananas, lenses and barbed wire
mtl

9.7 1.9 assert-failure VS mtl

The Monad Transformer Library
capability

9.7 5.8 assert-failure VS capability

Extensional capabilities and deriving combinators
apecs

9.7 4.0 assert-failure VS apecs

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

9.6 5.0 assert-failure VS selective

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
classy-prelude-yesod

9.6 4.8 assert-failure VS classy-prelude-yesod

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

9.6 4.8 assert-failure VS classy-prelude

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

9.6 3.8 assert-failure VS foldl

Composable, streaming, and efficient left folds
distributed-closure

9.6 0.0 assert-failure VS distributed-closure

Serializable closures for distributed programming.
record

9.6 0.0 assert-failure VS record

Anonymous records
free

9.6 4.7 assert-failure VS free

free monads
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
freer-simple

9.5 0.0 assert-failure VS freer-simple

A friendly effect system for Haskell
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!)
abstract-par

9.5 0.0 assert-failure VS abstract-par

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

9.5 0.0 assert-failure VS extensible-effects

Extensible Effects: An Alternative to Monad Transformers
safe-exceptions

9.5 3.4 assert-failure VS safe-exceptions

Safe, consistent, and easy exception handling
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.
unliftio

9.4 7.3 assert-failure VS unliftio

The MonadUnliftIO typeclass for unlifting monads to IO
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
these

9.4 3.2 assert-failure VS these

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

9.4 1.7 assert-failure VS retry

Retry combinators for monadic actions that may fail
frpnow

9.3 0.0 assert-failure VS frpnow

Principled practical FRP
parallel

9.3 0.0 assert-failure VS parallel

a library for parallel programming
cloud-haskell

9.2 0.0 assert-failure VS cloud-haskell

This is an umbrella development repository for Cloud Haskell
either

9.2 3.4 assert-failure VS either

the EitherT monad transformer
contravariant

9.2 4.8 assert-failure VS contravariant

Haskell 98 contravariant functors
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
distributed-fork

9.2 0.0 assert-failure VS distributed-fork

A distributed data processing framework in Haskell.
tardis

9.1 0.0 assert-failure VS tardis

Bidirectional state monad transformer
errors

9.1 1.9 assert-failure VS errors

Type-safe error handling
deepseq

9.1 1.5 assert-failure VS deepseq

Deep evaluation of data structures
ifcxt

9.1 0.0 assert-failure VS ifcxt

constraint level if statements
monad-control

9.1 4.1 assert-failure VS monad-control

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

9.0 0.0 assert-failure VS freer-effects

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

9.0 2.4 assert-failure VS exceptions

mtl friendly exceptions
monad-time

9.0 0.0 assert-failure VS monad-time

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

9.0 4.2 assert-failure VS operational

Implement monads by specifying instructions and their desired operational semantics.
lens-tutorial

8.9 0.0 assert-failure VS lens-tutorial

The missing tutorial module for the lens library
ether

8.9 0.0 assert-failure VS ether

Monad Transformers and Classes
effect-monad

8.9 0.0 assert-failure VS effect-monad

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

8.9 4.9 assert-failure VS mmorph

Monad morphisms
hpc-coveralls

8.9 0.0 assert-failure VS hpc-coveralls

coveralls.io support for haskell code coverage with hpc
ixmonad

8.9 0.0 assert-failure VS ixmonad

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

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