Module

Polyform.Validators.Json

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

#JsonError Source

type JsonError r = (json :: { msg :: String, path :: List String } | r)

#JsonDecodingError Source

type JsonDecodingError e = (jsonDecoding :: String | e)

Validator which builds Json value from String. It is not incorporated into default Validator stack because you don't have to start from String value (as it is in case of for example Affjax validator).

#Validator Source

type Validator m e a = Validator m (JsonError e) Json a

#array Source

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

#arrayOf Source

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

#boolean Source

boolean :: forall e m. Monad m => Validator m e Boolean

#elem Source

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

#extendErr Source

extendErr :: forall e. String -> Errors (JsonError e) -> Errors (JsonError e)

#failure Source

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

#field Source

field :: forall a e m. Monad m => String -> Validator m e a -> Validator m (JsonError e) (Object Json) a

#number Source

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

#int Source

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

#json Source

json :: forall m e. Monad m => Validator m (JsonDecodingError e) String Json

#jsType Source

jsType :: Json -> String

#object Source

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

#optionalField Source

optionalField :: forall a e m. Monad m => String -> Validator m e a -> Validator m (JsonError e) (Object Json) (Maybe a)

#string Source

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

Modules: Polyform.Dual.Validators.UrlEncoded; Polyform.Duals.Validators.Json; Polyform.Validators; Polyform.Validators.Affjax; Polyform.Validators.Json; Polyform.Validators.UrlEncoded; Polyform.Validators.UrlEncoded.Parser; Polyform.Validators.UrlEncoded.Types