Struct Traversal 

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

A traversal focusing on zero or more As inside S.

Implementations

impl<S: 'static + Clone, A: 'static + Clone> Traversal<S, A>

pub fn new( to_list: impl Fn(&S) -> Vec<A> + 'static, from_list: impl Fn(Vec<A>, &S) -> S + 'static, ) -> Self

Create a traversal from to_list and from_list.

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

Collect all focused values.

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

Modify all focused values.