Safe Haskell	None
Language	Haskell2010

Servant.Auth.Server.Internal.AddSetCookie

Documentation

Constructors

Z
S Nat

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

Equations

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

Equations

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

Instances details

type AddSetCookieApi Raw Source #
Instance details Defined in Servant.Auth.Server.Internal.AddSetCookie type AddSetCookieApi Raw = Raw
type AddSetCookieApi (Headers hs a) Source #
Instance details Defined in Servant.Auth.Server.Internal.AddSetCookie type AddSetCookieApi (Headers hs a) = AddSetCookieApiVerb (Headers hs a)
type AddSetCookieApi (a :<\|> b) Source #
Instance details Defined in Servant.Auth.Server.Internal.AddSetCookie type AddSetCookieApi (a :<\|> b) = AddSetCookieApi a :<\|> AddSetCookieApi b
type AddSetCookieApi (a :> b) Source #
Instance details Defined in Servant.Auth.Server.Internal.AddSetCookie type AddSetCookieApi (a :> b) = a :> AddSetCookieApi b
type AddSetCookieApi (Verb method stat ctyps a) Source #
Instance details 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) Source #
Instance details 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 #

Constructors

SetCookieNil :: SetCookieList 'Z
SetCookieCons :: Maybe SetCookie -> SetCookieList n -> SetCookieList ('S n)

class AddSetCookies (n :: Nat) orig new where Source #

Methods

Instances details

AddSetCookies 'Z orig orig Source #
Instance details Defined in Servant.Auth.Server.Internal.AddSetCookie Methods addSetCookies :: SetCookieList 'Z -> orig -> orig Source #
AddSetCookies ('S n) Application Application Source #	for `servant <0.11`
Instance details Defined in Servant.Auth.Server.Internal.AddSetCookie Methods addSetCookies :: SetCookieList ('S n) -> Application -> Application Source #
(Functor m, AddSetCookies n (m old) (m cookied), AddHeader "Set-Cookie" SetCookie cookied new) => AddSetCookies ('S n) (m old) (m new) Source #
Instance details Defined in Servant.Auth.Server.Internal.AddSetCookie Methods addSetCookies :: SetCookieList ('S n) -> m old -> m new Source #
(AddSetCookies ('S n) a a', AddSetCookies ('S n) b b') => AddSetCookies ('S n) (a :<\|> b) (a' :<\|> b') Source #
Instance details Defined in Servant.Auth.Server.Internal.AddSetCookie Methods addSetCookies :: SetCookieList ('S n) -> (a :<\|> b) -> a' :<\|> b' Source #
AddSetCookies ('S n) oldb newb => AddSetCookies ('S n) (a -> oldb) (a -> newb) Source #
Instance details Defined in Servant.Auth.Server.Internal.AddSetCookie Methods addSetCookies :: SetCookieList ('S n) -> (a -> oldb) -> a -> newb Source #
AddSetCookies ('S n) (Tagged m Application) (Tagged m Application) Source #	for `servant >=0.11`
Instance details Defined in Servant.Auth.Server.Internal.AddSetCookie Methods addSetCookies :: SetCookieList ('S n) -> Tagged m Application -> Tagged m Application Source #