From b6a9d423ca954ef0f5e4c9a44e54b719d17a352c Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Thu, 15 May 2025 23:57:55 +0200 Subject: Flip arguments of mcastToShaped for consistency --- src/Data/Array/Nested/Convert.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/Data') 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 -- cgit v1.2.3-70-g09d2