Enum gluon_vm::api::IO

pub enum IO<T> {
    Value(T),
    Exception(String),
}

Type representing gluon’s IO type

Variants

Value(T)

Exception(String)

Implementations

impl<T> IO<T>

pub fn into_result(self) -> StdResult<T, String>

Trait Implementations

impl<T: Clone> Clone for IO<T>

fn clone(&self) -> IO<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for IO<T>

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

Formats the value using the given formatter.

impl<T> From<IO<T>> for Result<T, String>

fn from(io: IO<T>) -> StdResult<T, String>

Converts to this type from the input type.

impl<T, E> From<Result<T, E>> for IO<T>

where E: Display,

fn from(result: StdResult<T, E>) -> IO<T>

Converts to this type from the input type.

impl<'vm, 'value, T: Getable<'vm, 'value>> Getable<'vm, 'value> for IO<T>

type Proxy = Variants<'value>

fn to_proxy(_vm: &'vm Thread, value: Variants<'value>) -> Result<Self::Proxy>

fn from_proxy(vm: &'vm Thread, proxy: &'value mut Self::Proxy) -> Self

fn from_value(vm: &'vm Thread, value: Variants<'value>) -> IO<T>

impl<T: PartialEq> PartialEq for IO<T>

fn eq(&self, other: &IO<T>) -> bool

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'vm, T: Pushable<'vm>> Pushable<'vm> for IO<T>

fn vm_push(self, context: &mut ActiveThread<'vm>) -> Result<()>

Pushes self to stack. If the call is successful a single element should have been added to the stack and Ok(()) should be returned. If the call is unsuccessful Status:Error should be returned and the stack should be left intact

fn status_push(self, context: &mut ActiveThread<'vm>) -> Status

where Self: Sized,

unsafe fn marshal_unrooted(self, vm: &'vm Thread) -> Result<Value>

where Self: Sized,

fn marshal<T>(self, vm: &'vm Thread) -> Result<RootedValue<T>>

where Self: Sized, T: VmRoot<'vm>,

impl<T> VmType for IO<T>

where T: VmType, T::Type: Sized,

type Type = IO<<T as VmType>::Type>

A version of Self which implements Any allowing a TypeId to be retrieved

fn make_type(vm: &Thread) -> ArcType

Creates an gluon type which maps to Self in rust

const EXTRA_ARGS: VmIndex = 1u32

How many extra arguments a function returning this type requires. Used for abstract types which when used in return position should act like they still need more arguments before they are called

fn make_forall_type(vm: &Thread) -> ArcType

impl<T> StructuralPartialEq for IO<T>