arrow-core-data / arrow.typeclasses / EqK2

EqK2

interface EqK2<F>

The EqK2 typeclass abstracts the ability to lift the Eq class to binary type constructors.

Functions

eqK Lifts the equality check provided by given Eq and Eq instances to Eq<Kind2<F, A, B>>abstract fun <A, B> Kind2<F, A, B>.eqK(other: Kind2<F, A, B>, EQA: Eq<A>, EQB: Eq<B>): Boolean
liftEq Lifts the equality check provided by given Eq and Eq instances to Eq<Kind2<F, A, B>>open fun <A, B> liftEq(EQA: Eq<A>, EQB: Eq<B>): Eq<Kind2<F, A, B>>

Do you like Arrow?

Arrow Org
<