rdts
API
Generated with
rdts/rdts/rdts.base/Lattice/Derivation/MirrorOrdinal

MirrorOrdinal

rdts.base.Lattice.Derivation.MirrorOrdinal
case class MirrorOrdinal[T](sm: SumOf[T], lattices: Tuple) extends OrdinalLattices[T]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait OrdinalLattices[T]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def compare(left: T, right: T): Int
override def lattice(elem: T): Lattice[T]

Attributes

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with