From 713d76559c42129afb24843af4386d18f1827727 Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Sat, 17 May 2025 00:20:47 +0200 Subject: Merge both Lemmas modules --- src/Data/Array/Nested/Ranked/Base.hs | 2 +- src/Data/Array/Nested/Ranked/Shape.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Data/Array/Nested/Ranked') diff --git a/src/Data/Array/Nested/Ranked/Base.hs b/src/Data/Array/Nested/Ranked/Base.hs index f50f671..beb5b0e 100644 --- a/src/Data/Array/Nested/Ranked/Base.hs +++ b/src/Data/Array/Nested/Ranked/Base.hs @@ -34,7 +34,7 @@ import GHC.TypeLits import Data.Foldable (toList) #endif -import Data.Array.Mixed.Lemmas +import Data.Array.Nested.Lemmas import Data.Array.Nested.Types import Data.Array.XArray (XArray(..)) import Data.Array.Nested.Mixed diff --git a/src/Data/Array/Nested/Ranked/Shape.hs b/src/Data/Array/Nested/Ranked/Shape.hs index c0c4f17..75a1e5b 100644 --- a/src/Data/Array/Nested/Ranked/Shape.hs +++ b/src/Data/Array/Nested/Ranked/Shape.hs @@ -39,7 +39,7 @@ import GHC.IsList qualified as IsList import GHC.TypeLits import GHC.TypeNats qualified as TN -import Data.Array.Mixed.Lemmas +import Data.Array.Nested.Lemmas import Data.Array.Nested.Mixed.Shape import Data.Array.Nested.Types -- cgit v1.2.3-70-g09d2