Trait ToOwned

Source
pub trait ToOwned<T: Sized + DeepView>: Sized + DeepView<V = T::V> {
    // Required method
    exec fn get_owned(self) -> res : T;
}

Required Methods§

Source

exec fn get_owned(self) -> res : T

ensures
res.deep_view() == self.deep_view(),

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§

impl ToOwned<bool> for bool

Source§

exec fn get_owned(self) -> bool

Source§

impl ToOwned<char> for char

Source§

exec fn get_owned(self) -> char

Source§

impl ToOwned<i8> for i8

Source§

exec fn get_owned(self) -> i8

Source§

impl ToOwned<i16> for i16

Source§

exec fn get_owned(self) -> i16

Source§

impl ToOwned<i32> for i32

Source§

exec fn get_owned(self) -> i32

Source§

impl ToOwned<i64> for i64

Source§

exec fn get_owned(self) -> i64

Source§

impl ToOwned<i128> for i128

Source§

exec fn get_owned(self) -> i128

Source§

impl ToOwned<isize> for isize

Source§

exec fn get_owned(self) -> isize

Source§

impl ToOwned<u8> for u8

Source§

exec fn get_owned(self) -> u8

Source§

impl ToOwned<u16> for u16

Source§

exec fn get_owned(self) -> u16

Source§

impl ToOwned<u32> for u32

Source§

exec fn get_owned(self) -> u32

Source§

impl ToOwned<u64> for u64

Source§

exec fn get_owned(self) -> u64

Source§

impl ToOwned<u128> for u128

Source§

exec fn get_owned(self) -> u128

Source§

impl ToOwned<usize> for usize

Source§

exec fn get_owned(self) -> usize

Source§

impl<'a> ToOwned<String> for &'a str

Source§

exec fn get_owned(self) -> String

Source§

impl<'a, T1: DeepView + DeepViewClone, T2: DeepView + DeepViewClone> ToOwned<(T1, T2)> for &'a (T1, T2)

Source§

exec fn get_owned(self) -> (T1, T2)

Source§

impl<'a, T: DeepView + DeepViewClone> ToOwned<Option<T>> for &'a Option<T>

Source§

exec fn get_owned(self) -> Option<T>

Source§

impl<'a, T: DeepView + DeepViewClone> ToOwned<Vec<T>> for &'a [T]

Source§

exec fn get_owned(self) -> Vec<T>

TODO: verify this

Implementors§