diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-05-17 00:04:53 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-05-17 00:10:56 +0200 |
| commit | 0d6f77762d1697ea41b190e550f94e459079e3d1 (patch) | |
| tree | 6bbf235e27451a97afca4296a53730411722fb5e /src/Data/Array/Nested/Ranked/Shape.hs | |
| parent | 7bc9bc6ddbcee4f4193d5c79db92186f12ce3eb2 (diff) | |
Eliminate the dependency cycle of Lemmas modules
Diffstat (limited to 'src/Data/Array/Nested/Ranked/Shape.hs')
| -rw-r--r-- | src/Data/Array/Nested/Ranked/Shape.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Ranked/Shape.hs b/src/Data/Array/Nested/Ranked/Shape.hs index 580bc59..c0c4f17 100644 --- a/src/Data/Array/Nested/Ranked/Shape.hs +++ b/src/Data/Array/Nested/Ranked/Shape.hs @@ -28,7 +28,6 @@ module Data.Array.Nested.Ranked.Shape where import Control.DeepSeq (NFData(..)) -import Data.Array.Nested.Types import Data.Coerce (coerce) import Data.Foldable qualified as Foldable import Data.Kind (Type) @@ -42,6 +41,7 @@ import GHC.TypeNats qualified as TN import Data.Array.Mixed.Lemmas import Data.Array.Nested.Mixed.Shape +import Data.Array.Nested.Types type role ListR nominal representational |