Trait soroban_env_host::IntoVal

pub trait IntoVal<E, V>where
    E: Env,{
    fn into_val(self, env: &E) -> V;

    fn into_env_val(self, env: &E) -> EnvVal<E, V> { ... }
}

Required Methods

fn into_val(self, env: &E) -> V

Provided Methods

fn into_env_val(self, env: &E) -> EnvVal<E, V>

Implementations on Foreign Types

impl<E, T0, T1, T2, T3, T4, T5, T6> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5, T6)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,
    T5: IntoVal<E, RawVal>,
    T6: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2> IntoVal<E, RawVal> for (T0, T1, T2)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0> IntoVal<E, RawVal> for &(T0,)where
    E: Env,
    &'a T0: for<'a> IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8> IntoVal<E, EnvVal<E, RawVal>> for (T0, T1, T2, T3, T4, T5, T6, T7, T8)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,
    T5: IntoVal<E, RawVal>,
    T6: IntoVal<E, RawVal>,
    T7: IntoVal<E, RawVal>,
    T8: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

impl<E, T0, T1, T2, T3> IntoVal<E, RawVal> for (T0, T1, T2, T3)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> IntoVal<E, RawVal> for &(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)where
    E: Env,
    &'a T0: for<'a> IntoVal<E, RawVal>,
    &'a T1: for<'a> IntoVal<E, RawVal>,
    &'a T2: for<'a> IntoVal<E, RawVal>,
    &'a T3: for<'a> IntoVal<E, RawVal>,
    &'a T4: for<'a> IntoVal<E, RawVal>,
    &'a T5: for<'a> IntoVal<E, RawVal>,
    &'a T6: for<'a> IntoVal<E, RawVal>,
    &'a T7: for<'a> IntoVal<E, RawVal>,
    &'a T8: for<'a> IntoVal<E, RawVal>,
    &'a T9: for<'a> IntoVal<E, RawVal>,
    &'a T10: for<'a> IntoVal<E, RawVal>,
    &'a T11: for<'a> IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5, T6, T7> IntoVal<E, EnvVal<E, RawVal>> for (T0, T1, T2, T3, T4, T5, T6, T7)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,
    T5: IntoVal<E, RawVal>,
    T6: IntoVal<E, RawVal>,
    T7: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

impl<E, T0, T1, T2, T3, T4, T5> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,
    T5: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T> IntoVal<E, RawVal> for Option<T>where
    E: Env,
    T: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E> IntoVal<E, RawVal> for &()where
    E: Env,

