webgear-swagger-1.1.1: Composable, type-safe library to build HTTP API servers
Safe HaskellSafe-Inferred
LanguageHaskell2010

WebGear.Swagger.Trait.Header

Description

Swagger implementation of Header trait.

Orphan instances

KnownSymbol name => Set (SwaggerHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (ResponseHeader 'Optional name val) Response Source # 
Instance details

Methods

setTrait :: forall (ts :: [Type]). ResponseHeader 'Optional name val -> (With Response ts -> Response -> Attribute (ResponseHeader 'Optional name val) Response -> With Response (ResponseHeader 'Optional name val ': ts)) -> SwaggerHandler m (With Response ts, Attribute (ResponseHeader 'Optional name val) Response) (With Response (ResponseHeader 'Optional name val ': ts)) #

KnownSymbol name => Set (SwaggerHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (ResponseHeader 'Required name val) Response Source # 
Instance details

Methods

setTrait :: forall (ts :: [Type]). ResponseHeader 'Required name val -> (With Response ts -> Response -> Attribute (ResponseHeader 'Required name val) Response -> With Response (ResponseHeader 'Required name val ': ts)) -> SwaggerHandler m (With Response ts, Attribute (ResponseHeader 'Required name val) Response) (With Response (ResponseHeader 'Required name val ': ts)) #

(KnownSymbol name, ToParamSchema val, TraitAbsence (RequestHeader 'Optional ps name val) Request) => Get (SwaggerHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (RequestHeader 'Optional ps name val) Request Source # 
Instance details

Methods

getTrait :: forall (ts :: [Type]). RequestHeader 'Optional ps name val -> SwaggerHandler m (With Request ts) (Either (Absence (RequestHeader 'Optional ps name val) Request) (Attribute (RequestHeader 'Optional ps name val) Request)) #

(KnownSymbol name, ToParamSchema val, TraitAbsence (RequestHeader 'Required ps name val) Request) => Get (SwaggerHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (RequestHeader 'Required ps name val) Request Source # 
Instance details

Methods

getTrait :: forall (ts :: [Type]). RequestHeader 'Required ps name val -> SwaggerHandler m (With Request ts) (Either (Absence (RequestHeader 'Required ps name val) Request) (Attribute (RequestHeader 'Required ps name val) Request)) #