Safe Haskell	None
Language	Haskell2010

Data.Validation

Contents

Data types
Prisms
Isomorphisms

Description

Data types similar to Data.Either that are explicit about failure and success.

Synopsis

Data types

data AccValidation err a #

A value of the type err or a, however, the Applicative instance accumulates values. This is witnessed by the Semigroup context on the instance. Note that there is no Monad such that ap = (*).

>>> _Success # (+1) <*> _Success # 7 :: AccValidation String Int
AccSuccess 8

>>> _Failure # ["f1"] <*> _Success # 7 :: AccValidation [String] Int
AccFailure ["f1"]

>>> _Success # (+1) <*> _Failure # ["f2"] :: AccValidation [String] Int
AccFailure ["f2"]

>>> _Failure # ["f1"] <*> _Failure # ["f2"] :: AccValidation [String] Int
AccFailure ["f1","f2"]

Constructors

AccFailure err
AccSuccess a

Instances

Bifunctor AccValidation #
Methods bimap :: (a -> b) -> (c -> d) -> AccValidation a c -> AccValidation b d # first :: (a -> b) -> AccValidation a c -> AccValidation b c # second :: (b -> c) -> AccValidation a b -> AccValidation a c #
Bitraversable AccValidation #
Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> AccValidation a b -> f (AccValidation c d) #
Bifoldable AccValidation #
Methods bifold :: Monoid m => AccValidation m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> AccValidation a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> AccValidation a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> AccValidation a b -> c #
Swapped AccValidation #
Methods swapped :: (Profunctor p, Functor f) => p (AccValidation b a) (f (AccValidation d c)) -> p (AccValidation a b) (f (AccValidation c d)) #
Validate AccValidation #
Methods _Validation :: (Profunctor p, Functor f) => p (Validation e a) (f (Validation g b)) -> p (AccValidation e a) (f (AccValidation g b)) # _Validation' :: (Profunctor p, Functor f) => p (Validation' e a) (f (Validation' g b)) -> p (AccValidation e a) (f (AccValidation g b)) # _AccValidation :: (Profunctor p, Functor f) => p (AccValidation e a) (f (AccValidation g b)) -> p (AccValidation e a) (f (AccValidation g b)) # _Either :: (Profunctor p, Functor f) => p (Either e a) (f (Either g b)) -> p (AccValidation e a) (f (AccValidation g b)) #
Functor (AccValidation err) #
Methods fmap :: (a -> b) -> AccValidation err a -> AccValidation err b # (<$) :: a -> AccValidation err b -> AccValidation err a #
Semigroup err => Applicative (AccValidation err) #
Methods pure :: a -> AccValidation err a # (<>) :: AccValidation err (a -> b) -> AccValidation err a -> AccValidation err b # (>) :: AccValidation err a -> AccValidation err b -> AccValidation err b # (<*) :: AccValidation err a -> AccValidation err b -> AccValidation err a #
Foldable (AccValidation err) #
Methods fold :: Monoid m => AccValidation err m -> m # foldMap :: Monoid m => (a -> m) -> AccValidation err a -> m # foldr :: (a -> b -> b) -> b -> AccValidation err a -> b # foldr' :: (a -> b -> b) -> b -> AccValidation err a -> b # foldl :: (b -> a -> b) -> b -> AccValidation err a -> b # foldl' :: (b -> a -> b) -> b -> AccValidation err a -> b # foldr1 :: (a -> a -> a) -> AccValidation err a -> a # foldl1 :: (a -> a -> a) -> AccValidation err a -> a # toList :: AccValidation err a -> [a] # null :: AccValidation err a -> Bool # length :: AccValidation err a -> Int # elem :: Eq a => a -> AccValidation err a -> Bool # maximum :: Ord a => AccValidation err a -> a # minimum :: Ord a => AccValidation err a -> a # sum :: Num a => AccValidation err a -> a # product :: Num a => AccValidation err a -> a #
Traversable (AccValidation err) #
Methods traverse :: Applicative f => (a -> f b) -> AccValidation err a -> f (AccValidation err b) # sequenceA :: Applicative f => AccValidation err (f a) -> f (AccValidation err a) # mapM :: Monad m => (a -> m b) -> AccValidation err a -> m (AccValidation err b) # sequence :: Monad m => AccValidation err (m a) -> m (AccValidation err a) #
Alt (AccValidation err) #
Methods (<!>) :: AccValidation err a -> AccValidation err a -> AccValidation err a # some :: Applicative (AccValidation err) => AccValidation err a -> AccValidation err [a] # many :: Applicative (AccValidation err) => AccValidation err a -> AccValidation err [a] #
Semigroup err => Apply (AccValidation err) #
Methods (<.>) :: AccValidation err (a -> b) -> AccValidation err a -> AccValidation err b # (.>) :: AccValidation err a -> AccValidation err b -> AccValidation err b # (<.) :: AccValidation err a -> AccValidation err b -> AccValidation err a #
(Eq a, Eq err) => Eq (AccValidation err a) #
Methods (==) :: AccValidation err a -> AccValidation err a -> Bool # (/=) :: AccValidation err a -> AccValidation err a -> Bool #
(Data a, Data err) => Data (AccValidation err a) #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AccValidation err a -> c (AccValidation err a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (AccValidation err a) # toConstr :: AccValidation err a -> Constr # dataTypeOf :: AccValidation err a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (AccValidation err a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (AccValidation err a)) # gmapT :: (forall b. Data b => b -> b) -> AccValidation err a -> AccValidation err a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AccValidation err a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AccValidation err a -> r # gmapQ :: (forall d. Data d => d -> u) -> AccValidation err a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AccValidation err a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AccValidation err a -> m (AccValidation err a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AccValidation err a -> m (AccValidation err a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AccValidation err a -> m (AccValidation err a) #
(Ord a, Ord err) => Ord (AccValidation err a) #
Methods compare :: AccValidation err a -> AccValidation err a -> Ordering # (<) :: AccValidation err a -> AccValidation err a -> Bool # (<=) :: AccValidation err a -> AccValidation err a -> Bool # (>) :: AccValidation err a -> AccValidation err a -> Bool # (>=) :: AccValidation err a -> AccValidation err a -> Bool # max :: AccValidation err a -> AccValidation err a -> AccValidation err a # min :: AccValidation err a -> AccValidation err a -> AccValidation err a #
(Show a, Show err) => Show (AccValidation err a) #
Methods showsPrec :: Int -> AccValidation err a -> ShowS # show :: AccValidation err a -> String # showList :: [AccValidation err a] -> ShowS #
Semigroup e => Semigroup (AccValidation e a) #	((x <> y) <> z) == (x <> (y <> z :: AccValidation [String] Int))
Methods (<>) :: AccValidation e a -> AccValidation e a -> AccValidation e a # sconcat :: NonEmpty (AccValidation e a) -> AccValidation e a # stimes :: Integral b => b -> AccValidation e a -> AccValidation e a #
Monoid e => Monoid (AccValidation e a) #	((x `mappend` y) `mappend` z) == (x `mappend` (y `mappend` z :: AccValidation [String] Int)) mempty `mappend` x == (x :: AccValidation [String] Int) x `mappend` mempty == (x :: AccValidation [String] Int)
Methods mempty :: AccValidation e a # mappend :: AccValidation e a -> AccValidation e a -> AccValidation e a # mconcat :: [AccValidation e a] -> AccValidation e a #

data Validation err a #

A value of the type err or a and isomorphic to Data.Either.

>>> _Success # (+1) <*> _Success # 7 :: Validation String Int
Success 8

>>> _Failure # ["f1"] <*> _Success # 7 :: Validation [String] Int
Failure ["f1"]

>>> _Success # (+1) <*> _Failure # ["f2"] :: Validation [String] Int
Failure ["f2"]

>>> _Failure # ["f1"] <*> _Failure # ["f2"] :: Validation [String] Int
Failure ["f1"]

Constructors

Failure err
Success a

Instances

Bifunctor Validation #
Methods bimap :: (a -> b) -> (c -> d) -> Validation a c -> Validation b d # first :: (a -> b) -> Validation a c -> Validation b c # second :: (b -> c) -> Validation a b -> Validation a c #
Bitraversable Validation #
Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Validation a b -> f (Validation c d) #
Bifoldable Validation #
Methods bifold :: Monoid m => Validation m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Validation a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Validation a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Validation a b -> c #
Swapped Validation #
Methods swapped :: (Profunctor p, Functor f) => p (Validation b a) (f (Validation d c)) -> p (Validation a b) (f (Validation c d)) #
Validate Validation #
Methods _Validation :: (Profunctor p, Functor f) => p (Validation e a) (f (Validation g b)) -> p (Validation e a) (f (Validation g b)) # _Validation' :: (Profunctor p, Functor f) => p (Validation' e a) (f (Validation' g b)) -> p (Validation e a) (f (Validation g b)) # _AccValidation :: (Profunctor p, Functor f) => p (AccValidation e a) (f (AccValidation g b)) -> p (Validation e a) (f (Validation g b)) # _Either :: (Profunctor p, Functor f) => p (Either e a) (f (Either g b)) -> p (Validation e a) (f (Validation g b)) #
Monad (Validation err) #
Methods (>>=) :: Validation err a -> (a -> Validation err b) -> Validation err b # (>>) :: Validation err a -> Validation err b -> Validation err b # return :: a -> Validation err a # fail :: String -> Validation err a #
Functor (Validation err) #
Methods fmap :: (a -> b) -> Validation err a -> Validation err b # (<$) :: a -> Validation err b -> Validation err a #
Applicative (Validation err) #
Methods pure :: a -> Validation err a # (<>) :: Validation err (a -> b) -> Validation err a -> Validation err b # (>) :: Validation err a -> Validation err b -> Validation err b # (<*) :: Validation err a -> Validation err b -> Validation err a #
Foldable (Validation err) #
Methods fold :: Monoid m => Validation err m -> m # foldMap :: Monoid m => (a -> m) -> Validation err a -> m # foldr :: (a -> b -> b) -> b -> Validation err a -> b # foldr' :: (a -> b -> b) -> b -> Validation err a -> b # foldl :: (b -> a -> b) -> b -> Validation err a -> b # foldl' :: (b -> a -> b) -> b -> Validation err a -> b # foldr1 :: (a -> a -> a) -> Validation err a -> a # foldl1 :: (a -> a -> a) -> Validation err a -> a # toList :: Validation err a -> [a] # null :: Validation err a -> Bool # length :: Validation err a -> Int # elem :: Eq a => a -> Validation err a -> Bool # maximum :: Ord a => Validation err a -> a # minimum :: Ord a => Validation err a -> a # sum :: Num a => Validation err a -> a # product :: Num a => Validation err a -> a #
Traversable (Validation err) #
Methods traverse :: Applicative f => (a -> f b) -> Validation err a -> f (Validation err b) # sequenceA :: Applicative f => Validation err (f a) -> f (Validation err a) # mapM :: Monad m => (a -> m b) -> Validation err a -> m (Validation err b) # sequence :: Monad m => Validation err (m a) -> m (Validation err a) #
Alt (Validation err) #
Methods (<!>) :: Validation err a -> Validation err a -> Validation err a # some :: Applicative (Validation err) => Validation err a -> Validation err [a] # many :: Applicative (Validation err) => Validation err a -> Validation err [a] #
Apply (Validation err) #
Methods (<.>) :: Validation err (a -> b) -> Validation err a -> Validation err b # (.>) :: Validation err a -> Validation err b -> Validation err b # (<.) :: Validation err a -> Validation err b -> Validation err a #
Bind (Validation err) #
Methods (>>-) :: Validation err a -> (a -> Validation err b) -> Validation err b # join :: Validation err (Validation err a) -> Validation err a #
(Eq a, Eq err) => Eq (Validation err a) #
Methods (==) :: Validation err a -> Validation err a -> Bool # (/=) :: Validation err a -> Validation err a -> Bool #
(Data a, Data err) => Data (Validation err a) #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Validation err a -> c (Validation err a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Validation err a) # toConstr :: Validation err a -> Constr # dataTypeOf :: Validation err a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Validation err a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Validation err a)) # gmapT :: (forall b. Data b => b -> b) -> Validation err a -> Validation err a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Validation err a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Validation err a -> r # gmapQ :: (forall d. Data d => d -> u) -> Validation err a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Validation err a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Validation err a -> m (Validation err a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Validation err a -> m (Validation err a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Validation err a -> m (Validation err a) #
(Ord a, Ord err) => Ord (Validation err a) #
Methods compare :: Validation err a -> Validation err a -> Ordering # (<) :: Validation err a -> Validation err a -> Bool # (<=) :: Validation err a -> Validation err a -> Bool # (>) :: Validation err a -> Validation err a -> Bool # (>=) :: Validation err a -> Validation err a -> Bool # max :: Validation err a -> Validation err a -> Validation err a # min :: Validation err a -> Validation err a -> Validation err a #
(Show a, Show err) => Show (Validation err a) #
Methods showsPrec :: Int -> Validation err a -> ShowS # show :: Validation err a -> String # showList :: [Validation err a] -> ShowS #

