libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffle/Par/Snd

Snd

libretto.lambda.Shuffle.Par.Snd
final case class Snd[X, Y, Z](f2: Composed[Y, Z]) extends Par[X, Y, X, Z]

Members list

Value members

Inherited methods

def apply[F[_]](fx: F[X |*| Y])(using F: StrongZippable[|*|, F]): F[X |*| Z]

Attributes

Inherited from:
Par
def chaseBw[G[_], T](i: Focus[|*|, G])(using ev: (X |*| Z) =:= G[T]): ChaseBwRes[X |*| Y, G, T]

Attributes

Inherited from:
Par
def chaseFw[F[_], T](i: Focus[|*|, F])(using ev: (X |*| Y) =:= F[T]): ChaseFwRes[F, T, X |*| Z]

Attributes

Inherited from:
Par
def components: (X ~⚬ X, Y ~⚬ Z)

Attributes

Inherited from:
Par
def invert: Par[X, Z, X, Y]

Attributes

Inherited from:
Par
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def projectProper[C](p: Proper[|*|, X |*| Z, C]): ProjectProperRes[X |*| Y, C]

Attributes

Inherited from:
Par
def translate[<*>[_, _], F[_, _], S](fa: F[X |*| Y, S])(m: SemigroupalObjectMap[|*|, <*>, F], sh: Shuffle[<*>]): Exists[[t] =>> (S ~⚬ t, F[X |*| Z, t])]

Attributes

Inherited from:
Par
Generated with