libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffled/ProjectRes/Projected

Projected

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

Members list

Value members

Inherited methods

def after[Z](f: Shuffled[Z, A], h: [P, Q, R] => (x$1: P -> Q, x$2: Projection[|*|, Q, R]) => ProjectRes[P, R]): ProjectRes[Z, C]

Attributes

Inherited from:
ProjectRes
def andThen[D](g: Shuffled[C, D]): ProjectRes[A, D]

Attributes

Inherited from:
ProjectRes
def inFst[Y]: ProjectRes[A |*| Y, C |*| Y]

Attributes

Inherited from:
ProjectRes
def inFst[Y, Z](snd: Shuffled[Y, Z]): ProjectRes[A |*| Y, C |*| Z]

Attributes

Inherited from:
ProjectRes
def inSnd[X]: ProjectRes[X |*| A, X |*| C]

Attributes

Inherited from:
ProjectRes
def inSnd[X, Y](fst: Shuffled[X, Y]): ProjectRes[X |*| A, Y |*| C]

Attributes

Inherited from:
ProjectRes
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def project[D](q: Projection[|*|, C, D], h: [X, Y, Z] => (x$1: X -> Y, x$2: Projection[|*|, Y, Z]) => ProjectRes[X, Z]): ProjectRes[A, D]

Attributes

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

Attributes

Inherited from:
ProjectRes
Generated with