From a65306ba5d80891b20ac86fa3a3242f9497751e6 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Thu, 30 May 2024 11:58:40 +0200
Subject: Refactor Mixed (modules, regular function names)

---
 src/Data/Array/Nested.hs | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

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

diff --git a/src/Data/Array/Nested.hs b/src/Data/Array/Nested.hs
index e3af0ee..1a4e094 100644
--- a/src/Data/Array/Nested.hs
+++ b/src/Data/Array/Nested.hs
@@ -58,8 +58,9 @@ module Data.Array.Nested (
   type (++),
   Storable,
   SNat, pattern SNat,
-  HList,
-  Permutation,
+  pattern SZ, pattern SS,
+  Perm(..),
+  IsPermutation,
   KnownNatList(..),
   listSToList,
   shSToList,
@@ -69,7 +70,10 @@ module Data.Array.Nested (
 import Prelude hiding (mappend)
 
 import Data.Array.Mixed
+import Data.Array.Mixed.Internal.Arith
+import Data.Array.Mixed.Permutation
+import Data.Array.Mixed.Shape
+import Data.Array.Mixed.Types
 import Data.Array.Nested.Internal
-import Data.Array.Nested.Internal.Arith
 import Foreign.Storable
 import GHC.TypeLits
-- 
cgit v1.2.3-70-g09d2