ValSwitch

libretto.scaletto.Scaletto.ValSwitch
See theValSwitch companion class
object ValSwitch

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ValSwitch.type

Members list

Type members

Classlikes

sealed trait Cases[A, A0, R]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class FirstCase[A, A0, R]
class NextCase[A, A0, A1, R]
class FirstCase[A, A0, R](val typeTest: TypeTest[A, A0], val f: LambdaContext ?=> $[Val[A0]] => $[R], val pos: SourcePos) extends Cases[A, A0, R]

Attributes

Supertypes
trait Cases[A, A0, R]
class Object
trait Matchable
class Any
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

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