aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested
diff options
context:
space:
mode:
authorTom Smeding <t.j.smeding@uu.nl>2024-04-03 14:41:59 +0200
committerTom Smeding <t.j.smeding@uu.nl>2024-04-03 14:41:59 +0200
commit22072f46b1196ff8c8fb716f7650f9afc0904a03 (patch)
tree6e74098c8f553da784b2067a218a1d1788d3bbcc /src/Data/Array/Nested
parent1ad7b29c9f09402b31e07b2a36346d0175a10c21 (diff)
Fix fixities
Diffstat (limited to 'src/Data/Array/Nested')
-rw-r--r--src/Data/Array/Nested/Internal.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Data/Array/Nested/Internal.hs b/src/Data/Array/Nested/Internal.hs
index 1139c57..892f4d8 100644
--- a/src/Data/Array/Nested/Internal.hs
+++ b/src/Data/Array/Nested/Internal.hs
@@ -510,6 +510,7 @@ type IxR :: Nat -> Type
data IxR n where
IZR :: IxR Z
(:::) :: Int -> IxR n -> IxR (S n)
+infixr 5 :::
ixCvtXR :: IxX sh -> IxR (X.Rank sh)
ixCvtXR IZX = IZR
@@ -573,6 +574,7 @@ type IxS :: [Nat] -> Type
data IxS sh where
IZS :: IxS '[]
(::$) :: Int -> IxS sh -> IxS (n : sh)
+infixr 5 ::$
cvtSShapeIxS :: SShape sh -> IxS sh
cvtSShapeIxS ShNil = IZS