Moduleopt-env-conf-0.15.0.3Haskell2010

OptEnvConf.Validation

Synopsis

newtypenewtype ValidationT e (m :: Type -> Type) a

Instances8MonadReader, MonadState, MonadTrans, Monad, Functor, Applicative, …

MonadReader env m => MonadReader env (ValidationT err m)Defined in opt-env-conf-0.15.0.3 · OptEnvConf.Validation
MonadState state m => MonadState state (ValidationT err m)Defined in opt-env-conf-0.15.0.3 · OptEnvConf.Validation
MonadTrans (ValidationT e)Defined in opt-env-conf-0.15.0.3 · OptEnvConf.Validation
Monad m => Monad (ValidationT e m)Defined in opt-env-conf-0.15.0.3 · OptEnvConf.Validation
Functor m => Functor (ValidationT e m)Defined in opt-env-conf-0.15.0.3 · OptEnvConf.Validation
Applicative m => Applicative (ValidationT e m)Defined in opt-env-conf-0.15.0.3 · OptEnvConf.Validation
MonadIO m => MonadIO (ValidationT e m)Defined in opt-env-conf-0.15.0.3 · OptEnvConf.Validation
Selective m => Selective (ValidationT e m)Defined in opt-env-conf-0.15.0.3 · OptEnvConf.Validation

valuerunValidationT :: ValidationT e m a -> m (Validation e a)

valuevalidationTFailure :: Applicative m => e -> ValidationT e m a

valuemapValidationTFailure

datadata Validation e a

Instances3Functor, Applicative, Selective

Functor (Validation e)Defined in opt-env-conf-0.15.0.3 · OptEnvConf.Validation
Applicative (Validation e)Defined in opt-env-conf-0.15.0.3 · OptEnvConf.Validation
Selective (Validation e)Defined in opt-env-conf-0.15.0.3 · OptEnvConf.Validation

valuevalidationFailure :: e -> Validation e a

valuemapValidationFailure :: (e1 -> e2) -> Validation e1 a -> Validation e2 a

valuevalidationToEither :: Validation e a -> Either (NonEmpty e) a