Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Nat
- type family AddSetCookiesApi (n :: Nat) a where ...
- type family AddSetCookieApiVerb a where ...
- type family AddSetCookieApi a :: *
- data SetCookieList (n :: Nat) :: * where
- SetCookieNil :: SetCookieList Z
- SetCookieCons :: Maybe SetCookie -> SetCookieList n -> SetCookieList (S n)
- class AddSetCookies (n :: Nat) orig new where
- mkHeaders :: SetCookieList x -> [Header]
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 #
type AddSetCookieApi Raw Source # | |
type AddSetCookieApi ((:<|>) a b) Source # | |
type AddSetCookieApi ((:>) k * a b) Source # | |
type AddSetCookieApi (Verb k1 * method stat ctyps a) Source # | |
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 #
AddSetCookies Z orig orig Source # | |
AddSetCookies (S n) Application Application Source # | for |
(Functor m, AddSetCookies n (m old) (m cookied), AddHeader "Set-Cookie" SetCookie cookied new) => AddSetCookies (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 # | |
AddSetCookies (S n) oldb newb => AddSetCookies (S n) (a -> oldb) (a -> newb) Source # | |
AddSetCookies (S n) (Tagged k m Application) (Tagged k m Application) Source # | for |
mkHeaders :: SetCookieList x -> [Header] Source #