libretto/libretto/BiInjective

BiInjective

trait BiInjective[F[_, _]]
Companion
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def unapply[A, B, X, Y](ev: F[A, B] =:= F[X, Y]): (A =:= X, B =:= Y)