diff options
Diffstat (limited to 'src/Data/Array/Nested/Convert.hs')
| -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 |