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 => Cons 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)

opt :: forall o m i e. Monad m => Validation m (Array (Variant (required :: Unit | e))) i o -> Validation m (Array (Variant e)) i (Maybe o)

_int :: SProxy "int"

type IntErr e = (int :: String | e)

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