Trait chalk_integration::lowering::Lower

pub trait Lower {
    type Lowered;

    // Required method
    fn lower(&self) -> Self::Lowered;
}

Required Associated Types

type Lowered

Required Methods

fn lower(&self) -> Self::Lowered

Implementations on Foreign Types

impl Lower for ClosureKind

type Lowered = ClosureKind

fn lower(&self) -> Self::Lowered

impl Lower for FloatTy

type Lowered = FloatTy

fn lower(&self) -> Self::Lowered

impl Lower for ImplType

type Lowered = ImplType

fn lower(&self) -> Self::Lowered

impl Lower for IntTy

type Lowered = IntTy

fn lower(&self) -> Self::Lowered

impl Lower for Movability

type Lowered = Movability

fn lower(&self) -> Self::Lowered

impl Lower for Mutability

type Lowered = Mutability

fn lower(&self) -> Self::Lowered

impl Lower for Polarity

type Lowered = Polarity

fn lower(&self) -> Self::Lowered

impl Lower for Safety

type Lowered = Safety

fn lower(&self) -> Self::Lowered

impl Lower for ScalarType

type Lowered = Scalar

fn lower(&self) -> Self::Lowered

impl Lower for UintTy

type Lowered = UintTy

fn lower(&self) -> Self::Lowered

impl Lower for VariableKind

type Lowered = WithKind<ChalkIr, Atom<EmptyStaticAtomSet>>

fn lower(&self) -> Self::Lowered

impl Lower for WellKnownTrait

type Lowered = WellKnownTrait

fn lower(&self) -> Self::Lowered

impl Lower for FnAbi

type Lowered = Result<ChalkFnAbi, RustIrError>

fn lower(&self) -> Self::Lowered

impl Lower for FnSig

type Lowered = Result<FnSig<ChalkIr>, RustIrError>

fn lower(&self) -> Self::Lowered

impl Lower for Program

type Lowered = Result<Program, RustIrError>

fn lower(&self) -> Self::Lowered

impl Lower for TraitFlags

type Lowered = TraitFlags

fn lower(&self) -> Self::Lowered

Implementors