data ValidationT err m a #

The transformer version of Validation.

Constructors

ValidationT
Fields runValidationT :: m (Validation err a)

Instances

MonadTrans (ValidationT err) #
Methods lift :: Monad m => m a -> ValidationT err m a #
Monad m => Monad (ValidationT err m) #
Methods (>>=) :: ValidationT err m a -> (a -> ValidationT err m b) -> ValidationT err m b # (>>) :: ValidationT err m a -> ValidationT err m b -> ValidationT err m b # return :: a -> ValidationT err m a # fail :: String -> ValidationT err m a #
Functor m => Functor (ValidationT err m) #
Methods fmap :: (a -> b) -> ValidationT err m a -> ValidationT err m b # (<$) :: a -> ValidationT err m b -> ValidationT err m a #
Applicative m => Applicative (ValidationT err m) #
Methods pure :: a -> ValidationT err m a # (<>) :: ValidationT err m (a -> b) -> ValidationT err m a -> ValidationT err m b # (>) :: ValidationT err m a -> ValidationT err m b -> ValidationT err m b # (<*) :: ValidationT err m a -> ValidationT err m b -> ValidationT err m a #
Foldable m => Foldable (ValidationT err m) #
Methods fold :: Monoid m => ValidationT err m m -> m # foldMap :: Monoid m => (a -> m) -> ValidationT err m a -> m # foldr :: (a -> b -> b) -> b -> ValidationT err m a -> b # foldr' :: (a -> b -> b) -> b -> ValidationT err m a -> b # foldl :: (b -> a -> b) -> b -> ValidationT err m a -> b # foldl' :: (b -> a -> b) -> b -> ValidationT err m a -> b # foldr1 :: (a -> a -> a) -> ValidationT err m a -> a # foldl1 :: (a -> a -> a) -> ValidationT err m a -> a # toList :: ValidationT err m a -> [a] # null :: ValidationT err m a -> Bool # length :: ValidationT err m a -> Int # elem :: Eq a => a -> ValidationT err m a -> Bool # maximum :: Ord a => ValidationT err m a -> a # minimum :: Ord a => ValidationT err m a -> a # sum :: Num a => ValidationT err m a -> a # product :: Num a => ValidationT err m a -> a #
Traversable m => Traversable (ValidationT err m) #
Methods traverse :: Applicative f => (a -> f b) -> ValidationT err m a -> f (ValidationT err m b) # sequenceA :: Applicative f => ValidationT err m (f a) -> f (ValidationT err m a) # mapM :: Monad m => (a -> m b) -> ValidationT err m a -> m (ValidationT err m b) # sequence :: Monad m => ValidationT err m (m a) -> m (ValidationT err m a) #
(Functor m, Monad m) => Alt (ValidationT err m) #
Methods (<!>) :: ValidationT err m a -> ValidationT err m a -> ValidationT err m a # some :: Applicative (ValidationT err m) => ValidationT err m a -> ValidationT err m [a] # many :: Applicative (ValidationT err m) => ValidationT err m a -> ValidationT err m [a] #
Apply m => Apply (ValidationT err m) #
Methods (<.>) :: ValidationT err m (a -> b) -> ValidationT err m a -> ValidationT err m b # (.>) :: ValidationT err m a -> ValidationT err m b -> ValidationT err m b # (<.) :: ValidationT err m a -> ValidationT err m b -> ValidationT err m a #
(Apply m, Monad m) => Bind (ValidationT err m) #
Methods (>>-) :: ValidationT err m a -> (a -> ValidationT err m b) -> ValidationT err m b # join :: ValidationT err m (ValidationT err m a) -> ValidationT err m a #

data ValidationB m err a #

The bifunctor version of ValidationT

Constructors

ValidationB
Fields runValidationB :: m (Validation err a)

Instances

Functor m => Bifunctor (ValidationB m) #
Methods bimap :: (a -> b) -> (c -> d) -> ValidationB m a c -> ValidationB m b d # first :: (a -> b) -> ValidationB m a c -> ValidationB m b c # second :: (b -> c) -> ValidationB m a b -> ValidationB m a c #
Traversable m => Bitraversable (ValidationB m) #
Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> ValidationB m a b -> f (ValidationB m c d) #
Foldable m => Bifoldable (ValidationB m) #
Methods bifold :: Monoid m => ValidationB m m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> ValidationB m a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> ValidationB m a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> ValidationB m a b -> c #
Functor f => Swapped (ValidationB f) #
Methods swapped :: (Profunctor p, Functor f) => p (ValidationB f b a) (f (ValidationB f d c)) -> p (ValidationB f a b) (f (ValidationB f c d)) #
(~) (* -> *) m Identity => Validate (ValidationB m) #
Methods _Validation :: (Profunctor p, Functor f) => p (Validation e a) (f (Validation g b)) -> p (ValidationB m e a) (f (ValidationB m g b)) # _Validation' :: (Profunctor p, Functor f) => p (Validation' e a) (f (Validation' g b)) -> p (ValidationB m e a) (f (ValidationB m g b)) # _AccValidation :: (Profunctor p, Functor f) => p (AccValidation e a) (f (AccValidation g b)) -> p (ValidationB m e a) (f (ValidationB m g b)) # _Either :: (Profunctor p, Functor f) => p (Either e a) (f (Either g b)) -> p (ValidationB m e a) (f (ValidationB m g b)) #
Monad m => Monad (ValidationB m err) #
Methods (>>=) :: ValidationB m err a -> (a -> ValidationB m err b) -> ValidationB m err b # (>>) :: ValidationB m err a -> ValidationB m err b -> ValidationB m err b # return :: a -> ValidationB m err a # fail :: String -> ValidationB m err a #
Functor m => Functor (ValidationB m err) #
Methods fmap :: (a -> b) -> ValidationB m err a -> ValidationB m err b # (<$) :: a -> ValidationB m err b -> ValidationB m err a #
Applicative m => Applicative (ValidationB m err) #
Methods pure :: a -> ValidationB m err a # (<>) :: ValidationB m err (a -> b) -> ValidationB m err a -> ValidationB m err b # (>) :: ValidationB m err a -> ValidationB m err b -> ValidationB m err b # (<*) :: ValidationB m err a -> ValidationB m err b -> ValidationB m err a #
Foldable m => Foldable (ValidationB m err) #
Methods fold :: Monoid m => ValidationB m err m -> m # foldMap :: Monoid m => (a -> m) -> ValidationB m err a -> m # foldr :: (a -> b -> b) -> b -> ValidationB m err a -> b # foldr' :: (a -> b -> b) -> b -> ValidationB m err a -> b # foldl :: (b -> a -> b) -> b -> ValidationB m err a -> b # foldl' :: (b -> a -> b) -> b -> ValidationB m err a -> b # foldr1 :: (a -> a -> a) -> ValidationB m err a -> a # foldl1 :: (a -> a -> a) -> ValidationB m err a -> a # toList :: ValidationB m err a -> [a] # null :: ValidationB m err a -> Bool # length :: ValidationB m err a -> Int # elem :: Eq a => a -> ValidationB m err a -> Bool # maximum :: Ord a => ValidationB m err a -> a # minimum :: Ord a => ValidationB m err a -> a # sum :: Num a => ValidationB m err a -> a # product :: Num a => ValidationB m err a -> a #
Traversable m => Traversable (ValidationB m err) #
Methods traverse :: Applicative f => (a -> f b) -> ValidationB m err a -> f (ValidationB m err b) # sequenceA :: Applicative f => ValidationB m err (f a) -> f (ValidationB m err a) # mapM :: Monad m => (a -> m b) -> ValidationB m err a -> m (ValidationB m err b) # sequence :: Monad m => ValidationB m err (m a) -> m (ValidationB m err a) #
(Functor m, Monad m) => Alt (ValidationB m err) #
Methods (<!>) :: ValidationB m err a -> ValidationB m err a -> ValidationB m err a # some :: Applicative (ValidationB m err) => ValidationB m err a -> ValidationB m err [a] # many :: Applicative (ValidationB m err) => ValidationB m err a -> ValidationB m err [a] #
Apply m => Apply (ValidationB m err) #
Methods (<.>) :: ValidationB m err (a -> b) -> ValidationB m err a -> ValidationB m err b # (.>) :: ValidationB m err a -> ValidationB m err b -> ValidationB m err b # (<.) :: ValidationB m err a -> ValidationB m err b -> ValidationB m err a #
(Apply m, Monad m) => Bind (ValidationB m err) #
Methods (>>-) :: ValidationB m err a -> (a -> ValidationB m err b) -> ValidationB m err b # join :: ValidationB m err (ValidationB m err a) -> ValidationB m err a #

