From 09041ca155485885a2f337f71b04442e991a550d Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Fri, 16 May 2025 10:42:24 +0200
Subject: default-show-instances flag

---
 src/Data/Array/Nested/Shaped/Shape.hs | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'src/Data/Array/Nested/Shaped/Shape.hs')

diff --git a/src/Data/Array/Nested/Shaped/Shape.hs b/src/Data/Array/Nested/Shaped/Shape.hs
index 092465f..59a7d61 100644
--- a/src/Data/Array/Nested/Shaped/Shape.hs
+++ b/src/Data/Array/Nested/Shaped/Shape.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE DeriveFoldable #-}
 {-# LANGUAGE DeriveFunctor #-}
@@ -58,8 +59,12 @@ deriving instance (forall n. Eq (f n)) => Eq (ListS sh f)
 deriving instance (forall n. Ord (f n)) => Ord (ListS sh f)
 infixr 3 ::$
 
+#ifdef OXAR_DEFAULT_SHOW_INSTANCES
+deriving instance (forall n. Show (f n)) => Show (ListS sh f)
+#else
 instance (forall n. Show (f n)) => Show (ListS sh f) where
   showsPrec _ = listsShow shows
+#endif
 
 instance (forall m. NFData (f m)) => NFData (ListS n f) where
   rnf ZS = ()
@@ -201,8 +206,12 @@ infixr 3 :.$
 
 type IIxS sh = IxS sh Int
 
+#ifdef OXAR_DEFAULT_SHOW_INSTANCES
+deriving instance Show i => Show (IxS sh i)
+#else
 instance Show i => Show (IxS sh i) where
   showsPrec _ (IxS l) = listsShow (\(Const i) -> shows i) l
+#endif
 
 instance Functor (IxS sh) where
   fmap f (IxS l) = IxS (listsFmap (Const . f . getConst) l)
@@ -280,8 +289,12 @@ infixr 3 :$$
 
 {-# COMPLETE ZSS, (:$$) #-}
 
+#ifdef OXAR_DEFAULT_SHOW_INSTANCES
+deriving instance Show (ShS sh)
+#else
 instance Show (ShS sh) where
   showsPrec _ (ShS l) = listsShow (shows . fromSNat) l
+#endif
 
 instance NFData (ShS sh) where
   rnf (ShS ZS) = ()
-- 
cgit v1.2.3-70-g09d2