From e8de5f63a29260b80bf601a4cf8e0871167034ba Mon Sep 17 00:00:00 2001
From: ragnar <git@rmgk.de>
Date: Mon, 4 Dec 2023 14:33:01 +0100
Subject: [PATCH] derive replicated list lattice

---
 .../kofre/datatypes/contextual/ReplicatedList.scala    | 10 +---------
 1 file changed, 1 insertion(+), 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
index c067609aa..f4803c5cc 100644
--- 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