Polyform.Validators.Affjax

type HttpError (err :: Row Type) = (wrongHttpStatus :: StatusCode | err)

type AffjaxError (err :: Row Type) = (remoteError :: String | err)

type ResponseFormatError (err :: Row Type) = (responseFormatError :: String | err)

valid :: forall a e. Semigroup e => a -> V e a

type Error err = First (Variant (AffjaxError + ResponseFormatError + err))

affjax :: forall err a. Validator Aff (Error err) (Request a) (Response a)

status :: forall res err m. Monad m => (StatusCode -> Boolean) -> Validator m (Error (HttpError + err)) (Response res) (Response res)

body :: forall res err m. Monad m => Validator m (Error (HttpError + err)) (Response res) res

isStatusOK :: StatusCode -> Boolean

affjaxJson :: forall errs. Validator Aff (Error (HttpError + AffjaxError + ResponseFormatError + errs)) (Request Json) Json