Trait soroban_sdk::TryFromVal

pub trait TryFromVal<E, V>: Sized
where
    E: Env,
    V: ?Sized,
{
    type Error: Debug + Into<Error>;

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

Used to do conversions between values in the Soroban environment. Trait for types that can be fallibly converted to another type V, analogous to the standard Rust type TryFrom, but making use of the provided Env implementation E in order to convert parts of the type that require it. Mainly this exists because Val types that contain object handles need to delegate to the environment to look up and extract the content of those handles.

Required Associated Types

type Error: Debug + Into<Error>

Required Methods

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

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl TryFromVal<Env, bool> for bool

type Error = ConversionError

fn try_from_val(_env: &Env, v: &bool) -> Result<Self, Self::Error>

impl TryFromVal<Env, i32> for i32

type Error = ConversionError

fn try_from_val(_env: &Env, v: &i32) -> Result<Self, Self::Error>

impl TryFromVal<Env, i64> for i64

type Error = ConversionError

fn try_from_val(_env: &Env, v: &i64) -> Result<Self, Self::Error>

impl TryFromVal<Env, i128> for i128

type Error = ConversionError

fn try_from_val(_env: &Env, v: &i128) -> Result<Self, Self::Error>

impl TryFromVal<Env, u32> for u32

type Error = ConversionError

fn try_from_val(_env: &Env, v: &u32) -> Result<Self, Self::Error>

impl TryFromVal<Env, u64> for u64

type Error = ConversionError

fn try_from_val(_env: &Env, v: &u64) -> Result<Self, Self::Error>

impl TryFromVal<Env, u128> for u128

type Error = ConversionError

fn try_from_val(_env: &Env, v: &u128) -> Result<Self, Self::Error>

impl TryFromVal<Env, ()> for ()

type Error = ConversionError

fn try_from_val(_env: &Env, v: &()) -> Result<Self, Self::Error>

impl<E> TryFromVal<E, ()> for [Val; 0]

where E: Env,

type Error = Error

fn try_from_val( _env: &E, _v: &() ) -> Result<[Val; 0], <[Val; 0] as TryFromVal<E, ()>>::Error>

impl<E> TryFromVal<E, Val> for bool

where E: Env,

type Error = ConversionError

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

impl<E> TryFromVal<E, Val> for i32

where E: Env,

type Error = ConversionError

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

impl<E> TryFromVal<E, Val> for i64

where E: Env,

type Error = Error

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

impl<E> TryFromVal<E, Val> for i128

where E: Env,

type Error = Error

fn try_from_val( env: &E, v: &Val ) -> Result<i128, <i128 as TryFromVal<E, Val>>::Error>

impl<E> TryFromVal<E, Val> for u32

where E: Env,

type Error = ConversionError

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

impl<E> TryFromVal<E, Val> for u64

where E: Env,

type Error = Error

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

impl<E> TryFromVal<E, Val> for u128

where E: Env,

type Error = Error

fn try_from_val( env: &E, v: &Val ) -> Result<u128, <u128 as TryFromVal<E, Val>>::Error>

impl<E> TryFromVal<E, Val> for ()

where E: Env,

type Error = ConversionError

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

impl<E> TryFromVal<E, Val> for String

where E: Env,

type Error = Error

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

impl<E> TryFromVal<E, Val> for Vec<u8>

where E: Env,

type Error = Error

fn try_from_val( env: &E, val: &Val ) -> Result<Vec<u8>, <Vec<u8> as TryFromVal<E, Val>>::Error>

impl<E> TryFromVal<E, Val> for I256

where E: Env,

type Error = Error

fn try_from_val( env: &E, v: &Val ) -> Result<I256, <I256 as TryFromVal<E, Val>>::Error>

impl<E> TryFromVal<E, Val> for U256

where E: Env,

type Error = Error

fn try_from_val( env: &E, v: &Val ) -> Result<U256, <U256 as TryFromVal<E, Val>>::Error>

impl<E> TryFromVal<E, BytesObject> for Vec<u8>

where E: Env,

type Error = Error

fn try_from_val( env: &E, val: &BytesObject ) -> Result<Vec<u8>, <Vec<u8> as TryFromVal<E, BytesObject>>::Error>

impl<E> TryFromVal<E, DurationVal> for u64

where E: Env,

type Error = Error

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

impl<E> TryFromVal<E, StringObject> for String

where E: Env,

type Error = Error

fn try_from_val( env: &E, v: &StringObject ) -> Result<String, <String as TryFromVal<E, StringObject>>::Error>

impl<E> TryFromVal<E, TimepointVal> for u64

where E: Env,

type Error = Error

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

impl<E> TryFromVal<E, U64Val> for u64

where E: Env,

type Error = Error

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

impl<E> TryFromVal<E, [Val; 0]> for ()

where E: Env,

type Error = Error

fn try_from_val( _env: &E, _val: &[Val; 0] ) -> Result<(), <() as TryFromVal<E, [Val; 0]>>::Error>

impl<E, T0> TryFromVal<E, Val> for (T0,)

where E: Env, T0: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1> TryFromVal<E, Val> for (T0, T1)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1, T2> TryFromVal<E, Val> for (T0, T1, T2)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1, T2, T3> TryFromVal<E, Val> for (T0, T1, T2, T3)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4> TryFromVal<E, Val> for (T0, T1, T2, T3, T4)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5> TryFromVal<E, Val> for (T0, T1, T2, T3, T4, T5)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6> TryFromVal<E, Val> for (T0, T1, T2, T3, T4, T5, T6)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>, T6: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7> TryFromVal<E, Val> for (T0, T1, T2, T3, T4, T5, T6, T7)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>, T6: TryFromVal<E, Val>, T7: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8> TryFromVal<E, Val> for (T0, T1, T2, T3, T4, T5, T6, T7, T8)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>, T6: TryFromVal<E, Val>, T7: TryFromVal<E, Val>, T8: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> TryFromVal<E, Val> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>, T6: TryFromVal<E, Val>, T7: TryFromVal<E, Val>, T8: TryFromVal<E, Val>, T9: TryFromVal<E, Val>,

type Error = Error

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

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

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>, T6: TryFromVal<E, Val>, T7: TryFromVal<E, Val>, T8: TryFromVal<E, Val>, T9: TryFromVal<E, Val>, T10: TryFromVal<E, Val>,

type Error = Error

fn try_from_val( env: &E, val: &Val ) -> 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, Val>>::Error>

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

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>, T6: TryFromVal<E, Val>, T7: TryFromVal<E, Val>, T8: TryFromVal<E, Val>, T9: TryFromVal<E, Val>, T10: TryFromVal<E, Val>, T11: TryFromVal<E, Val>,

type Error = Error

fn try_from_val( env: &E, val: &Val ) -> 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, Val>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> TryFromVal<E, Val> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>, T6: TryFromVal<E, Val>, T7: TryFromVal<E, Val>, T8: TryFromVal<E, Val>, T9: TryFromVal<E, Val>, T10: TryFromVal<E, Val>, T11: TryFromVal<E, Val>, T12: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, const N: usize> TryFromVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)> for [Val; N]

