lamb 0.1.0

Pure untyped lambda calculus in safe Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

//! [Statement]s that can be evaluated at run-time.

use std::fmt::Display;
use std::fmt::Formatter;
use std::fmt::Result as FmtResult;

use crate::Term;

/// Represents a statement that can be evaluated (such as by an interpreter or compiler).
#[derive(Clone, Debug, Eq, PartialEq)]
pub enum Statement<T> {
    /// A binding of a [Term] to an identifier.
    Bind(T, Term<T>),
}

impl<T: Display> Display for Statement<T> {
    fn fmt(&self, formatter: &mut Formatter<'_>) -> FmtResult {
        match self {
            Self::Bind(name, term) => write!(formatter, "{} = {};", name, term),
        }
    }
}