Struct Hole 

pub struct Hole {
    pub id: usize,
    pub expected_type: String,
    pub constraint: Option<String>,
}

A hole in a program sketch, parameterised by expected type.

Fields

id: usize

Unique identifier for this hole.

expected_type: String

Expected type of the expression filling this hole.

constraint: Option<String>

Optional constraint on the filler.

Implementations

impl Hole

pub fn new(id: usize, expected_type: impl Into<String>) -> Self

Create a new unconstrained hole.

pub fn constrained( id: usize, expected_type: impl Into<String>, constraint: impl Into<String>, ) -> Self

Create a constrained hole.

Trait Implementations

impl Clone for Hole

fn clone(&self) -> Hole

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Hole

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

Formats the value using the given formatter.

impl PartialEq for Hole

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

impl StructuralPartialEq for Hole