Struct Lambda 

pub struct Lambda {
    pub head: IdRange<PatId>,
    pub body: NodeId,
    pub captures: Plan,
}

The code of an abstraction. Its arity is head.len.

Fields

head: IdRange<PatId>

body: NodeId

captures: Plan

Trait Implementations

impl Clone for Lambda

fn clone(&self) -> Lambda

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Lambda

impl Debug for Lambda

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

Formats the value using the given formatter.

impl Eq for Lambda

impl PartialEq for Lambda

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Lambda