ThoughtWorksInc/Dsl.scala
2.0.0+39-4dd79a87
API
Generated with
ThoughtWorksInc/Dsl.scala/com.thoughtworks.dsl.keywords/Match/WithIndex

WithIndex

com.thoughtworks.dsl.keywords.Match$package$.Match$.WithIndex$
See theWithIndex companion class
object WithIndex

Attributes

Companion:
class
Source:
Match.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
Source:
Mirror.scala
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Source:
Mirror.scala

Givens

Givens

given `given_Composed_+:_Domain_LastValue`[Index <: Int, Keyword, Domain, LastValue](using dsl: Searching[Keyword, Domain, LastValue], valueOfIndex: ValueOf[Index]): Composed[WithIndex[Index, Keyword] +: Nothing, Domain, LastValue]

Attributes

Source:
Match.scala
given `given_Composed_+:_Domain_Value`[Index <: Int, LeftKeyword, RestKeyword, Domain, Value](using leftDsl: Searching[LeftKeyword, Domain, Value], valueOfIndex: ValueOf[Index], restDsl: Searching[RestKeyword, Domain, Value]): Composed[WithIndex[Index, LeftKeyword] +: RestKeyword, Domain, Value]

Attributes

Source:
Match.scala
Generated with