Servant.EDE.Internal.Validate

Documentation

data Validated e a

Constructors

OK a

NotOK e

Instances

Functor (Validated e)

Semigroup e => Applicative (Validated e)

Foldable (Validated e)

Traversable (Validated e)

(Eq e, Eq a) => Eq (Validated e a)

(Show e, Show a) => Show (Validated e a)

(Semigroup e, Semigroup a) => Semigroup (Validated e a)

validateEither :: Either e a -> Validated e a

eitherValidate :: Validated e a -> Either e a

ok :: Applicative m => a -> ValidateT e m a

no :: Applicative m => e -> ValidateT e m a

validated :: (e -> r) -> (a -> r) -> Validated e a -> r

newtype ValidateT e m a

Constructors

VT

Fields

runValidateT :: m (Validated e a)

Instances

Functor m => Functor (ValidateT e m)

(Applicative m, Semigroup e) => Applicative (ValidateT e m)

(Applicative m, Semigroup e, Semigroup a) => Semigroup (ValidateT e m a)

validate :: m (Validated e a) -> ValidateT e m a