Pudu programming language
Menu

Std.App.Session.forgetting

1 declaration

fn

forgetting: &Std.App.Session.Sessions -> Str -> Std.App.Session.Sessions

This is a callable function.

What it does

The sessions with one forgotten.

What signing out does to the store, since the session that replaced it has

a different name and the old one must stop working.

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.

Back to Std.App.SessionSearch related declarations