OptEnvConf.Validation

Documentation

newtype ValidationT e m a

Constructors

ValidationT

Fields

• unValidationT :: m (Validation e a)

Instances

MonadReader env m => MonadReader env (ValidationT err m)

Defined in OptEnvConf.Validation

Methods

ask :: ValidationT err m env

local :: (env -> env) -> ValidationT err m a -> ValidationT err m a

reader :: (env -> a) -> ValidationT err m a

MonadState state m => MonadState state (ValidationT err m)

Defined in OptEnvConf.Validation

Methods

get :: ValidationT err m state

put :: state -> ValidationT err m ()

state :: (state -> (a, state)) -> ValidationT err m a

MonadTrans (ValidationT e)

Defined in OptEnvConf.Validation

Methods

lift :: Monad m => m a -> ValidationT e m a

MonadIO m => MonadIO (ValidationT e m)

Defined in OptEnvConf.Validation

Methods

liftIO :: IO a -> ValidationT e m a

Applicative m => Applicative (ValidationT e m)

Defined in OptEnvConf.Validation

Methods

pure :: a -> ValidationT e m a

(<*>) :: ValidationT e m (a -> b) -> ValidationT e m a -> ValidationT e m b

liftA2 :: (a -> b -> c) -> ValidationT e m a -> ValidationT e m b -> ValidationT e m c

(*>) :: ValidationT e m a -> ValidationT e m b -> ValidationT e m b

(<*) :: ValidationT e m a -> ValidationT e m b -> ValidationT e m a

Functor m => Functor (ValidationT e m)

Defined in OptEnvConf.Validation

Methods

fmap :: (a -> b) -> ValidationT e m a -> ValidationT e m b

(<$) :: a -> ValidationT e m b -> ValidationT e m a

Monad m => Monad (ValidationT e m)

Defined in OptEnvConf.Validation

Methods

(>>=) :: ValidationT e m a -> (a -> ValidationT e m b) -> ValidationT e m b

(>>) :: ValidationT e m a -> ValidationT e m b -> ValidationT e m b

return :: a -> ValidationT e m a

Selective m => Selective (ValidationT e m)

Defined in OptEnvConf.Validation

Methods

select :: ValidationT e m (Either a b) -> ValidationT e m (a -> b) -> ValidationT e m b

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

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

mapValidationTFailure :: Functor m => (e1 -> e2) -> ValidationT e1 m a -> ValidationT e2 m a

data Validation e a

Constructors

Failure !(NonEmpty e)

Success !a

Instances

Applicative (Validation e)

Defined in OptEnvConf.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

Functor (Validation e)

Defined in OptEnvConf.Validation

Methods

fmap :: (a -> b) -> Validation e a -> Validation e b

(<$) :: a -> Validation e b -> Validation e a

Monad (Validation e)

Defined in OptEnvConf.Validation

Methods

(>>=) :: 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)

Defined in OptEnvConf.Validation

Methods

select :: Validation e (Either a b) -> Validation e (a -> b) -> Validation e b

validationFailure :: e -> Validation e a

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

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