where E: Env, Val: TryFromVal<E, T0> + TryFromVal<E, T1> + TryFromVal<E, T2> + TryFromVal<E, T3> + TryFromVal<E, T4> + TryFromVal<E, T5> + TryFromVal<E, T6> + TryFromVal<E, T7> + TryFromVal<E, T8> + TryFromVal<E, T9> + TryFromVal<E, T10> + TryFromVal<E, T11> + TryFromVal<E, T12>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, const N: usize> TryFromVal<E, [Val; N]> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>, T6: TryFromVal<E, Val>, T7: TryFromVal<E, Val>, T8: TryFromVal<E, Val>, T9: TryFromVal<E, Val>, T10: TryFromVal<E, Val>, T11: TryFromVal<E, Val>, T12: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, const N: usize> TryFromVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)> for [Val; N]

where E: Env, Val: TryFromVal<E, T0> + TryFromVal<E, T1> + TryFromVal<E, T2> + TryFromVal<E, T3> + TryFromVal<E, T4> + TryFromVal<E, T5> + TryFromVal<E, T6> + TryFromVal<E, T7> + TryFromVal<E, T8> + TryFromVal<E, T9> + TryFromVal<E, T10> + TryFromVal<E, T11>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, const N: usize> TryFromVal<E, [Val; N]> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>, T6: TryFromVal<E, Val>, T7: TryFromVal<E, Val>, T8: TryFromVal<E, Val>, T9: TryFromVal<E, Val>, T10: TryFromVal<E, Val>, T11: TryFromVal<E, Val>,

type Error = Error

fn try_from_val( env: &E, val: &[Val; N] ) -> 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, [Val; N]>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, const N: usize> TryFromVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)> for [Val; N]

where E: Env, Val: TryFromVal<E, T0> + TryFromVal<E, T1> + TryFromVal<E, T2> + TryFromVal<E, T3> + TryFromVal<E, T4> + TryFromVal<E, T5> + TryFromVal<E, T6> + TryFromVal<E, T7> + TryFromVal<E, T8> + TryFromVal<E, T9> + TryFromVal<E, T10>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, const N: usize> TryFromVal<E, [Val; N]> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>, T6: TryFromVal<E, Val>, T7: TryFromVal<E, Val>, T8: TryFromVal<E, Val>, T9: TryFromVal<E, Val>, T10: TryFromVal<E, Val>,

type Error = Error

fn try_from_val( env: &E, val: &[Val; N] ) -> 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, [Val; N]>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, const N: usize> TryFromVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)> for [Val; N]

where E: Env, Val: TryFromVal<E, T0> + TryFromVal<E, T1> + TryFromVal<E, T2> + TryFromVal<E, T3> + TryFromVal<E, T4> + TryFromVal<E, T5> + TryFromVal<E, T6> + TryFromVal<E, T7> + TryFromVal<E, T8> + TryFromVal<E, T9>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, const N: usize> TryFromVal<E, [Val; N]> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>, T6: TryFromVal<E, Val>, T7: TryFromVal<E, Val>, T8: TryFromVal<E, Val>, T9: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, const N: usize> TryFromVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8)> for [Val; N]

where E: Env, Val: TryFromVal<E, T0> + TryFromVal<E, T1> + TryFromVal<E, T2> + TryFromVal<E, T3> + TryFromVal<E, T4> + TryFromVal<E, T5> + TryFromVal<E, T6> + TryFromVal<E, T7> + TryFromVal<E, T8>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, const N: usize> TryFromVal<E, [Val; N]> for (T0, T1, T2, T3, T4, T5, T6, T7, T8)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>, T6: TryFromVal<E, Val>, T7: TryFromVal<E, Val>, T8: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, const N: usize> TryFromVal<E, (T0, T1, T2, T3, T4, T5, T6, T7)> for [Val; N]

