BiInjective

libretto.lambda.util.BiInjective
See theBiInjective companion object
trait BiInjective[F[_, _]]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Abstract methods

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