libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.lambda/Shuffled/SemiObstructed

SemiObstructed

libretto.lambda.Shuffled.SemiObstructed
case class SemiObstructed[A, X1, X2, Y2, Z2, B1, B2](left: A ~⚬ X1 |*| X2, bottom1: Plated[X2, Y2], bottom2: Y2 ~⚬ Z2, right: TransferOpt[X1, Z2, B1, B2]) extends Permeable[A, B1 |*| B2]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Permeable[A, B1 |*| B2]
trait Shuffled[A, B1 |*| B2]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

override def after[Z](that: Shuffled[Z, A]): Shuffled[Z, B1 |*| B2]

Attributes

Definition Classes
override def afterShuffle[Z](that: Z ~⚬ A): Shuffled[Z, B1 |*| B2]

Attributes

Definition Classes
override def fold(using ev: SymmetricSemigroupalCategory[->, |*|]): A -> B1 |*| B2

Attributes

Definition Classes
override def inFst[Q]: Shuffled[A |*| Q, B1 |*| B2 |*| Q]

Attributes

Definition Classes
override def inSnd[P]: Shuffled[P |*| A, P |*| B1 |*| B2]

Attributes

Definition Classes
override def thenShuffle[C](s: B1 |*| B2 ~⚬ C): Permeable[A, C]

Attributes

Definition Classes

Inherited methods

def >[C](that: Shuffled[B1 |*| B2, C]): Shuffled[A, C]

Attributes

Inherited from:
Shuffled
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL