From ac061cf450b1c8e153de06f7b12256914c496788 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 3 Jun 2024 19:56:57 +0200 Subject: rrank, rtoOrthotope --- src/Data/Array/Mixed/Shape.hs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/Data/Array/Mixed') diff --git a/src/Data/Array/Mixed/Shape.hs b/src/Data/Array/Mixed/Shape.hs index 4ab3c26..4343574 100644 --- a/src/Data/Array/Mixed/Shape.hs +++ b/src/Data/Array/Mixed/Shape.hs @@ -252,6 +252,9 @@ instance NFData i => NFData (ShX sh i) where shxLength :: ShX sh i -> Int shxLength (ShX l) = listxLength l +shxLengthSNat :: ShX sh f -> SNat (Rank sh) +shxLengthSNat (ShX list) = listxLengthSNat list + -- | This is more than @geq@: it also checks that the integers (the unknown -- dimensions) are the same. shxEqual :: Eq i => ShX sh i -> ShX sh' i -> Maybe (sh :~: sh') -- cgit v1.2.3-70-g09d2