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
Show all
Known subtypes
class Fst[X, Y, Z]
class Snd[X, Y, Z]
class Both[X1, X2, Y1, Y2]

Members list

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]