diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-05-15 23:57:55 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-05-16 00:05:17 +0200 |
| commit | b6a9d423ca954ef0f5e4c9a44e54b719d17a352c (patch) | |
| tree | 2191022f31c276b52afa2b6645e4b4ba30e48d49 /src | |
| parent | 6de46d35838cada6f495f69f30a9cb8741843f21 (diff) | |
Flip arguments of mcastToShaped for consistency
Diffstat (limited to 'src')
| -rw-r--r-- | src/Data/Array/Nested/Convert.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Data/Array/Nested/Convert.hs b/src/Data/Array/Nested/Convert.hs index 17ccc4d..01abae3 100644 --- a/src/Data/Array/Nested/Convert.hs +++ b/src/Data/Array/Nested/Convert.hs @@ -53,8 +53,8 @@ rcastToMixed sshx rarr@(Ranked arr) = mcast sshx arr mcastToShaped :: forall sh sh' a. (Elt a, Rank sh ~ Rank sh') - => Mixed sh a -> ShS sh' -> Shaped sh' a -mcastToShaped arr targetsh = castCastable (CastXS' targetsh CastId) arr + => ShS sh' -> Mixed sh a -> Shaped sh' a +mcastToShaped targetsh = castCastable (CastXS' targetsh CastId) stoMixed :: forall sh a. Shaped sh a -> Mixed (MapJust sh) a stoMixed (Shaped arr) = arr @@ -76,7 +76,7 @@ rcastToShaped :: Elt a => Ranked (Rank sh) a -> ShS sh -> Shaped sh a rcastToShaped (Ranked arr) targetsh | Refl <- lemRankReplicate (shxRank (shCvtSX targetsh)) , Refl <- lemRankMapJust targetsh - = mcastToShaped arr targetsh + = mcastToShaped targetsh arr -- | The constructors that perform runtime shape checking are marked with a -- @'@: 'CastXS'' and 'CastXX''. For the other constructors, the types ensure |