libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Projection/Id

Id

libretto.lambda.Projection.Id
case class Id[|*|[_, _], P]() extends Projection[|*|, P, P]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Projection[|*|, P, P]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def >[R](that: Projection[|*|, P, R]): Projection[|*|, P, R]

Attributes

Definition Classes
override def at[F[_]](f: Focus[|*|, F]): Projection[|*|, F[P], F[P]]

Attributes

Definition Classes
override def inFst[Y]: Projection[|*|, P |*| Y, P |*| Y]

Attributes

Definition Classes
override def inSnd[X]: Projection[|*|, X |*| P, X |*| P]

Attributes

Definition Classes

Inherited methods

def from[O](using ev: O =:= P): Projection[|*|, O, P]

Attributes

Inherited from:
Projection
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def to[R](using ev: P =:= R): Projection[|*|, P, R]

Attributes

Inherited from:
Projection
Generated with