fn into_val(self, _env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> IntoVal<E, EnvVal<E, RawVal>> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,
    T5: IntoVal<E, RawVal>,
    T6: IntoVal<E, RawVal>,
    T7: IntoVal<E, RawVal>,
    T8: IntoVal<E, RawVal>,
    T9: IntoVal<E, RawVal>,
    T10: IntoVal<E, RawVal>,
    T11: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

impl<E, T0, T1, T2, T3> IntoVal<E, EnvVal<E, RawVal>> for (T0, T1, T2, T3)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

impl<E, T0> IntoVal<E, RawVal> for (T0,)where
    E: Env,
    T0: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> IntoVal<E, EnvVal<E, RawVal>> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,
    T5: IntoVal<E, RawVal>,
    T6: IntoVal<E, RawVal>,
    T7: IntoVal<E, RawVal>,
    T8: IntoVal<E, RawVal>,
    T9: IntoVal<E, RawVal>,
    T10: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

impl<E> IntoVal<E, RawVal> for u64where
    E: Env,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> IntoVal<E, RawVal> for &(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)where
    E: Env,
    &'a T0: for<'a> IntoVal<E, RawVal>,
    &'a T1: for<'a> IntoVal<E, RawVal>,
    &'a T2: for<'a> IntoVal<E, RawVal>,
    &'a T3: for<'a> IntoVal<E, RawVal>,
    &'a T4: for<'a> IntoVal<E, RawVal>,
    &'a T5: for<'a> IntoVal<E, RawVal>,
    &'a T6: for<'a> IntoVal<E, RawVal>,
    &'a T7: for<'a> IntoVal<E, RawVal>,
    &'a T8: for<'a> IntoVal<E, RawVal>,
    &'a T9: for<'a> IntoVal<E, RawVal>,
    &'a T10: for<'a> IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E> IntoVal<E, RawVal> for &i64where
    E: Env,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5, T6> IntoVal<E, RawVal> for &(T0, T1, T2, T3, T4, T5, T6)where
    E: Env,
    &'a T0: for<'a> IntoVal<E, RawVal>,
    &'a T1: for<'a> IntoVal<E, RawVal>,
    &'a T2: for<'a> IntoVal<E, RawVal>,
    &'a T3: for<'a> IntoVal<E, RawVal>,
    &'a T4: for<'a> IntoVal<E, RawVal>,
    &'a T5: for<'a> IntoVal<E, RawVal>,
    &'a T6: for<'a> IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E> IntoVal<E, RawVal> for &i32where
    E: Env,

fn into_val(self, _env: &E) -> RawVal

impl<E> IntoVal<E, RawVal> for u32where
    E: Env,

fn into_val(self, _env: &E) -> RawVal

impl<E> IntoVal<E, RawVal> for i64where
    E: Env,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4> IntoVal<E, RawVal> for &(T0, T1, T2, T3, T4)where
    E: Env,
    &'a T0: for<'a> IntoVal<E, RawVal>,
    &'a T1: for<'a> IntoVal<E, RawVal>,
    &'a T2: for<'a> IntoVal<E, RawVal>,
    &'a T3: for<'a> IntoVal<E, RawVal>,
    &'a T4: for<'a> IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,
    T5: IntoVal<E, RawVal>,
    T6: IntoVal<E, RawVal>,
    T7: IntoVal<E, RawVal>,
    T8: IntoVal<E, RawVal>,
    T9: IntoVal<E, RawVal>,
    T10: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E> IntoVal<E, RawVal> for &[u8]where
    E: Env,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> IntoVal<E, RawVal> for &(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)where
    E: Env,
    &'a T0: for<'a> IntoVal<E, RawVal>,
    &'a T1: for<'a> IntoVal<E, RawVal>,
    &'a T2: for<'a> IntoVal<E, RawVal>,
    &'a T3: for<'a> IntoVal<E, RawVal>,
    &'a T4: for<'a> IntoVal<E, RawVal>,
    &'a T5: for<'a> IntoVal<E, RawVal>,
    &'a T6: for<'a> IntoVal<E, RawVal>,
    &'a T7: for<'a> IntoVal<E, RawVal>,
    &'a T8: for<'a> IntoVal<E, RawVal>,
    &'a T9: for<'a> IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2> IntoVal<E, EnvVal<E, RawVal>> for (T0, T1, T2)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

impl<E, T0> IntoVal<E, EnvVal<E, RawVal>> for (T0,)where
    E: Env,
    T0: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8> IntoVal<E, RawVal> for &(T0, T1, T2, T3, T4, T5, T6, T7, T8)where
    E: Env,
    &'a T0: for<'a> IntoVal<E, RawVal>,
    &'a T1: for<'a> IntoVal<E, RawVal>,
    &'a T2: for<'a> IntoVal<E, RawVal>,
    &'a T3: for<'a> IntoVal<E, RawVal>,
    &'a T4: for<'a> IntoVal<E, RawVal>,
    &'a T5: for<'a> IntoVal<E, RawVal>,
    &'a T6: for<'a> IntoVal<E, RawVal>,
    &'a T7: for<'a> IntoVal<E, RawVal>,
    &'a T8: for<'a> IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, const N: usize> IntoVal<E, EnvVal<E, RawVal>> for &[u8; N]where
    E: Env,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

impl<E> IntoVal<E, EnvVal<E, RawVal>> for &[u8]where
    E: Env,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

impl<E> IntoVal<E, RawVal> for &boolwhere
    E: Env,

fn into_val(self, _env: &E) -> RawVal

impl<E, const N: usize> IntoVal<E, EnvVal<E, RawVal>> for [u8; N]where
    E: Env,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

impl<E> IntoVal<E, RawVal> for ()where
    E: Env,

fn into_val(self, _env: &E) -> RawVal

impl<E> IntoVal<E, RawVal> for &u64where
    E: Env,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5, T6, T7> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5, T6, T7)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,
    T5: IntoVal<E, RawVal>,
    T6: IntoVal<E, RawVal>,
    T7: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5, T6, T7> IntoVal<E, RawVal> for &(T0, T1, T2, T3, T4, T5, T6, T7)where
    E: Env,
    &'a T0: for<'a> IntoVal<E, RawVal>,
    &'a T1: for<'a> IntoVal<E, RawVal>,
    &'a T2: for<'a> IntoVal<E, RawVal>,
    &'a T3: for<'a> IntoVal<E, RawVal>,
    &'a T4: for<'a> IntoVal<E, RawVal>,
    &'a T5: for<'a> IntoVal<E, RawVal>,
    &'a T6: for<'a> IntoVal<E, RawVal>,
    &'a T7: for<'a> IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4> IntoVal<E, EnvVal<E, RawVal>> for (T0, T1, T2, T3, T4)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5, T6, T7, T8)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,
    T5: IntoVal<E, RawVal>,
    T6: IntoVal<E, RawVal>,
    T7: IntoVal<E, RawVal>,
    T8: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T> IntoVal<E, RawVal> for &Option<T>where
    E: Env,
    &'a T: for<'a> IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,
    T5: IntoVal<E, RawVal>,
    T6: IntoVal<E, RawVal>,
    T7: IntoVal<E, RawVal>,
    T8: IntoVal<E, RawVal>,
    T9: IntoVal<E, RawVal>,
    T10: IntoVal<E, RawVal>,
    T11: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1> IntoVal<E, RawVal> for (T0, T1)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3> IntoVal<E, RawVal> for &(T0, T1, T2, T3)where
    E: Env,
    &'a T0: for<'a> IntoVal<E, RawVal>,
    &'a T1: for<'a> IntoVal<E, RawVal>,
    &'a T2: for<'a> IntoVal<E, RawVal>,
    &'a T3: for<'a> IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,
    T5: IntoVal<E, RawVal>,
    T6: IntoVal<E, RawVal>,
    T7: IntoVal<E, RawVal>,
    T8: IntoVal<E, RawVal>,
    T9: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E> IntoVal<E, RawVal> for &u32where
    E: Env,

