libretto/libretto.impl/Shuffled/Impermeable

Impermeable

case
class Impermeable[A, X, Y, B](l: A ~⚬ X, m: Plated[X, Y], r: Y ~⚬ B) extends Shuffled[A, B]
trait Serializable
trait Product
trait Equals
trait Shuffled[A, B]
class Object
trait Matchable
class Any

Value members

Concrete methods

override
def after[Z](that: Shuffled[Z, A]): Shuffled[Z, B]
Definition Classes
override
def afterShuffle[Z](k: Z ~⚬ A): Shuffled[Z, B]
Definition Classes
override
def fold(using ev: SymmetricSemigroupalCategory[->, |*|]): A -> B
Definition Classes
override
def inFst[Q]: Shuffled[A |*| Q, B |*| Q]
Definition Classes
override
def inSnd[P]: Shuffled[P |*| A, P |*| B]
Definition Classes
override
def thenShuffle[C](s: B ~⚬ C): Impermeable[A, X, Y, C]
Definition Classes

Inherited methods

def >[C](that: Shuffled[B, C]): Shuffled[A, C]
Inherited from
Shuffled
def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product