Trait optics::traits::GetterRef

pub trait GetterRef<'a, T: ?Sized>: AffineFoldRef<'a, T>
where
    Self::View: 'a,
{
    // Required method
    fn view_ref(&self, s: &'a T) -> &'a Self::View;
}

Getter, with shared references.

Required Methods

fn view_ref(&self, s: &'a T) -> &'a Self::View

Get a shared reference to the value pointed to by a getter.

Implementations on Foreign Types

impl<'a, L: GetterRef<'a, T>, T: ?Sized + 'a> GetterRef<'a, T> for &L

where L::View: 'a,

fn view_ref(&self, s: &'a T) -> &'a L::View

Implementors

impl<'a, T0> GetterRef<'a, (T0,)> for _0

where T0: 'a,

impl<'a, T0, T1> GetterRef<'a, (T0, T1)> for _0

where T0: 'a,

impl<'a, T0, T1> GetterRef<'a, (T0, T1)> for _1

where T1: 'a,

impl<'a, T0, T1, T2> GetterRef<'a, (T0, T1, T2)> for _0

where T0: 'a,

impl<'a, T0, T1, T2> GetterRef<'a, (T0, T1, T2)> for _1

where T1: 'a,

impl<'a, T0, T1, T2> GetterRef<'a, (T0, T1, T2)> for _2

where T2: 'a,

impl<'a, T0, T1, T2, T3> GetterRef<'a, (T0, T1, T2, T3)> for _0

where T0: 'a,

impl<'a, T0, T1, T2, T3> GetterRef<'a, (T0, T1, T2, T3)> for _1

where T1: 'a,

impl<'a, T0, T1, T2, T3> GetterRef<'a, (T0, T1, T2, T3)> for _2

where T2: 'a,

impl<'a, T0, T1, T2, T3> GetterRef<'a, (T0, T1, T2, T3)> for _3

where T3: 'a,

impl<'a, T> GetterRef<'a, T> for Identity

where T: 'a,

impl<'a, T: ?Sized + 'a> GetterRef<'a, T> for _Identity<T>

impl<'a, T: ?Sized, K, L> GetterRef<'a, T> for Compose<K, L>

where K: GetterRef<'a, T>, K::View: 'a, L: GetterRef<'a, K::View>, L::View: 'a,

impl<'a, T: ?Sized, L: GetterRef<'a, T>, S, F, E, G> GetterRef<'a, T> for MapFallible<L, F, G>

where F: Fn(L::Success) -> S, G: Fn(L::Error) -> E, L::View: 'a,