where E: Env, Val: TryFromVal<E, T0> + TryFromVal<E, T1> + TryFromVal<E, T2> + TryFromVal<E, T3> + TryFromVal<E, T4> + TryFromVal<E, T5> + TryFromVal<E, T6> + TryFromVal<E, T7>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, const N: usize> TryFromVal<E, [Val; N]> for (T0, T1, T2, T3, T4, T5, T6, T7)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>, T6: TryFromVal<E, Val>, T7: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, const N: usize> TryFromVal<E, (T0, T1, T2, T3, T4, T5, T6)> for [Val; N]

where E: Env, Val: TryFromVal<E, T0> + TryFromVal<E, T1> + TryFromVal<E, T2> + TryFromVal<E, T3> + TryFromVal<E, T4> + TryFromVal<E, T5> + TryFromVal<E, T6>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, T6, const N: usize> TryFromVal<E, [Val; N]> for (T0, T1, T2, T3, T4, T5, T6)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>, T6: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, T1, T2, T3, T4, T5, const N: usize> TryFromVal<E, (T0, T1, T2, T3, T4, T5)> for [Val; N]

where E: Env, Val: TryFromVal<E, T0> + TryFromVal<E, T1> + TryFromVal<E, T2> + TryFromVal<E, T3> + TryFromVal<E, T4> + TryFromVal<E, T5>,

type Error = Error

fn try_from_val( env: &E, val: &(T0, T1, T2, T3, T4, T5) ) -> Result<[Val; N], <[Val; N] as TryFromVal<E, (T0, T1, T2, T3, T4, T5)>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, const N: usize> TryFromVal<E, [Val; N]> for (T0, T1, T2, T3, T4, T5)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>, T5: TryFromVal<E, Val>,

type Error = Error

fn try_from_val( env: &E, val: &[Val; N] ) -> Result<(T0, T1, T2, T3, T4, T5), <(T0, T1, T2, T3, T4, T5) as TryFromVal<E, [Val; N]>>::Error>

impl<E, T0, T1, T2, T3, T4, const N: usize> TryFromVal<E, (T0, T1, T2, T3, T4)> for [Val; N]

where E: Env, Val: TryFromVal<E, T0> + TryFromVal<E, T1> + TryFromVal<E, T2> + TryFromVal<E, T3> + TryFromVal<E, T4>,

type Error = Error

fn try_from_val( env: &E, val: &(T0, T1, T2, T3, T4) ) -> Result<[Val; N], <[Val; N] as TryFromVal<E, (T0, T1, T2, T3, T4)>>::Error>

impl<E, T0, T1, T2, T3, T4, const N: usize> TryFromVal<E, [Val; N]> for (T0, T1, T2, T3, T4)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>, T4: TryFromVal<E, Val>,

type Error = Error

fn try_from_val( env: &E, val: &[Val; N] ) -> Result<(T0, T1, T2, T3, T4), <(T0, T1, T2, T3, T4) as TryFromVal<E, [Val; N]>>::Error>

impl<E, T0, T1, T2, T3, const N: usize> TryFromVal<E, (T0, T1, T2, T3)> for [Val; N]

where E: Env, Val: TryFromVal<E, T0> + TryFromVal<E, T1> + TryFromVal<E, T2> + TryFromVal<E, T3>,

type Error = Error

fn try_from_val( env: &E, val: &(T0, T1, T2, T3) ) -> Result<[Val; N], <[Val; N] as TryFromVal<E, (T0, T1, T2, T3)>>::Error>

impl<E, T0, T1, T2, T3, const N: usize> TryFromVal<E, [Val; N]> for (T0, T1, T2, T3)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>, T3: TryFromVal<E, Val>,

type Error = Error

fn try_from_val( env: &E, val: &[Val; N] ) -> Result<(T0, T1, T2, T3), <(T0, T1, T2, T3) as TryFromVal<E, [Val; N]>>::Error>

impl<E, T0, T1, T2, const N: usize> TryFromVal<E, (T0, T1, T2)> for [Val; N]

where E: Env, Val: TryFromVal<E, T0> + TryFromVal<E, T1> + TryFromVal<E, T2>,

type Error = Error

fn try_from_val( env: &E, val: &(T0, T1, T2) ) -> Result<[Val; N], <[Val; N] as TryFromVal<E, (T0, T1, T2)>>::Error>

impl<E, T0, T1, T2, const N: usize> TryFromVal<E, [Val; N]> for (T0, T1, T2)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>, T2: TryFromVal<E, Val>,

type Error = Error

fn try_from_val( env: &E, val: &[Val; N] ) -> Result<(T0, T1, T2), <(T0, T1, T2) as TryFromVal<E, [Val; N]>>::Error>

impl<E, T0, T1, const N: usize> TryFromVal<E, (T0, T1)> for [Val; N]

where E: Env, Val: TryFromVal<E, T0> + TryFromVal<E, T1>,

type Error = Error

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

impl<E, T0, T1, const N: usize> TryFromVal<E, [Val; N]> for (T0, T1)

where E: Env, T0: TryFromVal<E, Val>, T1: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T0, const N: usize> TryFromVal<E, (T0,)> for [Val; N]

where E: Env, Val: TryFromVal<E, T0>,

type Error = Error

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

impl<E, T0, const N: usize> TryFromVal<E, [Val; N]> for (T0,)

where E: Env, T0: TryFromVal<E, Val>,

type Error = Error

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

impl<E, T> TryFromVal<E, Val> for Option<T>

where E: Env, T: TryFromVal<E, Val>,

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

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

impl<E, T, R> TryFromVal<E, Val> for Result<T, R>

