libretto-core
API
Generated with
libretto-core/libretto/libretto.scaletto/Scaletto/ValSwitchInit

ValSwitchInit

libretto.scaletto.Scaletto.ValSwitchInit
class ValSwitchInit[A](a: $[Val[A]], pos: SourcePos)(using x$3: LambdaContext)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def Case[A0 <: A](using tt: TypeTest[A, A0], casePos: SourcePos): ValSwitchInitCase[A, A0]
Generated with