Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype ValidationT e m a Source #
ValidationT | |
|
Instances
runValidationT :: ValidationT e m a -> m (Validation e a) Source #
validationTFailure :: Applicative m => e -> ValidationT e m a Source #
mapValidationTFailure :: Functor m => (e1 -> e2) -> ValidationT e1 m a -> ValidationT e2 m a Source #
data Validation e a Source #
Instances
Applicative (Validation e) Source # | |
Defined in OptEnvConf.Validation 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 # | |
Functor (Validation e) Source # | |
Defined in OptEnvConf.Validation fmap :: (a -> b) -> Validation e a -> Validation e b # (<$) :: a -> Validation e b -> Validation e a # | |
Monad (Validation e) Source # | |
Defined in OptEnvConf.Validation (>>=) :: Validation e a -> (a -> Validation e b) -> Validation e b # (>>) :: Validation e a -> Validation e b -> Validation e b # return :: a -> Validation e a # | |
Selective (Validation e) Source # | |
Defined in OptEnvConf.Validation select :: Validation e (Either a b) -> Validation e (a -> b) -> Validation e b # |
validationFailure :: e -> Validation e a Source #
mapValidationFailure :: (e1 -> e2) -> Validation e1 a -> Validation e2 a Source #
validationToEither :: Validation e a -> Either (NonEmpty e) a Source #