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: Projection[|*|, P2, Q] => R, caseDiscardSnd: Projection[|*|, P1, Q] => R, casePar: [Q1, Q2] => (Q =:= (Q1 |*| Q2)) ?=> Par[|*|, P1, P2, Q1, Q2] => R)(using BiInjective[|*|]): R
Generated with