libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/ShuffledModule/ChaseFwRes/FedTo

FedTo

libretto.lambda.ShuffledModule.ChaseFwRes.FedTo
case class FedTo[F[_], X, V[_], W, G[_], B](pre: Punched[F, [x] =>> G[V[x]]], v: Focus[**, V], f: V[X] -> W, g: Focus[**, G], post: Shuffled[G[W], B]) extends Blocked[F, X, B]

Attributes

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

Members list

Value members

Concrete methods

override def after[H[_]](H: Focus[**, H], h: [x] => DummyImplicit ?=> Shuffled[H[x], F[x]]): Blocked[H, X, B]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Definition Classes

Inherited methods

override def after[H[_]](h: Punched[H, F]): Blocked[H, X, B]

Attributes

Definition Classes
Inherited from:
Blocked
override def inFst[C]: Blocked[[x] =>> F[x] ** C, X, B ** C]

Attributes

Definition Classes
Inherited from:
Blocked
override def inSnd[A]: Blocked[[x] =>> A ** F[x], X, A ** B]

Attributes

Definition Classes
Inherited from:
Blocked
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with