arrow-free-data / arrow.free / Yoneda

Yoneda

@higherkind abstract class Yoneda<F, A>

Constructors

<init> Yoneda()

Functions

invoke abstract operator fun <B> invoke(f: (A) -> B): Kind<F, B>
lower fun lower(): Kind<F, A>
map fun <B> map(ff: (A) -> B): Yoneda<F, B>
toCoyoneda fun toCoyoneda(): Coyoneda<F, A, A>

Companion Object Functions

invoke operator fun <U, A> invoke(fa: Kind<U, A>, FF: Functor<U>): Yoneda<U, A>

Do you like Arrow?

Arrow Org
<