Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family AddSetCookiesApi (n :: Nat) a where ... Source #
AddSetCookiesApi (S Z) a = AddSetCookieApi a | |
AddSetCookiesApi (S n) a = AddSetCookiesApi n (AddSetCookieApi a) |
type family AddSetCookieApiVerb a where ... Source #
AddSetCookieApiVerb (Headers ls a) = Headers (Header "Set-Cookie" SetCookie ': ls) a | |
AddSetCookieApiVerb a = Headers '[Header "Set-Cookie" SetCookie] a |
type family AddSetCookieApi a :: * Source #
Instances
type AddSetCookieApi Raw Source # | |
Defined in Servant.Auth.Server.Internal.AddSetCookie | |
type AddSetCookieApi (Headers hs a) Source # | |
Defined in Servant.Auth.Server.Internal.AddSetCookie | |
type AddSetCookieApi (a :<|> b) Source # | |
Defined in Servant.Auth.Server.Internal.AddSetCookie | |
type AddSetCookieApi (a :> b) Source # | |
Defined in Servant.Auth.Server.Internal.AddSetCookie | |
type AddSetCookieApi (Verb method stat ctyps a) Source # | |
Defined in Servant.Auth.Server.Internal.AddSetCookie | |
type AddSetCookieApi (Stream method stat framing ctyps a) Source # | |
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 Source #
SetCookieNil :: SetCookieList Z | |
SetCookieCons :: Maybe SetCookie -> SetCookieList n -> SetCookieList (S n) |
class AddSetCookies (n :: Nat) orig new where Source #
addSetCookies :: SetCookieList n -> orig -> new Source #
Instances
mkHeaders :: SetCookieList x -> [Header] Source #