ThoughtWorksInc/Dsl.scala/com.thoughtworks.dsl.keywords/Match/WithIndex

WithIndex

object WithIndex
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Givens

Givens

given `IsKeyword_+:_LastValue`[Index <: Int, Keyword, Domain, LastValue](using val dsl: IsKeyword[Keyword, LastValue], val valueOfIndex: ValueOf[Index]): IsKeyword[WithIndex[Index, Keyword] +: Nothing, LastValue]
given `IsKeyword_+:_Value`[Index <: Int, LeftKeyword, RestKeyword, Domain, Value](using val leftDsl: IsKeyword[LeftKeyword, Value], val restDsl: IsKeyword[RestKeyword, Value]): IsKeyword[WithIndex[Index, LeftKeyword] +: RestKeyword, Value]
given `PolyCont_+:_Domain_LastValue`[Index <: Int, Keyword, Domain, LastValue](using val dsl: PolyCont[Keyword, Domain, LastValue], val valueOfIndex: ValueOf[Index]): PolyCont[WithIndex[Index, Keyword] +: Nothing, Domain, LastValue]
given `PolyCont_+:_Domain_Value`[Index <: Int, LeftKeyword, RestKeyword, Domain, Value](using val leftDsl: PolyCont[LeftKeyword, Domain, Value], val valueOfIndex: ValueOf[Index], val restDsl: PolyCont[RestKeyword, Domain, Value]): PolyCont[WithIndex[Index, LeftKeyword] +: RestKeyword, Domain, Value]