Enum punc::term::Term

pub enum Term {
    Var(String, Type),
    Abs(Vec<(Term, Term)>, Type),
    App(Box<Term>, Box<Term>, Type),
}

Variants

Var(String, Type)

Abs(Vec<(Term, Term)>, Type)

App(Box<Term>, Box<Term>, Type)

Implementations

impl Term

pub fn to_string(&self) -> String

pub fn typ(&self) -> Type

pub fn is_concrete(&self) -> bool

pub fn infer(&self) -> Term

pub fn var(s: &str) -> Term

pub fn abs(ts: Vec<(Term, Term)>) -> Term

pub fn app(f: Term, x: Term) -> Term

pub fn asc(t: Term, tt: Type) -> Term

Trait Implementations

impl Clone for Term

fn clone(&self) -> Term

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Term

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

Formats the value using the given formatter.

impl PartialEq for Term

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for Term

impl StructuralEq for Term

impl StructuralPartialEq for Term