where E: Env, T: TryFromVal<E, Val>, R: TryFrom<Error>, <R as TryFrom<Error>>::Error: Into<Error>,

type Error = Error

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

impl<E, const N: usize> TryFromVal<E, Val> for [u8; N]

where E: Env,

type Error = Error

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

impl<E, const N: usize> TryFromVal<E, BytesObject> for [u8; N]

where E: Env,

type Error = Error

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

impl<const N: usize> TryFromVal<Env, BytesN<N>> for [u8; N]

type Error = ConversionError

fn try_from_val(_env: &Env, v: &BytesN<N>) -> Result<Self, Self::Error>

Implementors

impl TryFromVal<Host, AccountEd25519Signature> for Val

type Error = HostError

impl TryFromVal<Host, Address> for Val

type Error = HostError

impl TryFromVal<Host, AllowanceDataKey> for Val

type Error = HostError

impl TryFromVal<Host, AllowanceValue> for Val

type Error = HostError

impl TryFromVal<Host, AlphaNum4AssetInfo> for Val

type Error = HostError

impl TryFromVal<Host, AlphaNum12AssetInfo> for Val

type Error = HostError

impl TryFromVal<Host, AssetInfo> for Asset

type Error = HostError

impl TryFromVal<Host, AssetInfo> for Val

type Error = HostError

impl TryFromVal<Host, AuthorizationContext> for Val

type Error = HostError

impl TryFromVal<Host, BalanceValue> for Val

type Error = HostError

impl TryFromVal<Host, ContractAuthorizationContext> for Val

type Error = HostError

impl TryFromVal<Host, ContractExecutable> for Val

type Error = HostError

impl TryFromVal<Host, CreateContractHostFnContext> for Val

type Error = HostError

impl TryFromVal<Host, DataKey> for Val

type Error = HostError

impl TryFromVal<Host, InstanceDataKey> for Val

type Error = HostError

impl TryFromVal<Host, InvokerContractAuthEntry> for Val

type Error = HostError

impl TryFromVal<Host, StellarAssetContractMetadata> for Val

type Error = HostError

impl TryFromVal<Host, String> for Val

type Error = HostError

impl TryFromVal<Host, SubContractInvocation> for Val

type Error = HostError

impl TryFromVal<Host, Vec> for Val

type Error = HostError

impl TryFromVal<Env, &str> for Bytes

type Error = ConversionError

impl TryFromVal<Env, &str> for soroban_sdk::String

type Error = ConversionError

impl TryFromVal<Env, &str> for soroban_sdk::Symbol

type Error = ConversionError

impl TryFromVal<Env, &Address> for Val

type Error = ConversionError

impl TryFromVal<Env, &Duration> for Val

type Error = ConversionError

impl TryFromVal<Env, &I256> for Val

type Error = ConversionError

impl TryFromVal<Env, &Symbol> for Val

type Error = ConversionError

impl TryFromVal<Env, &Timepoint> for Val

type Error = ConversionError

impl TryFromVal<Env, &U256> for Val

type Error = ConversionError

impl TryFromVal<Env, &[u8]> for Bytes

type Error = ConversionError

impl TryFromVal<Env, Context> for Val

type Error = ConversionError

impl TryFromVal<Env, ContractExecutable> for Val

type Error = ConversionError

impl TryFromVal<Env, InvokerContractAuthEntry> for Val

type Error = ConversionError

impl TryFromVal<Env, ScAddress> for Address

type Error = ConversionError

impl TryFromVal<Env, ScVal> for Context

type Error = Error

impl TryFromVal<Env, ScVal> for ContractExecutable

type Error = Error

impl TryFromVal<Env, ScVal> for InvokerContractAuthEntry

type Error = Error

impl TryFromVal<Env, ScVal> for ContractContext

type Error = Error

impl TryFromVal<Env, ScVal> for CreateContractHostFnContext

type Error = Error

impl TryFromVal<Env, ScVal> for SubContractInvocation

type Error = Error

impl TryFromVal<Env, ScVal> for Address

type Error = ConversionError

impl TryFromVal<Env, ScVal> for Bytes

type Error = ConversionError

impl TryFromVal<Env, ScVal> for Duration

type Error = ConversionError

impl TryFromVal<Env, ScVal> for soroban_sdk::I256

type Error = ConversionError

impl TryFromVal<Env, ScVal> for soroban_sdk::String

type Error = ConversionError

impl TryFromVal<Env, ScVal> for soroban_sdk::Symbol

type Error = ConversionError

impl TryFromVal<Env, ScVal> for Timepoint

type Error = ConversionError

impl TryFromVal<Env, ScVal> for soroban_sdk::U256

type Error = ConversionError

impl TryFromVal<Env, ()> for soroban_sdk::Vec<Val>

type Error = ConversionError

impl TryFromVal<Env, ContractContext> for Val

type Error = ConversionError

impl TryFromVal<Env, CreateContractHostFnContext> for Val

type Error = ConversionError

impl TryFromVal<Env, SubContractInvocation> for Val

type Error = ConversionError

impl TryFromVal<Env, Address> for Val

type Error = ConversionError

impl TryFromVal<Env, Bytes> for Bytes

type Error = ConversionError

impl TryFromVal<Env, Bytes> for Val

type Error = ConversionError

impl TryFromVal<Env, Duration> for Val

type Error = ConversionError

impl TryFromVal<Env, I256> for Val

type Error = ConversionError

impl TryFromVal<Env, String> for soroban_sdk::String

type Error = ConversionError

impl TryFromVal<Env, String> for Val

