Add Ord,Eq instance to WithFC

idris-lang · Dec 1, 2024 · d2ea30b · d2ea30b
1 parent ace3f3c
commit d2ea30b
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/libs/base/Language/Reflection/TT.idr b/libs/base/Language/Reflection/TT.idr
@@ -93,6 +93,16 @@ export
 Traversable WithFC where
   traverse f (MkFCVal fc val) = map (MkFCVal fc) (f val)
 
+||| Locations are not taken into account when comparing reflected trees
+export
+Eq a => Eq (WithFC a) where
+  x == y = x.value == y.value
+
+||| Locations are not taken into account when comparing reflected trees
+export
+Ord a => Ord (WithFC a) where
+  compare x y = compare x.value y.value
+
 public export
 data NameType : Type where
      Bound   : NameType