Dot

kofre.time.Dot
See theDot companion class
object Dot

Attributes

Companion
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Dot.type

Members list

Type members

Classlikes

object hasDot extends HasDots[Dot]

Attributes

Supertypes
trait HasDots[Dot]
class Object
trait Matchable
class Any
Self type
hasDot.type

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Deprecated methods

def partialOrdering: PartialOrdering[Dot]

While this seems plausible, it might, in general, be better to treat all dots as incomparable, we assume them to increase monotonically, but that is for optimization purposes, not because we use it anywhere else

While this seems plausible, it might, in general, be better to treat all dots as incomparable, we assume them to increase monotonically, but that is for optimization purposes, not because we use it anywhere else

Attributes

Deprecated
true

Givens

Givens

given hasDot: hasDot