libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffled/ChaseBwRes

ChaseBwRes

libretto.lambda.Shuffled.ChaseBwRes
See theChaseBwRes companion object
sealed trait ChaseBwRes[A, G[_], X]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Blocked[A, G, X]
class OriginatesFrom[A, F, V, W, X, G]
class Split[A, G, X, X1, X2]
class Transported[A, F, G, X]

Members list

Value members

Abstract methods

def after[P](p: Shuffled[P, A]): ChaseBwRes[P, G, X]
def after[P](p: Plated[P, A]): Blocked[P, G, X]
def andThen[H[_]](H: Focus[|*|, H], h: [x] => Unit => Shuffled[G[x], H[x]]): ChaseBwRes[A, H, X]
def inFst[P, Q](snd: Shuffled[P, Q]): ChaseBwRes[A |*| P, [x] =>> G[x] |*| Q, X]
def inSnd[P, Q](fst: Shuffled[P, Q]): ChaseBwRes[P |*| A, [x] =>> Q |*| G[x], X]

Concrete methods

def andThen[H[_]](h: Punched[G, H]): ChaseBwRes[A, H, X]
def inFst[Q]: ChaseBwRes[A |*| Q, [x] =>> G[x] |*| Q, X]
def inSnd[P]: ChaseBwRes[P |*| A, [x] =>> P |*| G[x], X]
Generated with