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

ChaseBwRes

libretto.lambda.Shuffled.ChaseBwRes$
See theChaseBwRes companion trait
object ChaseBwRes

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

sealed trait Blocked[A, G[_], X] extends ChaseBwRes[A, G, X]

Attributes

Graph
Supertypes
trait ChaseBwRes[A, G, X]
class Object
trait Matchable
class Any
Known subtypes
class OriginatesFrom[A, F, V, W, X, G]
class Split[A, G, X, X1, X2]
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: Shuffled[F[W[X]], G[X]]) 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
case class Split[A, G[_], X, X1, X2](ev: X =:= X1 |*| X2) 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
case class Transported[A, F[_], G[_], X](ev: A =:= F[X], f: Focus[|*|, F], s: [x] => (x$1: Unit) => Shuffled[F[x], G[x]]) extends ChaseBwRes[A, G, X]

Attributes

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

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def apply[A, G[_], X](r: ChaseBwRes[A, G, X]): ChaseBwRes[A, G, X]
Generated with