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

Permeable

libretto.lambda.Shuffled.Permeable
See thePermeable companion object
sealed trait Permeable[A, B] extends Shuffled[A, B]

Attributes

Companion:
object
Graph
Supertypes
trait Shuffled[A, B]
class Object
trait Matchable
class Any
Known subtypes
class Pure[A, B]
class SemiObstructed[A, X1, X2, Y2, Z2, B1, B2]

Members list

Concise view

Value members

Inherited methods

def >[C](that: Shuffled[B, C]): Shuffled[A, C]

Attributes

Inherited from:
Shuffled
def after[Z](that: Shuffled[Z, A]): Shuffled[Z, B]

Attributes

Inherited from:
Shuffled
def afterShuffle[Z](that: Z ~⚬ A): Shuffled[Z, B]

Attributes

Inherited from:
Shuffled
def fold(using SymmetricSemigroupalCategory[->, |*|]): A -> B

Attributes

Inherited from:
Shuffled
def inFst[Y]: Shuffled[A |*| Y, B |*| Y]

Attributes

Inherited from:
Shuffled
def inSnd[X]: Shuffled[X |*| A, X |*| B]

Attributes

Inherited from:
Shuffled
def thenShuffle[C](that: B ~⚬ C): Shuffled[A, C]

Attributes

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