From 5cd4ed02db25a64ef879e1fa18431360a40de73b Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Tue, 14 May 2024 10:21:51 +0200 Subject: Fix comments --- src/Data/Array/Nested/Internal.hs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/Data/Array/Nested') diff --git a/src/Data/Array/Nested/Internal.hs b/src/Data/Array/Nested/Internal.hs index 2f1e79e..7a5add7 100644 --- a/src/Data/Array/Nested/Internal.hs +++ b/src/Data/Array/Nested/Internal.hs @@ -145,8 +145,9 @@ newtype Primitive a = Primitive a type Mixed :: [Maybe Nat] -> Type -> Type data family Mixed sh a -- NOTE: When opening up the Mixed abstraction, you might see dimension sizes --- that you're not supposed to see. In particular, an empty array may have --- elements with nonempty sizes, but then the whole array is still empty. +-- that you're not supposed to see. In particular, you might see (nonempty) +-- sizes of the elements of an empty array, which is information that should +-- ostensibly not exist; the full array is still empty. newtype instance Mixed sh (Primitive a) = M_Primitive (XArray sh a) deriving (Show) @@ -168,7 +169,7 @@ newtype instance Mixed sh1 (Mixed sh2 a) = M_Nest (Mixed (sh1 ++ sh2) a) deriving instance Show (Mixed (sh1 ++ sh2) a) => Show (Mixed sh1 (Mixed sh2 a)) --- | Internal helper data family mirrorring 'Mixed' that consists of mutable +-- | Internal helper data family mirroring 'Mixed' that consists of mutable -- vectors instead of 'XArray's. type MixedVecs :: Type -> [Maybe Nat] -> Type -> Type data family MixedVecs s sh a -- cgit v1.2.3-70-g09d2