NextCase

libretto.scaletto.Scaletto.ValSwitch.NextCase
class NextCase[A, A0, A1, R](val base: Cases[A, A0, R], val typeTest: TypeTest[A, A1], val f: LambdaContext ?=> $[Val[A1]] => $[R], val pos: SourcePos) extends Cases[A, A0 | A1, R]

Attributes

Graph
Supertypes
trait Cases[A, A0 | A1, R]
class Object
trait Matchable
class Any

Members list

Value members

Concrete fields

val base: Cases[A, A0, R]
val f: LambdaContext ?=> $[Val[A1]] => $[R]
val pos: SourcePos
val typeTest: TypeTest[A, A1]