From 22072f46b1196ff8c8fb716f7650f9afc0904a03 Mon Sep 17 00:00:00 2001
From: Tom Smeding <t.j.smeding@uu.nl>
Date: Wed, 3 Apr 2024 14:41:59 +0200
Subject: Fix fixities

---
 src/Data/Array/Mixed.hs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/Data/Array/Mixed.hs')

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
-- 
cgit v1.2.3-70-g09d2