validation: A data-type like Either but with an accumulating Applicative
A data-type like Either but with differing properties and type-class instances.
Library support is provided for this different representation, include
lens
-related functions for converting between each and abstracting over their
similarities.
Validation
The Validation
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. Validation
is an example of, "An applicative
functor that is not a monad."
Downloads
- validation-1.1.3.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.3.0, 0.3.1, 0.3.2, 0.3.3, 0.3.4, 0.4.0, 0.4.1, 0.4.2, 0.4.3, 0.5.0, 0.5.1, 0.5.2, 0.5.3, 0.5.4, 0.5.5, 0.6.0, 0.6.1, 0.6.2, 0.6.3, 1, 1.1, 1.1.1, 1.1.2, 1.1.3 |
---|---|
Change log | changelog |
Dependencies | assoc (>=1 && <2), base (>=4.11 && <5), bifunctors (>=5.5 && <6), deepseq (>=1.4.3 && <1.5), lens (>=4.0.5 && <6), semigroupoids (>=5.2.2 && <7), semigroups (>=0.18.2 && <1) [details] |
License | BSD-3-Clause |
Copyright | Copyright (C) 2010-2013 Tony Morris, Nick Partridge Copyright (C) 2014,2015 NICTA Limited Copyright (c) 2016-2019, Commonwealth Scientific and Industrial Research Organisation (CSIRO) ABN 41 687 119 230. |
Author | Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>, Nick Partridge <nkpart> |
Maintainer | Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>, Nick Partridge <nkpart>, Queensland Functional Programming Lab <oᴉ˙ldɟb@llǝʞsɐɥ> |
Category | Data |
Home page | https://github.com/qfpl/validation |
Bug tracker | https://github.com/qfpl/validation/issues |
Source repo | head: git clone git@github.com:qfpl/validation.git |
Uploaded | by TonyMorris at 2023-07-10T22:37:00Z |
Distributions | NixOS:1.1.3, Stackage:1.1.3 |
Reverse Dependencies | 22 direct, 23 indirect [details] |
Downloads | 24046 total (106 in the last 30 days) |
Rating | 2.5 (votes: 3) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2023-07-11 [all 1 reports] |