either-4.3.2: An either monad transformer

Copyright(c) 2014 Chris Allen, Edward Kmett
LicenseBSD-style
Maintainerekmett@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Either.Validation

Description

Monoidal Validation sibling to Either.

Synopsis

Documentation

_Success :: Prism (Validation c a) (Validation c b) a b Source

_Failure :: Prism (Validation a c) (Validation b c) a b Source

_Validation :: Iso (Validation e a) (Validation g b) (Either e a) (Either g b) Source

Validation is isomorphic to Either