Safe Haskell	Safe-Inferred
Language	Haskell2010

WebGear.Server.Trait.Header

Contents

Orphan instances

Description

Server implementation of the RequestHeader and ResponseHeader traits.

Orphan instances

(Monad m, KnownSymbol name, ToHttpApiData val) => Set (ServerHandler m) (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)) -> ServerHandler m (With Response ts, Attribute (ResponseHeader 'Optional name val) Response) (With Response (ResponseHeader 'Optional name val ': ts)) #
(Monad m, KnownSymbol name, ToHttpApiData val) => Set (ServerHandler m) (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)) -> ServerHandler m (With Response ts, Attribute (ResponseHeader 'Required name val) Response) (With Response (ResponseHeader 'Required name val ': ts)) #
(Monad m, KnownSymbol name, FromHttpApiData val) => Get (ServerHandler m) (RequestHeader 'Optional 'Lenient name val) Request Source #
Instance details Methods getTrait :: forall (ts :: [Type]). Prerequisite (RequestHeader 'Optional 'Lenient name val) ts Request => RequestHeader 'Optional 'Lenient name val -> ServerHandler m (With Request ts) (Either (Absence (RequestHeader 'Optional 'Lenient name val) Request) (Attribute (RequestHeader 'Optional 'Lenient name val) Request)) #
(Monad m, KnownSymbol name, FromHttpApiData val) => Get (ServerHandler m) (RequestHeader 'Optional 'Strict name val) Request Source #
Instance details Methods getTrait :: forall (ts :: [Type]). Prerequisite (RequestHeader 'Optional 'Strict name val) ts Request => RequestHeader 'Optional 'Strict name val -> ServerHandler m (With Request ts) (Either (Absence (RequestHeader 'Optional 'Strict name val) Request) (Attribute (RequestHeader 'Optional 'Strict name val) Request)) #
(Monad m, KnownSymbol name, FromHttpApiData val) => Get (ServerHandler m) (RequestHeader 'Required 'Lenient name val) Request Source #
Instance details Methods getTrait :: forall (ts :: [Type]). Prerequisite (RequestHeader 'Required 'Lenient name val) ts Request => RequestHeader 'Required 'Lenient name val -> ServerHandler m (With Request ts) (Either (Absence (RequestHeader 'Required 'Lenient name val) Request) (Attribute (RequestHeader 'Required 'Lenient name val) Request)) #
(Monad m, KnownSymbol name, FromHttpApiData val) => Get (ServerHandler m) (RequestHeader 'Required 'Strict name val) Request Source #
Instance details Methods getTrait :: forall (ts :: [Type]). Prerequisite (RequestHeader 'Required 'Strict name val) ts Request => RequestHeader 'Required 'Strict name val -> ServerHandler m (With Request ts) (Either (Absence (RequestHeader 'Required 'Strict name val) Request) (Attribute (RequestHeader 'Required 'Strict name val) Request)) #