Polyform.Tokenized.Validator

type Validator m err = Tokenized (Validator m err)

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

run :: forall err i m o. Functor m => Validator m err i o -> List i -> m (V err o)

end :: forall err i m. Monad m => Semigroup err => (i -> err) -> Validator m err i Unit

TODO: Do we want to handle end as a part of serializer type so it is more isomorphic?