Struct BridgeFramePayload 

pub struct BridgeFramePayload {
    pub frame: Symbol,
    pub slots: BTreeMap<Symbol, Expr>,
}

Typed payload for a bridge/Frame part.

Fields

frame: Symbol

Registered frame id.

slots: BTreeMap<Symbol, Expr>

Slot values keyed by hole name.

Implementations

impl BridgeFramePayload

pub fn new(frame: Symbol) -> Self

Builds a payload for frame with no slots.

pub fn with_slot(self, name: Symbol, value: Expr) -> Self

Adds one slot value.

pub fn from_expr(expr: &Expr) -> Result<Self>

Decodes a payload expression.

pub fn to_expr(&self) -> Expr

Encodes this payload as a canonical expression map.

Trait Implementations

impl Clone for BridgeFramePayload

fn clone(&self) -> BridgeFramePayload

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for BridgeFramePayload

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

Formats the value using the given formatter.

impl Eq for BridgeFramePayload

impl PartialEq for BridgeFramePayload

fn eq(&self, other: &BridgeFramePayload) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for BridgeFramePayload