arrow-core-data / arrow.typeclasses / EqK

EqK

interface EqK<F>

The EqK typeclass abstracts the ability to lift the Eq class to unary type constructors.

Functions

eqK Lifts the equality check provided by an given Eq instance to Eq<Kind<F, A>>abstract fun <A> Kind<F, A>.eqK(other: Kind<F, A>, EQ: Eq<A>): Boolean
liftEq Lifts the equality check provided by an given Eq instance to Eq<Kind<F, A>>open fun <A> liftEq(EQ: Eq<A>): Eq<Kind<F, A>>

Do you like Arrow?

Arrow Org
<