diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-03-11 21:52:45 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-03-11 21:52:45 +0100 |
| commit | a36d23048be6e2ad0e4516965f1e8b48756ef78b (patch) | |
| tree | a21552fd2405debd7d93ca16b62e49477cc522b9 /src/Data/Array/Mixed/Permutation.hs | |
| parent | eff6b7ba64fbe4e6e260ce3266109fd9fee27ae2 (diff) | |
More consistent equality functions on shapes
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 015a828..8efcbe8 100644 --- a/src/Data/Array/Mixed/Permutation.hs +++ b/src/Data/Array/Mixed/Permutation.hs @@ -241,7 +241,7 @@ permInverse = \perm k -> provePermInverse :: Perm is -> Perm is' -> StaticShX sh -> Maybe (Permute is' (Permute is sh) :~: sh) provePermInverse perm perminv ssh = - ssxGeq (ssxPermute perminv (ssxPermute perm ssh)) ssh + ssxEqType (ssxPermute perminv (ssxPermute perm ssh)) ssh type family MapSucc is where MapSucc '[] = '[] |