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

Lattice

rdts.base.Lattice
See theLattice companion trait
object Lattice

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Lattice.type

Members list

Type members

Classlikes

object Derivation

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Derivation.type
object syntax

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
syntax.type

Value members

Concrete methods

def apply[A](using ev: Lattice[A]): Lattice[A]
def assertEquals[A]: Lattice[A]
def assertEqualsOrdering[A]: Ordering[A]
def decompose[A : Lattice](a: A): Iterable[A]
inline def derived[T <: Product](using pm: ProductOf[T]): Lattice[T]
def diff[A : Lattice](left: A, right: A): Option[A]
def fromOrdering[A : Ordering]: Lattice[A]
def latticeOrder[A : Lattice]: PartialOrdering[A]
def lteq[A : Lattice](left: A, right: A): Boolean
def merge[A : Lattice](left: A, right: A): A
def normalize[A : Lattice](v: A): A
inline def sumLattice[T](using sm: SumOf[T]): Lattice[T]

Givens

Givens

given functionLattice[K, V : Lattice]: Lattice[K => V]
given mapLattice[K, V : Lattice]: Lattice[Map[K, V]]
given optionLattice[A : Lattice]: Lattice[Option[A]]
given setLattice[A]: setLattice[A]
inline given tupleLattice[T <: Tuple](using pm: ProductOf[T]): Lattice[T]

This causes tuple lattices to be generally derivable implicitly, without making all products derivable implicitly.

This causes tuple lattices to be generally derivable implicitly, without making all products derivable implicitly.

Attributes

Generated with