libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Projection/Both

Both

libretto.lambda.Projection$.Both
case class Both[|*|[_, _], P1, P2, Q1, Q2](p1: Proper[|*|, P1, Q1], p2: Proper[|*|, P2, Q2]) extends Par[|*|, P1, P2, Q1, Q2]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Par[|*|, P1, P2, Q1, Q2]
trait Proper[|*|, P1 |*| P2, Q1 |*| Q2]
trait Projection[|*|, P1 |*| P2, Q1 |*| Q2]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited classlikes

class FromPair[P1, P2](using ev: P =:= P1 |*| P2)

Attributes

Inherited from:
Proper
Supertypes
class Object
trait Matchable
class Any

Value members

Inherited methods

override def >[R](that: Projection[|*|, Q1 |*| Q2, R]): Proper[|*|, P, R]

Attributes

Definition Classes
Inherited from:
Proper
override def at[F[_]](f: Focus[|*|, F]): Proper[|*|, F[P], F[Q]]

Attributes

Definition Classes
Inherited from:
Proper
def from[O](using ev: O =:= P1 |*| P2): Projection[|*|, O, Q]

Attributes

Inherited from:
Projection
def fromPair[P1, P2](using P1 |*| P2 =:= P1 |*| P2): FromPair[P1, P2]

Attributes

Inherited from:
Proper
override def inFst[X2]: Proper[|*|, P |*| X2, Q |*| X2]

Attributes

Definition Classes
Inherited from:
Proper
override def inSnd[X1]: Proper[|*|, X1 |*| P, X1 |*| Q]

Attributes

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

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
override def startsFromPair: Exists[[X1] =>> Exists[[X2] =>> P1 |*| P2 =:= X1 |*| X2]]

Attributes

Definition Classes
Par -> Proper
Inherited from:
Par
def switchFromPair[P1, P2, R](using ev: P1 |*| P2 =:= P1 |*| P2)(caseDiscardFst: (p2: Projection[|*|, P2, Q1 |*| Q2]) => R, caseDiscardSnd: (p1: Projection[|*|, P1, Q1 |*| Q2]) => R, casePar: [Q1, Q2] => (x$1: Q1 |*| Q2 =:= Q1 |*| Q2) => (p: Par[|*|, P1, P2, Q1, Q2]) => R)(using BiInjective[|*|]): R

Attributes

Inherited from:
Proper
def to[R](using ev: Q1 |*| Q2 =:= R): Projection[|*|, P, R]

Attributes

Inherited from:
Projection
def unpar: (Projection[|*|, P1, Q1], Projection[|*|, P2, Q2])

Attributes

Inherited from:
Par
Generated with