Struct FnP 

pub struct FnP;

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

This is the canonical Profunctor instance: the function arrow.

Trait Implementations

impl Choice for FnP

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

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

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

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

impl HKT2 for FnP

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

impl Profunctor for FnP

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

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 Strong for FnP

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

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

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

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

impl Traversing for FnP

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: Box<dyn Fn(A) -> B>, ) -> Box<dyn Fn(S) -> T>

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