Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
IO-servers
Synopsis
- type Get a = Send GET IO a
- type Post a = Send POST IO a
- type Put a = Send PUT IO a
- type Delete a = Send DELETE IO a
- type Patch a = Send PATCH IO a
- type Options a = Send OPTIONS IO a
- type Head a = Send HEAD IO a
- type Trace a = Send TRACE IO a
- data Resp media a = Resp {}
- data RespOr ty err a
- newtype Body (media :: k) a = Body a
- module Mig.Extra.Server.Common
Http verbs
Response
Response with info on the media-type encoded as type.
Instances
Functor (Resp media) | |
Show a => Show (Resp media a) | |
Eq a => Eq (Resp media a) | |
ToRespBody ty a => IsResp (Resp ty a) | |
Defined in Mig.Core.Class.Response ok :: RespBody (Resp ty a) -> Resp ty a # bad :: Status -> RespError (Resp ty a) -> Resp ty a # noContent :: Status -> Resp ty a # addHeaders :: ResponseHeaders -> Resp ty a -> Resp ty a # getHeaders :: Resp ty a -> ResponseHeaders # setStatus :: Status -> Resp ty a -> Resp ty a # getRespBody :: Resp ty a -> Maybe (RespBody (Resp ty a)) # getRespError :: Resp ty a -> Maybe (RespError (Resp ty a)) # getStatus :: Resp ty a -> Status # setMedia :: MediaType -> Resp ty a -> Resp ty a # toResponse :: Resp ty a -> Response # | |
type RespBody (Resp ty a) | |
Defined in Mig.Core.Class.Response | |
type RespError (Resp ty a) | |
Defined in Mig.Core.Class.Response | |
type RespMedia (Resp ty a) | |
Defined in Mig.Core.Class.Response |
Response that can contain an error. The error is represented with left case of an Either
-type.
Instances
re-exports
Generic case for request body. The type encodes a media type and value of the request body.
Body a |
Instances
(FromReqBody ty a, ToSchema a, ToPlugin b) => ToPlugin (Body ty a -> b) | |
Defined in Mig.Core.Class.Plugin | |
(ToSchema a, FromReqBody media a, ToRoute b) => ToRoute (Body media a -> b) | |
Defined in Mig.Core.Class.Route toRouteInfo :: RouteInfo -> RouteInfo # toRouteFun :: (Body media a -> b) -> ServerFun (MonadOf (Body media a -> b)) # | |
FromClient b => FromClient (Body media a -> b) | |
Defined in Mig.Client type ClientResult (Body media a -> b) # fromClient :: (Body media a -> b) -> ClientResult (Body media a -> b) # | |
(ToRespBody media a, ToClient b) => ToClient (Body media a -> b) | |
Defined in Mig.Client | |
type ClientResult (Body media a -> b) | |
Defined in Mig.Client |
module Mig.Extra.Server.Common