pub struct Mapped<Brand>(pub PhantomData<Brand>);Expand description
A wrapper struct for the mapped constructor.
Tuple Fields§
§0: PhantomData<Brand>Trait Implementations§
Source§impl<'a, I, Brand, A, B> IndexedSetterFunc<'a, I, <Brand as Kind_cdc7cd43dac7585f>::Of<'a, A>, <Brand as Kind_cdc7cd43dac7585f>::Of<'a, B>, A, B> for Mapped<Brand>where
Brand: FunctorWithIndex<I>,
A: 'a,
B: 'a,
I: 'a,
§Type Parameters
'a: The lifetime of the values.
I: The index type.
Brand: The brand of the functor.
A: The type of the elements in the structure.
B: The type of the elements in the result.
impl<'a, I, Brand, A, B> IndexedSetterFunc<'a, I, <Brand as Kind_cdc7cd43dac7585f>::Of<'a, A>, <Brand as Kind_cdc7cd43dac7585f>::Of<'a, B>, A, B> for Mapped<Brand>where
Brand: FunctorWithIndex<I>,
A: 'a,
B: 'a,
I: 'a,
§Type Parameters
'a: The lifetime of the values.I: The index type.Brand: The brand of the functor.A: The type of the elements in the structure.B: The type of the elements in the result.
Source§fn apply(
&self,
f: Box<dyn Fn(I, A) -> B + 'a>,
s: <Brand as Kind_cdc7cd43dac7585f>::Of<'a, A>,
) -> <Brand as Kind_cdc7cd43dac7585f>::Of<'a, B>
fn apply( &self, f: Box<dyn Fn(I, A) -> B + 'a>, s: <Brand as Kind_cdc7cd43dac7585f>::Of<'a, A>, ) -> <Brand as Kind_cdc7cd43dac7585f>::Of<'a, B>
§Type Signature
forall I Brand A B. FunctorWithIndex Brand => (&Mapped I Brand A B, dyn ((I, A) -> B), Brand A) -> Brand B
§Parameters
&self: The mapped struct.f: The map function.s: The structure to map.
§Returns
The mapped structure.
§Examples
use fp_library::{
brands::{
VecBrand,
optics::*,
},
types::optics::{
IndexedSetterFunc,
Mapped,
},
};
let mapper = Mapped::<VecBrand>(std::marker::PhantomData);
let s = vec![10, 20, 30];
let f = Box::new(|i: usize, a: i32| a + i as i32);
let result: Vec<i32> = IndexedSetterFunc::apply(&mapper, f, s);
assert_eq!(result, vec![10, 21, 32]);Auto Trait Implementations§
impl<Brand> Freeze for Mapped<Brand>
impl<Brand> RefUnwindSafe for Mapped<Brand>where
Brand: RefUnwindSafe,
impl<Brand> Send for Mapped<Brand>where
Brand: Send,
impl<Brand> Sync for Mapped<Brand>where
Brand: Sync,
impl<Brand> Unpin for Mapped<Brand>where
Brand: Unpin,
impl<Brand> UnsafeUnpin for Mapped<Brand>
impl<Brand> UnwindSafe for Mapped<Brand>where
Brand: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more