Trait soroban_env_host::TryFromVal

pub trait TryFromVal<E, V>where
    E: Env,{
    type Error;

    fn try_from_val(env: &E, v: V) -> Result<Self, Self::Error>;
}

Required Associated Types

type Error

Required Methods

fn try_from_val(env: &E, v: V) -> Result<Self, Self::Error>

Implementations on Foreign Types

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<(T0, T1, T2, T3, T4), <(T0, T1, T2, T3, T4) as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<(T0, T1, T2, T3, T4, T5, T6), <(T0, T1, T2, T3, T4, T5, T6) as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<u64, <u64 as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<i64, <i64 as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<(T0, T1), <(T0, T1) as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7, T8), <(T0, T1, T2, T3, T4, T5, T6, T7, T8) as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<(T0, T1, T2), <(T0, T1, T2) as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    _env: &E,
    val: RawVal
) -> Result<u32, <u32 as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11), <(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11) as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10), <(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10) as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7), <(T0, T1, T2, T3, T4, T5, T6, T7) as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9), <(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9) as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<(T0,), <(T0,) as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<(T0, T1, T2, T3, T4, T5), <(T0, T1, T2, T3, T4, T5) as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<[u8; N], <[u8; N] as TryFromVal<E, RawVal>>::Error>

impl<E> TryFromVal<E, Static> for boolwhere
    E: Env,

type Error = ConversionError

fn try_from_val(
    _env: &E,
    val: Static
) -> Result<bool, <bool as TryFromVal<E, Static>>::Error>

impl<E> TryFromVal<E, Static> for ()where
    E: Env,

type Error = ConversionError

fn try_from_val(
    _env: &E,
    val: Static
) -> Result<(), <() as TryFromVal<E, Static>>::Error>

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

type Error = <T as TryFromVal<E, RawVal>>::Error

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<Option<T>, <Option<T> as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    env: &E,
    val: RawVal
) -> Result<(T0, T1, T2, T3), <(T0, T1, T2, T3) as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    _env: &E,
    val: RawVal
) -> Result<(), <() as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    _env: &E,
    val: RawVal
) -> Result<bool, <bool as TryFromVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_from_val(
    _env: &E,
    val: RawVal
) -> Result<i32, <i32 as TryFromVal<E, RawVal>>::Error>

Implementors

impl<E> TryFromVal<E, Object> for ScObjectwhere
    E: Env + TryConvert<Object, ScObject>,

type Error = <E as TryConvert<Object, ScObject>>::Error

impl<E> TryFromVal<E, RawVal> for ScValwhere
    E: Env,
    ScObject: TryFromVal<E, Object>,

type Error = ConversionError

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

type Error = ConversionError

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

type Error = ConversionError

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

type Error = Infallible

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

type Error = ConversionError

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

type Error = ConversionError

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

type Error = ConversionError

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

type Error = Infallible