Validation alternatives and similar packages
Based on the "Data" category.
Alternatively, view Validation alternatives based on common mentions on social networks and blogs.
-
-
-
-
-
-
-
-
compendium-client
DISCONTINUED. Mu (μ) is a purely functional framework for building micro services. -
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
streaming
An optimized general monad transformer for streaming applications, with a simple prelude of functions -
-
-
-
-
text-icu
This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text. -
-
InfluxDB – Built for High-Performance Time Series Workloads
Do you think we are missing an alternative of Validation or a related project?
README
Validation
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, the
ValidationBdata type provides aBifunctorinstance (but not a
MonadTransinstance). 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.