diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-03-27 22:58:51 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-03-27 22:58:51 +0100 |
| commit | ae113c0249f3fe8be7df345081b1b51451cd3fdf (patch) | |
| tree | faf241d19fec975f7d77a4486505a57ed4cc0b8b /src/Array.hs | |
| parent | cb31e179971293c519a530d8ce8ccc004458b1c4 (diff) | |
Ranked interface
Diffstat (limited to 'src/Array.hs')
| -rw-r--r-- | src/Array.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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 |