Trait chalk_integration::lowering::LowerWithEnv

trait LowerWithEnv {
    type Lowered;

    // Required method
    fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>;
}

Required Associated Types

type Lowered

Required Methods

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

Implementations on Foreign Types

impl LowerWithEnv for (&Goal, QuantifierKind, &Vec<VariableKind>)

type Lowered = Goal<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for (&AdtDefn, AdtId<ChalkIr>)

type Lowered = AdtDatum<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for (&FnDefn, FnDefId<ChalkIr>)

type Lowered = FnDefDatum<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for (&Impl, ImplId<ChalkIr>, &BTreeMap<(ImplId<ChalkIr>, Identifier), AssociatedTyValueId<ChalkIr>>)

type Lowered = ImplDatum<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for (&TraitDefn, TraitId<ChalkIr>)

type Lowered = TraitDatum<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for Const

type Lowered = Const<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for DomainGoal

type Lowered = Vec<DomainGoal<ChalkIr>>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for GenericArg

type Lowered = GenericArg<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for Goal

type Lowered = Goal<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for InlineBound

type Lowered = InlineBound<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for LeafGoal

type Lowered = Goal<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for Lifetime

type Lowered = Lifetime<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for Ty

type Lowered = Ty<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for WhereClause

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

Lower from an AST where clause to an internal IR. Some AST where clauses can lower to multiple ones, this is why we return a Vec. As for now, this is the only the case for where T: Foo<Item = U> which lowers to Implemented(T: Foo) and ProjectionEq(<T as Foo>::Item = U).

type Lowered = Vec<WhereClause<ChalkIr>>

impl LowerWithEnv for AdtRepr

type Lowered = AdtRepr<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for AliasEqBound

type Lowered = AliasEqBound<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for Clause

type Lowered = Vec<ProgramClause<ChalkIr>>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for ClosureDefn

type Lowered = (ClosureKind, Binders<FnDefInputsAndOutputDatum<ChalkIr>>)

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for ProjectionTy

type Lowered = ProjectionTy<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for QuantifiedInlineBound

type Lowered = Binders<InlineBound<ChalkIr>>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for QuantifiedWhereClause

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

Lower from an AST where clause to an internal IR. Some AST where clauses can lower to multiple ones, this is why we return a Vec. As for now, this is the only the case for where T: Foo<Item = U> which lowers to Implemented(T: Foo) and ProjectionEq(<T as Foo>::Item = U).

type Lowered = Vec<Binders<WhereClause<ChalkIr>>>

impl LowerWithEnv for TraitBound

type Lowered = TraitBound<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for TraitRef

type Lowered = TraitRef<ChalkIr>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for [QuantifiedInlineBound]

type Lowered = Vec<Binders<InlineBound<ChalkIr>>>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

impl LowerWithEnv for [QuantifiedWhereClause]

type Lowered = Vec<Binders<WhereClause<ChalkIr>>>

fn lower(&self, env: &Env<'_>) -> Result<Self::Lowered, RustIrError>

Implementors