Module

Data.Validation.Jaws.Coproduct

Package: purescript-jaws
Repository: paluh/purescript-jaws

#CoproductValidation Source

newtype CoproductValidation m e a b

Constructors

CoproductValidation (Star m a (Either e b))

Instances

Newtype (CoproductValidation m e a b) _
(Functor m) => Functor (CoproductValidation m e a)
(Monad m) => Bind (CoproductValidation m e a)
(Monad m) => Apply (CoproductValidation m e a)
(Monad m) => Applicative (CoproductValidation m e a)
(Monad m) => Monad (CoproductValidation m e a)
(Monad m) => Alt (CoproductValidation m e a)
(Monad m) => Semigroupoid (CoproductValidation m e)
(Monad m) => Category (CoproductValidation m e)
(Monad m) => Profunctor (CoproductValidation m e)
(Monad m) => Choice (CoproductValidation m e)
(Monad m) => Strong (CoproductValidation m e)

#runCoproductValidation Source

runCoproductValidation :: forall m e b a. CoproductValidation m e a b -> a -> m (Either e b)

#CVBifunctor Source

newtype CVBifunctor m a e b

Constructors

CVBifunctor (CoproductValidation m e a b)

Instances

Newtype (CVBifunctor m a e b) _
(Monad m) => Bifunctor (CVBifunctor m a)

#validation Source

validation :: forall m e b a. (a -> m (Either e b)) -> CoproductValidation m e a b

Beside these constructors you can also use just Applicative pure

#validation' Source

validation' :: forall r' r p m e b a. RowCons p e r r' => Monad m => IsSymbol p => SProxy p -> (a -> m (Either e b)) -> CoproductValidation m (Variant r') a b

#pureV Source

pureV :: forall m e b a. Monad m => (a -> Either e b) -> CoproductValidation m e a b

#pureV' Source

pureV' :: forall r' r p m e b a. RowCons p e r r' => Monad m => IsSymbol p => SProxy p -> (a -> Either e b) -> CoproductValidation m (Variant r') a b

#fail Source

fail :: forall m e b a. Monad m => e -> CoproductValidation m e a b

#fail' Source

fail' :: forall r' r p m e b a. RowCons p e r r' => Monad m => IsSymbol p => SProxy p -> e -> CoproductValidation m (Variant r') a b

#tag Source

tag :: forall r' r p m e b a. RowCons p e r r' => Monad m => IsSymbol p => SProxy p -> CoproductValidation m e a b -> CoproductValidation m (Variant r') a b

#check Source

check :: forall m a. Monad m => (a -> Boolean) -> CoproductValidation m a a a

#check' Source

check' :: forall r' r m l a. RowCons l a r r' => Monad m => IsSymbol l => SProxy l -> (a -> Boolean) -> CoproductValidation m (Variant r') a a

Modules: Data.Validation.Jaws; Data.Validation.Jaws.Coproduct; Data.Validation.Jaws.Http; Data.Validation.Jaws.Http.Form; Data.Validation.Jaws.Product