diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-10-09 12:18:49 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-10-09 12:18:49 +0200 |
| commit | d78804e6391496cde4cc62dc2776da5789ece4ba (patch) | |
| tree | 2c6d68543128da11618d4b6c04670bebb9cd2a13 /src/Data | |
| parent | 2a3e58084da47d1dd3b557997e239ded480539a6 (diff) | |
Remove redundant Elt constraint
Diffstat (limited to 'src/Data')
| -rw-r--r-- | src/Data/Array/Nested/Internal/Ranked.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Internal/Ranked.hs b/src/Data/Array/Nested/Internal/Ranked.hs index ffa1cea..e5ed3af 100644 --- a/src/Data/Array/Nested/Internal/Ranked.hs +++ b/src/Data/Array/Nested/Internal/Ranked.hs @@ -525,5 +525,5 @@ mtoRanked arr | Refl <- lemReplicateSucc @(Nothing @Nat) @(Rank sh'T) = SUnknown (fromSMayNat' smn) :$% convSh sh -rtoMixed :: forall n a. Elt a => Ranked n a -> Mixed (Replicate n Nothing) a +rtoMixed :: forall n a. Ranked n a -> Mixed (Replicate n Nothing) a rtoMixed (Ranked arr) = arr |