Enum wast::RefType

pub enum RefType<'a> {
    Func,
    Extern,
    Exn,
    Eq,
    I31,
    Type(Index<'a>),
    OptType(Index<'a>),
}

The reference value types for a wasm module.

Variants

Func

An untyped function reference: funcref. This is part of the reference types proposal.

Extern

A reference to any host value: externref. This was originally known as anyref when it was the supertype of all reference value types. This is part of the reference types proposal.

Exn

A reference to an exception: exnref. This is part of the exception handling proposal.

Eq

A reference that has an identity that can be compared: eqref. This is part of the GC proposal.

I31

An unboxed 31-bit integer: i31ref. This may be going away if there is no common supertype of all reference types. Part of the GC proposal.

Type(Index<'a>)

A reference to a function, struct, or array: ref T. This is part of the GC proposal.

OptType(Index<'a>)

A nullable reference to a function, struct, or array: optref T. This is part of the GC proposal.

Trait Implementations

impl<'a> Clone for RefType<'a>

fn clone(&self) -> RefType<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for RefType<'a>

impl<'a> Debug for RefType<'a>

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

Formats the value using the given formatter.

impl<'a> Eq for RefType<'a>

impl<'a> From<TableElemType> for RefType<'a>

fn from(elem: TableElemType) -> Self

Performs the conversion.

impl<'a> Hash for RefType<'a>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl<'a> Parse<'a> for RefType<'a>

fn parse(parser: Parser<'a>) -> Result<Self>

Attempts to parse Self from parser, returning an error if it could not be parsed.

impl<'a> PartialEq<RefType<'a>> for RefType<'a>

fn eq(&self, other: &RefType<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &RefType<'a>) -> bool

This method tests for !=.

impl<'a> StructuralEq for RefType<'a>

impl<'a> StructuralPartialEq for RefType<'a>