Struct chalk_ir::UniverseMap
source · pub struct UniverseMap {
pub universes: Vec<UniverseIndex>,
}
Expand description
Maps the universes found in the u_canonicalize
result (the
“canonical” universes) to the universes found in the original
value (and vice versa). When used as a folder – i.e., from
outside this module – converts from “canonical” universes to the
original (but see the UMapToCanonical
folder).
Fields§
§universes: Vec<UniverseIndex>
A reverse map – for each universe Ux that appears in
quantified
, the corresponding universe in the original was
universes[x]
.
Implementations§
source§impl UniverseMap
impl UniverseMap
sourcepub fn num_canonical_universes(&self) -> usize
pub fn num_canonical_universes(&self) -> usize
Number of canonical universes.
Trait Implementations§
source§impl Clone for UniverseMap
impl Clone for UniverseMap
source§fn clone(&self) -> UniverseMap
fn clone(&self) -> UniverseMap
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreAuto Trait Implementations§
impl Freeze for UniverseMap
impl RefUnwindSafe for UniverseMap
impl Send for UniverseMap
impl Sync for UniverseMap
impl Unpin for UniverseMap
impl UnwindSafe for UniverseMap
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)