Data.Either.Validation · either-5.0.3

datadata Validation e a

Validation is Either with a Left that is a Monoid

Instances15Bifoldable, Bifunctor, Bitraversable, Functor, Applicative, Foldable, …

Bifoldable ValidationDefined in either-5.0.3 · Data.Either.Validation
Bifunctor ValidationDefined in either-5.0.3 · Data.Either.Validation
Bitraversable ValidationDefined in either-5.0.3 · Data.Either.Validation
Functor (Validation e)Defined in either-5.0.3 · Data.Either.Validation
Semigroup e => Applicative (Validation e)Defined in either-5.0.3 · Data.Either.Validation
Foldable (Validation e)Defined in either-5.0.3 · Data.Either.Validation
Traversable (Validation e)Defined in either-5.0.3 · Data.Either.Validation
(Semigroup e, Monoid e) => Alternative (Validation e)Defined in either-5.0.3 · Data.Either.Validation
Semigroup e => Alt (Validation e)Defined in either-5.0.3 · Data.Either.Validation
For two errors, this instance reports both of them.
Semigroup e => Apply (Validation e)Defined in either-5.0.3 · Data.Either.Validation
(Eq e, Eq a) => Eq (Validation e a)Defined in either-5.0.3 · Data.Either.Validation
(Ord e, Ord a) => Ord (Validation e a)Defined in either-5.0.3 · Data.Either.Validation
(Show e, Show a) => Show (Validation e a)Defined in either-5.0.3 · Data.Either.Validation
Semigroup e => Semigroup (Validation e a)Defined in either-5.0.3 · Data.Either.Validation
Monoid e => Monoid (Validation e a)Defined in either-5.0.3 · Data.Either.Validation

value_Success

value_Failure

valueeitherToValidation :: Either e a -> Validation e a

valuevalidationToEither :: Validation e a -> Either e a

value_Validation

Validation is isomorphic to Either

valuevap :: Semigroup m => Either m (a -> b) -> Either m a -> Either m b

valueealt :: Validation e a -> Validation e a -> Validation e a

valuevapm :: Monoid m => Either m (a -> b) -> Either m a -> Either m b

valueapm :: Monoid m => Validation m (a -> b) -> Validation m a -> Validation m b