Pudu programming language
Menu

Std.App.Access.Principal

1 declaration

type

Principal

This declaration introduces a public type.

What it does

Who is asking.

Assembled by whatever established the identity, not here. This module

decides given who someone is; proving who they are has its own failure

modes, and folding the two together is how a decision ends up trusting an

identity nobody proved.

Read the signature

  • This declaration has no value signature because it introduces a type or trait.

Back to Std.App.AccessSearch related declarations