rdts
API
Generated with
rdts/rdts/rdts.dotted/DottedLattice

DottedLattice

rdts.dotted.Dotted$package.DottedLattice
object DottedLattice

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply[A](using ev: Lattice[Dotted[A]]): Lattice[Dotted[A]]

Exports

Defined exports

final val Derivation: Derivation
Exported from Lattice
final type OrdinalLattices = OrdinalLattices
Exported from Lattice$
def assertEquals[A]: Lattice[A]
Exported from Lattice
def assertEqualsOrdering[A]: Ordering[A]
Exported from Lattice
inline def derived[T <: Product : ProductOf]: Lattice[T]
Exported from Lattice
def fromOrdering[A : Ordering]: Lattice[A]
Exported from Lattice
def latticeOrder[A](using A: Lattice[A]): PartialOrdering[A]
Exported from Lattice
inline def productLattice[T <: Product](using pm: ProductOf[T]): Lattice[T]
Exported from Lattice
inline def sumLattice[T](using sm: SumOf[T]): Lattice[T]
Exported from Lattice

Sum Lattice merges considers later defined (those with larger ordinals) constructors as larger. Notably, this implies None < Some for Option and Left < Right for Either. For an enum E { case A, B, C } it will be A < B < C

Sum Lattice merges considers later defined (those with larger ordinals) constructors as larger. Notably, this implies None < Some for Option and Left < Right for Either. For an enum E { case A, B, C } it will be A < B < C

Attributes

Generated with