Moduleservant-auth-server-0.4.10.0Haskell2010
Servant.Auth.Server.Internal.AddSetCookie
Synopsis
- data Nat
- family AddSetCookiesApi
- family AddSetCookieApiVerb
- family MapAddSetCookieApiVerb
- family AddSetCookieApi
- data SetCookieList
- class AddSetCookies
- value mkHeaders
- Packageservant-auth-server-0.4.10.0
- Exports8
- LanguageHaskell2010
- LicenceBSD-3-Clause
Equations
AddSetCookiesApi ('S 'Z) a = AddSetCookieApi aAddSetCookiesApi ('S n) a = AddSetCookiesApi n (AddSetCookieApi a)
Equations
AddSetCookieApiVerb (Headers ls a) = Headers (Header"Set-Cookie"
SetCookie ': ls) aAddSetCookieApiVerb a = Headers '[Header"Set-Cookie"
SetCookie] a
Equations
MapAddSetCookieApiVerb '[] = '[]MapAddSetCookieApiVerb (a ': as) = AddSetCookieApiVerb a ': MapAddSetCookieApiVerb as
Instances8AddSetCookieApi, …
type AddSetCookieApi Raw = RawDefined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookietype AddSetCookieApi (NamedRoutes api) = AddSetCookieApi (ToServantApi api)Defined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookietype AddSetCookieApi (Headers hs a) = AddSetCookieApiVerb (Headers hs a)Defined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookietype AddSetCookieApi (Stream method stat framing ctyps a) = Stream method stat framing ctyps (AddSetCookieApiVerb a)Defined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookietype AddSetCookieApi (UVerb method ctyps as) = UVerb method ctyps (MapAddSetCookieApiVerb as)Defined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookietype AddSetCookieApi (Verb method stat ctyps a) = Verb method stat ctyps (AddSetCookieApiVerb a)Defined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookietype AddSetCookieApi (a :<|> b) = AddSetCookieApi a :<|> AddSetCookieApi bDefined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookietype AddSetCookieApi (a :> b) = a :> AddSetCookieApi bDefined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookie
Constructors
SetCookieNil :: SetCookieList 'ZSetCookieCons :: Maybe SetCookie -> SetCookieList n1 -> SetCookieList ('S n1)
Methods
addSetCookies :: SetCookieList n -> orig -> new
Instances8AddSetCookies, …
orig1 ~ orig2 => AddSetCookies 'Z orig1 orig2Defined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookieAddSetCookies ('S n) Application ApplicationDefined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookiefor
servant <0.11(AddSetCookies ('S n) (ServerT (ToServantApi api) m) cookiedApi, GServantProduct (Rep (api (AsServerT m))), Generic (api (AsServerT m)), ToServant api (AsServerT m) ~ ServerT (ToServantApi api) m) => AddSetCookies ('S n) (api (AsServerT m)) cookiedApiDefined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookie(AddHeader modsDefined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookie"Set-Cookie"
SetCookie cookied new, AddSetCookies n (m old) (m cookied), Functor m) => AddSetCookies ('S n) (m old) (m new)AddSetCookies ('S n) oldb newb => AddSetCookies ('S n) (a -> oldb) (a -> newb)Defined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookie(AddSetCookies ('S n) a a, AddSetCookies ('S n) b b') => AddSetCookies ('S n) (a :<|> b) (a :<|> b')Defined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookie(AddSetCookies ('S n) a a', AddSetCookies ('S n) b b') => AddSetCookies ('S n) (a :<|> b) (a' :<|> b')Defined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookieAddSetCookies ('S n) (Tagged m Application) (Tagged m Application)Defined in servant-auth-server-0.4.10.0 · Servant.Auth.Server.Internal.AddSetCookiefor
servant >=0.11