libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Projection/Proper/FromPair

FromPair

libretto.lambda.Projection$.Proper.FromPair
class FromPair[P1, P2](using ev: P =:= P1 |*| P2)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def switch[R](caseDiscardFst: (p2: Projection[|*|, P2, Q]) => R, caseDiscardSnd: (p1: Projection[|*|, P1, Q]) => R, casePar: [Q1, Q2] => (x$1: Q =:= Q1 |*| Q2) => (p: Par[|*|, P1, P2, Q1, Q2]) => R)(using BiInjective[|*|]): R
Generated with