Struct erg_compiler::context::eval::SubstContext

pub struct SubstContext<'c> { /* private fields */ }

Instantiate the polymorphic type from the quantified state.

e.g.

SubstContext::new(Array(?T, 0), ...) => SubstContext{ params: { 'T: ?T; 'N: 0 }, ... }
self.substitute(Array!('T; !'N)): Array(?T, !0)

Implementations

impl<'c> SubstContext<'c>

pub fn new(substituted: &Type, ctx: &'c Context, loc: Location) -> Self

substituted is used to obtain real argument information. So it must be instantiated as Array(?T, 0) and so on.

ctx is used to obtain information on the names and variance of the parameters.

pub fn substitute(&self, quant_t: Type) -> TyCheckResult<Type>

Trait Implementations

impl<'c> Debug for SubstContext<'c>

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

Formats the value using the given formatter.

impl Display for SubstContext<'_>

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

Formats the value using the given formatter.