aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Mixed.hs
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/Mixed.hs
parent1ad7b29c9f09402b31e07b2a36346d0175a10c21 (diff)
Fix fixities
Diffstat (limited to 'src/Data/Array/Mixed.hs')
-rw-r--r--src/Data/Array/Mixed.hs4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Data/Array/Mixed.hs b/src/Data/Array/Mixed.hs
index e1e2d5a..30dfd92 100644
--- a/src/Data/Array/Mixed.hs
+++ b/src/Data/Array/Mixed.hs
@@ -40,6 +40,8 @@ data IxX sh where
(::@) :: Int -> IxX sh -> IxX (Just n : sh)
(::?) :: Int -> IxX sh -> IxX (Nothing : sh)
deriving instance Show (IxX sh)
+infixr 5 ::@
+infixr 5 ::?
-- | The part of a shape that is statically known.
type StaticShapeX :: [Maybe Nat] -> Type
@@ -48,6 +50,8 @@ data StaticShapeX sh where
(:$@) :: SNat n -> StaticShapeX sh -> StaticShapeX (Just n : sh)
(:$?) :: () -> StaticShapeX sh -> StaticShapeX (Nothing : sh)
deriving instance Show (StaticShapeX sh)
+infixr 5 :$@
+infixr 5 :$?
-- | Evidence for the static part of a shape.
type KnownShapeX :: [Maybe Nat] -> Constraint