diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-09 22:58:39 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-09 22:58:39 +0200 |
| commit | 21e52b349aaf0978f0ce5925fef6e53e0c9436f9 (patch) | |
| tree | 6798918805e1142ffa889cba66e9dc6d1ffa9249 /src/Data/Array/Nested/Shaped | |
| parent | 7b0824ad591e9df501a57b8a2e4b5148d55f6dd0 (diff) | |
Get rid of most ListX operations
Diffstat (limited to 'src/Data/Array/Nested/Shaped')
| -rw-r--r-- | src/Data/Array/Nested/Shaped/Shape.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Shaped/Shape.hs b/src/Data/Array/Nested/Shaped/Shape.hs index 392ceac..60e0252 100644 --- a/src/Data/Array/Nested/Shaped/Shape.hs +++ b/src/Data/Array/Nested/Shaped/Shape.hs @@ -132,7 +132,7 @@ ixsCast (i :.$ idx) = i :.$ ixsCast idx ixsAppend :: forall sh sh' i. IxS sh i -> IxS sh' i -> IxS (sh ++ sh') i ixsAppend = gcastWith (unsafeCoerceRefl :: MapJust (sh ++ sh') :~: MapJust sh ++ MapJust sh') $ - coerce (listxAppend @_ @_ @i) + coerce (ixxAppend @_ @_ @i) ixsZip :: IxS sh i -> IxS sh j -> IxS sh (i, j) ixsZip ZIS ZIS = ZIS |