Struct chalk_integration::lowering::env::Env

pub struct Env<'k> {

    pub adt_ids: &'k BTreeMap<Identifier, AdtId<ChalkIr>>,
    pub adt_kinds: &'k BTreeMap<AdtId<ChalkIr>, TypeKind>,
    pub fn_def_ids: &'k BTreeMap<Identifier, FnDefId<ChalkIr>>,
    pub fn_def_kinds: &'k BTreeMap<FnDefId<ChalkIr>, TypeKind>,
    pub closure_ids: &'k BTreeMap<Identifier, ClosureId<ChalkIr>>,
    pub closure_kinds: &'k BTreeMap<ClosureId<ChalkIr>, TypeKind>,
    pub trait_ids: &'k BTreeMap<Identifier, TraitId<ChalkIr>>,
    pub trait_kinds: &'k BTreeMap<TraitId<ChalkIr>, TypeKind>,
    pub opaque_ty_ids: &'k BTreeMap<Identifier, OpaqueTyId<ChalkIr>>,
    pub opaque_ty_kinds: &'k BTreeMap<OpaqueTyId<ChalkIr>, TypeKind>,
    pub associated_ty_lookups: &'k BTreeMap<(TraitId<ChalkIr>, Identifier), AssociatedTyLookup>,
    pub auto_traits: &'k BTreeMap<TraitId<ChalkIr>, bool>,
    pub foreign_ty_ids: &'k BTreeMap<Identifier, ForeignDefId<ChalkIr>>,
    pub coroutine_ids: &'k BTreeMap<Identifier, CoroutineId<ChalkIr>>,
    pub coroutine_kinds: &'k BTreeMap<CoroutineId<ChalkIr>, TypeKind>,
    pub parameter_map: BTreeMap<Identifier, WithKind<ChalkIr, BoundVar>>,
}

Fields

adt_ids: &'k BTreeMap<Identifier, AdtId<ChalkIr>>

adt_kinds: &'k BTreeMap<AdtId<ChalkIr>, TypeKind>

fn_def_ids: &'k BTreeMap<Identifier, FnDefId<ChalkIr>>

fn_def_kinds: &'k BTreeMap<FnDefId<ChalkIr>, TypeKind>

closure_ids: &'k BTreeMap<Identifier, ClosureId<ChalkIr>>

closure_kinds: &'k BTreeMap<ClosureId<ChalkIr>, TypeKind>

trait_ids: &'k BTreeMap<Identifier, TraitId<ChalkIr>>

trait_kinds: &'k BTreeMap<TraitId<ChalkIr>, TypeKind>

opaque_ty_ids: &'k BTreeMap<Identifier, OpaqueTyId<ChalkIr>>

opaque_ty_kinds: &'k BTreeMap<OpaqueTyId<ChalkIr>, TypeKind>

associated_ty_lookups: &'k BTreeMap<(TraitId<ChalkIr>, Identifier), AssociatedTyLookup>

auto_traits: &'k BTreeMap<TraitId<ChalkIr>, bool>

foreign_ty_ids: &'k BTreeMap<Identifier, ForeignDefId<ChalkIr>>

coroutine_ids: &'k BTreeMap<Identifier, CoroutineId<ChalkIr>>

coroutine_kinds: &'k BTreeMap<CoroutineId<ChalkIr>, TypeKind>

parameter_map: BTreeMap<Identifier, WithKind<ChalkIr, BoundVar>>

GenericArg identifiers are used as keys, therefore all identifiers in an environment must be unique (no shadowing).

Implementations

impl Env<'_>

pub fn interner(&self) -> ChalkIr

pub fn lookup_generic_arg( &self, name: &Identifier ) -> Result<GenericArg<ChalkIr>, RustIrError>

pub fn lookup_type( &self, name: &Identifier ) -> Result<TypeLookup<'_>, RustIrError>

pub fn auto_trait(&self, id: TraitId<ChalkIr>) -> bool

pub fn lookup_trait( &self, name: &Identifier ) -> Result<TraitId<ChalkIr>, RustIrError>

pub fn trait_kind(&self, id: TraitId<ChalkIr>) -> &TypeKind

pub fn adt_kind(&self, id: AdtId<ChalkIr>) -> &TypeKind

pub fn fn_def_kind(&self, id: FnDefId<ChalkIr>) -> &TypeKind

pub fn closure_kind(&self, id: ClosureId<ChalkIr>) -> &TypeKind

pub fn opaque_kind(&self, id: OpaqueTyId<ChalkIr>) -> &TypeKind

pub fn coroutine_kind(&self, id: CoroutineId<ChalkIr>) -> &TypeKind

pub fn lookup_associated_ty( &self, trait_id: TraitId<ChalkIr>, ident: &Identifier ) -> Result<&AssociatedTyLookup, RustIrError>

pub fn introduce<I>(&self, binders: I) -> Result<Self, RustIrError>

where I: IntoIterator<Item = WithKind<ChalkIr, Ident>>, I::IntoIter: ExactSizeIterator,

Introduces new parameters, shifting the indices of existing parameters to accommodate them. The indices of the new binders will be assigned in order as they are iterated.

pub fn in_binders<I, T, OP>( &self, binders: I, op: OP ) -> Result<Binders<T>, RustIrError>

where I: IntoIterator<Item = WithKind<ChalkIr, Ident>>, I::IntoIter: ExactSizeIterator, T: HasInterner<Interner = ChalkIr>, OP: FnOnce(&Self) -> Result<T, RustIrError>,

Trait Implementations

impl<'k> Clone for Env<'k>

fn clone(&self) -> Env<'k>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'k> Debug for Env<'k>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.