Struct Indexed 

pub struct Indexed<'a, P, I, A, B>
where
    P: Profunctor,
    I: 'a,
    A: 'a,
    B: 'a,
{
    pub inner: <P as Kind_266801a817966495>::Of<'a, (I, A), B>,
}

The Indexed profunctor wrapper.

Indexed<'a, P, I, A, B> wraps a profunctor P that operates on (I, A) and B.

Type Parameters

• 'a: The lifetime of the values.
• P: The underlying profunctor brand.
• I: The index type.
• A: The focus type.
• B: The target focus type.

Fields

inner: <P as Kind_266801a817966495>::Of<'a, (I, A), B>

The underlying profunctor value.

Implementations

impl<'a, P, I, A, B> Indexed<'a, P, I, A, B>

where P: Profunctor, I: 'a, A: 'a, B: 'a,

Type Parameters

• 'a: The lifetime of the values.
• P: The underlying profunctor brand.
• I: The index type.
• A: The focus type.
• B: The target focus type.

pub fn new(inner: <P as Kind_266801a817966495>::Of<'a, (I, A), B>) -> Self

Creates a new Indexed instance.

Type Signature

forall P I A B. Profunctor P => P (I, A) B -> Indexed P I A B

Parameters

• inner: The underlying profunctor value.

Returns

A new Indexed instance.

Examples

use fp_library::{
	brands::RcFnBrand,
	types::optics::Indexed,
};
let f = |(i, a): (usize, i32)| a + (i as i32);
let indexed = Indexed::<RcFnBrand, usize, i32, i32>::new(std::rc::Rc::new(f));
assert_eq!((indexed.inner)((10, 32)), 42);