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

WebGear.Server.Trait.Header

Description

Server implementation of the Header trait.

Orphan instances

(Monad m, KnownSymbol name, FromHttpApiData val) => Get (ServerHandler m) (Header 'Optional 'Lenient name val) Request Source # 
Instance details

Methods

getTrait :: forall (ts :: [Type]). Header 'Optional 'Lenient name val -> ServerHandler m (Linked ts Request) (Either (Absence (Header 'Optional 'Lenient name val) Request) (Attribute (Header 'Optional 'Lenient name val) Request)) #

(Monad m, KnownSymbol name, FromHttpApiData val) => Get (ServerHandler m) (Header 'Optional 'Strict name val) Request Source # 
Instance details

Methods

getTrait :: forall (ts :: [Type]). Header 'Optional 'Strict name val -> ServerHandler m (Linked ts Request) (Either (Absence (Header 'Optional 'Strict name val) Request) (Attribute (Header 'Optional 'Strict name val) Request)) #

(Monad m, KnownSymbol name, FromHttpApiData val) => Get (ServerHandler m) (Header 'Required 'Lenient name val) Request Source # 
Instance details

Methods

getTrait :: forall (ts :: [Type]). Header 'Required 'Lenient name val -> ServerHandler m (Linked ts Request) (Either (Absence (Header 'Required 'Lenient name val) Request) (Attribute (Header 'Required 'Lenient name val) Request)) #

(Monad m, KnownSymbol name, FromHttpApiData val) => Get (ServerHandler m) (Header 'Required 'Strict name val) Request Source # 
Instance details

Methods

getTrait :: forall (ts :: [Type]). Header 'Required 'Strict name val -> ServerHandler m (Linked ts Request) (Either (Absence (Header 'Required 'Strict name val) Request) (Attribute (Header 'Required 'Strict name val) Request)) #

(Monad m, KnownSymbol name, ToByteString val) => Set (ServerHandler m) (Header 'Optional 'Strict name val) Response Source # 
Instance details

Methods

setTrait :: forall (ts :: [Type]). Header 'Optional 'Strict name val -> (Linked ts Response -> Response -> Attribute (Header 'Optional 'Strict name val) Response -> Linked (Header 'Optional 'Strict name val ': ts) Response) -> ServerHandler m (Linked ts Response, Attribute (Header 'Optional 'Strict name val) Response) (Linked (Header 'Optional 'Strict name val ': ts) Response) #

(Monad m, KnownSymbol name, ToByteString val) => Set (ServerHandler m) (Header 'Required 'Strict name val) Response Source # 
Instance details

Methods

setTrait :: forall (ts :: [Type]). Header 'Required 'Strict name val -> (Linked ts Response -> Response -> Attribute (Header 'Required 'Strict name val) Response -> Linked (Header 'Required 'Strict name val ': ts) Response) -> ServerHandler m (Linked ts Response, Attribute (Header 'Required 'Strict name val) Response) (Linked (Header 'Required 'Strict name val ': ts) Response) #