pub struct WasmRecGroup {
pub types: Box<[WasmSubType]>,
}
Expand description
A recursive type group.
Types within a recgroup can have forward references to each other, which
allows for cyclic types, for example a function $f
that returns a
reference to a function $g
which returns a reference to a function $f
:
ⓘ
(rec (type (func $f (result (ref null $g))))
(type (func $g (result (ref null $f)))))
Fields§
§types: Box<[WasmSubType]>
The types inside of this recgroup.
Trait Implementations§
source§impl Clone for WasmRecGroup
impl Clone for WasmRecGroup
source§fn clone(&self) -> WasmRecGroup
fn clone(&self) -> WasmRecGroup
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 moresource§impl Debug for WasmRecGroup
impl Debug for WasmRecGroup
source§impl<'de> Deserialize<'de> for WasmRecGroup
impl<'de> Deserialize<'de> for WasmRecGroup
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl Hash for WasmRecGroup
impl Hash for WasmRecGroup
source§impl PartialEq for WasmRecGroup
impl PartialEq for WasmRecGroup
source§impl Serialize for WasmRecGroup
impl Serialize for WasmRecGroup
source§impl TypeTrace for WasmRecGroup
impl TypeTrace for WasmRecGroup
source§fn trace_mut<F, E>(&mut self, func: &mut F) -> Result<(), E>
fn trace_mut<F, E>(&mut self, func: &mut F) -> Result<(), E>
Visit each edge, mutably. Read more
source§fn trace_engine_indices<F, E>(&self, func: &mut F) -> Result<(), E>
fn trace_engine_indices<F, E>(&self, func: &mut F) -> Result<(), E>
Trace all
VMSharedTypeIndex
edges, ignoring other edges.source§fn canonicalize_for_runtime_usage<F>(&mut self, module_to_engine: &mut F)
fn canonicalize_for_runtime_usage<F>(&mut self, module_to_engine: &mut F)
Canonicalize
self
by rewriting all type references inside self
from
module-level interned type indices to engine-level interned type
indices. Read moresource§fn is_canonicalized_for_runtime_usage(&self) -> bool
fn is_canonicalized_for_runtime_usage(&self) -> bool
Is this type canonicalized for runtime usage?
source§fn canonicalize_for_hash_consing<F>(
&mut self,
rec_group_range: Range<ModuleInternedTypeIndex>,
module_to_engine: &mut F,
)
fn canonicalize_for_hash_consing<F>( &mut self, rec_group_range: Range<ModuleInternedTypeIndex>, module_to_engine: &mut F, )
Canonicalize
self
by rewriting all type references inside self
from
module-level interned type indices to either engine-level interned type
indices or recgroup-relative indices. Read moresource§fn is_canonicalized_for_hash_consing(&self) -> bool
fn is_canonicalized_for_hash_consing(&self) -> bool
Is this type canonicalized for hash consing?
impl Eq for WasmRecGroup
impl StructuralPartialEq for WasmRecGroup
Auto Trait Implementations§
impl Freeze for WasmRecGroup
impl RefUnwindSafe for WasmRecGroup
impl Send for WasmRecGroup
impl Sync for WasmRecGroup
impl Unpin for WasmRecGroup
impl UnwindSafe for WasmRecGroup
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§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.