From ae113c0249f3fe8be7df345081b1b51451cd3fdf Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Wed, 27 Mar 2024 22:58:51 +0100 Subject: Ranked interface --- src/Array.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/Array.hs') diff --git a/src/Array.hs b/src/Array.hs index 5140eaf..29806d4 100644 --- a/src/Array.hs +++ b/src/Array.hs @@ -43,6 +43,7 @@ data StaticShapeX sh where SZX :: StaticShapeX '[] (:$@) :: SNat n -> StaticShapeX sh -> StaticShapeX (Just n : sh) (:$?) :: () -> StaticShapeX sh -> StaticShapeX (Nothing : sh) +deriving instance Show (StaticShapeX sh) type KnownShapeX :: [Maybe Nat] -> Constraint class KnownShapeX sh where -- cgit v1.2.3-70-g09d2