diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-30 11:58:40 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-30 11:58:40 +0200 |
| commit | a65306ba5d80891b20ac86fa3a3242f9497751e6 (patch) | |
| tree | 834af370556a46bbeca807a92c31bef098b47a89 /src/Data/Array/Nested.hs | |
| parent | d8e2fcf4ea979fe272db48fc2889f4c2636c50d7 (diff) | |
Refactor Mixed (modules, regular function names)
Diffstat (limited to 'src/Data/Array/Nested.hs')
| -rw-r--r-- | src/Data/Array/Nested.hs | 10 |
1 files changed, 7 insertions, 3 deletions
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 |