Trait espr::ir::Legalize

source · [−]
pub trait Legalize: Sized {
    type Input;

    fn legalize(
        namespace: &Namespace<'_>, 
        constraints: &Constraints, 
        scope: &Scope, 
        input: &Self::Input
    ) -> Result<Self, SemanticError>;
}
Expand description

Legalize partial AST input into corresponding intermediate representation

Required Associated Types

AST portion

Required Methods

Implementors