validation

A data-type like Either but with an accumulating Applicative

LTS Haskell 20.26:	1.1.2
Stackage Nightly 2023-09-22:	1.1.3
Latest on Hackage:	1.1.3

See all snapshots validation appears in

BSD-3-Clause licensed by Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>, Nick Partridge <nkpart>

Maintained by Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>, Nick Partridge <nkpart>, Queensland Functional Programming Lab <oᴉ˙ldɟb@llǝʞsɐɥ>

This version can be pinned in stack with:validation-1.1.3@sha256:e2496d01639d5b8ab1dcf4b1dcf93e3d1380b6f793c4eef18ffc082eead17cf0,3573

Module documentation for 1.1.3

Data
- Data.Validation

Depends on 7 packages(full list with versions):

assoc, base, bifunctors, deepseq, lens, semigroupoids, semigroups

Used by 1 package in nightly-2023-09-22(full list with versions):

geojson

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