From 03626ae119438452551962359b5d445a4ddbc0b3 Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@funktory.com>
Date: Wed, 14 May 2025 11:39:52 +0200
Subject: Add .stylish-haskell.yaml that matches Tom's preferences

to be automatically applied at buffer save or periodically applied with
find -not -path '*/\.git/*' -name "*.hs" -type f| xargs stylish-haskell -i
---
 src/Data/Array/Mixed/Lemmas.hs            | 2 +-
 src/Data/Array/Mixed/Permutation.hs       | 2 +-
 src/Data/Array/Mixed/XArray.hs            | 2 +-
 src/Data/Array/Nested/Internal/Convert.hs | 4 ++--
 src/Data/Array/Nested/Internal/Lemmas.hs  | 2 +-
 src/Data/Array/Nested/Internal/Mixed.hs   | 2 +-
 src/Data/Array/Nested/Internal/Shaped.hs  | 2 +-
 7 files changed, 8 insertions(+), 8 deletions(-)

(limited to 'src')

diff --git a/src/Data/Array/Mixed/Lemmas.hs b/src/Data/Array/Mixed/Lemmas.hs
index ca82573..7b3365b 100644
--- a/src/Data/Array/Mixed/Lemmas.hs
+++ b/src/Data/Array/Mixed/Lemmas.hs
@@ -13,8 +13,8 @@ import Data.Type.Equality
 import GHC.TypeLits
 
 import Data.Array.Mixed.Permutation
-import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
+import Data.Array.Nested.Mixed.Shape
 
 
 -- * Reasoning helpers
diff --git a/src/Data/Array/Mixed/Permutation.hs b/src/Data/Array/Mixed/Permutation.hs
index 22672cb..ef0afe3 100644
--- a/src/Data/Array/Mixed/Permutation.hs
+++ b/src/Data/Array/Mixed/Permutation.hs
@@ -29,8 +29,8 @@ import GHC.TypeError
 import GHC.TypeLits
 import GHC.TypeNats qualified as TN
 
-import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
+import Data.Array.Nested.Mixed.Shape
 
 
 -- * Permutations
diff --git a/src/Data/Array/Mixed/XArray.hs b/src/Data/Array/Mixed/XArray.hs
index 3e7a498..502d5d9 100644
--- a/src/Data/Array/Mixed/XArray.hs
+++ b/src/Data/Array/Mixed/XArray.hs
@@ -34,8 +34,8 @@ import GHC.TypeLits
 import Data.Array.Mixed.Internal.Arith
 import Data.Array.Mixed.Lemmas
 import Data.Array.Mixed.Permutation
-import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
+import Data.Array.Nested.Mixed.Shape
 
 
 type XArray :: [Maybe Nat] -> Type -> Type
diff --git a/src/Data/Array/Nested/Internal/Convert.hs b/src/Data/Array/Nested/Internal/Convert.hs
index 5d6cee4..4e0f17d 100644
--- a/src/Data/Array/Nested/Internal/Convert.hs
+++ b/src/Data/Array/Nested/Internal/Convert.hs
@@ -12,13 +12,13 @@ import Data.Proxy
 import Data.Type.Equality
 
 import Data.Array.Mixed.Lemmas
-import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
 import Data.Array.Nested.Internal.Lemmas
 import Data.Array.Nested.Internal.Mixed
 import Data.Array.Nested.Internal.Ranked
-import Data.Array.Nested.Shaped.Shape
 import Data.Array.Nested.Internal.Shaped
+import Data.Array.Nested.Mixed.Shape
+import Data.Array.Nested.Shaped.Shape
 
 
 stoRanked :: Elt a => Shaped sh a -> Ranked (Rank sh) a
diff --git a/src/Data/Array/Nested/Internal/Lemmas.hs b/src/Data/Array/Nested/Internal/Lemmas.hs
index b8baf96..f4bad70 100644
--- a/src/Data/Array/Nested/Internal/Lemmas.hs
+++ b/src/Data/Array/Nested/Internal/Lemmas.hs
@@ -11,8 +11,8 @@ import GHC.TypeLits
 
 import Data.Array.Mixed.Lemmas
 import Data.Array.Mixed.Permutation
-import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
+import Data.Array.Nested.Mixed.Shape
 import Data.Array.Nested.Shaped.Shape
 
 
diff --git a/src/Data/Array/Nested/Internal/Mixed.hs b/src/Data/Array/Nested/Internal/Mixed.hs
index b76aa50..a979d6c 100644
--- a/src/Data/Array/Nested/Internal/Mixed.hs
+++ b/src/Data/Array/Nested/Internal/Mixed.hs
@@ -45,10 +45,10 @@ import Unsafe.Coerce (unsafeCoerce)
 import Data.Array.Mixed.Internal.Arith
 import Data.Array.Mixed.Lemmas
 import Data.Array.Mixed.Permutation
-import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
 import Data.Array.Mixed.XArray (XArray(..))
 import Data.Array.Mixed.XArray qualified as X
+import Data.Array.Nested.Mixed.Shape
 import Data.Bag
 
 
diff --git a/src/Data/Array/Nested/Internal/Shaped.hs b/src/Data/Array/Nested/Internal/Shaped.hs
index 86dcee2..1415815 100644
--- a/src/Data/Array/Nested/Internal/Shaped.hs
+++ b/src/Data/Array/Nested/Internal/Shaped.hs
@@ -40,12 +40,12 @@ import GHC.TypeLits
 
 import Data.Array.Mixed.Lemmas
 import Data.Array.Mixed.Permutation
-import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
 import Data.Array.Mixed.XArray (XArray)
 import Data.Array.Mixed.XArray qualified as X
 import Data.Array.Nested.Internal.Lemmas
 import Data.Array.Nested.Internal.Mixed
+import Data.Array.Nested.Mixed.Shape
 import Data.Array.Nested.Shaped.Shape
 import Data.Array.Strided.Arith
 
-- 
cgit v1.2.3-70-g09d2