arrow-mtl / arrow.mtl.extensions / KleisliEqK

KleisliEqK

@extension interface KleisliEqK<F, D> : EqK<KleisliPartialOf<F, D>>

Functions

d abstract fun d(): D
eqK open fun <A> Kind<KleisliPartialOf<F, D>, A>.eqK(other: Kind<KleisliPartialOf<F, D>, A>, EQ: Eq<A>): Boolean
EQKF abstract fun EQKF(): EqK<F>

Do you like Arrow?

Arrow Org
<