Module

Polyform.Validator.Pure

Package
purescript-polyform
Repository
purescript-polyform/polyform

#Validator Source

type Validator e i o = Validator Identity e i o

#generalize Source

generalize :: forall e i m o. Applicative m => Validator e i o -> Validator m e i o

#runValidator Source

runValidator :: forall e i o. Validator e i o -> i -> V e o