type Validation' err a = ValidationT err Identity a #

Prisms

_Failure :: Validate f => Prism (f e1 a) (f e2 a) e1 e2 #

_Success :: Validate f => Prism (f e a) (f e b) a b #

Isomorphisms

class Validate f where #

Methods

_Validation :: Iso (f e a) (f g b) (Validation e a) (Validation g b) #

_Validation' :: Iso (f e a) (f g b) (Validation' e a) (Validation' g b) #

_AccValidation :: Iso (f e a) (f g b) (AccValidation e a) (AccValidation g b) #

_Either :: Iso (f e a) (f g b) (Either e a) (Either g b) #

Instances

Validate Either #
Methods _Validation :: (Profunctor p, Functor f) => p (Validation e a) (f (Validation g b)) -> p (Either e a) (f (Either g b)) # _Validation' :: (Profunctor p, Functor f) => p (Validation' e a) (f (Validation' g b)) -> p (Either e a) (f (Either g b)) # _AccValidation :: (Profunctor p, Functor f) => p (AccValidation e a) (f (AccValidation g b)) -> p (Either e a) (f (Either g b)) # _Either :: (Profunctor p, Functor f) => p (Either e a) (f (Either g b)) -> p (Either e a) (f (Either g b)) #
Validate Validation #
Methods _Validation :: (Profunctor p, Functor f) => p (Validation e a) (f (Validation g b)) -> p (Validation e a) (f (Validation g b)) # _Validation' :: (Profunctor p, Functor f) => p (Validation' e a) (f (Validation' g b)) -> p (Validation e a) (f (Validation g b)) # _AccValidation :: (Profunctor p, Functor f) => p (AccValidation e a) (f (AccValidation g b)) -> p (Validation e a) (f (Validation g b)) # _Either :: (Profunctor p, Functor f) => p (Either e a) (f (Either g b)) -> p (Validation e a) (f (Validation g b)) #
Validate AccValidation #
Methods _Validation :: (Profunctor p, Functor f) => p (Validation e a) (f (Validation g b)) -> p (AccValidation e a) (f (AccValidation g b)) # _Validation' :: (Profunctor p, Functor f) => p (Validation' e a) (f (Validation' g b)) -> p (AccValidation e a) (f (AccValidation g b)) # _AccValidation :: (Profunctor p, Functor f) => p (AccValidation e a) (f (AccValidation g b)) -> p (AccValidation e a) (f (AccValidation g b)) # _Either :: (Profunctor p, Functor f) => p (Either e a) (f (Either g b)) -> p (AccValidation e a) (f (AccValidation g b)) #
(~) (* -> *) m Identity => Validate (ValidationB m) #
Methods _Validation :: (Profunctor p, Functor f) => p (Validation e a) (f (Validation g b)) -> p (ValidationB m e a) (f (ValidationB m g b)) # _Validation' :: (Profunctor p, Functor f) => p (Validation' e a) (f (Validation' g b)) -> p (ValidationB m e a) (f (ValidationB m g b)) # _AccValidation :: (Profunctor p, Functor f) => p (AccValidation e a) (f (AccValidation g b)) -> p (ValidationB m e a) (f (ValidationB m g b)) # _Either :: (Profunctor p, Functor f) => p (Either e a) (f (Either g b)) -> p (ValidationB m e a) (f (ValidationB m g b)) #