libretto-core
API
Generated with
libretto-core/libretto/libretto.scaletto/Scaletto/ValSwitch/FirstCase

FirstCase

libretto.scaletto.Scaletto.ValSwitch.FirstCase
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

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

Members list

Value members

Concrete fields

val f: LambdaContext ?=> $[Val[A0]] => $[R]
val pos: SourcePos
val typeTest: TypeTest[A, A0]
Generated with