Module

Polyform.Validators

Package
purescript-polyform-validators
Repository
lambdaterms/purescript-polyform-validators

#Validator Source

type Validator m e a = Validation m (Errors e) a

#Errors Source

type Errors e = Array (Variant e)

#check Source

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

#fail Source

fail :: forall a e. Variant e -> V (Errors e) a