verify/verify.sourcecode/Line

Line

object Line extends LineMacros with SourceCompanion[Int, Line]
Companion:
class
trait Product
trait Mirror
trait SourceCompanion[Int, Line]
class Object
trait Matchable
class Any
Line.type

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

Value members

Inherited methods

def apply()(using Line): Int
Inherited from:
SourceCompanion

Givens

Inherited givens

given given_Line: Line
Inherited from:
LineMacros