Std.App.Session
29 public declarations
- anonymous
Int -> Result[Std.App.Session.Session, Std.App.Session.SessionError]A session belonging to nobody in particular.
- boundedBy
Int -> Int -> Std.App.Session.BoundsBounds a program chose.
- bounds
Std.App.Session.BoundsThe bounds a session has when nobody chose.
- Bounds
How long a session may live, and how long it may sit unused.
- cookieFor
&Std.App.Session.Session -> &Std.App.Session.Bounds -> Std.Http.SetCookieThe cookie a session travels in.
- cookieName
StrWhat the cookie is called, for a program that writes its own.
- count
&Std.App.Session.Sessions -> IntHow many sessions are held.
- endingCookie
Std.Http.SetCookieThe cookie that ends a session in the reader's browser.
- expiry
&Std.App.Session.Session -> &Std.App.Session.Bounds -> Int -> Std.App.Session.ExpiryWhether a session is still good, and if not, which bound it passed.
- Expiry
Why a session is no longer good.
- explain
&Std.App.Session.SessionError -> StrWhat a refusal says.
- explainExpiry
&Std.App.Session.Expiry -> StrWhat an expiry says.
- find
&Std.App.Session.Sessions -> Str -> &Std.App.Session.Bounds -> Int -> Option[Std.App.Session.Session]The session a name refers to, if it is one that is held and still good.
- forgetting
&Std.App.Session.Sessions -> Str -> Std.App.Session.SessionsThe sessions with one forgotten.
- identified
&Std.App.Session.Session -> BoolWhether a session belongs to somebody.
- identityOf
&Std.App.Session.Session -> Option[Str]Who it belongs to, or nobody.
- keeping
&Std.App.Session.Sessions -> &Std.App.Session.Session -> Std.App.Session.SessionsThe sessions with one more kept.
- live
&Std.App.Session.Session -> &Std.App.Session.Bounds -> Int -> BoolWhether a session may still be used.
- nameFrom
&Array[Std.Http.Cookie] -> Option[Str]The session name a request carried, if it carried one.
- nameOf
&Std.App.Session.Session -> StrWhat the session is called.
- none
Std.App.Session.SessionsNo sessions at all.
- Session
Somebody remembered between requests.
- SessionError
Why a session could not be started or continued.
- Sessions
The sessions a program is holding.
- signedIn
&Std.App.Session.Session -> Str -> Int -> Result[Std.App.Session.Session, Std.App.Session.SessionError]The session somebody has after signing in.
- signedOut
&Std.App.Session.Session -> Int -> Result[Std.App.Session.Session, Std.App.Session.SessionError]The session somebody has after signing out.
- started
Str -> Int -> Result[Std.App.Session.Session, Std.App.Session.SessionError]A session for somebody who has just proved who they are, with nothing
- touched
&Std.App.Session.Session -> Int -> Std.App.Session.SessionThe same session, seen now.
- withoutExpired
&Std.App.Session.Sessions -> &Std.App.Session.Bounds -> Int -> Std.App.Session.SessionsThe sessions with every expired one forgotten.
