diff options
Diffstat (limited to 'src/Data/Array/Nested/Internal.hs')
| -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 :$$ |