vihaco_abi (crate)

vihaco_abi¶

vihaco_abi

Modules

• effect
• frame
• instruction
• instruction_syntax
• metadata
• program

classEffects¶source

vihaco_abi::Effects

Bases: Debug, Clone, StructuralPartialEq, PartialEq, Eq, From<Option<T>>, From<Vec<T>>, From<SmallVec<[T; 2]>>, IntoIterator

Rust enum.

pub enum Effects<T>

Variants

Name	Type	Description
None	—
One	(T)
Many	(SmallVec<[T; 2]>)

source

methodappend¶source

vihaco_abi::Effects::append

pub fn append(self, effect: T) -> Self

Parameters

Name	Type	Description
effect	T

Returns

Self

source

methodextend¶source

vihaco_abi::Effects::extend

pub fn extend(self, other: Self) -> Self

Parameters

Name	Type	Description
other	Self

Returns

Self

source

methodflat_map¶source

vihaco_abi::Effects::flat_map

pub fn flat_map<U>(self, f: impl FnMut(T) -> Effects<U>) -> Effects<U>

Parameters

Name	Type	Description
f	impl FnMut(T) -> Effects<U>

Returns

Effects<U>

source

methodmany¶source

vihaco_abi::Effects::many

pub fn many(values: SmallVec<[T; 2]>) -> Self

Parameters

Name	Type	Description
values	SmallVec<[T; 2]>

Returns

Self

source

methodmap¶source

vihaco_abi::Effects::map

pub fn map<U>(self, f: impl FnMut(T) -> U) -> Effects<U>

Parameters

Name	Type	Description
f	impl FnMut(T) -> U

Returns

Effects<U>

source

methodnone¶source

vihaco_abi::Effects::none

pub fn none() -> Self

Returns

Self

source

methodone¶source

vihaco_abi::Effects::one

pub fn one(value: T) -> Self

Parameters

Name	Type	Description
value	T

Returns

Self

source

classType¶source

vihaco_abi::Type

Bases: Debug, Clone, Copy, StructuralPartialEq, PartialEq, AsRef<Type>, Display

Rust enum.

pub enum Type

Variants

Name	Type	Description
Undefined	—
String	—
Bool	—
I64	—
U32	—
U64	—
F64	—
FunctionRef	—
HeapRef	—

source

classValue¶source

vihaco_abi::Value

Bases: Debug, Clone, Copy, StructuralPartialEq, PartialEq, Display, From<bool>, From<i64>, From<u32>, From<u64>, From<f64>, TryFrom<Value>

Rust enum.

pub enum Value

Variants

Name	Type	Description
Undefined	—
String	(u32)	a string value from the string interner
Bool	(bool)	a boolean value
I64	(i64)	a signed 64-bit integer
U32	(u32)	an unsigned 32-bit integer
U64	(u64)	an unsigned 64-bit integer
F64	(f64)	a 64-bit floating point number
FunctionRef	(u32)	a reference to a function by its index in the function table
HeapRef	(u32)	a reference to an immutable heap object by its index in the heap table

source

methodcast¶source

vihaco_abi::Value::cast

pub fn cast(&self, to: impl AsRef<Type>) -> Result<Value>

Parameters

Name	Type	Description
to	impl AsRef<Type>

Returns

Result<Value>

source

methodget_function_ref¶source

vihaco_abi::Value::get_function_ref

pub fn get_function_ref(&self) -> Result<u32>

Returns

Result<u32>

source

methodget_heap_ref¶source

vihaco_abi::Value::get_heap_ref

pub fn get_heap_ref(&self) -> Result<u32>

Returns

Result<u32>

source

methodis_undefined¶source

vihaco_abi::Value::is_undefined

pub fn is_undefined(&self) -> bool

Returns

bool

source

methodtype_of¶source

vihaco_abi::Value::type_of

pub fn type_of(&self) -> Type

Returns

Type

source