libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffle/~⚬/ProjectProperRes/Projected

Projected

libretto.lambda.Shuffle.~⚬.ProjectProperRes.Projected
case class Projected[A0, A, C](p: Proper[|*|, A, A0], f: A0 ~⚬ C) extends ProjectProperRes[A, C]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ProjectProperRes[A, C]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Types

override type X = A0

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def project[D](p2: Projection[|*|, C, D]): ProjectProperRes[A, D]

Attributes

Inherited from:
ProjectProperRes
def to[D](using ev: C =:= D): ProjectProperRes[A, D]

Attributes

Inherited from:
ProjectProperRes
def unproper: ProjectRes[A, C]

Attributes

Inherited from:
ProjectProperRes
Generated with