arrow-core-data / arrow.typeclasses / Inject
interface Inject<F, G>
Inject type class as described in “Data types a la carte” (Swierstra 2008).
inj | abstract fun inj(): FunctionK <F, G> |
inject | open fun <A> Kind<F, A>.inject(): Kind<G, A> |
Do you like Arrow?
✖