Struct soroban_env_guest::RawVal

#[repr(transparent)]
pub struct RawVal(_);

A 64-bit value encoding a bit-packed disjoint union between several different types (numbers, booleans, symbols, object handles, etc.)

RawVals divide up the space of 64 bits according to a 2-level tagging scheme. The first tag is a bit in the least-significant position, indicating whether the RawVal is a plain “u63” 63-bit unsigned integer, or some more-structured value with a second-level tag in the next most significant 3 bits. The 63-bit unsigned integer case can also be thought of as handling the complete range of non-negative signed 64-bit integers.

The remaining 3 bit tags are assigned to cases enumerated in Tag, of which 7 are defined and one is currently reserved.

Schematically, the bit-assignment for RawVal looks like this:

   0x_NNNN_NNNN_NNNN_NNNX  - u63, for any even X
   0x_0000_000N_NNNN_NNN1  - u32
   0x_0000_000N_NNNN_NNN3  - i32
   0x_NNNN_NNNN_NNNN_NNN5  - static: void, true, false, ...
   0x_IIII_IIII_TTTT_TTT7  - object: 32-bit index I, 28-bit type code T
   0x_NNNN_NNNN_NNNN_NNN9  - symbol: up to 10 6-bit identifier characters
   0x_NNNN_NNNN_NNNN_NNNb  - bitset: up to 60 bits
   0x_CCCC_CCCC_TTTT_TTTd  - status: 32-bit code C, 28-bit type code T
   0x_NNNN_NNNN_NNNN_NNNf  - reserved

Implementations

impl RawVal

pub fn in_env<E>(self, env: &E) -> EnvVal<E, RawVal> where
    E: Env, 

pub const fn get_payload(self) -> u64

pub const fn from_payload(x: u64) -> RawVal

pub const fn is_u63(self) -> bool

pub const unsafe fn unchecked_as_u63(self) -> i64

pub const unsafe fn unchecked_from_u63(i: i64) -> RawVal

pub const fn get_tag(self) -> Tag

pub fn is<T>(self) -> bool where
    T: RawValConvertible, 

pub const fn from_void() -> RawVal

pub const fn from_bool(b: bool) -> RawVal

pub const fn from_other_static(st: ScStatic) -> RawVal

pub const fn from_u32(u: u32) -> RawVal

pub const fn from_i32(i: i32) -> RawVal

pub const fn is_u32_zero(self) -> bool

pub const fn is_void(self) -> bool

pub const fn is_true(self) -> bool

pub const fn is_false(self) -> bool

Trait Implementations

impl AsMut<RawVal> for BitSet

fn as_mut(&mut self) -> &mut RawVal

Converts this type into a mutable reference of the (usually inferred) input type.

impl<E, V> AsMut<RawVal> for EnvVal<E, V> where
    E: Env,
    V: Val, 

fn as_mut(&mut self) -> &mut RawVal

Converts this type into a mutable reference of the (usually inferred) input type.

impl AsMut<RawVal> for Object

fn as_mut(&mut self) -> &mut RawVal

Converts this type into a mutable reference of the (usually inferred) input type.

impl AsMut<RawVal> for RawVal

fn as_mut(&mut self) -> &mut RawVal

Converts this type into a mutable reference of the (usually inferred) input type.

impl AsMut<RawVal> for Static

fn as_mut(&mut self) -> &mut RawVal

Converts this type into a mutable reference of the (usually inferred) input type.

impl AsMut<RawVal> for Status

fn as_mut(&mut self) -> &mut RawVal

Converts this type into a mutable reference of the (usually inferred) input type.

impl AsMut<RawVal> for Symbol

fn as_mut(&mut self) -> &mut RawVal

Converts this type into a mutable reference of the (usually inferred) input type.

impl AsRef<RawVal> for BitSet

fn as_ref(&self) -> &RawVal

Converts this type into a shared reference of the (usually inferred) input type.

impl<E, V> AsRef<RawVal> for EnvVal<E, V> where
    E: Env,
    V: Val, 

fn as_ref(&self) -> &RawVal

Converts this type into a shared reference of the (usually inferred) input type.

impl AsRef<RawVal> for Object

fn as_ref(&self) -> &RawVal

Converts this type into a shared reference of the (usually inferred) input type.

impl AsRef<RawVal> for RawVal

