diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-06-29 12:36:03 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-06-29 12:40:02 +0200 |
| commit | 260e00c3d661c21de5986ccf01d3292d3b8f7633 (patch) | |
| tree | 4e29bed0adb2724ac48e61abf5376ba613ff1c2a /src/Data/Array/Nested/Shaped.hs | |
| parent | 64404591661d3bc239804a1c17a25f81c434d852 (diff) | |
Flip some index/shape-related functions
This ensures that the argument order consistently puts the main thing
being operated on at the end, and supporting singletons at the start.
Diffstat (limited to 'src/Data/Array/Nested/Shaped.hs')
| -rw-r--r-- | src/Data/Array/Nested/Shaped.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Shaped.hs b/src/Data/Array/Nested/Shaped.hs index 0275aad..2b0b6b5 100644 --- a/src/Data/Array/Nested/Shaped.hs +++ b/src/Data/Array/Nested/Shaped.hs @@ -186,7 +186,7 @@ srerankP :: forall sh1 sh2 sh a b. (Storable a, Storable b) srerankP sh sh2 f sarr@(Shaped arr) | Refl <- lemMapJustApp sh (Proxy @sh1) , Refl <- lemMapJustApp sh (Proxy @sh2) - = Shaped (mrerankP (ssxFromShX (shxTakeSSX (Proxy @(MapJust sh1)) (shxFromShS (sshape sarr)) (ssxFromShX (shxFromShS sh)))) + = Shaped (mrerankP (ssxFromShX (shxTakeSSX (Proxy @(MapJust sh1)) (ssxFromShX (shxFromShS sh)) (shxFromShS (sshape sarr)))) (shxFromShS sh2) (\a -> let Shaped r = f (Shaped a) in r) arr) |