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

Injective

libretto.lambda.util.Injective
See theInjective companion trait
object Injective

Attributes

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

Members list

Type members

Classlikes

object id extends Injective[[x] =>> x]

Attributes

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

Value members

Concrete methods

def apply[F[_]](using Injective[F]): Injective[F]

Givens

Givens

given id: id
Generated with