Safe Haskell	None
Language	Haskell2010

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

Minimal complete definition

Methods

Instances

AddSetCookies Z orig orig #
Instance details Defined in Servant.Auth.Server.Internal.AddSetCookie Methods addSetCookies :: SetCookieList Z -> orig -> orig #
AddSetCookies (S n) Application Application #	for `servant <0.11`
Instance details 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) #
Instance details 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') #
Instance details 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) #
Instance details 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`
Instance details Defined in Servant.Auth.Server.Internal.AddSetCookie Methods addSetCookies :: SetCookieList (S n) -> Tagged m Application -> Tagged m Application #