Module naan::bifunctor

source ·
Expand description

Bifunctor

Structs

  • Join is a newtype that provides a single fmap implementation for Bifunctors that have the same type for both parameters, e.g. Result<A, A> or (A, A).
  • Join as kind Type -> Type

Traits

  • A Bifunctor provides a map function for types with 2 parameters, allowing you to act on both types at once.
  • Bifunctor, but specialized to know at compile-time that the functions will only be called at most once.