Type Definition erg_compiler::error::EffectError

pub type EffectError = TyCheckError;

Implementations

impl EffectError

pub fn has_effect(
    input: Input,
    errno: usize,
    expr: &Expr,
    caused_by: String
) -> Self

pub fn proc_assign_error(
    input: Input,
    errno: usize,
    loc: Location,
    caused_by: String
) -> Self

pub fn touch_mut_error(
    input: Input,
    errno: usize,
    expr: &Expr,
    caused_by: String
) -> Self