Struct lens_rs::_ref[−][src]

pub struct _ref<Optic>(pub Optic);

build-in optics to visit the data in pointers, implemented LensRef

assert_eq!(Box::new(0).view_ref(optic!(_ref)), &0);
assert_eq!(Rc::new(0).view_ref(optic!(_ref)), &0);

let x = Foo {
    a: &(1, 2),
    b: ()
};
assert_eq!(x.view_ref(optics!(a._ref._1)), &2)

Trait Implementations

impl<Optic> Clone for _ref<Optic> where
    Optic: Clone, [src]

impl<Optic> Copy for _ref<Optic> where
    Optic: Copy, [src]

impl<Optic> Debug for _ref<Optic> where
    Optic: Debug, [src]

impl<Optic> Eq for _ref<Optic> where
    Optic: Eq, [src]

impl<T: ?Sized, Image: ?Sized, Ls> LensRef<_ref<Ls>, Image> for Box<T> where
    T: LensRef<Ls, Image>, [src]

impl<T: ?Sized, Image: ?Sized, Ls> LensRef<_ref<Ls>, Image> for Rc<T> where
    T: LensRef<Ls, Image>, [src]

impl<T: ?Sized, Image: ?Sized, Ls> LensRef<_ref<Ls>, Image> for Arc<T> where
    T: LensRef<Ls, Image>, [src]

impl<T: ?Sized, Image: ?Sized, Ls> LensRef<_ref<Ls>, Image> for &mut T where
    T: LensRef<Ls, Image>, [src]

impl<T: ?Sized, Image: ?Sized, Ls> LensRef<_ref<Ls>, Image> for &T where
    T: LensRef<Ls, Image>, [src]

impl<Optic> PartialEq<_ref<Optic>> for _ref<Optic> where
    Optic: PartialEq<Optic>, [src]

impl<T: ?Sized, Image: ?Sized, Pm> PrismRef<_ref<Pm>, Image> for Box<T> where
    T: PrismRef<Pm, Image>, [src]

impl<T: ?Sized, Image: ?Sized, Pm> PrismRef<_ref<Pm>, Image> for Rc<T> where
    T: PrismRef<Pm, Image>, [src]

impl<T: ?Sized, Image: ?Sized, Pm> PrismRef<_ref<Pm>, Image> for Arc<T> where
    T: PrismRef<Pm, Image>, [src]

impl<T: ?Sized, Image: ?Sized, Pm> PrismRef<_ref<Pm>, Image> for &mut T where
    T: PrismRef<Pm, Image>, [src]

impl<T: ?Sized, Image: ?Sized, Pm> PrismRef<_ref<Pm>, Image> for &T where
    T: PrismRef<Pm, Image>, [src]

impl<Optic> StructuralEq for _ref<Optic>[src]

impl<Optic> StructuralPartialEq for _ref<Optic>[src]

impl<T: ?Sized, Image: ?Sized, Tr> TraversalRef<_ref<Tr>, Image> for Box<T> where
    T: TraversalRef<Tr, Image>, [src]

impl<T: ?Sized, Image: ?Sized, Tr> TraversalRef<_ref<Tr>, Image> for Rc<T> where
    T: TraversalRef<Tr, Image>, [src]

impl<T: ?Sized, Image: ?Sized, Tr> TraversalRef<_ref<Tr>, Image> for Arc<T> where
    T: TraversalRef<Tr, Image>, [src]

impl<T: ?Sized, Image: ?Sized, Tr> TraversalRef<_ref<Tr>, Image> for &mut T where
    T: TraversalRef<Tr, Image>, [src]

impl<T: ?Sized, Image: ?Sized, Tr> TraversalRef<_ref<Tr>, Image> for &T where
    T: TraversalRef<Tr, Image>, [src]

Auto Trait Implementations

impl<Optic> RefUnwindSafe for _ref<Optic> where
    Optic: RefUnwindSafe, 

impl<Optic> Send for _ref<Optic> where
    Optic: Send, 

impl<Optic> Sync for _ref<Optic> where
    Optic: Sync, 

impl<Optic> Unpin for _ref<Optic> where
    Optic: Unpin, 

impl<Optic> UnwindSafe for _ref<Optic> where
    Optic: UnwindSafe, 

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T> Prism<__, T> for T[src]

impl<T> PrismMut<__, T> for T where
    T: ?Sized, [src]

impl<T> PrismRef<__, T> for T where
    T: ?Sized, [src]

impl<Image, T> Review<__, Image> for T where
    T: From<Image>, [src]

impl<T> ToOwned for T where
    T: Clone, [src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> Traversal<__, T> for T[src]

impl<T> TraversalMut<__, T> for T where
    T: ?Sized, [src]

impl<T> TraversalRef<__, T> for T where
    T: ?Sized, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.