Struct ForgetF 

pub struct ForgetF<R>(/* private fields */);

Marker type whose P<A, B> = Box<dyn Fn(A) -> R>.

B is phantom — the second argument to dimap is ignored. This profunctor “forgets” the output and extracts a summary value.

Trait Implementations

impl<R> Choice for ForgetF<R>

where R: Monoid + 'static,

fn left<A, B, C>(pab: Box<dyn Fn(A) -> R>) -> Box<dyn Fn(Result<A, C>) -> R>

where A: 'static, B: 'static, C: 'static,

fn right<A, B, C>(pab: Box<dyn Fn(A) -> R>) -> Box<dyn Fn(Result<C, A>) -> R>

where A: 'static, B: 'static, C: 'static,

impl<R> HKT2 for ForgetF<R>

where R: 'static,

type P<A, B> = Box<dyn Fn(A) -> R>

impl<R> Profunctor for ForgetF<R>

where R: 'static,

fn dimap<A, B, C, D>( f: impl Fn(C) -> A + 'static, _g: impl Fn(B) -> D + 'static, pab: Box<dyn Fn(A) -> R>, ) -> Box<dyn Fn(C) -> R>

where A: 'static, B: 'static,

fn lmap<A, B, C>( f: impl Fn(C) -> A + 'static, pab: Self::P<A, B>, ) -> Self::P<C, B>

where A: 'static, B: 'static,

fn rmap<A, B, D>( g: impl Fn(B) -> D + 'static, pab: Self::P<A, B>, ) -> Self::P<A, D>

where A: 'static, B: 'static,

impl<R> Strong for ForgetF<R>

where R: 'static,

fn first<A, B, C>(pab: Box<dyn Fn(A) -> R>) -> Box<dyn Fn((A, C)) -> R>

where A: 'static, B: 'static, C: 'static,

fn second<A, B, C>(pab: Box<dyn Fn(A) -> R>) -> Box<dyn Fn((C, A)) -> R>

where A: 'static, B: 'static, C: 'static,

impl<R> Traversing for ForgetF<R>

where R: Monoid + 'static,

fn wander<S, T, A, B>( get_all: impl Fn(&S) -> Vec<A> + 'static, _modify_all: impl Fn(S, &dyn Fn(A) -> B) -> T + 'static, pab: <ForgetF<R> as HKT2>::P<A, B>, ) -> <ForgetF<R> as HKT2>::P<S, T>

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