| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Web.Apiary.Session
- data Session sess m
- getSession :: (Has (Session sess m) exts, Monad m) => proxy sess -> ActionT exts prms m (Maybe sess)
- setSession :: (Has (Session sess m) exts, Monad m) => proxy sess -> sess -> ActionT exts prms m ()
- deleteSession :: forall proxy exts prms m sess. (Has (Session sess m) exts, Monad m) => proxy sess -> ActionT exts prms m ()
- session :: (Has (Session sess actM) exts, Monad actM, "session" </ kvs) => proxy sess -> Filter exts actM m kvs (("session" := sess) : kvs)
- session' :: (Has (Session sess actM) exts, KnownSymbol key, Monad actM, key </ kvs) => kProxy key -> sProxy sess -> Filter exts actM m kvs ((key := sess) : kvs)
- data Proxy t :: k -> * = Proxy
Documentation
getSession :: (Has (Session sess m) exts, Monad m) => proxy sess -> ActionT exts prms m (Maybe sess) Source
get session provided type.
setSession :: (Has (Session sess m) exts, Monad m) => proxy sess -> sess -> ActionT exts prms m () Source
set session provided type.
deleteSession :: forall proxy exts prms m sess. (Has (Session sess m) exts, Monad m) => proxy sess -> ActionT exts prms m () Source
delete session provided type.
session :: (Has (Session sess actM) exts, Monad actM, "session" </ kvs) => proxy sess -> Filter exts actM m kvs (("session" := sess) : kvs) Source
filter by has session or not. use "session" dict key.
session = session' (Proxy :: Proxy "session")
session' :: (Has (Session sess actM) exts, KnownSymbol key, Monad actM, key </ kvs) => kProxy key -> sProxy sess -> Filter exts actM m kvs ((key := sess) : kvs) Source
filter by has session or not.