Struct Traversal 

pub struct Traversal<S, T, A, B> { /* private fields */ }

A multi-focus optic that can get/modify zero or more foci.

S — source, T — modified source, A — focus, B — replacement.

Implementations

impl<S, T, A, B> Traversal<S, T, A, B>

pub fn new( get_all: impl Fn(&S) -> Vec<A> + 'static, modify_all: impl Fn(S, &dyn Fn(A) -> B) -> T + 'static, ) -> Traversal<S, T, A, B>

pub fn get_all(&self, s: &S) -> Vec<A>

pub fn over(&self, s: S, f: impl Fn(A) -> B) -> T

pub fn set(&self, s: S, b: B) -> T

where B: Clone,

pub fn transform<P>(&self, pab: <P as HKT2>::P<A, B>) -> <P as HKT2>::P<S, T>

where P: Traversing, S: 'static, T: 'static, A: 'static, B: 'static,

Profunctor encoding via Traversing::wander.

pub fn to_fold(&self) -> Fold<S, A>

where S: 'static, A: 'static,

Convert to a Fold (read-only).

pub fn then<X, Y>( self, inner: Traversal<A, B, X, Y>, ) -> ComposedTraversal<S, T, X, Y>

where S: 'static, T: 'static, A: 'static, B: 'static, X: 'static, Y: 'static,

Compose with another traversal for deeper multi-focus access.

Trait Implementations

impl<S, T, A, B> Optic for Traversal<S, T, A, B>