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

Projected

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

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with