Into

vest_lib::utils

Trait Into 

Source 
pub trait Into<T>
where
    T: View,
    Self: View + Sized,
    Self::V: SpecInto<T::V>,
{
    // Required method
    exec fn ex_into(self) -> res : T;
}
Expand description

Vest equivalent of std::convert::Into.

Required Methods§

Source

exec fn ex_into(self) -> res : T

ensures
res@ == self@.spec_into(),

Vest equivalent of std::convert::Into::into.

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.

Implementors§

Source§

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