Type Definition erg_compiler::error::EffectError

pub type EffectError = TyCheckError;

Implementations

impl EffectError

pub fn has_effect<S: Into<AtomicStr>>(
    input: Input,
    errno: usize,
    expr: &Expr,
    caused_by: S
) -> Self

pub fn proc_assign_error<S: Into<AtomicStr>>(
    input: Input,
    errno: usize,
    sig: &Signature,
    caused_by: S
) -> Self