Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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, NotMember "session" kvs) => proxy sess -> ApiaryT exts (("session" := sess) : kvs) actM m () -> ApiaryT exts kvs actM m ()
- session' :: (Has (Session sess actM) exts, KnownSymbol key, Monad actM, NotMember key kvs) => kProxy key -> sProxy sess -> ApiaryT exts ((key := sess) : kvs) actM m () -> ApiaryT exts kvs actM m ()
- 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, NotMember "session" kvs) => proxy sess -> ApiaryT exts (("session" := sess) : kvs) actM m () -> ApiaryT exts kvs actM m () Source
filter by has session or not. use "session" dict key.
session = session' (Proxy :: Proxy "session")