diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-14 10:21:51 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-14 10:21:51 +0200 |
| commit | 5cd4ed02db25a64ef879e1fa18431360a40de73b (patch) | |
| tree | 7a991081e7c0381f79bc47c607fcf6708127941d | |
| parent | bb6d82797c03cc019e7ff1e6f9fd8529d063dbd7 (diff) | |
Fix comments
| -rw-r--r-- | src/Data/Array/Nested/Internal.hs | 7 |
1 files changed, 4 insertions, 3 deletions
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 |