validation: A data-type like Either but with an accumulating Applicative
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
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."
Properties
| Versions | 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.1, 1.1.2, 1.1.3 |
|---|---|
| Change log | changelog |
| Dependencies | assoc (>=1 && <1.1), base (>=4.5 && <5), bifunctors (>=5.1 && <6), deepseq (>=1.2 && <1.5), ghc-prim (==0.2.0.0), lens (>=4 && <5.1), semigroupoids (>=5 && <6), semigroups (>=0.8 && <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 jack at 2021-03-04T01:15:36Z |
Modules
[Index] [Quick Jump]
- Data
Downloads
- validation-1.1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees