apiary-session-1.3.0: session support for apiary web framework.

Safe HaskellNone
LanguageHaskell2010

Web.Apiary.Session

Synopsis

Documentation

data Session sess m Source

Instances

Extension (Session sess m) 

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.

data Proxy t :: k -> *

A concrete, poly-kinded proxy type

Constructors

Proxy 

Instances

Monad (Proxy *) 
Functor (Proxy *) 
Applicative (Proxy *) 
HasDesc (Proxy Symbol) 
Bounded (Proxy k s) 
Enum (Proxy k s) 
Eq (Proxy k s) 
Ord (Proxy k s) 
Read (Proxy k s) 
Show (Proxy k s) 
Ix (Proxy k s) 
Typeable (k -> *) (Proxy k)