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

BiInjective

libretto.lambda.util.BiInjective
See theBiInjective companion trait
object BiInjective

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

object given_BiInjective_Tuple2 extends BiInjective[Tuple2]

Attributes

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

Value members

Concrete methods

def apply[F[_, _]](using BiInjective[F]): BiInjective[F]

Givens

Givens

Extensions

Extensions

extension [F[_, _], A, B, X, Y](ev: F[A, B] =:= F[X, Y])
def biSubst[G[_, _]](g: G[A, B])(using inj: BiInjective[F]): G[X, Y]
Generated with