libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffled/Plated/XI

XI

libretto.lambda.Shuffled.Plated.XI
case class XI[A1, A2, P1, P2, Q, R, S1, S2, B1, B2](l: Plated[A2, P1 |*| P2], lt: RevTransferOpt[P1, P2, B1, Q], b: Q shuffle.~⚬ R, rt: shuffle.TransferOpt[A1, R, S1, S2], r: Plated[S1 |*| S2, B2]) extends BiInput[A1, A2, B1 |*| B2], BiOutput[A1 |*| A2, B1, B2]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait BiOutput[A1 |*| A2, B1, B2]
trait BiInput[A1, A2, B1 |*| B2]
trait Plated[A1 |*| A2, B1 |*| B2]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def chaseBwFst[G[_], X](i: Focus[|*|, G])(using ev: B1 =:= G[X]): Blocked[A1 |*| A2, [x] =>> G[x] |*| B2, X]

Attributes

Definition Classes
override def chaseBwSnd[G[_], X](i: Focus[|*|, G])(using B2 =:= G[X]): Blocked[A1 |*| A2, [x] =>> B1 |*| G[x], X]

Attributes

Definition Classes
override def chaseFwFst[F[_], X](i: Focus[|*|, F])(using ev: A1 =:= F[X]): Blocked[[x] =>> F[x] |*| A2, X, B1 |*| B2]

Attributes

Definition Classes
override def chaseFwSnd[F[_], X](i: Focus[|*|, F])(using ev: A2 =:= F[X]): Blocked[[x] =>> A1 |*| F[x], X, B1 |*| B2]

Attributes

Definition Classes
override def discardFst(f: [X, Y, Z] => (x$1: X -> Y, x$2: Projection[|*|, Y, Z]) => ProjectRes[X, Z]): ProjectRes[A1 |*| A2, B2]

Attributes

Definition Classes
override def discardSnd(f: [X, Y, Z] => (x$1: X -> Y, x$2: Projection[|*|, Y, Z]) => ProjectRes[X, Z]): ProjectRes[A1 |*| A2, B1]

Attributes

Definition Classes
override def foldMap[->>[_, _]](tr: [x, y] => (x$1: x -> y) => ->>[x, y])(using ev: SymmetricSemigroupalCategory[->>, |*|]): (A1 |*| A2) ->> (B1 |*| B2)

Attributes

Definition Classes
override def projectFst[C](p: Proper[|*|, B1, C], f: [X, Y, Z] => (x$1: X -> Y, x$2: Projection[|*|, Y, Z]) => ProjectRes[X, Z]): ProjectRes[A1 |*| A2, C |*| B2]

Attributes

Definition Classes
override def projectSnd[C](p: Proper[|*|, B2, C], f: [X, Y, Z] => (x$1: X -> Y, x$2: Projection[|*|, Y, Z]) => ProjectRes[X, Z]): ProjectRes[A1 |*| A2, B1 |*| C]

Attributes

Definition Classes
override def sweepL[F[_], ->>[_, _]](fa: F[A1 |*| A2], f: [t, u] => (x$1: F[t], x$2: t -> u) => (->>[t, u], F[u]))(using tgt: With[->>, |*|, shuffle.type], F: StrongZippable[|*|, F]): (tgt.Plated[A1 |*| A2, B1 |*| B2], F[B1 |*| B2])

Attributes

Definition Classes
override def translate[->>[_, _], <*>[_, _], F[_, _], S](fa: F[A1 |*| A2, S], om: SemigroupalObjectMap[|*|, <*>, F], am: ArrowMap[->, ->>, F])(using tgt: Shuffled[->>, <*>]): Exists[[T] =>> (Plated[S, T], F[B1 |*| B2, T])]

Attributes

Definition Classes
override def traverse[G[_] : Applicative, ->>[_, _]](f: [t, u] => (x$1: t -> u) => G[->>[t, u]])(implicit evidence$1: Applicative[G], tgt: With[->>, |*|, shuffle.type]): G[tgt.Plated[A1 |*| A2, B1 |*| B2]]

Attributes

Definition Classes
override def unconsSome: UnconsSomeRes[A1 |*| A2, B1 |*| B2]

Attributes

Definition Classes

Inherited methods

def afterPermeable[Z](that: Permeable[Z, A1 |*| A2]): Preshuffled[Z, _, B1 |*| B2]

Attributes

Inherited from:
Plated
def asShuffled: Shuffled[A1 |*| A2, B1 |*| B2]

Attributes

Inherited from:
Plated
final override def chaseBw[G[_], X](i: Focus[|*|, G])(using ev: (B1 |*| B2) =:= G[X]): Blocked[A1 |*| A2, G, X]

Attributes

Definition Classes
Inherited from:
BiOutput
final override def chaseFw[F[_], X](i: Focus[|*|, F])(using ev: (A1 |*| A2) =:= F[X]): Blocked[F, X, B1 |*| B2]

Attributes

Definition Classes
Inherited from:
BiInput
def fold(using ev: SymmetricSemigroupalCategory[->, |*|]): A1 |*| A2 -> B1 |*| B2

Attributes

Inherited from:
Plated
def impermeable: Impermeable[A1 |*| A2, A1 |*| A2, B1 |*| B2, B1 |*| B2]

Attributes

Inherited from:
Plated
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def project[C](p: Projection[|*|, B1 |*| B2, C], f: [X, Y, Z] => (x$1: X -> Y, x$2: Projection[|*|, Y, Z]) => ProjectRes[X, Z]): ProjectRes[A1 |*| A2, C]

Attributes

Inherited from:
Plated
final override def projectProper[C](p: Proper[|*|, B1 |*| B2, C], f: [X, Y, Z] => (x$1: X -> Y, x$2: Projection[|*|, Y, Z]) => ProjectRes[X, Z]): ProjectRes[A1 |*| A2, C]

Attributes

Definition Classes
Inherited from:
BiOutput
def thenPermeable[C](that: Permeable[B1 |*| B2, C]): Postshuffled[A1 |*| A2, _, C]

Attributes

Inherited from:
Plated
def to[C](using ev: (B1 |*| B2) =:= C): Plated[A1 |*| A2, C]

Attributes

Inherited from:
Plated
Generated with