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

ChaseFwRes

libretto.lambda.Shuffled.ChaseFwRes
See theChaseFwRes companion object
sealed trait ChaseFwRes[F[_], X, B]

Attributes

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

Members list

Value members

Abstract methods

def after[H[_]](H: Focus[|*|, H], h: [x] => (x$1: Unit) => Shuffled[H[x], F[x]]): ChaseFwRes[H, X, B]
def andThen[C](that: Shuffled[B, C]): ChaseFwRes[F, X, C]
def inFst[C, D](snd: Shuffled[C, D]): ChaseFwRes[[x] =>> F[x] |*| C, X, B |*| D]
def inSnd[P, Q](fst: Shuffled[P, Q]): ChaseFwRes[[x] =>> P |*| F[x], X, Q |*| B]
def thenSnd[B1, B2, C2](using B =:= (B1 |*| B2))(that: Shuffled[B2, C2]): ChaseFwRes[F, X, B1 |*| C2]

Concrete methods

def after[H[_]](h: Punched[H, F]): ChaseFwRes[H, X, B]
def inFst[C]: ChaseFwRes[[x] =>> F[x] |*| C, X, B |*| C]
def inSnd[A]: ChaseFwRes[[x] =>> A |*| F[x], X, A |*| B]
Generated with