Trait optics::traits::Review

pub trait Review<T>: Optics<T>
where
    Self::View: Sized,
{
    // Required method
    fn review(&self, a: Self::View) -> T;
}

Review: dual of getter.

Required Methods

fn review(&self, a: Self::View) -> T

Retrieve the value targeted by a review.

Implementations on Foreign Types

impl<L: Review<T>, T> Review<T> for &L

where Self::View: Sized,

fn review(&self, a: L::View) -> T

Implementors

impl<K, L, T> Review<T> for Compose<K, L>

where K: Review<T>, K::View: Sized, L: Review<K::View>, L::View: Sized,

impl<T> Review<Option<T>> for _Some

impl<T> Review<T> for Identity

impl<T> Review<T> for _Identity<T>

impl<T, E> Review<Result<T, E>> for _Err

impl<T, E> Review<Result<T, E>> for _Ok

impl<T, L: Review<T>, F, G> Review<T> for MapFallible<L, F, G>

where L::View: Sized,