fn as_ref(&self) -> &RawVal

Converts this type into a shared reference of the (usually inferred) input type.

impl AsRef<RawVal> for Static

fn as_ref(&self) -> &RawVal

Converts this type into a shared reference of the (usually inferred) input type.

impl AsRef<RawVal> for Status

fn as_ref(&self) -> &RawVal

Converts this type into a shared reference of the (usually inferred) input type.

impl AsRef<RawVal> for Symbol

fn as_ref(&self) -> &RawVal

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for RawVal

fn clone(&self) -> RawVal

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RawVal

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

Formats the value using the given formatter.

impl Default for RawVal

fn default() -> RawVal

Returns the “default value” for a type.

impl From<&()> for RawVal

fn from(&()) -> RawVal

Converts to this type from the input type.

impl From<&ScStatus> for RawVal

fn from(st: &ScStatus) -> RawVal

Converts to this type from the input type.

impl From<&i32> for RawVal

fn from(i: &i32) -> RawVal

Converts to this type from the input type.

impl From<&u32> for RawVal

fn from(u: &u32) -> RawVal

Converts to this type from the input type.

impl From<()> for RawVal

fn from(()) -> RawVal

Converts to this type from the input type.

impl From<BitSet> for RawVal

fn from(b: BitSet) -> RawVal

Converts to this type from the input type.

impl<E> From<EnvVal<E, BitSet>> for RawVal where
    E: Env, 

fn from(ev: EnvVal<E, BitSet>) -> RawVal

Converts to this type from the input type.

impl<E> From<EnvVal<E, Object>> for RawVal where
    E: Env, 

fn from(ev: EnvVal<E, Object>) -> RawVal

Converts to this type from the input type.

impl<E> From<EnvVal<E, RawVal>> for RawVal where
    E: Env, 

fn from(ev: EnvVal<E, RawVal>) -> RawVal

Converts to this type from the input type.

impl<E> From<EnvVal<E, Static>> for RawVal where
    E: Env, 

fn from(ev: EnvVal<E, Static>) -> RawVal

Converts to this type from the input type.

impl<E> From<EnvVal<E, Status>> for RawVal where
    E: Env, 

fn from(ev: EnvVal<E, Status>) -> RawVal

Converts to this type from the input type.

impl<E> From<EnvVal<E, Symbol>> for RawVal where
    E: Env, 

fn from(ev: EnvVal<E, Symbol>) -> RawVal

Converts to this type from the input type.

impl From<Object> for RawVal

fn from(b: Object) -> RawVal

Converts to this type from the input type.

impl From<ScStatus> for RawVal

fn from(st: ScStatus) -> RawVal

Converts to this type from the input type.

impl From<Static> for RawVal

fn from(b: Static) -> RawVal

Converts to this type from the input type.

impl From<Status> for RawVal

fn from(b: Status) -> RawVal

Converts to this type from the input type.

impl From<Symbol> for RawVal

fn from(b: Symbol) -> RawVal

Converts to this type from the input type.

impl From<bool> for RawVal

fn from(b: bool) -> RawVal

Converts to this type from the input type.

impl From<i32> for RawVal

fn from(i: i32) -> RawVal

Converts to this type from the input type.

impl From<u32> for RawVal

fn from(u: u32) -> RawVal

Converts to this type from the input type.

impl From<u8> for RawVal

fn from(u: u8) -> RawVal

Converts to this type from the input type.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<E> IntoVal<E, RawVal> for i64 where
    E: Env, 

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

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

impl<E> IntoVal<E, RawVal> for u64 where
    E: Env, 

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

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

impl TryFrom<&RawVal> for BitSet

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: &RawVal) -> Result<BitSet, <BitSet as TryFrom<&RawVal>>::Error>

Performs the conversion.

impl TryFrom<&RawVal> for Object

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: &RawVal) -> Result<Object, <Object as TryFrom<&RawVal>>::Error>

Performs the conversion.

impl TryFrom<&RawVal> for Static

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: &RawVal) -> Result<Static, <Static as TryFrom<&RawVal>>::Error>

Performs the conversion.

impl TryFrom<&RawVal> for Status

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: &RawVal) -> Result<Status, <Status as TryFrom<&RawVal>>::Error>

Performs the conversion.

