Enum WitnessOrHole 

pub enum WitnessOrHole {
    Witness,
    TypedHole(Arc<str>),
}

For named construct nodes, we abuse the witness combinator to support typed holes.

We do this because witness nodes have free source and target arrows, and allow us to store arbitrary data in them using the generic witness type of the node. Holes are characterized entirely by their source and target type, just like witnesses, and are labelled by their name.

Variants

Witness

This witness is an actual witness combinator (with no witness data attached, that comes later)

TypedHole(Arc<str>)

This is a typed hole, with the given name.

Implementations

impl WitnessOrHole

pub fn shallow_clone(&self) -> Self

Trait Implementations

impl Clone for WitnessOrHole

fn clone(&self) -> WitnessOrHole

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WitnessOrHole

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

Formats the value using the given formatter.

impl From<&NoWitness> for WitnessOrHole

fn from(_: &NoWitness) -> Self

Converts to this type from the input type.

impl Hash for WitnessOrHole

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for WitnessOrHole

fn eq(&self, other: &WitnessOrHole) -> 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 Eq for WitnessOrHole

impl StructuralPartialEq for WitnessOrHole