[ fix ] Fix and generalise interpolations for fin map and fin set

buzden · Sep 26, 2024 · 776e5ce · 776e5ce
1 parent 9c7076c
commit 776e5ce
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/Data/Fin/Map.idr b/src/Data/Fin/Map.idr
@@ -169,8 +169,8 @@ rightMost : FinMap n v -> Maybe (Fin n, v)
 rightMost = last' . kvList
 
 export
-Interpolation v => Interpolation (FinMap n v) where
-  interpolate = ("{" ++) . (++ "}") . joinBy ", " . map (\(i, v) => "i -> \{v}") . kvList
+Interpolation v => Interpolation (Fin n) => Interpolation (FinMap n v) where
+  interpolate = ("{" ++) . (++ "}") . joinBy ", " . map (\(i, v) => "\{i} -> \{v}") . kvList
 
 export
 Eq v => Eq (FinMap n v) where

diff --git a/src/Data/Fin/Set.idr b/src/Data/Fin/Set.idr
@@ -120,8 +120,8 @@ export
   neutral = empty
 
 export
-Interpolation (FinSet n) where
-  interpolate = ("{" ++) . (++ "}") . joinBy ", " . map show . Fin.Set.toList
+Interpolation (Fin n) => Interpolation (FinSet n) where
+  interpolate = ("{" ++) . (++ "}") . joinBy ", " . map interpolate . Fin.Set.toList
 
 export
 null : FinSet n -> Bool