Struct Traversed 

pub struct Traversed<Brand>(pub PhantomData<Brand>);

A wrapper struct for the traversed constructor.

Tuple Fields

0: PhantomData<Brand>

Trait Implementations

impl<Brand: Clone> Clone for Traversed<Brand>

fn clone(&self) -> Traversed<Brand>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a, I, Brand, A, B> IndexedTraversalFunc<'a, I, <Brand as Kind_cdc7cd43dac7585f>::Of<'a, A>, <Brand as Kind_cdc7cd43dac7585f>::Of<'a, B>, A, B> for Traversed<Brand>

where Brand: TraversableWithIndex<I>, A: 'a + Clone, B: 'a + Clone, I: 'a, <Brand as Kind_cdc7cd43dac7585f>::Of<'a, B>: Clone,

Type Parameters

• 'a: The lifetime of the values.
• I: The index type.
• Brand: The brand of the traversable structure.
• A: The type of the elements in the structure.
• B: The type of the elements in the result.

fn apply<M: Applicative>( &self, f: Box<dyn Fn(I, A) -> <M as Kind_cdc7cd43dac7585f>::Of<'a, B> + 'a>, s: <Brand as Kind_cdc7cd43dac7585f>::Of<'a, A>, ) -> <M as Kind_cdc7cd43dac7585f>::Of<'a, <Brand as Kind_cdc7cd43dac7585f>::Of<'a, B>>

where <M as Kind_cdc7cd43dac7585f>::Of<'a, B>: Clone,

Type Signature

forall I Brand A B M. (Applicative M, TraversableWithIndex Brand) => (&Traversed I Brand A B, dyn ((I, A) -> M B), Brand A) -> M (Brand B)

Type Parameters

• M: The applicative context.

Parameters

• &self: The traversed struct.
• f: The traversal function.
• s: The structure to traverse.

Returns

The traversed structure wrapped in the applicative context.

Examples

use fp_library::{
	brands::{
		OptionBrand,
		VecBrand,
		optics::*,
	},
	classes::optics::IndexedTraversalFunc,
	types::optics::*,
};

let traversal = Traversed::<VecBrand>(std::marker::PhantomData);
let s = vec![10, 20, 30];
let f = Box::new(|i: usize, a: i32| -> Option<i32> { Some(a + i as i32) });

let result: Option<Vec<i32>> = IndexedTraversalFunc::apply::<OptionBrand>(&traversal, f, s);

assert_eq!(result, Some(vec![10, 21, 32]));