Struct TowerTypes 

pub struct TowerTypes { /* private fields */ }

The reached bindings, results and parameters of a program.

Implementations

impl TowerTypes

pub fn of_program(stmts: &[Stmt<'_>], interner: &Interner) -> Option<TowerTypes>

The program’s answer, or None when the extension reaches nothing.

pub fn binding(&self, scope: Scope, sym: Symbol) -> bool

Whether sym, as named in scope, can hold a value of the extension. A function reads the program’s root bindings too.

pub fn returns(&self, f: Symbol) -> bool

Whether the function f can return a value of the extension.

pub fn param_at(&self, f: Symbol, i: usize) -> bool

Whether the ith parameter of the program’s function f can hold a value of the extension.

pub fn declares(&self, f: Symbol) -> bool

Whether the program declares a function named f, which a call of f then means over any builtin of that name.

pub fn names(&self) -> HashSet<Symbol>

Every name, in any scope, that can hold a value of the extension.

pub fn expr(&self, scope: Scope, expr: &Expr<'_>) -> bool

Whether expr, evaluated in scope, can be a value of the extension.

Trait Implementations

impl Clone for TowerTypes

fn clone(&self) -> TowerTypes

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TowerTypes

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

Formats the value using the given formatter.

impl Default for TowerTypes

fn default() -> TowerTypes

Returns the “default value” for a type.

impl PartialEq for TowerTypes

fn eq(&self, other: &TowerTypes) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TowerTypes

impl StructuralPartialEq for TowerTypes