type Error = ConversionError

impl TryFromVal<Env, Symbol> for ScVal

type Error = ConversionError

impl TryFromVal<Env, Symbol> for Val

type Error = ConversionError

impl TryFromVal<Env, Timepoint> for Val

type Error = ConversionError

impl TryFromVal<Env, U256> for Val

type Error = ConversionError

impl TryFromVal<Env, Val> for Context

type Error = ConversionError

impl TryFromVal<Env, Val> for ContractExecutable

type Error = ConversionError

impl TryFromVal<Env, Val> for InvokerContractAuthEntry

type Error = ConversionError

impl TryFromVal<Env, Val> for ContractContext

type Error = ConversionError

impl TryFromVal<Env, Val> for CreateContractHostFnContext

type Error = ConversionError

impl TryFromVal<Env, Val> for SubContractInvocation

type Error = ConversionError

impl TryFromVal<Env, Val> for Address

type Error = ConversionError

impl TryFromVal<Env, Val> for Bytes

type Error = ConversionError

impl TryFromVal<Env, Val> for Duration

type Error = ConversionError

impl TryFromVal<Env, Val> for soroban_sdk::I256

type Error = ConversionError

impl TryFromVal<Env, Val> for soroban_sdk::String

type Error = ConversionError

impl TryFromVal<Env, Val> for soroban_sdk::Symbol

type Error = ConversionError

impl TryFromVal<Env, Val> for Timepoint

type Error = ConversionError

impl TryFromVal<Env, Val> for soroban_sdk::U256

type Error = ConversionError

impl TryFromVal<Env, ScMap> for ContractContext

type Error = Error

impl TryFromVal<Env, ScMap> for CreateContractHostFnContext

type Error = Error

impl TryFromVal<Env, ScMap> for SubContractInvocation

type Error = Error

impl TryFromVal<Env, ScSymbol> for soroban_sdk::Symbol

type Error = ConversionError

impl TryFromVal<Env, ScVec> for Context

type Error = Error

impl TryFromVal<Env, ScVec> for ContractExecutable

type Error = Error

impl TryFromVal<Env, ScVec> for InvokerContractAuthEntry

type Error = Error

impl TryFromVal<Env, AddressObject> for Address

type Error = Infallible

impl TryFromVal<Env, BytesObject> for Bytes

type Error = Infallible

impl TryFromVal<Env, DurationVal> for Duration

type Error = Infallible

impl TryFromVal<Env, Error> for Error

type Error = ConversionError

impl TryFromVal<Env, I256Val> for soroban_sdk::I256

type Error = Infallible

impl TryFromVal<Env, StringObject> for soroban_sdk::String

type Error = Infallible

impl TryFromVal<Env, Symbol> for soroban_sdk::Symbol

type Error = Infallible

impl TryFromVal<Env, TimepointVal> for Timepoint

type Error = Infallible

impl TryFromVal<Env, U256Val> for soroban_sdk::U256

type Error = Infallible

impl<'a, E> TryFromVal<E, ScValObjRef<'a>> for Object

where E: Env + Convert<ScValObjRef<'a>, Object>,

type Error = ConversionError

impl<E> TryFromVal<E, &ScVal> for Symbol

where E: Env,

type Error = Error

impl<E> TryFromVal<E, &str> for Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, &str> for StringObject

where E: Env,

type Error = Error

impl<E> TryFromVal<E, &str> for Symbol

where E: Env,

type Error = Error

impl<E> TryFromVal<E, &ScSymbol> for Symbol

where E: Env,

type Error = Error

impl<E> TryFromVal<E, &[u8]> for Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, &[u8]> for BytesObject

where E: Env,

type Error = Error

impl<E> TryFromVal<E, &[u8]> for Symbol

where E: Env,

type Error = Error

impl<E> TryFromVal<E, ScVal> for Val

where E: Env, Object: for<'a> TryFromVal<E, ScValObjRef<'a>, Error = ConversionError>,

type Error = ConversionError

impl<E> TryFromVal<E, ScVal> for Symbol

where E: Env,

type Error = Error

impl<E> TryFromVal<E, bool> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, i32> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, i64> for Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, i128> for Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, i128> for I128Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, u32> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, u64> for Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, u64> for DurationVal

where E: Env,

type Error = Error

impl<E> TryFromVal<E, u64> for TimepointVal

where E: Env,

type Error = Error

impl<E> TryFromVal<E, u64> for U64Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, u128> for Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, u128> for U128Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, ()> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, String> for Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, String> for StringObject

where E: Env,

type Error = Error

impl<E> TryFromVal<E, Vec<u8>> for Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, Vec<u8>> for BytesObject

where E: Env,

type Error = Error

impl<E> TryFromVal<E, Val> for ScVal

where E: Env, ScValObject: TryFromVal<E, Object>,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for AddressObject

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for Bool

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for BytesObject

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for DurationObject

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for DurationSmall

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for DurationVal

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for Error

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for I32Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for I64Object

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for I64Small

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for I64Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for I128Object

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for I128Small

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for I128Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for I256Object

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for I256Small

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for I256Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for MapObject

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for Object

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for StringObject

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for Symbol

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for SymbolObject

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for SymbolSmall

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for TimepointObject

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for TimepointSmall

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for TimepointVal

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for U32Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for U64Object

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for U64Small

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for U64Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for U128Object

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for U128Small

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for U128Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for U256Object

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for U256Small

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for U256Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for VecObject

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Val> for Void

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, ScSymbol> for Symbol

where E: Env,

type Error = Error

