Module

Polyform.Field.Validation.Combinators

#check 

check :: forall a e m. 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 

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

#_scalar 

_scalar :: SProxy "scalar"

#scalar 

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

#_required 

_required :: SProxy "required"

#required 

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

#opt 

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

#_int 

_int :: SProxy "int"

#IntErr 

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

#int 

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

Modules