Skip to content
A data-type like Either but with an accumulating Applicative
Haskell Nix
Branch: master
Clone or download
Latest commit f253642 Nov 25, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
ci
examples
src/Data
test
.ghci
.gitignore
.travis.yml
LICENCE
README.md
cabal.project
changelog
default.nix
shell.nix
validation.cabal
validation.nix

README.md

Validation

CSIRO's Data61 Logo

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.

  • 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."

You can’t perform that action at this time.