Par

libretto.lambda.LambdasImpl.Unvar.Par
case class Par[A1, A2, X1, X2](u1: Unvar[A1, X1], u2: Unvar[A2, X2]) extends Unvar[A1 ** A2, X1 ** X2]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Unvar[A1 ** A2, X1 ** X2]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def uniqueOutType[C](that: Unvar[A1 ** A2, C]): (X1 ** X2) =:= C

Attributes

Definition Classes

Inherited methods

def from[Z](using ev: Z =:= (A1 ** A2)): Unvar[Z, X1 ** X2]

Attributes

Inherited from:
Unvar
def maskInput: Masked[Unvar, A1 ** A2]

Attributes

Inherited from:
Unvar
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
infix def zip[C, D](that: Unvar[C, D]): Unvar[A1 ** A2 ** C, X1 ** X2 ** D]

Attributes

Inherited from:
Unvar