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
Known subtypes
object id

Members list

Value members

Abstract methods

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