libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Capture/Par

Par

libretto.lambda.Capture.Par
case class Par[**[_, _], F[_], A1, A2, B1, B2](f1: Proper[**, F, A1, B1], f2: Proper[**, F, A2, B2]) extends Proper[**, F, A1 ** A2, B1 ** B2]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Proper[**, F, A1 ** A2, B1 ** B2]
trait Capture[**, F, A1 ** A2, B1 ** B2]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def after[Z](that: Capture[**, F, Z, A1 ** A2])(using Unzippable[**, F]): Proper[**, F, Z, B1 ** B2]

Attributes

Definition Classes
override def complete(value: Tupled[**, F, A1 ** A2])(using F: Unzippable[**, F]): Tupled[**, F, B1 ** B2]

Attributes

Definition Classes

Inherited methods

def >[C](that: Capture[**, F, B1 ** B2, C])(using Unzippable[**, F]): Capture[**, F, A1 ** A2, C]

Attributes

Inherited from:
Capture
def absorb[P[_], X](value: F[X], path: Proper[**, P])(using P[X] =:= (A1 ** A2), Unzippable[**, F]): Absorbed[**, F, P, B1 ** B2]

Attributes

Inherited from:
Capture
def complete(value: F[A1 ** A2])(using Unzippable[**, F]): Tupled[**, F, B1 ** B2]

Attributes

Inherited from:
Capture
def exposeCaptured(using sh: Shuffle[**]): Either[A1 ** A2 =:= B1 ** B2, Exposed[sh.type, **, F, A1 ** A2, B1 ** B2]]

Attributes

Inherited from:
Capture
def from[Z](using ev: Z =:= (A1 ** A2)): Capture[**, F, Z, B1 ** B2]

Attributes

Inherited from:
Capture
override def inFst[Y]: Capture[**, F, A1 ** A2 ** Y, B1 ** B2 ** Y]

Attributes

Definition Classes
Inherited from:
Proper
override def inSnd[X]: Capture[**, F, X ** A1 ** A2, X ** B1 ** B2]

Attributes

Definition Classes
Inherited from:
Proper
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def to[C](using ev: (B1 ** B2) =:= C): Capture[**, F, A1 ** A2, C]

Attributes

Inherited from:
Capture
Generated with