libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffle/~⚬/ChaseBwRes/Split

Split

libretto.lambda.Shuffle.~⚬.ChaseBwRes.Split
case class Split[A, G[_], X, X1, X2](ev: X =:= (X1 |*| X2)) extends ChaseBwRes[A, G, X]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ChaseBwRes[A, G, X]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def after[Z](f: Z ~⚬ A): ChaseBwRes[Z, G, X]

Attributes

Definition Classes
override def afterAssocLR[A1, A2, A3](using (A2 |*| A3) =:= A): ChaseBwRes[A1 |*| A2 |*| A3, [x] =>> A1 |*| G[x], X]

Attributes

Definition Classes
override def afterAssocRL[A1, A2, A3](using (A1 |*| A2) =:= A): ChaseBwRes[A1 |*| (A2 |*| A3), [x] =>> G[x] |*| A3, X]

Attributes

Definition Classes
override def afterIX[A1, A2, A3](using (A1 |*| A3) =:= A): ChaseBwRes[A1 |*| A2 |*| A3, [x] =>> G[x] |*| A2, X]

Attributes

Definition Classes
override def afterIXI1[A1, A2, A3, A4](using (A1 |*| A3) =:= A): ChaseBwRes[A1 |*| A2 |*| (A3 |*| A4), [x] =>> G[x] |*| (A2 |*| A4), X]

Attributes

Definition Classes
override def afterIXI2[A1, A2, A3, A4](using (A2 |*| A4) =:= A): ChaseBwRes[A1 |*| A2 |*| (A3 |*| A4), [x] =>> A1 |*| A3 |*| G[x], X]

Attributes

Definition Classes
override def afterXI[A1, A2, A3](using (A1 |*| A3) =:= A): ChaseBwRes[A1 |*| (A2 |*| A3), [x] =>> A2 |*| G[x], X]

Attributes

Definition Classes
override def andThen[H[_]](H: Focus[|*|, H], h: [x] => DummyImplicit ?=> G[x] ~⚬ H[x]): ChaseBwRes[A, H, X]

Attributes

Definition Classes
override def inFst[B, C](snd: B ~⚬ C): ChaseBwRes[A |*| B, [x] =>> G[x] |*| C, X]

Attributes

Definition Classes
override def inSnd[Y, Z](fst: Y ~⚬ Z): ChaseBwRes[Y |*| A, [x] =>> Z |*| G[x], X]

Attributes

Definition Classes

Inherited methods

infix def andThen[H[_]](h: Punched[G, H]): ChaseBwRes[A, H, X]

Attributes

Inherited from:
ChaseBwRes
def inFst[B]: ChaseBwRes[A |*| B, [x] =>> G[x] |*| B, X]

Attributes

Inherited from:
ChaseBwRes
def inSnd[Z]: ChaseBwRes[Z |*| A, [x] =>> Z |*| G[x], X]

Attributes

Inherited from:
ChaseBwRes
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with