diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-09 12:06:36 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-09 12:06:36 +0200 |
| commit | 0d166120f30acd17f330b74759d65c5d39257a13 (patch) | |
| tree | 7a51e1dc34db13dac1b29a2bea47aee320cff3c4 /src/Data | |
| parent | abfa3b9646c49fbac7bade84dd1a2973ccb5accb (diff) | |
Bring ixsFromIxR' back
Diffstat (limited to 'src/Data')
| -rw-r--r-- | src/Data/Array/Nested/Convert.hs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Convert.hs b/src/Data/Array/Nested/Convert.hs index 671f40f..6ae897c 100644 --- a/src/Data/Array/Nested/Convert.hs +++ b/src/Data/Array/Nested/Convert.hs @@ -18,7 +18,7 @@ module Data.Array.Nested.Convert ( ixrFromIxS, ixrFromIxX, shrFromShS, shrFromShXAnyShape, shrFromShX, listrCast, ixrCast, shrCast, -- ** To shaped - ixsFromIxR, ixsFromIxX, ixsFromIxX', withShsFromShR, shsFromShX, withShsFromShX, shsFromSSX, + ixsFromIxR, ixsFromIxR', ixsFromIxX, ixsFromIxX', withShsFromShR, shsFromShX, withShsFromShX, shsFromSSX, ixsCast, -- ** To mixed ixxFromIxR, ixxFromIxS, shxFromShR, shxFromShS, @@ -86,6 +86,11 @@ ixsFromIxR = coerce Prelude.. (unsafeCoerce :: IxX (Replicate (Rank sh) Nothing) i -> IxX (MapJust sh) i) Prelude.. coerce +ixsFromIxR' :: forall sh i. ShS sh -> IxR (Rank sh) i -> IxS sh i +ixsFromIxR' _ = coerce + Prelude.. (unsafeCoerce :: IxX (Replicate (Rank sh) Nothing) i -> IxX (MapJust sh) i) + Prelude.. coerce + -- ixsFromIxX re-exported -- | Performs a runtime check that @Rank sh'@ match @Rank sh@. Equivalent to |