Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Core types and functions for HTTP
Synopsis
- data Request = Request {}
- data Response = Response {}
- data ResponseBody
- type HeaderMap = Map HeaderName ByteString
- type QueryMap = Map ByteString (Maybe ByteString)
- class ToText a where
- okResponse :: forall mime a. ToRespBody mime a => a -> Response
- badResponse :: forall mime a. ToRespBody mime a => Status -> a -> Response
- badRequest :: forall media a. ToRespBody media a => a -> Response
- setContent :: MediaType -> ResponseHeaders
- noContentResponse :: Status -> Response
- setRespStatus :: Status -> Response -> Response
- addRespHeaders :: ResponseHeaders -> Response -> Response
- toFullPath :: Request -> Text
types
Http request
Request | |
|
Http response
Response | |
|
Instances
Show Response Source # | |
Eq Response Source # | |
IsResp Response Source # | |
Defined in Mig.Core.Class.Response ok :: RespBody Response -> Response Source # bad :: Status -> RespError Response -> Response Source # noContent :: Status -> Response Source # addHeaders :: ResponseHeaders -> Response -> Response Source # getHeaders :: Response -> ResponseHeaders Source # setStatus :: Status -> Response -> Response Source # getRespBody :: Response -> Maybe (RespBody Response) Source # getRespError :: Response -> Maybe (RespError Response) Source # getStatus :: Response -> Status Source # setMedia :: MediaType -> Response -> Response Source # getMedia :: MediaType Source # toResponse :: Response -> Response Source # | |
MonadIO m => ToPlugin (PluginFun m) Source # | |
type RespBody Response Source # | |
Defined in Mig.Core.Class.Response | |
type RespError Response Source # | |
Defined in Mig.Core.Class.Response | |
type RespMedia Response Source # | |
Defined in Mig.Core.Class.Response |
data ResponseBody Source #
Http response body
Instances
Show ResponseBody Source # | |
Defined in Mig.Core.Types.Http showsPrec :: Int -> ResponseBody -> ShowS # show :: ResponseBody -> String # showList :: [ResponseBody] -> ShowS # | |
Eq ResponseBody Source # | |
Defined in Mig.Core.Types.Http (==) :: ResponseBody -> ResponseBody -> Bool # (/=) :: ResponseBody -> ResponseBody -> Bool # |
type HeaderMap = Map HeaderName ByteString Source #
Headers as map
type QueryMap = Map ByteString (Maybe ByteString) Source #
Map of query parameters for fast-access
Values convertible to lazy text
responses
okResponse :: forall mime a. ToRespBody mime a => a -> Response Source #
Respond with ok 200-status
badResponse :: forall mime a. ToRespBody mime a => Status -> a -> Response Source #
Bad response qith given status
badRequest :: forall media a. ToRespBody media a => a -> Response Source #
Bad request response
setContent :: MediaType -> ResponseHeaders Source #
Headers to set content type
noContentResponse :: Status -> Response Source #
Response with no content
utils
addRespHeaders :: ResponseHeaders -> Response -> Response Source #
toFullPath :: Request -> Text Source #