impl<E> TryFromVal<E, AddressObject> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Bool> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, BytesObject> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, DurationObject> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, DurationSmall> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, DurationVal> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Error> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, I32Val> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, I64Object> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, I64Small> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, I64Val> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, I128Object> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, I128Small> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, I128Val> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, I256> for Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, I256> for I256Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, I256Object> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, I256Small> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, I256Val> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, MapObject> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Object> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Object> for ScValObject

where E: Env + Convert<Object, ScValObject>,

type Error = <E as Convert<Object, ScValObject>>::Error

impl<E> TryFromVal<E, StringObject> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Symbol> for ScVal

where E: Env,

type Error = Error

impl<E> TryFromVal<E, Symbol> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Symbol> for ScSymbol

where E: Env,

type Error = Error

impl<E> TryFromVal<E, Symbol> for SymbolStr

where E: Env,

type Error = Error

impl<E> TryFromVal<E, SymbolObject> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, SymbolSmall> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, TimepointObject> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, TimepointSmall> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, TimepointVal> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, U32Val> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, U64Object> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, U64Small> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, U64Val> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, U128Object> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, U128Small> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, U128Val> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, U256> for Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, U256> for U256Val

where E: Env,

type Error = Error

impl<E> TryFromVal<E, U256Object> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, U256Small> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, U256Val> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, VecObject> for Val

where E: Env,

type Error = ConversionError

impl<E> TryFromVal<E, Void> for Val

where E: Env,

type Error = ConversionError

impl<E, T0> TryFromVal<E, (T0,)> for Val

where E: Env, T0: TryIntoVal<E, Val>,

type Error = Error

impl<E, T0, T1> TryFromVal<E, (T0, T1)> for Val

where E: Env, T0: TryIntoVal<E, Val>, T1: TryIntoVal<E, Val>,

type Error = Error

impl<E, T0, T1, T2> TryFromVal<E, (T0, T1, T2)> for Val

where E: Env, T0: TryIntoVal<E, Val>, T1: TryIntoVal<E, Val>, T2: TryIntoVal<E, Val>,

type Error = Error

impl<E, T0, T1, T2, T3> TryFromVal<E, (T0, T1, T2, T3)> for Val

where E: Env, T0: TryIntoVal<E, Val>, T1: TryIntoVal<E, Val>, T2: TryIntoVal<E, Val>, T3: TryIntoVal<E, Val>,

type Error = Error

impl<E, T0, T1, T2, T3, T4> TryFromVal<E, (T0, T1, T2, T3, T4)> for Val

where E: Env, T0: TryIntoVal<E, Val>, T1: TryIntoVal<E, Val>, T2: TryIntoVal<E, Val>, T3: TryIntoVal<E, Val>, T4: TryIntoVal<E, Val>,

type Error = Error

impl<E, T0, T1, T2, T3, T4, T5> TryFromVal<E, (T0, T1, T2, T3, T4, T5)> for Val

where E: Env, T0: TryIntoVal<E, Val>, T1: TryIntoVal<E, Val>, T2: TryIntoVal<E, Val>, T3: TryIntoVal<E, Val>, T4: TryIntoVal<E, Val>, T5: TryIntoVal<E, Val>,

type Error = Error

impl<E, T0, T1, T2, T3, T4, T5, T6> TryFromVal<E, (T0, T1, T2, T3, T4, T5, T6)> for Val

where E: Env, T0: TryIntoVal<E, Val>, T1: TryIntoVal<E, Val>, T2: TryIntoVal<E, Val>, T3: TryIntoVal<E, Val>, T4: TryIntoVal<E, Val>, T5: TryIntoVal<E, Val>, T6: TryIntoVal<E, Val>,

type Error = Error

impl<E, T0, T1, T2, T3, T4, T5, T6, T7> TryFromVal<E, (T0, T1, T2, T3, T4, T5, T6, T7)> for Val

where E: Env, T0: TryIntoVal<E, Val>, T1: TryIntoVal<E, Val>, T2: TryIntoVal<E, Val>, T3: TryIntoVal<E, Val>, T4: TryIntoVal<E, Val>, T5: TryIntoVal<E, Val>, T6: TryIntoVal<E, Val>, T7: TryIntoVal<E, Val>,

type Error = Error

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8> TryFromVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8)> for Val

where E: Env, T0: TryIntoVal<E, Val>, T1: TryIntoVal<E, Val>, T2: TryIntoVal<E, Val>, T3: TryIntoVal<E, Val>, T4: TryIntoVal<E, Val>, T5: TryIntoVal<E, Val>, T6: TryIntoVal<E, Val>, T7: TryIntoVal<E, Val>, T8: TryIntoVal<E, Val>,

type Error = Error

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> TryFromVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)> for Val

where E: Env, T0: TryIntoVal<E, Val>, T1: TryIntoVal<E, Val>, T2: TryIntoVal<E, Val>, T3: TryIntoVal<E, Val>, T4: TryIntoVal<E, Val>, T5: TryIntoVal<E, Val>, T6: TryIntoVal<E, Val>, T7: TryIntoVal<E, Val>, T8: TryIntoVal<E, Val>, T9: TryIntoVal<E, Val>,

type Error = Error

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

where E: Env, T0: TryIntoVal<E, Val>, T1: TryIntoVal<E, Val>, T2: TryIntoVal<E, Val>, T3: TryIntoVal<E, Val>, T4: TryIntoVal<E, Val>, T5: TryIntoVal<E, Val>, T6: TryIntoVal<E, Val>, T7: TryIntoVal<E, Val>, T8: TryIntoVal<E, Val>, T9: TryIntoVal<E, Val>, T10: TryIntoVal<E, Val>,

