Trait lens_rs::traits::Review

pub trait Review<T> {
    type From;
    fn review(&self, from: Self::From) -> T;
}

A trait representing the optics describes how to construct a single value.

Example

use lens_rs::*;
let optic = optics!(_Ok._Err._Some);
let nested: Result<Result<(), _>, ()> = optic.review((1,2,3));
assert_eq!(nested, Ok(Err(Some((1,2,3)))));

Associated Types

type From

Loading content...

Required methods

fn review(&self, from: Self::From) -> T

Loading content...

Implementors

impl<Rv, T> Review<Option<T>> for _Some<Rv> where
    Rv: Review<T>, 

type From = Rv::From

fn review(&self, from: Self::From) -> Option<T>

impl<Rv, T, E> Review<Result<T, E>> for _Err<Rv> where
    Rv: Review<E>, 

type From = Rv::From

fn review(&self, from: Self::From) -> Result<T, E>

impl<Rv, T, E> Review<Result<T, E>> for _Ok<Rv> where
    Rv: Review<T>, 

type From = Rv::From

fn review(&self, from: Self::From) -> Result<T, E>

impl<T> Review<Option<T>> for _None

type From = ()

fn review(&self, _from: Self::From) -> Option<T>

impl<T> Review<T> for __

type From = T

fn review(&self, from: Self::From) -> T

Loading content...