Enum WalletCard 

pub enum WalletCard {
    Concrete(PermissionCard),
    Template(PolymorphicPermissionCard),
    Scope(ScopeCard),
}

A card in the caller’s wallet, labelled with its kind.

The three cases hold three distinct card types, and this module offers no conversion between them.

Variants

Concrete(PermissionCard)

A concrete card: every grant names concrete owners and resources.

Template(PolymorphicPermissionCard)

A template card: its grants may contain slot variables (?agent, ?env, …), which resolve for each holder.

Scope(ScopeCard)

The scope card lent to the current invocation. The host lists it only if the agent holds card:inspect, and retires it when the invocation ends.

Implementations

impl WalletCard

pub fn id(&self) -> CardId

The identifier of this card.

Panics

Panics if the card was moved. The host traps if the card was revoked or is unknown.

Trait Implementations

impl Debug for WalletCard

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> From<&'a WalletCard> for ScopeParent<'a>

fn from(card: &'a WalletCard) -> Self

Converts to this type from the input type.