Struct Layer

struct Layer {
    map: FxIndexMap<ParamId, ParamEntry>,
    kind: LayerKind,
}

Fields

map: FxIndexMap<ParamId, ParamEntry>

kind: LayerKind

Implementations

impl Layer

fn new<R: WfckResultsProvider>( results: &R, params: &[RefineParam<'_>], kind: LayerKind, ) -> Self

fn list<R: WfckResultsProvider>( results: &R, bound_regions: u32, params: &[RefineParam<'_>], ) -> Self

fn coalesce<R: WfckResultsProvider>( results: &R, def_id: DefId, params: &[RefineParam<'_>], ) -> Self

fn get(&self, name: impl Borrow<ParamId>) -> Option<(usize, &ParamEntry)>

fn into_bound_vars( self, genv: GlobalEnv<'_, '_>, ) -> QueryResult<List<BoundVariableKind>>

fn to_bound_vars( &self, genv: GlobalEnv<'_, '_>, ) -> QueryResult<List<BoundVariableKind>>

fn into_iter(self) -> impl Iterator<Item = ParamEntry>

Trait Implementations

impl Clone for Layer

fn clone(&self) -> Layer

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Layer

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

Formats the value using the given formatter.