Trait ToRef

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

Expand description

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

Required Methods§

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§

TODO: generalize to more tuple types

Trait ToRefCopy item path

Required Methods§

exec fn get_ref(self) -> res : T

Dyn Compatibility§

Implementations on Foreign Types§

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

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

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

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

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

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

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

Implementors§

Trait ToRef