libretto.scaletto.Scaletto.ValSwitch
See theValSwitch companion object
class ValSwitch[A, A0, R](a: $[Val[A]], pos: SourcePos, cases: Cases[A, A0, R])(using x$4: LambdaContext)
Type parameters
- A
-
type of the scrutinee (the value to match on)
- A0
-
subtype of A covered so far
- R
-
result type that each case must produce
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
Members list
In this article