fn into_val(self, _env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5> IntoVal<E, RawVal> for &(T0, T1, T2, T3, T4, T5)where
    E: Env,
    &'a T0: for<'a> IntoVal<E, RawVal>,
    &'a T1: for<'a> IntoVal<E, RawVal>,
    &'a T2: for<'a> IntoVal<E, RawVal>,
    &'a T3: for<'a> IntoVal<E, RawVal>,
    &'a T4: for<'a> IntoVal<E, RawVal>,
    &'a T5: for<'a> IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5> IntoVal<E, EnvVal<E, RawVal>> for (T0, T1, T2, T3, T4, T5)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,
    T5: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

impl<E, const N: usize> IntoVal<E, RawVal> for &[u8; N]where
    E: Env,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> IntoVal<E, EnvVal<E, RawVal>> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,
    T5: IntoVal<E, RawVal>,
    T6: IntoVal<E, RawVal>,
    T7: IntoVal<E, RawVal>,
    T8: IntoVal<E, RawVal>,
    T9: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

impl<E, T0, T1, T2, T3, T4, T5, T6> IntoVal<E, EnvVal<E, RawVal>> for (T0, T1, T2, T3, T4, T5, T6)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,
    T5: IntoVal<E, RawVal>,
    T6: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

impl<E, T0, T1, T2> IntoVal<E, RawVal> for &(T0, T1, T2)where
    E: Env,
    &'a T0: for<'a> IntoVal<E, RawVal>,
    &'a T1: for<'a> IntoVal<E, RawVal>,
    &'a T2: for<'a> IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E, const N: usize> IntoVal<E, RawVal> for [u8; N]where
    E: Env,

fn into_val(self, env: &E) -> RawVal

impl<E, T0, T1, T2, T3, T4> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,
    T2: IntoVal<E, RawVal>,
    T3: IntoVal<E, RawVal>,
    T4: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E> IntoVal<E, RawVal> for boolwhere
    E: Env,

fn into_val(self, _env: &E) -> RawVal

impl<E, T0, T1> IntoVal<E, RawVal> for &(T0, T1)where
    E: Env,
    &'a T0: for<'a> IntoVal<E, RawVal>,
    &'a T1: for<'a> IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> RawVal

impl<E> IntoVal<E, RawVal> for i32where
    E: Env,

fn into_val(self, _env: &E) -> RawVal

impl<E, T0, T1> IntoVal<E, EnvVal<E, RawVal>> for (T0, T1)where
    E: Env,
    T0: IntoVal<E, RawVal>,
    T1: IntoVal<E, RawVal>,

fn into_val(self, env: &E) -> EnvVal<E, RawVal>

Implementors

impl<E> IntoVal<E, RawVal> for &BitSetwhere
    E: Env,

impl<E> IntoVal<E, RawVal> for &Objectwhere
    E: Env,

impl<E> IntoVal<E, RawVal> for &Staticwhere
    E: Env,

impl<E> IntoVal<E, RawVal> for &Statuswhere
    E: Env,

impl<E> IntoVal<E, RawVal> for &Symbolwhere
    E: Env,

impl<E> IntoVal<E, RawVal> for BitSetwhere
    E: Env,

impl<E> IntoVal<E, RawVal> for Objectwhere
    E: Env,

impl<E> IntoVal<E, RawVal> for RawValwhere
    E: Env,

impl<E> IntoVal<E, RawVal> for Staticwhere
    E: Env,

impl<E> IntoVal<E, RawVal> for Statuswhere
    E: Env,

impl<E> IntoVal<E, RawVal> for Symbolwhere
    E: Env,

impl<E, V> IntoVal<E, V> for EnvVal<E, V>where
    E: Env,