libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.lambda/Shuffle/Par

Par

libretto.lambda.Shuffle.Par
See thePar companion object
enum Par[X1, X2, Y1, Y2]

Two parallel operations, at least one of which is not Id.

Attributes

Companion:
object
Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Known subtypes
case Fst[X, Y, Z]
case Snd[X, Y, Z]
case Both[X1, X2, Y1, Y2]

Members list

Concise view

Type members

Enum entries

final case class Both[X1, X2, Y1, Y2](f1: Composed[X1, Y1], f2: Composed[X2, Y2]) extends Par[X1, X2, Y1, Y2]
final case class Fst[X, Y, Z](f1: Composed[X, Y]) extends Par[X, Z, Y, Z]
final case class Snd[X, Y, Z](f2: Composed[Y, Z]) extends Par[X, Y, X, Z]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL