Popularity

7.7

Declining

Activity

0.0

Stable

Stars 31

Watchers 6

Forks 5

Last Commit over 2 years ago

Monthly Downloads: 8

Programming language: Haskell

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

Tags: Data

Validation alternatives and similar packages

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

semantic-source

10.0 9.1 Validation VS semantic-source

Parsing, analyzing, and comparing source code across many languages
lens

10.0 6.8 Validation VS lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

WorkOS - The modern identity platform for B2B SaaS

The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

Promo workos.com

hnix

9.9 6.8 Validation VS hnix

A Haskell re-implementation of the Nix expression language
code-builder

9.8 0.0 Validation VS code-builder

Packages for defining APIs, running them, generating client code and documentation.
text

9.8 8.4 Validation VS text

Haskell library for space- and time-efficient operations over Unicode text.
compendium-client

9.7 0.0 Validation VS compendium-client

Mu (μ) is a purely functional framework for building micro services.
unordered-containers

9.7 5.0 Validation VS unordered-containers

Efficient hashing-based container types
Frames

9.7 6.1 Validation VS Frames

Data frames for tabular data.
massiv

9.7 5.9 Validation VS massiv

Efficient Haskell Arrays featuring Parallel computation
cassava

9.7 5.9 Validation VS cassava

A CSV parsing and encoding library optimized for ease of use and high performance
holmes

9.6 0.0 Validation VS holmes

A reference library for constraint-solving with propagators and CDCL.
resource-pool

9.5 0.0 Validation VS resource-pool

A high-performance striped resource pooling implementation for Haskell
hashable

9.5 5.7 Validation VS hashable

A class for types that can be converted to a hash value
alfred-margaret

9.5 3.5 Validation VS alfred-margaret

Fast Aho-Corasick string searching
refined

9.5 1.5 Validation VS refined

Refinement types with static checking
critbit

9.5 0.0 Validation VS critbit

A Haskell implementation of crit-bit trees.
primitive

9.5 5.9 Validation VS primitive

This package provides various primitive memory-related operations.
binary

9.5 4.3 Validation VS binary

Efficient, pure binary serialisation using ByteStrings in Haskell.
higgledy

9.4 2.2 Validation VS higgledy

Higher-kinded data via generics
data-msgpack

9.4 Validation VS data-msgpack

A Haskell implementation of MessagePack
caledon

9.4 0.0 Validation VS caledon

higher order dependently typed logic programing
jump

9.4 0.0 Validation VS jump

Jump start your Haskell development
discrimination

9.4 3.1 Validation VS discrimination

Fast linear time sorting and discrimination for a large class of data types
json-autotype

9.4 0.0 Validation VS json-autotype

Automatic Haskell type inference from JSON input
network-msgpack-rpc

9.4 Validation VS network-msgpack-rpc

A MessagePack-RPC Implementation
aeson-qq

9.4 3.6 Validation VS aeson-qq

JSON quasiquoter for Haskell
diskhash

9.4 0.0 Validation VS diskhash

Diskbased (persistent) hashtable
hashtables

9.4 1.0 Validation VS hashtables

Mutable hash tables for Haskell, in the ST monad
audiovisual

9.3 3.5 Validation VS audiovisual

Extensible records, variants, structs, effects, tangles
reflection

9.3 4.8 Validation VS reflection

Reifies arbitrary Haskell terms into types that can be reflected back into terms
dependent-sum

9.3 4.3 Validation VS dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them
dependent-map

9.3 0.0 Validation VS dependent-map

Dependently-typed finite maps (partial dependent products)
cereal

9.3 0.0 Validation VS cereal

A binary serialization library
IORefCAS

9.3 3.5 Validation VS IORefCAS

A collection of different packages for CAS based data structures.
certificate

9.3 0.0 Validation VS certificate

Certificate and Key Reader/Writer in haskell
protobuf

9.2 2.6 Validation VS protobuf

An implementation of Google's Protocol Buffers in Haskell.
safecopy

9.2 3.1 Validation VS safecopy

An extension to Data.Serialize with built-in version control
streaming

9.2 0.0 Validation VS streaming

An optimized general monad transformer for streaming applications, with a simple prelude of functions
rei

9.2 0.0 Validation VS rei

Process lists easily
bifunctors

9.2 5.6 Validation VS bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables
orgmode-parse

9.2 0.0 Validation VS orgmode-parse

Attoparsec parser combinators for parsing org-mode structured text!
avro

9.2 4.2 Validation VS avro

Haskell Avro Encoding and Decoding Native Support (no RPC)
scientific

9.2 0.0 Validation VS scientific

Arbitrary-precision floating-point numbers represented using scientific notation
uuid

9.1 2.9 Validation VS uuid

A Haskell library for creating, printing and parsing UUIDs
b-tree

9.1 1.8 Validation VS b-tree

Haskell on-disk B* tree implementation
uuid-types

9.1 2.9 Validation VS uuid-types

A Haskell library for creating, printing and parsing UUIDs
text-icu

9.1 6.1 Validation VS text-icu

This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
witherable

9.1 6.4 Validation VS witherable

Filter with effects
stdio

9.1 1.8 Validation VS stdio

Haskell Standard Input and Output
tables

9.1 0.0 Validation VS tables

Deprecated because of

Do you think we are missing an alternative of Validation or a related project?

Add another 'Data' Package

Popular Comparisons

README

Validation

NICTA

Several data-types like Either but with differing properties and type-class instances.

Library support is provided for those different representations, include lens-related functions for converting between each and abstracting over their similarities.

Download from hackage.

AccValidation

The AccValidation data type is isomorphic to Either, but has an instance of Applicative that accumulates on the error side. That is to say, if two (or more) errors are encountered, they are appended using a Semigroup operation.

As a consequence of this Applicative instance, there is no corresponding Bind or Monad instance. AccValidation is an example of, "An applicative functor that is not a monad."

Validation

The Validation data type is isomorphic to Either and has a Monad instance that does the same as Either. The only difference to Either is the constructor names and surrounding library support.

ValidationT

The ValidationT data type is the monad transformer for Validation. An instance of MonadTrans is provided for (ValidationT err). Due to the arrangement of the ValidationT type constructor, which permits a MonadTrans instance, there is no possibleBifunctorinstance. Consequently, theValidationBdata type provides aBifunctorinstance (but not aMonadTransinstance). Library support is provided to exploit the isomorphism toValidationB`.

Note that since AccValidation is not a monad, there is also no corresponding monad transformer for this data type.

ValidationB

The ValidationB data type is similar to the monad transformer for Validation (ValidationT), however, due to the arrangement of the ValidationB type constructor, which permits a Bifunctor instance, there is no possible MonadTrans instance. Consequently, the ValidationT data type provides a MonadTrans instance (but not a Bifunctor instance). Library support is provided to exploit the isomorphism to ValidationT.

Validation

A data-type like Either but with an accumulating Applicative

Validation alternatives and similar packages

Popular Comparisons

README

Validation