Pudu programming language
Menu

Std.App.Access.decide

1 declaration

fn

decide: &Std.App.Access.Requirement -> &Std.App.Access.Principal -> Std.App.Access.Decision

This is a callable function.

What it does

What a requirement decides about a principal.

A pure function, so a program's authorisation can be checked by comparing

values and every branch reached without a request.

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.AccessSearch related declarations