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

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