Struct erg_compiler::context::Context

pub struct Context { /* private fields */ }

Represents the context of the current scope

Recursive functions/methods are highlighted with the prefix rec_, as performance may be significantly degraded.

Implementations

impl Context

pub fn new_module<S: Into<Str>>(name: S, mod_cache: SharedModuleCache) -> Self

impl Context

pub fn sort_types<'a>(
    &self,
    types: impl Iterator<Item = &'a Type>
) -> Vec<&'a Type>

Perform types linearization. TODO: Current implementation may be very inefficient.

C3 linearization requires prior knowledge of inter-type dependencies, and cannot be used for Erg structural subtype linearization

Algorithm:

[Int, Str, Nat, Never, Obj, Str!, Module]
=> [], [Int, Str, Nat, Never, Obj, Str!, Module]
=> [[Int]], [Str, Nat, Never, Obj, Str!, Module]
=> [[Int], [Str]], [Nat, Never, Obj, Str!, Module]
=> ...
=> [[Int, Nat, Never, Obj]], [Str, Str!], [Module]]
=> [[Never, Nat, Int, Obj], [Str!, Str], [Module]]
=> [Never, Nat, Int, Obj, Str!, Str, Module]
=> [Never, Nat, Int, Str!, Str, Module, Obj]

impl Context

pub fn test_refinement_subtyping(&self) -> Result<(), ()>

pub fn test_resolve_trait_inner1(&self) -> Result<(), ()>

pub fn test_instantiation_and_generalization(&self) -> Result<(), ()>

impl Context

pub const TOP_LEVEL: usize = 1usize

pub const GENERIC_LEVEL: usize = 18_446_744_073_709_551_615usize

impl Context

pub fn new(
    name: Str,
    kind: ContextKind,
    params: Vec<ParamSpec>,
    outer: Option<Context>,
    mod_cache: Option<SharedModuleCache>,
    level: usize
) -> Self

pub fn with_capacity(
    name: Str,
    kind: ContextKind,
    params: Vec<ParamSpec>,
    outer: Option<Context>,
    capacity: usize,
    mod_cache: Option<SharedModuleCache>,
    level: usize
) -> Self

pub fn mono(
    name: Str,
    kind: ContextKind,
    outer: Option<Context>,
    mod_cache: Option<SharedModuleCache>,
    level: usize
) -> Self

pub fn poly(
    name: Str,
    kind: ContextKind,
    params: Vec<ParamSpec>,
    outer: Option<Context>,
    mod_cache: Option<SharedModuleCache>,
    level: usize
) -> Self

pub fn poly_trait<S: Into<Str>>(
    name: S,
    params: Vec<ParamSpec>,
    mod_cache: Option<SharedModuleCache>,
    level: usize
) -> Self

pub fn poly_class<S: Into<Str>>(
    name: S,
    params: Vec<ParamSpec>,
    mod_cache: Option<SharedModuleCache>,
    level: usize
) -> Self

pub fn mono_trait<S: Into<Str>>(
    name: S,
    mod_cache: Option<SharedModuleCache>,
    level: usize
) -> Self

pub fn mono_class<S: Into<Str>>(
    name: S,
    mod_cache: Option<SharedModuleCache>,
    level: usize
) -> Self

pub fn methods<S: Into<Str>>(
    name: S,
    mod_cache: Option<SharedModuleCache>,
    level: usize
) -> Self

pub fn poly_patch<S: Into<Str>>(
    name: S,
    params: Vec<ParamSpec>,
    mod_cache: Option<SharedModuleCache>,
    level: usize
) -> Self

pub fn module(
    name: Str,
    mod_cache: Option<SharedModuleCache>,
    capacity: usize
) -> Self

pub fn instant(
    name: Str,
    capacity: usize,
    mod_cache: Option<SharedModuleCache>,
    outer: Context
) -> Self

pub fn caused_by(&self) -> AtomicStr

Trait Implementations

impl Clone for Context

fn clone(&self) -> Context

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Context

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

Formats the value using the given formatter.

impl Default for Context

fn default() -> Self

Returns the “default value” for a type.

impl Display for Context

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

Formats the value using the given formatter.