impl TryFrom<&RawVal> for Symbol

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: &RawVal) -> Result<Symbol, <Symbol as TryFrom<&RawVal>>::Error>

Performs the conversion.

impl TryFrom<RawVal> for BitSet

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: RawVal) -> Result<BitSet, <BitSet as TryFrom<RawVal>>::Error>

Performs the conversion.

impl TryFrom<RawVal> for Object

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: RawVal) -> Result<Object, <Object as TryFrom<RawVal>>::Error>

Performs the conversion.

impl TryFrom<RawVal> for Static

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: RawVal) -> Result<Static, <Static as TryFrom<RawVal>>::Error>

Performs the conversion.

impl TryFrom<RawVal> for Status

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: RawVal) -> Result<Status, <Status as TryFrom<RawVal>>::Error>

Performs the conversion.

impl TryFrom<RawVal> for Symbol

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: RawVal) -> Result<Symbol, <Symbol as TryFrom<RawVal>>::Error>

Performs the conversion.

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 RawVal where
    E: Env,
    T0: TryFrom<EnvVal<E, RawVal>>,
    T1: TryFrom<EnvVal<E, RawVal>>,
    T2: TryFrom<EnvVal<E, RawVal>>,
    T3: TryFrom<EnvVal<E, RawVal>>,
    T4: TryFrom<EnvVal<E, RawVal>>,
    T5: TryFrom<EnvVal<E, RawVal>>,
    T6: TryFrom<EnvVal<E, RawVal>>,
    T7: TryFrom<EnvVal<E, RawVal>>,
    T8: TryFrom<EnvVal<E, RawVal>>,
    T9: TryFrom<EnvVal<E, RawVal>>,
    T10: TryFrom<EnvVal<E, RawVal>>,
    T11: TryFrom<EnvVal<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 as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)>>::Error>

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

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 RawVal where
    E: Env,
    T0: TryFrom<EnvVal<E, RawVal>>,
    T1: TryFrom<EnvVal<E, RawVal>>,
    T2: TryFrom<EnvVal<E, RawVal>>,
    T3: TryFrom<EnvVal<E, RawVal>>,
    T4: TryFrom<EnvVal<E, RawVal>>,
    T5: TryFrom<EnvVal<E, RawVal>>,
    T6: TryFrom<EnvVal<E, RawVal>>,
    T7: TryFrom<EnvVal<E, RawVal>>,
    T8: TryFrom<EnvVal<E, RawVal>>,
    T9: TryFrom<EnvVal<E, RawVal>>,
    T10: TryFrom<EnvVal<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 as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)>>::Error>

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

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 RawVal where
    E: Env,
    T0: TryFrom<EnvVal<E, RawVal>>,
    T1: TryFrom<EnvVal<E, RawVal>>,
    T2: TryFrom<EnvVal<E, RawVal>>,
    T3: TryFrom<EnvVal<E, RawVal>>,
    T4: TryFrom<EnvVal<E, RawVal>>,
    T5: TryFrom<EnvVal<E, RawVal>>,
    T6: TryFrom<EnvVal<E, RawVal>>,
    T7: TryFrom<EnvVal<E, RawVal>>,
    T8: TryFrom<EnvVal<E, RawVal>>,
    T9: TryFrom<EnvVal<E, RawVal>>, 

type Error = ConversionError

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

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

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

type Error = ConversionError

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

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

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

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7), <RawVal as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7)>>::Error>

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

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

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5, T6), <RawVal as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6)>>::Error>

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

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

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5), <RawVal as TryIntoVal<E, (T0, T1, T2, T3, T4, T5)>>::Error>

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

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

type Error = ConversionError

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

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

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

type Error = ConversionError

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

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

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

type Error = ConversionError

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

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

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

type Error = ConversionError

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

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

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

type Error = ConversionError

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

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

impl<E> TryIntoVal<E, RawVal> for i64 where
    E: Env, 

type Error = ConversionError

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

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

impl<E> TryIntoVal<E, RawVal> for u64 where
    E: Env, 

type Error = ConversionError

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

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

impl<E> TryIntoVal<E, i64> for RawVal where
    E: Env, 

type Error = ConversionError

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

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

impl<E> TryIntoVal<E, u64> for RawVal where
    E: Env, 

type Error = ConversionError

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

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

impl Copy for RawVal

impl Val for RawVal