Type alias Coyoneda<F, A>

Coyoneda<F, A>: Exists<Apply2Only<Apply3Only<CoyonedaTHkt, F>, A>>

Coyoneda functor, a dual of Yoneda functor reduction. It is also known as presheaf.

Type Parameters

  • F

  • A

Settings

Member Visibility

Theme

Generated using TypeDoc