Safe Haskell	None
Language	Haskell2010

Summoner.Validation

Synopsis

data Validation e a
- = Failure e
- | Success a

Documentation

data Validation e a Source #

Validation is Either with a Left that is a Monoid

Constructors

Failure e
Success a

Instances

Functor (Validation e) Source #
Instance details Defined in Summoner.Validation Methods fmap :: (a -> b) -> Validation e a -> Validation e b # (<$) :: a -> Validation e b -> Validation e a #
Semigroup e => Applicative (Validation e) Source #
Instance details Defined in Summoner.Validation Methods pure :: a -> Validation e a # (<>) :: Validation e (a -> b) -> Validation e a -> Validation e b # liftA2 :: (a -> b -> c) -> Validation e a -> Validation e b -> Validation e c # (>) :: Validation e a -> Validation e b -> Validation e b # (<*) :: Validation e a -> Validation e b -> Validation e a #
(Eq e, Eq a) => Eq (Validation e a) Source #
Instance details Defined in Summoner.Validation Methods (==) :: Validation e a -> Validation e a -> Bool # (/=) :: Validation e a -> Validation e a -> Bool #
(Ord e, Ord a) => Ord (Validation e a) Source #
Instance details Defined in Summoner.Validation Methods compare :: Validation e a -> Validation e a -> Ordering # (<) :: Validation e a -> Validation e a -> Bool # (<=) :: Validation e a -> Validation e a -> Bool # (>) :: Validation e a -> Validation e a -> Bool # (>=) :: Validation e a -> Validation e a -> Bool # max :: Validation e a -> Validation e a -> Validation e a # min :: Validation e a -> Validation e a -> Validation e a #
(Show e, Show a) => Show (Validation e a) Source #
Instance details Defined in Summoner.Validation Methods showsPrec :: Int -> Validation e a -> ShowS # show :: Validation e a -> String # showList :: [Validation e a] -> ShowS #
Semigroup e => Semigroup (Validation e a) Source #
Instance details Defined in Summoner.Validation Methods (<>) :: Validation e a -> Validation e a -> Validation e a # sconcat :: NonEmpty (Validation e a) -> Validation e a # stimes :: Integral b => b -> Validation e a -> Validation e a #