Trait ToOwned 

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

Required Methods

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".

Implementations on Foreign Types

impl ToOwned<bool> for bool

exec fn get_owned(self) -> bool

impl ToOwned<char> for char

exec fn get_owned(self) -> char

impl ToOwned<i8> for i8

exec fn get_owned(self) -> i8

impl ToOwned<i16> for i16

exec fn get_owned(self) -> i16

impl ToOwned<i32> for i32

exec fn get_owned(self) -> i32

impl ToOwned<i64> for i64

exec fn get_owned(self) -> i64

impl ToOwned<i128> for i128

exec fn get_owned(self) -> i128

impl ToOwned<isize> for isize

exec fn get_owned(self) -> isize

impl ToOwned<u8> for u8

exec fn get_owned(self) -> u8

impl ToOwned<u16> for u16

exec fn get_owned(self) -> u16

impl ToOwned<u32> for u32

exec fn get_owned(self) -> u32

impl ToOwned<u64> for u64

exec fn get_owned(self) -> u64

impl ToOwned<u128> for u128

exec fn get_owned(self) -> u128

impl ToOwned<usize> for usize

exec fn get_owned(self) -> usize

impl<'a, K: DeepView + DeepViewClone + Hash + Eq, V: DeepView + DeepViewClone> ToOwned<HashMap<K, V>> for &'a HashMap<K, V>

exec fn get_owned(self) -> HashMap<K, V>

impl<'a, K: DeepView + DeepViewClone + Hash + Eq> ToOwned<HashSet<K>> for &'a HashSet<K>

exec fn get_owned(self) -> HashSet<K>

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

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

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

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

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

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

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

exec fn get_owned(self) -> (T0,)

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

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

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

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

TODO: verify this

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

exec fn get_owned(self) -> String

Implementors

impl<'a, T: DeepView + DeepViewClone + Hash + Eq> ToOwned<ExecMultiset<T>> for &'a ExecMultiset<T>