Struct soroban_env_common::RawVal
source · [−]#[repr(transparent)]pub struct RawVal(_);Expand description
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 - reservedImplementations
sourceimpl RawVal
impl RawVal
pub fn in_env<E: Env>(self, env: &E) -> EnvVal<E, RawVal>
pub const fn get_payload(self) -> u64
pub const fn from_payload(x: u64) -> Self
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) -> Self
pub const fn get_tag(self) -> Tag
pub fn is<T: RawValConvertible>(self) -> bool
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
sourceimpl FromValue for RawVal
impl FromValue for RawVal
sourcefn from_value(val: RuntimeValue) -> Option<Self>
fn from_value(val: RuntimeValue) -> Option<Self>
sourceimpl<E: Env, 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
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>,
impl<E: Env, 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
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>,
sourceimpl<E: Env, 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
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>,
impl<E: Env, 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
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>,
sourceimpl<E: Env, 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
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>,
impl<E: Env, 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
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>,
sourceimpl<E: Env, T0, T1, T2, T3, T4, T5, T6, T7, T8> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5, T6, T7, T8) where
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>,
impl<E: Env, T0, T1, T2, T3, T4, T5, T6, T7, T8> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5, T6, T7, T8) where
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>,
sourceimpl<E: Env, T0, T1, T2, T3, T4, T5, T6, T7> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5, T6, T7) where
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>,
impl<E: Env, T0, T1, T2, T3, T4, T5, T6, T7> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5, T6, T7) where
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>,
sourceimpl<E: Env, T0, T1, T2, T3, T4, T5, T6> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5, T6) where
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>,
impl<E: Env, T0, T1, T2, T3, T4, T5, T6> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5, T6) where
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>,
sourceimpl<E: Env, T0, T1, T2, T3, T4, T5> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5) where
T0: IntoVal<E, RawVal>,
T1: IntoVal<E, RawVal>,
T2: IntoVal<E, RawVal>,
T3: IntoVal<E, RawVal>,
T4: IntoVal<E, RawVal>,
T5: IntoVal<E, RawVal>,
impl<E: Env, T0, T1, T2, T3, T4, T5> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4, T5) where
T0: IntoVal<E, RawVal>,
T1: IntoVal<E, RawVal>,
T2: IntoVal<E, RawVal>,
T3: IntoVal<E, RawVal>,
T4: IntoVal<E, RawVal>,
T5: IntoVal<E, RawVal>,
sourceimpl<E: Env, T0, T1, T2, T3, T4> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4) where
T0: IntoVal<E, RawVal>,
T1: IntoVal<E, RawVal>,
T2: IntoVal<E, RawVal>,
T3: IntoVal<E, RawVal>,
T4: IntoVal<E, RawVal>,
impl<E: Env, T0, T1, T2, T3, T4> IntoVal<E, RawVal> for (T0, T1, T2, T3, T4) where
T0: IntoVal<E, RawVal>,
T1: IntoVal<E, RawVal>,
T2: IntoVal<E, RawVal>,
T3: IntoVal<E, RawVal>,
T4: IntoVal<E, RawVal>,
sourceimpl<E: Env, T0, T1, T2, T3> IntoVal<E, RawVal> for (T0, T1, T2, T3) where
T0: IntoVal<E, RawVal>,
T1: IntoVal<E, RawVal>,
T2: IntoVal<E, RawVal>,
T3: IntoVal<E, RawVal>,
impl<E: Env, T0, T1, T2, T3> IntoVal<E, RawVal> for (T0, T1, T2, T3) where
T0: IntoVal<E, RawVal>,
T1: IntoVal<E, RawVal>,
T2: IntoVal<E, RawVal>,
T3: IntoVal<E, RawVal>,
sourceimpl<E: Env, T0, T1, T2> IntoVal<E, RawVal> for (T0, T1, T2) where
T0: IntoVal<E, RawVal>,
T1: IntoVal<E, RawVal>,
T2: IntoVal<E, RawVal>,
impl<E: Env, T0, T1, T2> IntoVal<E, RawVal> for (T0, T1, T2) where
T0: IntoVal<E, RawVal>,
T1: IntoVal<E, RawVal>,
T2: IntoVal<E, RawVal>,
sourceimpl<E: Env, T0, T1> IntoVal<E, RawVal> for (T0, T1) where
T0: IntoVal<E, RawVal>,
T1: IntoVal<E, RawVal>,
impl<E: Env, T0, T1> IntoVal<E, RawVal> for (T0, T1) where
T0: IntoVal<E, RawVal>,
T1: IntoVal<E, RawVal>,
sourceimpl<E: Env, 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
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>>,
impl<E: Env, 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
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), Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env, 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
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>>,
impl<E: Env, 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
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), Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env, 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
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>>,
impl<E: Env, 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
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), Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env, T0, T1, T2, T3, T4, T5, T6, T7, T8> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8)> for RawVal where
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>>,
impl<E: Env, T0, T1, T2, T3, T4, T5, T6, T7, T8> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8)> for RawVal where
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), Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env, T0, T1, T2, T3, T4, T5, T6, T7> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7)> for RawVal where
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>>,
impl<E: Env, T0, T1, T2, T3, T4, T5, T6, T7> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7)> for RawVal where
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), Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env, T0, T1, T2, T3, T4, T5, T6> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6)> for RawVal where
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>>,
impl<E: Env, T0, T1, T2, T3, T4, T5, T6> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6)> for RawVal where
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), Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env, T0, T1, T2, T3, T4, T5> TryIntoVal<E, (T0, T1, T2, T3, T4, T5)> for RawVal where
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>>,
impl<E: Env, T0, T1, T2, T3, T4, T5> TryIntoVal<E, (T0, T1, T2, T3, T4, T5)> for RawVal where
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), Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env, T0, T1, T2, T3, T4> TryIntoVal<E, (T0, T1, T2, T3, T4)> for RawVal where
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>>,
impl<E: Env, T0, T1, T2, T3, T4> TryIntoVal<E, (T0, T1, T2, T3, T4)> for RawVal where
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), Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env, T0, T1, T2, T3> TryIntoVal<E, (T0, T1, T2, T3)> for RawVal where
T0: TryFrom<EnvVal<E, RawVal>>,
T1: TryFrom<EnvVal<E, RawVal>>,
T2: TryFrom<EnvVal<E, RawVal>>,
T3: TryFrom<EnvVal<E, RawVal>>,
impl<E: Env, T0, T1, T2, T3> TryIntoVal<E, (T0, T1, T2, T3)> for RawVal where
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), Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env, T0, T1, T2> TryIntoVal<E, (T0, T1, T2)> for RawVal where
T0: TryFrom<EnvVal<E, RawVal>>,
T1: TryFrom<EnvVal<E, RawVal>>,
T2: TryFrom<EnvVal<E, RawVal>>,
impl<E: Env, T0, T1, T2> TryIntoVal<E, (T0, T1, T2)> for RawVal where
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), Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env, T0, T1> TryIntoVal<E, (T0, T1)> for RawVal where
T0: TryFrom<EnvVal<E, RawVal>>,
T1: TryFrom<EnvVal<E, RawVal>>,
impl<E: Env, T0, T1> TryIntoVal<E, (T0, T1)> for RawVal where
T0: TryFrom<EnvVal<E, RawVal>>,
T1: TryFrom<EnvVal<E, RawVal>>,
type Error = ConversionError
fn try_into_val(self, env: &E) -> Result<(T0, T1), Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env, T0> TryIntoVal<E, (T0,)> for RawVal where
T0: TryFrom<EnvVal<E, RawVal>>,
impl<E: Env, T0> TryIntoVal<E, (T0,)> for RawVal where
T0: TryFrom<EnvVal<E, RawVal>>,
type Error = ConversionError
fn try_into_val(self, env: &E) -> Result<(T0,), Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env> TryIntoVal<E, RawVal> for &ScVal where
for<'a> &'a ScObject: TryIntoVal<E, Object>,
impl<E: Env> TryIntoVal<E, RawVal> for &ScVal where
for<'a> &'a ScObject: TryIntoVal<E, Object>,
type Error = ConversionError
fn try_into_val(self, env: &E) -> Result<RawVal, Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env> TryIntoVal<E, RawVal> for i64
impl<E: Env> TryIntoVal<E, RawVal> for i64
type Error = ConversionError
fn try_into_val(self, env: &E) -> Result<RawVal, Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env> TryIntoVal<E, RawVal> for u64
impl<E: Env> TryIntoVal<E, RawVal> for u64
type Error = ConversionError
fn try_into_val(self, env: &E) -> Result<RawVal, Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env> TryIntoVal<E, i64> for RawVal
impl<E: Env> TryIntoVal<E, i64> for RawVal
type Error = ConversionError
fn try_into_val(self, env: &E) -> Result<i64, Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
sourceimpl<E: Env> TryIntoVal<E, u64> for RawVal
impl<E: Env> TryIntoVal<E, u64> for RawVal
type Error = ConversionError
fn try_into_val(self, env: &E) -> Result<u64, Self::Error>
fn try_into_env_val(self, env: &E) -> Result<EnvVal<E, V>, Self::Error>
impl Copy for RawVal
impl Val for RawVal
Auto Trait Implementations
impl RefUnwindSafe for RawVal
impl Send for RawVal
impl Sync for RawVal
impl Unpin for RawVal
impl UnwindSafe for RawVal
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<T> Downcast for T where
T: Any,
impl<T> Downcast for T where
T: Any,
fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>
fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>
Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait. Read more
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>
Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait. Read more
fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s. Read more
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s. Read more