Struct Environment 

pub struct Environment { /* private fields */ }

Type checking environment

Contains:

• Word definitions (name -> effect signature)
• Type definitions (name -> ADT definition)
• Built-in primitives

Implementations

impl Environment

pub fn new() -> Self

Create a new environment with built-in primitives

pub fn add_word(&mut self, name: String, effect: Effect)

Add a word definition

pub fn lookup_word(&self, name: &str) -> Option<&Effect>

Look up a word’s effect signature

pub fn add_type(&mut self, typedef: TypeDef)

Add a type definition

pub fn lookup_type(&self, name: &str) -> Option<&TypeDef>

Look up a type definition

pub fn get_variants(&self, type_name: &str) -> Option<&[Variant]>

Get all variants for a sum type (for exhaustiveness checking)

Trait Implementations

impl Clone for Environment

fn clone(&self) -> Environment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Environment

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

Formats the value using the given formatter.

impl Default for Environment

fn default() -> Self

Returns the “default value” for a type.