Trait ToRef 

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

ToRef and ToOwned are almost the same trait but separated to avoid type inference ambiguities.

Required Methods

exec fn get_ref(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<'a, K: DeepView + DeepViewClone + Hash + Eq, V: DeepView + DeepViewClone> ToRef<&'a HashMap<K, V>> for &'a HashMap<K, V>

Impls for shared traits

exec fn get_ref(self) -> &'a HashMap<K, V>

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

Impls for shared traits

exec fn get_ref(self) -> &'a HashSet<K>

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

exec fn get_ref(self) -> &'a (T0, T1, T2, T3)

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

exec fn get_ref(self) -> &'a (T0, T1, T2)

impl<'a, T0: Sized + DeepView, T1: Sized + DeepView> ToRef<&'a (T0, T1)> for &'a (T0, T1)

exec fn get_ref(self) -> &'a (T0, T1)

impl<'a, T0: Sized + DeepView> ToRef<&'a (T0,)> for &'a (T0,)

exec fn get_ref(self) -> &'a (T0,)

impl<'a, T: DeepView> ToRef<&'a [T]> for &'a Vec<T>

Impls for shared traits NOTE: can’t implement ExecSpecType for Seq<T> since it conflicts with SpecString (i.e., Seq<char>).

exec fn get_ref(self) -> &'a [T]

impl<'a, T: Sized + DeepView> ToRef<&'a Option<T>> for &'a Option<T>

Impls for shared traits

exec fn get_ref(self) -> &'a Option<T>

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

exec fn get_ref(self) -> &'a str

impl<'a> ToRef<bool> for &'a bool

exec fn get_ref(self) -> bool

impl<'a> ToRef<char> for &'a char

exec fn get_ref(self) -> char

impl<'a> ToRef<i8> for &'a i8

exec fn get_ref(self) -> i8

impl<'a> ToRef<i16> for &'a i16

exec fn get_ref(self) -> i16

impl<'a> ToRef<i32> for &'a i32

exec fn get_ref(self) -> i32

impl<'a> ToRef<i64> for &'a i64

exec fn get_ref(self) -> i64

impl<'a> ToRef<i128> for &'a i128

exec fn get_ref(self) -> i128

impl<'a> ToRef<isize> for &'a isize

exec fn get_ref(self) -> isize

impl<'a> ToRef<u8> for &'a u8

exec fn get_ref(self) -> u8

impl<'a> ToRef<u16> for &'a u16

exec fn get_ref(self) -> u16

impl<'a> ToRef<u32> for &'a u32

exec fn get_ref(self) -> u32

impl<'a> ToRef<u64> for &'a u64

exec fn get_ref(self) -> u64

impl<'a> ToRef<u128> for &'a u128

exec fn get_ref(self) -> u128

impl<'a> ToRef<usize> for &'a usize

exec fn get_ref(self) -> usize

Implementors

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