type Error = Error

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

where E: Env, T0: TryIntoVal<E, Val>, T1: TryIntoVal<E, Val>, T2: TryIntoVal<E, Val>, T3: TryIntoVal<E, Val>, T4: TryIntoVal<E, Val>, T5: TryIntoVal<E, Val>, T6: TryIntoVal<E, Val>, T7: TryIntoVal<E, Val>, T8: TryIntoVal<E, Val>, T9: TryIntoVal<E, Val>, T10: TryIntoVal<E, Val>, T11: TryIntoVal<E, Val>,

type Error = Error

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> TryFromVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)> for Val

where E: Env, T0: TryIntoVal<E, Val>, T1: TryIntoVal<E, Val>, T2: TryIntoVal<E, Val>, T3: TryIntoVal<E, Val>, T4: TryIntoVal<E, Val>, T5: TryIntoVal<E, Val>, T6: TryIntoVal<E, Val>, T7: TryIntoVal<E, Val>, T8: TryIntoVal<E, Val>, T9: TryIntoVal<E, Val>, T10: TryIntoVal<E, Val>, T11: TryIntoVal<E, Val>, T12: TryIntoVal<E, Val>,

type Error = Error

impl<E, T> TryFromVal<E, Option<T>> for Val

where E: Env, T: TryIntoVal<E, Val>,

type Error = <T as TryIntoVal<E, Val>>::Error

impl<E, T, R> TryFromVal<E, Result<T, R>> for Val

where E: Env, Val: TryFromVal<E, T>, &'a R: for<'a> TryInto<Error>, <&'a R as TryInto<Error>>::Error: for<'a> Into<Error>,

type Error = Error

impl<E, const N: usize> TryFromVal<E, [u8; N]> for Val

where E: Env,

type Error = Error

impl<E, const N: usize> TryFromVal<E, [u8; N]> for BytesObject

where E: Env,

type Error = Error

impl<K, V> TryFromVal<Env, ScVal> for Map<K, V>

where K: IntoVal<Env, Val> + TryFromVal<Env, Val>, V: IntoVal<Env, Val> + TryFromVal<Env, Val>,

type Error = ConversionError

impl<K, V> TryFromVal<Env, Map<K, V>> for ScVal

type Error = ConversionError

impl<K, V> TryFromVal<Env, Map<K, V>> for Val

where K: IntoVal<Env, Val> + TryFromVal<Env, Val>, V: IntoVal<Env, Val> + TryFromVal<Env, Val>,

type Error = Infallible

impl<K, V> TryFromVal<Env, Val> for Map<K, V>

where K: IntoVal<Env, Val> + TryFromVal<Env, Val>, V: IntoVal<Env, Val> + TryFromVal<Env, Val>,

type Error = ConversionError

impl<K, V> TryFromVal<Env, MapObject> for Map<K, V>

where K: IntoVal<Env, Val> + TryFromVal<Env, Val>, V: IntoVal<Env, Val> + TryFromVal<Env, Val>,

type Error = Infallible

impl<T0> TryFromVal<Env, (T0,)> for soroban_sdk::Vec<Val>

where T0: IntoVal<Env, Val>,

type Error = ConversionError

impl<T0, T1> TryFromVal<Env, (T0, T1)> for soroban_sdk::Vec<Val>

where T0: IntoVal<Env, Val>, T1: IntoVal<Env, Val>,

type Error = ConversionError

impl<T0, T1, T2> TryFromVal<Env, (T0, T1, T2)> for soroban_sdk::Vec<Val>

where T0: IntoVal<Env, Val>, T1: IntoVal<Env, Val>, T2: IntoVal<Env, Val>,

type Error = ConversionError

impl<T0, T1, T2, T3> TryFromVal<Env, (T0, T1, T2, T3)> for soroban_sdk::Vec<Val>

where T0: IntoVal<Env, Val>, T1: IntoVal<Env, Val>, T2: IntoVal<Env, Val>, T3: IntoVal<Env, Val>,

type Error = ConversionError

impl<T0, T1, T2, T3, T4> TryFromVal<Env, (T0, T1, T2, T3, T4)> for soroban_sdk::Vec<Val>

where T0: IntoVal<Env, Val>, T1: IntoVal<Env, Val>, T2: IntoVal<Env, Val>, T3: IntoVal<Env, Val>, T4: IntoVal<Env, Val>,

type Error = ConversionError

impl<T0, T1, T2, T3, T4, T5> TryFromVal<Env, (T0, T1, T2, T3, T4, T5)> for soroban_sdk::Vec<Val>

where T0: IntoVal<Env, Val>, T1: IntoVal<Env, Val>, T2: IntoVal<Env, Val>, T3: IntoVal<Env, Val>, T4: IntoVal<Env, Val>, T5: IntoVal<Env, Val>,

type Error = ConversionError

impl<T0, T1, T2, T3, T4, T5, T6> TryFromVal<Env, (T0, T1, T2, T3, T4, T5, T6)> for soroban_sdk::Vec<Val>

where T0: IntoVal<Env, Val>, T1: IntoVal<Env, Val>, T2: IntoVal<Env, Val>, T3: IntoVal<Env, Val>, T4: IntoVal<Env, Val>, T5: IntoVal<Env, Val>, T6: IntoVal<Env, Val>,

type Error = ConversionError

impl<T0, T1, T2, T3, T4, T5, T6, T7> TryFromVal<Env, (T0, T1, T2, T3, T4, T5, T6, T7)> for soroban_sdk::Vec<Val>

where T0: IntoVal<Env, Val>, T1: IntoVal<Env, Val>, T2: IntoVal<Env, Val>, T3: IntoVal<Env, Val>, T4: IntoVal<Env, Val>, T5: IntoVal<Env, Val>, T6: IntoVal<Env, Val>, T7: IntoVal<Env, Val>,

type Error = ConversionError

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8> TryFromVal<Env, (T0, T1, T2, T3, T4, T5, T6, T7, T8)> for soroban_sdk::Vec<Val>

where T0: IntoVal<Env, Val>, T1: IntoVal<Env, Val>, T2: IntoVal<Env, Val>, T3: IntoVal<Env, Val>, T4: IntoVal<Env, Val>, T5: IntoVal<Env, Val>, T6: IntoVal<Env, Val>, T7: IntoVal<Env, Val>, T8: IntoVal<Env, Val>,

type Error = ConversionError

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> TryFromVal<Env, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)> for soroban_sdk::Vec<Val>

where T0: IntoVal<Env, Val>, T1: IntoVal<Env, Val>, T2: IntoVal<Env, Val>, T3: IntoVal<Env, Val>, T4: IntoVal<Env, Val>, T5: IntoVal<Env, Val>, T6: IntoVal<Env, Val>, T7: IntoVal<Env, Val>, T8: IntoVal<Env, Val>, T9: IntoVal<Env, Val>,

type Error = ConversionError

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> TryFromVal<Env, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)> for soroban_sdk::Vec<Val>

where T0: IntoVal<Env, Val>, T1: IntoVal<Env, Val>, T2: IntoVal<Env, Val>, T3: IntoVal<Env, Val>, T4: IntoVal<Env, Val>, T5: IntoVal<Env, Val>, T6: IntoVal<Env, Val>, T7: IntoVal<Env, Val>, T8: IntoVal<Env, Val>, T9: IntoVal<Env, Val>, T10: IntoVal<Env, Val>,

type Error = ConversionError

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> TryFromVal<Env, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)> for soroban_sdk::Vec<Val>

where T0: IntoVal<Env, Val>, T1: IntoVal<Env, Val>, T2: IntoVal<Env, Val>, T3: IntoVal<Env, Val>, T4: IntoVal<Env, Val>, T5: IntoVal<Env, Val>, T6: IntoVal<Env, Val>, T7: IntoVal<Env, Val>, T8: IntoVal<Env, Val>, T9: IntoVal<Env, Val>, T10: IntoVal<Env, Val>, T11: IntoVal<Env, Val>,

type Error = ConversionError

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> TryFromVal<Env, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)> for soroban_sdk::Vec<Val>

where T0: IntoVal<Env, Val>, T1: IntoVal<Env, Val>, T2: IntoVal<Env, Val>, T3: IntoVal<Env, Val>, T4: IntoVal<Env, Val>, T5: IntoVal<Env, Val>, T6: IntoVal<Env, Val>, T7: IntoVal<Env, Val>, T8: IntoVal<Env, Val>, T9: IntoVal<Env, Val>, T10: IntoVal<Env, Val>, T11: IntoVal<Env, Val>, T12: IntoVal<Env, Val>,

type Error = ConversionError

impl<T> TryFromVal<Env, &Vec<Val>> for soroban_sdk::Vec<T>

type Error = Infallible

impl<T> TryFromVal<Env, ScVal> for soroban_sdk::Vec<T>

where T: IntoVal<Env, Val> + TryFromVal<Env, Val>,

type Error = ConversionError

impl<T> TryFromVal<Env, Val> for soroban_sdk::Vec<T>

where T: IntoVal<Env, Val> + TryFromVal<Env, Val>,

type Error = ConversionError

impl<T> TryFromVal<Env, Vec<T>> for Val

type Error = ConversionError

impl<T> TryFromVal<Env, Vec<T>> for soroban_sdk::Vec<Val>

type Error = Infallible

impl<T> TryFromVal<Env, ScVec> for soroban_sdk::Vec<T>

where T: IntoVal<Env, Val> + TryFromVal<Env, Val>,

type Error = ConversionError

impl<T> TryFromVal<Env, VecM<ScVal>> for soroban_sdk::Vec<T>

where T: IntoVal<Env, Val> + TryFromVal<Env, Val>,

type Error = ConversionError

impl<T> TryFromVal<Env, VecObject> for soroban_sdk::Vec<T>

where T: IntoVal<Env, Val> + TryFromVal<Env, Val>,

type Error = Infallible

impl<const N: usize> TryFromVal<Host, BytesN<N>> for Val

type Error = HostError

impl<const N: usize> TryFromVal<Env, ScVal> for BytesN<N>

type Error = ConversionError

impl<const N: usize> TryFromVal<Env, BytesN<N>> for Bytes

type Error = ConversionError

impl<const N: usize> TryFromVal<Env, BytesN<N>> for BytesN<N>

type Error = ConversionError

impl<const N: usize> TryFromVal<Env, BytesN<N>> for Val

type Error = ConversionError

impl<const N: usize> TryFromVal<Env, Val> for BytesN<N>

type Error = ConversionError

impl<const N: usize> TryFromVal<Env, BytesObject> for BytesN<N>

type Error = ConversionError

impl<const N: usize> TryFromVal<Env, [u8; N]> for Bytes

type Error = ConversionError

impl<const N: usize> TryFromVal<Env, [u8; N]> for BytesN<N>

type Error = ConversionError