libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/libretto.lambda.util/BiInjective/given_BiInjective_Tuple2

given_BiInjective_Tuple2

libretto.lambda.util.BiInjective.given_BiInjective_Tuple2
object given_BiInjective_Tuple2 extends BiInjective[Tuple2]

Attributes

Graph
Supertypes
trait BiInjective[Tuple2]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

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

Attributes

Definition Classes

Inherited methods

def flip: BiInjective[[x, y] =>> Tuple2[y, x]]

Attributes

Inherited from:
BiInjective
Generated with