Servant.Auth.Server.Internal.AddSetCookie

Documentation

data Nat

Constructors

Z

S Nat

type family AddSetCookiesApi (n :: Nat) a where ...

Equations

AddSetCookiesApi (S Z) a = AddSetCookieApi a

AddSetCookiesApi (S n) a = AddSetCookiesApi n (AddSetCookieApi a)

type family AddSetCookieApiVerb a where ...

Equations

AddSetCookieApiVerb (Headers ls a) = Headers (Header "Set-Cookie" SetCookie ': ls) a

AddSetCookieApiVerb a = Headers '[Header "Set-Cookie" SetCookie] a

type family AddSetCookieApi a :: *

Instances

type AddSetCookieApi Raw

Defined in Servant.Auth.Server.Internal.AddSetCookie

type AddSetCookieApi Raw = Raw

type AddSetCookieApi (Headers hs a)

Defined in Servant.Auth.Server.Internal.AddSetCookie

type AddSetCookieApi (Headers hs a) = AddSetCookieApiVerb (Headers hs a)

type AddSetCookieApi (a :<|> b)

Defined in Servant.Auth.Server.Internal.AddSetCookie

type AddSetCookieApi (a :<|> b) = AddSetCookieApi a :<|> AddSetCookieApi b

type AddSetCookieApi (a :> b)

Defined in Servant.Auth.Server.Internal.AddSetCookie

type AddSetCookieApi (a :> b) = a :> AddSetCookieApi b

type AddSetCookieApi (Verb method stat ctyps a)

Defined in Servant.Auth.Server.Internal.AddSetCookie

type AddSetCookieApi (Verb method stat ctyps a) = Verb method stat ctyps (AddSetCookieApiVerb a)

type AddSetCookieApi (Stream method stat framing ctyps a)

Defined in Servant.Auth.Server.Internal.AddSetCookie

type AddSetCookieApi (Stream method stat framing ctyps a) = Stream method stat framing ctyps (AddSetCookieApiVerb a)

data SetCookieList (n :: Nat) :: * where

Constructors

SetCookieNil :: SetCookieList Z

SetCookieCons :: Maybe SetCookie -> SetCookieList n -> SetCookieList (S n)

class AddSetCookies (n :: Nat) orig new where

Methods

addSetCookies :: SetCookieList n -> orig -> new

Instances

AddSetCookies Z orig orig

Defined in Servant.Auth.Server.Internal.AddSetCookie

Methods

addSetCookies :: SetCookieList Z -> orig -> orig

AddSetCookies (S n) Application Application

for servant <0.11

Defined in Servant.Auth.Server.Internal.AddSetCookie

Methods

addSetCookies :: SetCookieList (S n) -> Application -> Application

(Functor m, AddSetCookies n (m old) (m cookied), AddHeader "Set-Cookie" SetCookie cookied new) => AddSetCookies (S n) (m old) (m new)

Defined in Servant.Auth.Server.Internal.AddSetCookie

Methods

addSetCookies :: SetCookieList (S n) -> m old -> m new

(AddSetCookies (S n) a a', AddSetCookies (S n) b b') => AddSetCookies (S n) (a :<|> b) (a' :<|> b')

Defined in Servant.Auth.Server.Internal.AddSetCookie

Methods

addSetCookies :: SetCookieList (S n) -> (a :<|> b) -> a' :<|> b'

AddSetCookies (S n) oldb newb => AddSetCookies (S n) (a -> oldb) (a -> newb)

Defined in Servant.Auth.Server.Internal.AddSetCookie

Methods

addSetCookies :: SetCookieList (S n) -> (a -> oldb) -> a -> newb

AddSetCookies (S n) (Tagged m Application) (Tagged m Application)

for servant >=0.11

Defined in Servant.Auth.Server.Internal.AddSetCookie

Methods

addSetCookies :: SetCookieList (S n) -> Tagged m Application -> Tagged m Application

mkHeaders :: SetCookieList x -> [Header]