Struct TypeEnvironment 

pub struct TypeEnvironment { /* private fields */ }

Type inference types: Perl types, constraints, and inference engine. Type environment for tracking variable types

Implementations

impl TypeEnvironment

pub fn new() -> TypeEnvironment

Creates a new empty type environment

pub fn with_parent(parent: TypeEnvironment) -> TypeEnvironment

Creates a new type environment with a parent scope

pub fn set_variable(&mut self, name: String, ty: PerlType)

Sets the type for a variable in the current scope

pub fn get_variable(&self, name: &str) -> Option<&PerlType>

Gets the type of a variable, searching parent scopes if needed

pub fn set_subroutine(&mut self, name: String, ty: PerlType)

Sets the type signature for a subroutine in the current scope

pub fn get_subroutine(&self, name: &str) -> Option<&PerlType>

Gets the type signature of a subroutine, searching parent scopes if needed

Trait Implementations

impl Clone for TypeEnvironment

fn clone(&self) -> TypeEnvironment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeEnvironment

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

Formats the value using the given formatter.

impl Default for TypeEnvironment

fn default() -> TypeEnvironment

Returns the “default value” for a type.