Trait From

Source

pub trait From<T>where
    T: View,
    Self: View + Sized,
    Self::V: SpecFrom<T::V>,{
    // Required method
    exec fn ex_from(t: T) -> res : Self;
}

Expand description

Vest equivalent of std::convert::From.

Required Methods§

Source

exec fn ex_from(t: T) -> res : Self

ensures

res@ == Self::V::spec_from(t@),

Vest equivalent of std::convert::From::from.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

Source §

exec fn ex_from(v: &'a [u8; N]) -> &'b [u8] ⓘ

Implementors§

Source §

Trait From Copy item path

Required Methods§

exec fn ex_from(t: T) -> res : Self

Dyn Compatibility§

Implementations on Foreign Types§

impl From<VarInt> for usize

exec fn ex_from(t: VarInt) -> usize

impl From<u8> for usize

exec fn ex_from(t: u8) -> usize

impl From<u16> for usize

exec fn ex_from(t: u16) -> usize

impl From<u32> for usize

exec fn ex_from(t: u32) -> usize

impl From<u64> for usize

exec fn ex_from(t: u64) -> usize

impl From<u24> for usize

exec fn ex_from(t: u24) -> usize

impl<'a, 'b, const N: usize> From<&'a [u8; N]> for &'b [u8]where 'a: 'b,

exec fn ex_from(v: &'a [u8; N]) -> &'b [u8] ⓘ

Implementors§

impl<T> From<T> for Twhere T: View, T::V: SpecFrom<T::V>,

Trait From

impl<'a, 'b, const N: usize> From<&'a [u8; N]> for &'b [u8]
where 'a: 'b,

impl<T> From<T> for T
where T: View, T::V: SpecFrom<T::V>,