Module

Data.Validation.Jaws.Http

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

#QueryField Source

type QueryField = Array (Maybe String)

#Query Source

type Query = StrMap (Array (Maybe String))

#addFieldFromQuery Source

addFieldFromQuery :: forall vr' vr ir' ir s m e a. IsSymbol s => Monad m => RowLacks s ir => RowCons s (Either e a) ir ir' => RowLacks s vr => RowCons s a vr vr' => SProxy s -> CoproductValidation m e QueryField a -> ProductValidation m Query (Record ir) (Record ir') (Record vr) (Record vr')

#optional Source

optional :: forall m e b a. Monad m => CoproductValidation m e a b -> CoproductValidation m e (Array a) (Maybe b)

#catMaybesV Source

catMaybesV :: forall m e a. Monad m => CoproductValidation m e (Array (Maybe a)) (Array a)

#emptyArrayV Source

emptyArrayV :: forall m a. Monad m => CoproductValidation m (Array a) (Array a) Unit

#nonEmptyArray Source

nonEmptyArray :: forall m a. Monad m => CoproductValidation m Unit (Array a) (NonEmpty Array a)

#nonEmptyArray' Source

nonEmptyArray' :: forall m v a. Monad m => CoproductValidation m (Variant (nonEmptyArray :: Unit | v)) (Array a) (NonEmpty Array a)

#scalar Source

scalar :: forall m a. Monad m => CoproductValidation m (Array a) (Array a) a

#scalar' Source

scalar' :: forall m v a. Monad m => CoproductValidation m (Variant (scalar :: Array a | v)) (Array a) a

#int Source

int :: forall m. Monad m => CoproductValidation m String String Int

#int' Source

int' :: forall v m. Monad m => CoproductValidation m (Variant (int :: String | v)) String Int

#nonEmptyString Source

nonEmptyString :: forall v m. Monad m => CoproductValidation m (Variant (nonEmptyArray :: Unit, scalar :: Array String | v)) (Array (Maybe String)) String

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