summaryrefslogtreecommitdiff
path: root/src/Data/Array
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-05-13 19:37:42 +0200
committerTom Smeding <tom@tomsmeding.com>2024-05-13 19:37:42 +0200
commit89b5f323d9e5cd7b44e1706c9bfc239045af577a (patch)
tree6cd0fa32fbe2bce45f00b324f073aa7fc1a725bc /src/Data/Array
parent30c56f0d601561440734fd393a5482458a025e1e (diff)
Remove some redundant parentheses
Diffstat (limited to 'src/Data/Array')
-rw-r--r--src/Data/Array/Nested/Internal.hs12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/Data/Array/Nested/Internal.hs b/src/Data/Array/Nested/Internal.hs
index 440f52b..78d3760 100644
--- a/src/Data/Array/Nested/Internal.hs
+++ b/src/Data/Array/Nested/Internal.hs
@@ -890,10 +890,10 @@ pattern ZIR = IxR ZR
pattern (:.:)
:: forall {n1} {i}.
- forall n. ((S n) ~ n1)
+ forall n. (S n ~ n1)
=> i -> IxR n i -> IxR n1 i
pattern i :.: sh <- (unconsIxR -> Just (UnconsIxRRes sh i))
- where i :.: (IxR sh) = IxR (i ::: sh)
+ where i :.: IxR sh = IxR (i ::: sh)
{-# COMPLETE ZIR, (:.:) #-}
infixr 3 :.:
@@ -923,7 +923,7 @@ pattern ZSR = ShR ZR
pattern (:$:)
:: forall {n1} {i}.
- forall n. ((S n) ~ n1)
+ forall n. (S n ~ n1)
=> i -> ShR n i -> ShR n1 i
pattern i :$: sh <- (unconsShR -> Just (UnconsShRRes sh i))
where i :$: (ShR sh) = ShR (i ::: sh)
@@ -931,7 +931,7 @@ pattern i :$: sh <- (unconsShR -> Just (UnconsShRRes sh i))
infixr 3 :$:
data UnconsShRRes i n1 =
- forall n. ((S n) ~ n1) => UnconsShRRes (ShR n i) i
+ forall n. S n ~ n1 => UnconsShRRes (ShR n i) i
unconsShR :: ShR n1 i -> Maybe (UnconsShRRes i n1)
unconsShR (ShR sh) = case sh of
i ::: sh' -> Just (UnconsShRRes (ShR sh') i)
@@ -1113,7 +1113,7 @@ pattern (:.$)
forall n sh. (n : sh ~ sh1)
=> i -> IxS sh i -> IxS sh1 i
pattern i :.$ shl <- (unconsIxS -> Just (UnconsIxSRes shl i))
- where i :.$ (IxS shl) = IxS (i ::$ shl)
+ where i :.$ IxS shl = IxS (i ::$ shl)
{-# COMPLETE ZIS, (:.$) #-}
infixr 3 :.$
@@ -1143,7 +1143,7 @@ pattern (:$$)
forall n sh. (n : sh ~ sh1)
=> i -> ShS sh i -> ShS sh1 i
pattern i :$$ shl <- (unconsShS -> Just (UnconsShSRes shl i))
- where i :$$ (ShS shl) = ShS (i ::$ shl)
+ where i :$$ ShS shl = ShS (i ::$ shl)
{-# COMPLETE ZSS, (:$$) #-}
infixr 3 :$$