Polyform.Validators.Json

type JsError r = (jsError :: { msg :: String, path :: List String } | r)

type JsValidation m e a = Validator m (JsError e) Json a

array :: forall e m. Monad m => JsValidation m e (Array Json)

arrayOf :: forall a e m. Monad m => JsValidation m e a -> JsValidation m e (Array a)

elem :: forall a e m. Monad m => Int -> JsValidation m e a -> JsValidation m e a

failure :: forall a e. String -> V (Errors (JsError e)) a

field :: forall a e m. Monad m => String -> JsValidation m e a -> JsValidation m e a

number :: forall e m. Monad m => JsValidation m e Number

int :: forall e m. Monad m => JsValidation m e Int

object :: forall e m. Monad m => Validator m (JsError e) Json (Object Json)

optionalField :: forall a e m. Monad m => Monoid a => String -> JsValidation m e a -> JsValidation m e a

string :: forall e m. Monad m => JsValidation m e String