sec-core
0.22.2
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
sec-core/sec/PositionInfo

PositionInfo

sec.PositionInfo$
See thePositionInfo companion trait
object PositionInfo

Attributes

Companion:
trait
Source:
position.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

final case class Global(stream: Exact, log: Exact) extends PositionInfo

Attributes

Source:
position.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
final implicit class PositionOps(val p: PositionInfo) extends AnyVal

Attributes

Source:
position.scala
Graph
Supertypes
class AnyVal
trait Matchable
class Any

Types

type Local = Exact

Attributes

Source:
position.scala

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

Implicits

Implicits

final implicit def PositionOps(p: PositionInfo): PositionOps

Attributes

Source:
position.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL