arrow-core-data / arrow.typeclasses / Inject

Inject

interface Inject<F, G>

Inject type class as described in “Data types a la carte” (Swierstra 2008).

Functions

inj abstract fun inj(): FunctionK<F, G>
inject open fun <A> Kind<F, A>.inject(): Kind<G, A>

Do you like Arrow?

Arrow Org
<