From 6de015d8f2a82d5264804f3862892393c0d8d38d Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Fri, 12 Dec 2025 23:19:11 +0100 Subject: Improve haddocks of mvecsUnsafeFreeze --- src/Data/Array/Nested/Mixed.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/Data/Array/Nested/Mixed.hs') diff --git a/src/Data/Array/Nested/Mixed.hs b/src/Data/Array/Nested/Mixed.hs index 6b96a15..54b2a9f 100644 --- a/src/Data/Array/Nested/Mixed.hs +++ b/src/Data/Array/Nested/Mixed.hs @@ -378,7 +378,9 @@ class Elt a where -- | Given the shape of this array, finalise the vectors into 'XArray's. mvecsFreeze :: IShX sh -> MixedVecs s sh a -> ST s (Mixed sh a) - -- | Given the shape of this array, finalise the vectors into 'XArray's. + -- | 'mvecsFreeze' but without copying the mutable vectors before freezing + -- them. If the mutable vectors are mutated after this function, referential + -- transparency is broken. mvecsUnsafeFreeze :: IShX sh -> MixedVecs s sh a -> ST s (Mixed sh a) -- | Element types for which we have evidence of the (static part of the) shape -- cgit v1.2.3-70-g09d2