diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-13 19:37:42 +0200 | 
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-13 19:37:42 +0200 | 
| commit | 89b5f323d9e5cd7b44e1706c9bfc239045af577a (patch) | |
| tree | 6cd0fa32fbe2bce45f00b324f073aa7fc1a725bc /src | |
| parent | 30c56f0d601561440734fd393a5482458a025e1e (diff) | |
Remove some redundant parentheses
Diffstat (limited to 'src')
| -rw-r--r-- | src/Data/Array/Nested/Internal.hs | 12 | 
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 :$$ | 
