From bcc6a66e8c60a5a34f5aea8852d0edca68746169 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Koz=C5=82owski?= Date: Mon, 11 Nov 2024 02:37:23 +0100 Subject: [PATCH] remove monoid --- .../src/main/scala/playground/smithyql/RangeIndex.scala | 6 ------ 1 file changed, 6 deletions(-) diff --git a/modules/core/src/main/scala/playground/smithyql/RangeIndex.scala b/modules/core/src/main/scala/playground/smithyql/RangeIndex.scala index 5ecdb580..e359ba3f 100644 --- a/modules/core/src/main/scala/playground/smithyql/RangeIndex.scala +++ b/modules/core/src/main/scala/playground/smithyql/RangeIndex.scala @@ -1,6 +1,5 @@ package playground.smithyql -import cats.kernel.Monoid import cats.syntax.all.* import tsutils.* import util.chaining.* @@ -15,11 +14,6 @@ trait RangeIndex { object RangeIndex { - given Monoid[RangeIndex] = Monoid.instance( - _ => None, - (a, b) => pos => a.findAtPosition(pos).orElse(b.findAtPosition(pos)), - ) - def build(parsed: playground.generated.nodes.SourceFile): RangeIndex = fromRanges { val root = NodeContext.EmptyPath