Struct flux_middle::rty::WfckResults
source · pub struct WfckResults {
pub owner: FluxOwnerId,
bin_rel_sorts: ItemLocalMap<Sort>,
coercions: ItemLocalMap<Vec<Coercion>>,
field_projs: ItemLocalMap<FieldProj>,
node_sorts: ItemLocalMap<Sort>,
record_ctors: ItemLocalMap<DefId>,
}Fields§
§owner: FluxOwnerId§bin_rel_sorts: ItemLocalMap<Sort>§coercions: ItemLocalMap<Vec<Coercion>>§field_projs: ItemLocalMap<FieldProj>§node_sorts: ItemLocalMap<Sort>§record_ctors: ItemLocalMap<DefId>Implementations§
source§impl WfckResults
impl WfckResults
pub fn new(owner: impl Into<FluxOwnerId>) -> Self
pub fn bin_rel_sorts_mut(&mut self) -> LocalTableInContextMut<'_, Sort>
pub fn bin_rel_sorts(&self) -> LocalTableInContext<'_, Sort>
pub fn coercions_mut(&mut self) -> LocalTableInContextMut<'_, Vec<Coercion>>
pub fn coercions(&self) -> LocalTableInContext<'_, Vec<Coercion>>
pub fn field_projs_mut(&mut self) -> LocalTableInContextMut<'_, FieldProj>
pub fn field_projs(&self) -> LocalTableInContext<'_, FieldProj>
pub fn node_sorts_mut(&mut self) -> LocalTableInContextMut<'_, Sort>
pub fn node_sorts(&self) -> LocalTableInContext<'_, Sort>
pub fn record_ctors_mut(&mut self) -> LocalTableInContextMut<'_, DefId>
pub fn record_ctors(&self) -> LocalTableInContext<'_, DefId>
Auto Trait Implementations§
impl Freeze for WfckResults
impl RefUnwindSafe for WfckResults
impl Send for WfckResults
impl Sync for WfckResults
impl Unpin for WfckResults
impl UnwindSafe for WfckResults
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more