libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/ShuffledModule/ChaseBwRes/OriginatesFrom

OriginatesFrom

libretto.lambda.ShuffledModule.ChaseBwRes.OriginatesFrom
case class OriginatesFrom[A, F[_], V, W[_], X, G[_]](pre: Shuffled[A, F[V]], i: Focus[**, F], f: V -> W[X], w: Focus[**, W], post: Punched[[x] =>> F[W[x]], G]) extends Blocked[A, G, X]

Attributes

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

Members list

Value members

Concrete methods

override def after[P](p: Shuffled[P, A]): Blocked[P, G, X]

Attributes

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

Attributes

Definition Classes
override def inFst[P, Q](snd: Shuffled[P, Q]): Blocked[A ** P, [x] =>> G[x] ** Q, X]

Attributes

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

Attributes

Definition Classes

Inherited methods

override def andThen[H[_]](h: Punched[G, H]): Blocked[A, H, X]

Attributes

Definition Classes
Inherited from:
Blocked
override def inFst[Q]: Blocked[A ** Q, [x] =>> G[x] ** Q, X]

Attributes

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

Attributes

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

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with