derive replicated list lattice

rescala-lang · Dec 4, 2023 · e8de5f6 · e8de5f6
1 parent 7d483eb
commit e8de5f6
Showing 1 changed file with 1 addition and 9 deletions.
diff --git a/Modules/RDTs/src/main/scala/kofre/datatypes/contextual/ReplicatedList.scala b/Modules/RDTs/src/main/scala/kofre/datatypes/contextual/ReplicatedList.scala
@@ -31,15 +31,7 @@ object ReplicatedList {
 
   def empty[E]: ReplicatedList[E] = ReplicatedList(Epoche.empty, DotFun.empty)
 
-  given lattice[E]: Lattice[ReplicatedList[E]] =
-    new Lattice[ReplicatedList[E]] {
-      override def merge(left: ReplicatedList[E], right: ReplicatedList[E]): ReplicatedList[E] =
-        ReplicatedList(left.order merge right.order, left.meta merge right.meta)
-
-      override def decompose(a: ReplicatedList[E]): Iterable[ReplicatedList[E]] =
-        Iterable(a)
-
-    }
+  given lattice[E]: Lattice[ReplicatedList[E]] = Lattice.derived
   given hasDots[E]: HasDots[ReplicatedList[E]] with {
     extension (dotted: ReplicatedList[E])
       def dots: Dots = dotted.meta.dots