Module

Data.Validation.Jaws.Http

Package
purescript-jaws
Repository
paluh/purescript-jaws

#QueryField Source

#addFieldFromQuery Source

addFieldFromQuery :: forall a e m s ir ir' vr vr'. 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 a b e m. Monad m => CoproductValidation m e a b -> CoproductValidation m e (Array a) (Maybe b)

#catMaybesV Source

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

#emptyArrayV Source

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

#nonEmptyArray Source

#nonEmptyArray' Source

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

#scalar Source

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

#scalar' Source

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

#int' Source

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

#nonEmptyString Source

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