Data.HttpSpec

Documentation

type ReqSpec = Spec ReqErr ReqIn ReqOut

type ResSpec = Spec ResErr ResIn ResOut

type HttpSpec = Spec HttpErr

data WebComm

Constructors

WebCommIn WebIn

WebCommOut WebOut

Instances

Show WebComm

data WebIn

Constructors

WebIn

Fields

webIn_req :: Maybe ReqIn

webIn_res :: Maybe ResOut

Instances

Show WebIn

data WebOut

Constructors

WebOut

Fields

webOut_req :: Maybe ReqOut

webOut_res :: Maybe ResIn

Instances

Show WebOut

data WebExc

Constructors

WebExc

Fields

webExc_comm :: Maybe WebComm

webExc_err :: WebErr

Instances

Show WebExc

Error WebExc

Pretty WebExc

data WebErr

Constructors

WebErrMissingParam String

WebErrMissingHeader HttpHeaderName

WebErrInvalidHeaderValue HttpHeaderName HttpHeaderValue String

WebErrInvalidMethod HttpMethod String

WebErrInvalidStatus Int String

WebErrInvalidUrl String String

WebErrMissingContentType

WebErrUnexpectedContentType String String

WebErrEmptyContent

WebErrNoMatch ReqIn

WebErrNotImplemented String

WebErrCustomMsg String

Instances

Show WebErr

Error WebErr

Pretty WebErr

class HasReqSpec a where

Methods

reqSpec :: ReqSpec a

class HasResSpec a where

Methods

resSpec :: ResSpec a

type TextEncoding = DynEncoding

rsHeader :: (IsHttp i, IsHttp o) => HttpHeaderName -> HttpSpec i o HttpHeaderValue

rsHeaderFixed :: (IsHttp i, IsHttp o) => HttpHeader -> HttpSpec i o a -> HttpSpec i o a

rsParam :: HttpParamName -> ReqSpec HttpParamValue

rsMeth :: HttpMethod -> ReqSpec a -> ReqSpec a

rsStatus :: Int -> ResSpec a -> ResSpec a

rsXmlString :: Error e => PU a -> Spec e i o String -> Spec e i o a

rsXml :: Error e => XmlEncoding -> PU a -> Spec e i o ByteString -> Spec e i o a

rsValidXml :: Error e => XmlEncoding -> XmlValidator -> PU a -> Spec e i o ByteString -> Spec e i o a

rsPath :: ReqSpec String

rsPathFixed :: String -> ReqSpec a -> ReqSpec a

rsWithBody :: (IsHttp i, IsHttp o) => (HttpSpec i o ByteString -> HttpSpec i o a) -> HttpSpec i o a

rsBody :: (IsHttp i, IsHttp o) => HttpSpec i o ByteString

rsContentType :: (IsHttp i, IsHttp o) => String -> HttpSpec i o a -> HttpSpec i o a

rsPathSegment :: ReqSpec a -> ReqSpec (String, a)

rsXmlEncoding :: Error e => Spec e i o String -> Spec e i o XmlEncoding

rsTextEncoding :: Error e => Spec e i o String -> Spec e i o TextEncoding

rsEncodingFixed :: (Error e, Encoding enc) => enc -> Spec e i o ByteString -> Spec e i o String

genReqOut :: Monad m => ReqSpec a -> HttpUrl -> a -> m ReqOut

genResOut :: Monad m => ResSpec a -> a -> m ResOut

parseReqIn :: MonadError ReqErr m => ReqSpec a -> ReqIn -> m a

parseResIn :: MonadError ReqErr m => ResSpec a -> ResIn -> m a

rsXmlBody :: (IsHttp i, IsHttp o) => PU a -> HttpSpec i o a

webExcSetReqIn :: ReqIn -> WebExc -> WebExc

webExcSetResIn :: ResIn -> WebExc -> WebExc

webExcSetReqOut :: ReqOut -> WebExc -> WebExc

webExcSetResOut :: ResOut -> WebExc -> WebExc