Trait soroban_sdk::TryIntoVal

pub trait TryIntoVal<E, V>: Sizedwhere
    E: Env,{
    type Error;

    fn try_into_val(self, env: &E) -> Result<V, Self::Error>;

    fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error> { ... }
}

Used to do conversions between values in the Soroban environment.

Required Associated Types

type Error

Required Methods

fn try_into_val(self, env: &E) -> Result<V, Self::Error>

Provided Methods

fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>

Implementations on Foreign Types

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)> for &[RawVal; N]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_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)>>::Error>

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

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <i64 as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for &Vec<u8, Global>where
    E: Env,

type Error = Status

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <&Vec<u8, Global> as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for &strwhere
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <&str as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for &i128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <&i128 as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, Object> for &i128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<Object, <&i128 as TryIntoVal<E, Object>>::Error>

impl<E> TryIntoVal<E, Object> for i128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<Object, <i128 as TryIntoVal<E, Object>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)> for &[RawVal; N]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_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)>>::Error>

impl<E, T0, T1, T2, const N: usize> TryIntoVal<E, (T0, T1, T2)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2)>>::Error>

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

type Error = ConversionError

fn try_into_val(
    self,
    _env: &E
) -> Result<RawVal, <() as TryIntoVal<E, RawVal>>::Error>

impl<E, T0, T1, const N: usize> TryIntoVal<E, (T0, T1)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1), <&[RawVal; N] as TryIntoVal<E, (T0, T1)>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)> for &[RawVal; N]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_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)>>::Error>

impl<E> TryIntoVal<E, RawVal> for Vec<u8, Global>where
    E: Env,

type Error = Status

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <Vec<u8, Global> as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for i128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <i128 as TryIntoVal<E, RawVal>>::Error>

impl<E, T0, T1, T2, T3, const N: usize> TryIntoVal<E, (T0, T1, T2, T3)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3)>>::Error>

impl<E> TryIntoVal<E, Object> for &u128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<Object, <&u128 as TryIntoVal<E, Object>>::Error>

impl<E> TryIntoVal<E, RawVal> for u128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <u128 as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, ()> for &[RawVal; 0]where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(), <&[RawVal; 0] as TryIntoVal<E, ()>>::Error>

impl<E> TryIntoVal<E, RawVal> for Stringwhere
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <String as TryIntoVal<E, RawVal>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, T6, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6)> for &[RawVal; N]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_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5, T6), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6)>>::Error>

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

type Error = ConversionError

fn try_into_val(
    self,
    _env: &E
) -> Result<RawVal, <u32 as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for &Stringwhere
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <&String as TryIntoVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_into_val(
    self,
    _env: &E
) -> Result<RawVal, <bool as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for &u128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <&u128 as TryIntoVal<E, RawVal>>::Error>

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

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <u64 as TryIntoVal<E, RawVal>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4, T5)> for &[RawVal; N]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_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4, T5)>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8)> for &[RawVal; N]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_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7, T8), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8)>>::Error>

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

type Error = Status

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <&[u8] as TryIntoVal<E, RawVal>>::Error>

impl<E, T0, T1, T2, T3, T4, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4)> for &[RawVal; N]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_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4)>>::Error>

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

type Error = ConversionError

fn try_into_val(
    self,
    _env: &E
) -> Result<RawVal, <i32 as TryIntoVal<E, RawVal>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7)> for &[RawVal; N]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_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7)>>::Error>

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

type Error = Status

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <[u8; N] as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, Object> for u128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<Object, <u128 as TryIntoVal<E, Object>>::Error>

impl<E, T0, const N: usize> TryIntoVal<E, (T0,)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0,), <&[RawVal; N] as TryIntoVal<E, (T0,)>>::Error>

Implementors

impl TryIntoVal<Host, RawVal> for AccountId

type Error = HostError

impl TryIntoVal<Host, AccountSignatures> for RawVal

type Error = HostError

impl TryIntoVal<Host, AllowanceDataKey> for RawVal

type Error = HostError

impl TryIntoVal<Host, AlphaNum4Metadata> for RawVal

type Error = HostError

impl TryIntoVal<Host, AlphaNum12Metadata> for RawVal

type Error = HostError

impl TryIntoVal<Host, Bytes> for RawVal

type Error = HostError

impl TryIntoVal<Host, DataKey> for RawVal

type Error = HostError

impl TryIntoVal<Host, Ed25519Signature> for RawVal

type Error = HostError

impl TryIntoVal<Host, Identifier> for RawVal

type Error = HostError

impl TryIntoVal<Host, Invoker> for RawVal

type Error = HostError

impl TryIntoVal<Host, Map> for RawVal

type Error = HostError

impl TryIntoVal<Host, Metadata> for RawVal

type Error = HostError

impl TryIntoVal<Host, Signature> for RawVal

type Error = HostError

impl TryIntoVal<Host, SignaturePayload> for RawVal

type Error = HostError

impl TryIntoVal<Host, SignaturePayloadV0> for RawVal

type Error = HostError

impl TryIntoVal<Host, TokenMetadata> for RawVal

type Error = HostError

impl TryIntoVal<Host, Vec> for RawVal

type Error = HostError

impl TryIntoVal<Env, Address> for ScObject

type Error = Error

impl TryIntoVal<Env, Address> for ScVal

type Error = Error

impl TryIntoVal<Env, Address> for RawVal

type Error = ConversionError

impl TryIntoVal<Env, Address> for ScVec

type Error = Error

impl TryIntoVal<Env, AccountId> for ScVal

type Error = ConversionError

impl TryIntoVal<Env, AccountId> for RawVal

