mtg/com.github.gchudnov.mtg/Mark

Mark

object Mark
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Mark.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

Concrete methods

def at[T](x: Value[T]): At[T]
def at[T](value: T): At[T]
def pred[T](x: Mark[T]): Pred[T]
def pred[T](x: Value[T]): Pred[T]
def pred[T](value: T): Pred[T]
def succ[T](x: Mark[T]): Succ[T]
def succ[T](x: Value[T]): Succ[T]
def succ[T](value: T): Succ[T]

Givens

Givens

given markOrdering[T : Domain](implicit evidence$1: Domain[T], ordT: Ordering[Value[T]]): Ordering[Mark[T]]