Pudu programming language
Menu

Std.App.Session.signedIn

1 declaration

fn

signedIn: &Std.App.Session.Session -> Str -> Int -> Result[Std.App.Session.Session, Std.App.Session.SessionError]

This is a callable function.

What it does

The session somebody has after signing in.

Always a new name. There is no call that changes who a session belongs to

while keeping the name it had, and that absence is what closes the oldest

attack against sessions: somebody arranges for a victim's browser to hold a

name they already know, waits for the victim to sign in, then presents the

same name. Every defence amounts to issuing a new name at this moment, so

here it is not a step to remember.

Read the signature

  • The text after the name is the type checked by Pudu.
  • Read arrows from left to right: inputs come first, and the final type is returned.
  • & borrows a value for this call instead of moving or copying it.
  • Names inside [ ] are type arguments, such as the item type held by a collection.
  • Result makes success and recoverable failure part of the function's type.

Back to Std.App.SessionSearch related declarations