Polyform.Tokenized.Validator.Dual

type Dual m err = Dual (Validator m err) Identity

type DualD m err = DualD (Validator m err) Identity

liftUntokenized :: forall err i m o. Semigroup err => Monad m => err -> Dual m err i o -> Dual m err i o

runValidator :: forall err i o m. Monad m => Dual m err i o -> (List i -> m (V err o))

runSerializer :: forall err i o m. Applicative m => Dual m err i o -> (o -> List i)

end :: forall err i m. Monad m => Monoid err => (i -> err) -> Dual m err i Unit