From ffa8dacb1d7ea53438f784bf5f8b425b8cd48f46 Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@funktory.com>
Date: Wed, 14 May 2025 11:38:22 +0200
Subject: Split and uniformly rename Shape modules

---
 src/Data/Array/Nested/Internal/Lemmas.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Data/Array/Nested/Internal/Lemmas.hs')

diff --git a/src/Data/Array/Nested/Internal/Lemmas.hs b/src/Data/Array/Nested/Internal/Lemmas.hs
index f894f78..b8baf96 100644
--- a/src/Data/Array/Nested/Internal/Lemmas.hs
+++ b/src/Data/Array/Nested/Internal/Lemmas.hs
@@ -11,9 +11,9 @@ import GHC.TypeLits
 
 import Data.Array.Mixed.Lemmas
 import Data.Array.Mixed.Permutation
-import Data.Array.Mixed.Shape
+import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
-import Data.Array.Nested.Internal.Shape
+import Data.Array.Nested.Shaped.Shape
 
 
 lemRankMapJust :: ShS sh -> Rank (MapJust sh) :~: Rank sh
-- 
cgit v1.2.3-70-g09d2