Struct litto::lang::tinylang::TinyLang

pub struct TinyLang;

A tiny Lisp-like language that only has lambda, begin, and define.

Trait Implementations

impl AbstractValue<TinyLang> for Nil

fn apply(&self, env: &L::Env, args: &[L::Expr]) -> Result<L::Value, L::Error>

Call a function.

impl AbstractValue<TinyLang> for NativeProcedure

fn apply(
    &self,
    env: &<TinyLang as Interpreter>::Env,
    args: &[<TinyLang as Interpreter>::Expr]
) -> Result<<TinyLang as Interpreter>::Value, <TinyLang as Interpreter>::Error>

Call a function.

impl AbstractValue<TinyLang> for Procedure

fn apply(
    &self,
    arg_env: &<TinyLang as Interpreter>::Env,
    args: &[<TinyLang as Interpreter>::Expr]
) -> Result<<TinyLang as Interpreter>::Value, <TinyLang as Interpreter>::Error>

Call a function.

impl AbstractValue<TinyLang> for Bool

fn apply(&self, env: &L::Env, args: &[L::Expr]) -> Result<L::Value, L::Error>

Call a function.

impl AbstractValue<TinyLang> for Int

fn apply(&self, env: &L::Env, args: &[L::Expr]) -> Result<L::Value, L::Error>

Call a function.

impl AbstractValue<TinyLang> for Str

fn apply(&self, env: &L::Env, args: &[L::Expr]) -> Result<L::Value, L::Error>

Call a function.

impl AbstractValue<TinyLang> for List

fn apply(&self, env: &L::Env, args: &[L::Expr]) -> Result<L::Value, L::Error>

Call a function.

impl AbstractValue<TinyLang> for Quote

fn apply(&self, env: &L::Env, args: &[L::Expr]) -> Result<L::Value, L::Error>

Call a function.

impl Clone for TinyLang

fn clone(&self) -> TinyLang

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Interpreter for TinyLang

type Value = Value<TinyLang>

The value type the interpreter uses and returns.

type Error = String

The error type that the interpreter raises.

type Env = KvEnv<Self::Value>

The environment type that is used to evaluate code.

type Expr = Sexp<Self::Value>

The expression type.

fn parse(code: &str) -> Result<Self::Expr, Self::Error>

Parse code into an Expr.

fn global_env() -> Self::Env

Define the default global environment.

fn evaluate(
    env: &Self::Env,
    expr: &Self::Expr
) -> Result<Self::Value, Self::Error>

Evaluate an expression in a given environment.

fn interpret(code: &str) -> Result<Self::Value, Self::Error>

Evaluate code in string. This is a shortcut for calling parse, and evaluate with global_env().