DiscardSnd
libretto.lambda.Projection.DiscardSnd
case class DiscardSnd[|*|[_, _], A, B, A0](p1: Projection[|*|, A, A0]) extends Proper[|*|, A |*| B, A0]
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Members list
Value members
Concrete methods
Attributes
- Definition Classes
Inherited methods
Attributes
- Definition Classes
-
Proper -> Projection
- Inherited from:
- Proper
Attributes
- Definition Classes
-
Proper -> Projection
- Inherited from:
- Proper
Attributes
- Definition Classes
-
Proper -> Projection
- Inherited from:
- Proper
Attributes
- Inherited from:
- Proper
Attributes
- Definition Classes
-
Proper -> Projection
- Inherited from:
- Proper
Attributes
- Definition Classes
-
Proper -> Projection
- Inherited from:
- Proper
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
def switchFromPair[P1, P2, R](using ev: A |*| B =:= P1 |*| P2)(caseDiscardFst: (p2: Projection[|*|, P2, A0]) => R, caseDiscardSnd: (p1: Projection[|*|, P1, A0]) => R, casePar: [Q1, Q2] => (x$1: A0 =:= Q1 |*| Q2) => (p: Par[|*|, P1, P2, Q1, Q2]) => R)(using BiInjective[|*|]): R
Attributes
- Inherited from:
- Proper
Attributes
- Definition Classes
-
Proper -> Projection
- Inherited from:
- Proper
In this article