diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-05-13 16:59:17 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-05-13 16:59:17 +0200 |
| commit | ca78d92aa55e9ba8ad179ef42515e4e7b2b8155a (patch) | |
| tree | 8311a404637693dbaec34e8ef13459e19cd20020 /src/Data/Array/Mixed/Permutation.hs | |
| parent | 0b021e8630ab78ccad076cf8357e370f4a0fcab5 (diff) | |
Apply some suggestions from hlint
Diffstat (limited to 'src/Data/Array/Mixed/Permutation.hs')
| -rw-r--r-- | src/Data/Array/Mixed/Permutation.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Mixed/Permutation.hs b/src/Data/Array/Mixed/Permutation.hs index 8efcbe8..cedfa22 100644 --- a/src/Data/Array/Mixed/Permutation.hs +++ b/src/Data/Array/Mixed/Permutation.hs @@ -85,7 +85,7 @@ permCheckPermutation = \p k -> provePerm1 :: Proxy isTop -> SNat (Rank isTop) -> Perm is' -> Maybe (AllElem' is' (Count 0 (Rank isTop)) :~: True) - provePerm1 _ _ PNil = Just (Refl) + provePerm1 _ _ PNil = Just Refl provePerm1 p rtop@SNat (PCons sn@SNat perm) | Just Refl <- provePerm1 p rtop perm = case (cmpNat (SNat @0) sn, cmpNat sn rtop) of |