Polyform.Field.Validation.Combinators

check :: forall m e a. Monad m => Monoid e => (a -> e) -> (a -> Boolean) -> Validation m e a a

These helpers seems rather useful only in case of field validation scenarios so they are here.

checkAndTag :: forall n m e' err e a. Monad m => RowCons n a e' e => IsSymbol n => Monoid err => (Variant e -> err) -> SProxy n -> (a -> Boolean) -> Validation m err a a

_scalar :: SProxy "scalar"

scalar :: forall r m err a. Monad m => Monoid err => (Variant (scalar :: NonEmpty Array a | r) -> err) -> Validation m err (NonEmpty Array a) a

_required :: SProxy "required"

required :: forall r m err a. Monad m => Monoid err => (Variant (required :: Unit | r) -> err) -> Validation m err (Array a) (NonEmpty Array a)

_int :: SProxy "int"

int :: forall r err m. Monad m => Monoid err => (Variant (int :: String | r) -> err) -> Validation m err String Int