diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-03 22:42:03 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-03 22:42:03 +0200 |
| commit | 2095a851760b6bb44ba92b70df1efceff1bad267 (patch) | |
| tree | 9bb83e39fdd7769842fbd60e2efa2287a801961d /src/Data/Array/Nested/Mixed | |
| parent | db163c981f796264e17019537a1ab2a5ae3573e1 (diff) | |
Simplify the index list pattern synonyms
Diffstat (limited to 'src/Data/Array/Nested/Mixed')
| -rw-r--r-- | src/Data/Array/Nested/Mixed/Shape.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Data/Array/Nested/Mixed/Shape.hs b/src/Data/Array/Nested/Mixed/Shape.hs index f8b19c2..c2ab93f 100644 --- a/src/Data/Array/Nested/Mixed/Shape.hs +++ b/src/Data/Array/Nested/Mixed/Shape.hs @@ -173,8 +173,8 @@ pattern (:.%) :: forall {sh1} {i}. forall n sh. (n : sh ~ sh1) => i -> IxX sh i -> IxX sh1 i -pattern i :.% shl <- IxX (listxUncons -> Just (UnconsListXRes (IxX -> shl) i)) - where i :.% IxX shl = IxX (i ::% shl) +pattern i :.% sh <- IxX (i ::% (IxX -> sh)) + where i :.% IxX sh = IxX (i ::% sh) infixr 3 :.% {-# COMPLETE ZIX, (:.%) #-} |