libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.util/BiInjective

BiInjective

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

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Abstract methods

def unapply[A, B, X, Y](ev: F[A, B] =:= F[X, Y]): (A =:= X, B =:= Y)
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL