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

id

libretto.lambda.util.Injective.id
object id extends Injective[[x] =>> x]

Attributes

Graph
Supertypes
trait Injective[[x] =>> x]
class Object
trait Matchable
class Any
Self type
id.type

Members list

Value members

Concrete methods

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

Attributes

Definition Classes
Generated with