Enum minitt::ast::Closure

pub enum Closure {
    Abstraction(Pattern, Option<Box<Value>>, Expression, Box<Telescope>),
    Value(Box<Value>),
    Choice(Box<Self>, String),
}

Clos in Mini-TT.

Variants

Abstraction(Pattern, Option<Box<Value>>, Expression, Box<Telescope>)

cl in Mini-TT.
Closure that does a pattern matching.

Members: pattern, parameter type (optional), body expression and the captured scope.

Value(Box<Value>)

This is not present in Mini-TT.
Sometimes the closure is already an evaluated value.

Choice(Box<Self>, String)

clCmp in Mini-TT.
Closure that was inside of a case-split.

For example, in a definition:

f = split { TT a => bla };

The part TT a => bla is a choice closure, where Box<Self> refers to the a => bla part and TT is the String.

Methods

impl Closure

pub fn instantiate(self, value: Value) -> Value

* in Mini-TT.
Instantiate a closure with val.

impl Closure

pub fn fmt_with_type(
    &self,
    f: &mut Formatter,
    t: Option<&Value>
) -> Result<(), FmtError>

Actual implementation of fmt for Closure

Trait Implementations

impl Clone for Closure

fn clone(&self) -> Closure

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Display for Closure

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

Formats the value using the given formatter.

impl Debug for Closure

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

Formats the value using the given formatter.