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

Injective

libretto.lambda.util.Injective
See theInjective companion object
trait Injective[F[_]]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def unapply[A, B](ev: F[A] =:= F[B]): (A =:= B)
Generated with