Enum TypeDef 

pub enum TypeDef {
    Func(FuncType),
    Struct(StructDef),
    Array(ValType),
    Map {
        key: ValType,
        value: ValType,
    },
    Cell(ValType),
    Iter {
        key: ValType,
        value: ValType,
    },
    Coroutine,
}

An entry of the module’s type table.

Types refer to each other by TypeId, so recursive types (a list node pointing at itself) are plain data and the table never nests.

Examples

use bytecode_lang::{FuncType, TypeDef, ValType};

let sig = TypeDef::Func(FuncType { params: vec![ValType::I64], results: vec![ValType::I64] });
assert_eq!(sig.to_string(), "func (i64) -> (i64)");
assert_eq!(TypeDef::Array(ValType::Dyn).to_string(), "array dyn");

Variants

Func(FuncType)

A function signature, used by functions, imports, closures, and indirect calls.

Struct(StructDef)

A struct (record) type: named fields at fixed slots, named methods, and an optional parent for single inheritance.

Array(ValType)

A growable array of one element type.

Map

An insertion-ordered hash map (the PHP array and the Python dict).

Fields

key: ValType

The key type.

value: ValType

The value type.

Cell(ValType)

A mutable box holding one value: how closures share a mutable captured variable.

Iter

An iterator yielding keys and values of these types.

Fields

key: ValType

The key type (i64 for arrays).

value: ValType

The value type.

Coroutine

A coroutine handle. Values crossing a suspension (yielded, sent, returned) are always dyn: a coroutine is stackful, so a yield in a nested call cannot know its coroutine’s static type.

Trait Implementations

impl Clone for TypeDef

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeDef

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

Formats the value using the given formatter.

impl Display for TypeDef

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

Formats the value using the given formatter.

impl Eq for TypeDef

impl Hash for TypeDef

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for TypeDef

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for TypeDef

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl PartialOrd for TypeDef

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for TypeDef