Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
validateEither :: Either e a -> Validated e a Source
eitherValidate :: Validated e a -> Either e a Source
ok :: Applicative m => a -> ValidateT e m a Source
no :: Applicative m => e -> ValidateT e m a Source
newtype ValidateT e m a Source
VT | |
|
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) |