Thentos.CookieSession

Documentation

serveFAction :: forall api m s e v. (HasServer api `[]`, Enter (ServerT api m) (m :~> ExceptT ServantErr IO) (Server api), MonadRandom m, MonadError500 e m, MonadHasSessionCsrfToken s m, MonadViewCsrfSecret v m, MonadUseThentosSessionToken s m) => Proxy api -> Proxy s -> SetCookie -> ExtendClearanceOnSessionToken m -> (IO :~> m) -> (m :~> ExceptT ServantErr IO) -> ServerT api m -> IO Application

enterFAction :: (MonadRandom m, MonadError500 e m, MonadHasSessionCsrfToken s m, MonadViewCsrfSecret v m, MonadUseThentosSessionToken s m) => FSessionKey s -> FSessionMap s -> ExtendClearanceOnSessionToken m -> (IO :~> m) -> (m :~> ExceptT ServantErr IO) -> m :~> ExceptT ServantErr IO

types

data SSession m k v

SSession m k v represents a session storage with keys of type k, values of type v, and operating under the monad m. The underlying implementation uses the 'wai-session' package, and any backend compatible with that package should work here too.

Instances

HasServer * sublayout context => HasServer * ((:>) * * (SSession n k v) sublayout) context

HasServer instance for SSession.

type ServerT * ((:>) * * (SSession n k v) sublayout) m = (Key (Session n k v) -> Maybe (Session n k v)) -> ServerT * sublayout m

type FSession fsd = Session IO () fsd

type FSessionMap fsd = Key (FSession fsd) -> Maybe (FSession fsd)

type FSessionStore fsd = SessionStore IO () fsd

type FServantSession fsd = SSession IO () fsd

type FSessionKey fsd = Key (FSession fsd)