From df658b3aaea94e1bae0b332c264c1b3b18fe017b Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Fri, 31 May 2024 08:56:11 +0200 Subject: Fix comment in Nested.Shape --- src/Data/Array/Nested/Internal/Shape.hs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src') diff --git a/src/Data/Array/Nested/Internal/Shape.hs b/src/Data/Array/Nested/Internal/Shape.hs index 664a724..4163007 100644 --- a/src/Data/Array/Nested/Internal/Shape.hs +++ b/src/Data/Array/Nested/Internal/Shape.hs @@ -328,9 +328,7 @@ applyPermShS = coerce (applyPermS @SNat) -- | An index into a shape-typed array. -- -- For convenience, this contains regular 'Int's instead of bounded integers --- (traditionally called \"@Fin@\"). Note that because the shape of a --- shape-typed array is known statically, you can also retrieve the array shape --- from a 'KnownShape' dictionary. +-- (traditionally called \"@Fin@\"). type role IxS nominal representational type IxS :: [Nat] -> Type -> Type newtype IxS sh i = IxS (ListS sh (Const i)) @@ -374,6 +372,9 @@ ixCvtSX (n :.$ sh) = n :.% ixCvtSX sh -- | The shape of a shape-typed array given as a list of 'SNat' values. +-- +-- Note that because the shape of a shape-typed array is known statically, you +-- can also retrieve the array shape from a 'KnownShS' dictionary. type role ShS nominal type ShS :: [Nat] -> Type newtype ShS sh = ShS (ListS sh SNat) -- cgit v1.2.3-70-g09d2