libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffled/ChaseFwRes/Transported

Transported

libretto.lambda.Shuffled.ChaseFwRes$.Transported
case class Transported[F[_], X, G[_], B](s: [x] => (x$1: Unit) => Shuffled[F[x], G[x]], g: Focus[|*|, G], ev: G[X] =:= B) extends ChaseFwRes[F, X, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ChaseFwRes[F, X, B]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def after[H[_]](h: [x] => (x$1: Unit) => Shuffled[H[x], F[x]]): ChaseFwRes[H, X, B]

Attributes

Definition Classes
override def andThen[C](that: Shuffled[B, C]): ChaseFwRes[F, X, C]

Attributes

Definition Classes
override def inFst[C, D](snd: Shuffled[C, D]): ChaseFwRes[[x] =>> F[x] |*| C, X, B |*| D]

Attributes

Definition Classes
override def inSnd[P, Q](fst: Shuffled[P, Q]): ChaseFwRes[[x] =>> P |*| F[x], X, Q |*| B]

Attributes

Definition Classes
override def thenSnd[B1, B2, C2](using ev1: B =:= B1 |*| B2)(that: Shuffled[B2, C2]): ChaseFwRes[F, X, B1 |*| C2]

Attributes

Definition Classes

Inherited methods

def inFst[C]: ChaseFwRes[[x] =>> F[x] |*| C, X, B |*| C]

Attributes

Inherited from:
ChaseFwRes
def inSnd[A]: ChaseFwRes[[x] =>> A |*| F[x], X, A |*| B]

Attributes

Inherited from:
ChaseFwRes
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with