Struct FnA 

pub struct FnA;

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

This is the canonical Arrow instance: the function arrow. Equivalent to FnP in karpal-profunctor but independent (no cross-crate dep).

Trait Implementations

impl Arrow for FnA

fn arr<A, B>(f: impl Fn(A) -> B + 'static) -> Box<dyn Fn(A) -> B>

where A: Clone + 'static, B: Clone + 'static,

Lift a pure function into an arrow.

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

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

Apply an arrow to the first component of a pair, passing the second through.

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

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

Apply an arrow to the second component of a pair.

fn split<A, B, C, D>( f: Self::P<A, B>, g: Self::P<C, D>, ) -> Self::P<(A, C), (B, D)>

where A: Clone + 'static, B: Clone + 'static, C: Clone + 'static, D: Clone + 'static,

***: apply two arrows in parallel on a product.

fn fanout<A, B, C>(f: Self::P<A, B>, g: Self::P<A, C>) -> Self::P<A, (B, C)>

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

&&&: feed input to two arrows and collect results as a pair.

impl ArrowApply for FnA

fn app<A, B>() -> Box<dyn Fn((Box<dyn Fn(A) -> B>, A)) -> B>

where A: Clone + 'static, B: Clone + 'static,

impl ArrowChoice for FnA

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

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

Route the Ok branch through the arrow, passing Err through.

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

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

Route the Err branch through the arrow, passing Ok through.

fn splat<A, B, C, D>( f: Self::P<A, B>, g: Self::P<C, D>, ) -> Self::P<Result<A, C>, Result<B, D>>

where A: Clone + 'static, B: Clone + 'static, C: Clone + 'static, D: Clone + 'static,

+++: apply f on Ok, g on Err.

fn fanin<A, B, C>( f: Self::P<A, C>, g: Self::P<B, C>, ) -> Self::P<Result<A, B>, C>

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

|||: merge two arrows, one for each branch of Result.

impl ArrowLoop for FnA

fn loop_arrow<A, B, D>(f: Box<dyn Fn((A, D)) -> (B, D)>) -> Box<dyn Fn(A) -> B>

where A: Clone + 'static, B: Clone + 'static, D: Default + Clone + 'static,

impl Braiding for FnA

Available on crate features alloc or std only.

fn braid<A, B>() -> Self::P<(A, B), (B, A)>

where A: Clone + 'static, B: Clone + 'static,

Swap the two tensor factors.

fn hexagon_forward<A, B, C>() -> Self::P<((A, B), C), (B, (C, A))>

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

A simple executable form of the hexagon law.

impl Category for FnA

fn id<A>() -> Box<dyn Fn(A) -> A>

where A: Clone + 'static,

impl HKT2 for FnA

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

impl Semigroupoid for FnA

fn compose<A, B, C>( f: Box<dyn Fn(B) -> C>, g: Box<dyn Fn(A) -> B>, ) -> Box<dyn Fn(A) -> C>

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

impl Symmetry for FnA

Available on crate features alloc or std only.

fn symmetry<A, B>() -> Self::P<(A, B), (A, B)>

where A: Clone + 'static, B: Clone + 'static,

impl Tensor for FnA

Available on crate features alloc or std only.

fn tensor<A, B, C, D>( left: <FnA as HKT2>::P<A, B>, right: <FnA as HKT2>::P<C, D>, ) -> <FnA as HKT2>::P<(A, C), (B, D)>

where A: Clone + 'static, B: Clone + 'static, C: Clone + 'static, D: Clone + 'static,

Tensor two morphisms in parallel.

fn associate<A, B, C>() -> Self::P<((A, B), C), (A, (B, C))>

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

The left-associated product ((a, b), c) -> (a, (b, c)).

fn associate_inv<A, B, C>() -> Self::P<(A, (B, C)), ((A, B), C)>

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

The inverse associator (a, (b, c)) -> ((a, b), c).

fn left_unitor<A>() -> Self::P<((), A), A>

where A: Clone + 'static,

Left unitor ((), a) -> a.

fn left_unitor_inv<A>() -> Self::P<A, ((), A)>

where A: Clone + 'static,

Inverse left unitor a -> ((), a).

fn right_unitor<A>() -> Self::P<(A, ()), A>

where A: Clone + 'static,

Right unitor (a, ()) -> a.

fn right_unitor_inv<A>() -> Self::P<A, (A, ())>

where A: Clone + 'static,

Inverse right unitor a -> (a, ()).

impl Trace for FnA

Available on crate features alloc or std only.

fn trace<A, B, D>( morphism: <FnA as HKT2>::P<(A, D), (B, D)>, ) -> <FnA as HKT2>::P<A, B>

where A: Clone + 'static, B: Clone + 'static, D: Default + Clone + 'static,