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

Pure

libretto.lambda.Shuffled.Pure
case class Pure[A, B](s: A ~⚬ B) extends Permeable[A, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Permeable[A, B]
trait Shuffled[A, B]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

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

Attributes

Definition Classes
override def afterShuffle[Z](r: Z ~⚬ A): Shuffled[Z, B]

Attributes

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

Attributes

Definition Classes
override def inFst[Y]: Shuffled[A |*| Y, B |*| Y]

Attributes

Definition Classes
override def inSnd[X]: Shuffled[X |*| A, X |*| B]

Attributes

Definition Classes
override def thenShuffle[C](t: B ~⚬ C): Pure[A, C]

Attributes

Definition Classes

Inherited methods

def >[C](that: Shuffled[B, 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