type Error = <AccountId as TryFromVal<Env, Object>>::Error

impl TryIntoVal<Env, AccountId> for AccountId

type Error = ConversionError

impl TryIntoVal<Env, AccountId> for Object

type Error = <AccountId as TryFromVal<Env, Object>>::Error

impl TryIntoVal<Env, Bytes> for ScVal

type Error = ConversionError

impl TryIntoVal<Env, Bytes> for RawVal

type Error = ConversionError

impl TryIntoVal<Env, Bytes> for Object

type Error = ConversionError

impl<'a, E> TryIntoVal<E, Object> for &'a ScObjectwhere
    E: Env + TryConvert<&'a ScObject, Object>,

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

impl<'a, E> TryIntoVal<E, Object> for &'a ScValwhere
    E: Env + TryConvert<&'a ScObject, Object>,

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

impl<E> TryIntoVal<E, ScVal> for RawValwhere
    E: Env,
    ScObject: TryFromVal<E, Object>,

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

impl<E> TryIntoVal<E, bool> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, i32> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, i64> for RawValwhere
    E: Env,

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

impl<E> TryIntoVal<E, i128> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, i128> for Objectwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, u32> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, u64> for RawValwhere
    E: Env,

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

impl<E> TryIntoVal<E, u128> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, u128> for Objectwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, ()> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, String> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, RawVal> for &ScValwhere
    E: Env,
    &'a ScObject: for<'a> TryIntoVal<E, Object>,

type Error = ConversionError

impl<E> TryIntoVal<E, RawVal> for &RawValwhere
    E: Env,

type Error = Infallible

impl<E> TryIntoVal<E, RawVal> for ScValwhere
    E: Env,
    &'a ScObject: for<'a> TryIntoVal<E, Object>,

type Error = ConversionError

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

type Error = Infallible

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

type Error = ConversionError

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

type Error = ConversionError

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

type Error = ConversionError

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

type Error = ConversionError

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

type Error = ConversionError

impl<E> TryIntoVal<E, Symbol> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, BitSet> for RawValwhere
    E: Env,

type Error = ConversionError

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

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

impl<E> TryIntoVal<E, Object> for ScValwhere
    E: Env + TryConvert<ScObject, Object>,

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

impl<E> TryIntoVal<E, Object> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, Static> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, Status> for RawValwhere
    E: Env,

type Error = ConversionError

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

type Error = ConversionError

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

type Error = ConversionError

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

type Error = ConversionError

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

type Error = ConversionError

impl<E, T0, T1, T2, T3, T4> TryIntoVal<E, (T0, T1, T2, T3, T4)> for RawValwhere
    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

impl<E, T0, T1, T2, T3, T4, T5> TryIntoVal<E, (T0, T1, T2, T3, T4, T5)> for RawValwhere
    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

impl<E, T0, T1, T2, T3, T4, T5, T6> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6)> for RawValwhere
    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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7)> for RawValwhere
    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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8)> for RawValwhere
    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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)> for RawValwhere
    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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)> for RawValwhere
    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

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)> for RawValwhere
    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

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

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

impl<E, T, R> TryIntoVal<E, Result<T, R>> for RawValwhere
    E: Env,
    T: TryFromVal<E, RawVal, Error = ConversionError>,
    R: TryFrom<Status>,

type Error = ConversionError

impl<E, const N: usize> TryIntoVal<E, [u8; N]> for RawValwhere
    E: Env,

type Error = <[u8; N] as TryFromVal<E, RawVal>>::Error

impl<K, V> TryIntoVal<Env, Map<K, V>> for ScValwhere
    K: IntoVal<Env, RawVal> + TryFromVal<Env, RawVal>,
    V: IntoVal<Env, RawVal> + TryFromVal<Env, RawVal>,

type Error = ConversionError

impl<K, V> TryIntoVal<Env, Map<K, V>> for RawValwhere
    K: IntoVal<Env, RawVal> + TryFromVal<Env, RawVal>,
    V: IntoVal<Env, RawVal> + TryFromVal<Env, RawVal>,

type Error = ConversionError

impl<K, V> TryIntoVal<Env, Map<K, V>> for Objectwhere
    K: IntoVal<Env, RawVal> + TryFromVal<Env, RawVal>,
    V: IntoVal<Env, RawVal> + TryFromVal<Env, RawVal>,

type Error = ConversionError

impl<T> TryIntoVal<Env, Vec<T>> for ScObjectwhere
    T: IntoVal<Env, RawVal> + TryFromVal<Env, RawVal>,

type Error = ConversionError

impl<T> TryIntoVal<Env, Vec<T>> for ScValwhere
    T: IntoVal<Env, RawVal> + TryFromVal<Env, RawVal>,

type Error = ConversionError

impl<T> TryIntoVal<Env, Vec<T>> for RawValwhere
    T: IntoVal<Env, RawVal> + TryFromVal<Env, RawVal>,

type Error = ConversionError

impl<T> TryIntoVal<Env, Vec<T>> for ScVecwhere
    T: IntoVal<Env, RawVal> + TryFromVal<Env, RawVal>,

type Error = ConversionError

impl<T> TryIntoVal<Env, Vec<T>> for Objectwhere
    T: IntoVal<Env, RawVal> + TryFromVal<Env, RawVal>,

type Error = ConversionError

impl<const N: usize> TryIntoVal<Host, BytesN<N>> for RawVal

type Error = HostError

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

type Error = ConversionError

impl<const N: usize> TryIntoVal<Env, BytesN<N>> for RawVal

type Error = ConversionError

impl<const N: usize> TryIntoVal<Env, BytesN<N>> for Object

type Error = ConversionError