Enum DerivationBindings 

pub enum DerivationBindings {
    Pair {
        matched: Box<Value>,
        differed: Box<Value>,
        combine: Box<Value>,
    },
    Single {
        at_constructor: Box<Value>,
        combine: Box<Value>,
    },
}

The bindings of a derivation. Which three or two there are is decided by the member’s signature, and each is held in its own field so that none can be missing. Each is boxed, for the reason a Value is large.

Variants

Pair

A derivation over two values, for a member at a -> a -> R.

Fields

matched: Box<Value>

differed: Box<Value>

combine: Box<Value>

Single

A derivation over one value, for a member at a -> R.

Fields

at_constructor: Box<Value>

combine: Box<Value>

Implementations

impl DerivationBindings

pub fn roles(&self) -> Vec<(DerivationRole, &Value)>

Every binding with its role, in the order the chapter lists them.

Trait Implementations

impl Clone for DerivationBindings

fn clone(&self) -> DerivationBindings

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DerivationBindings

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

Formats the value using the given formatter.

impl PartialEq for DerivationBindings

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DerivationBindings