@@ -9,7 +9,13 @@
10-- This module provides APIs to create and use unboxed immutable arrays. Once
10-- This module provides APIs to create and use unboxed immutable arrays. Once
11-- created, their contents cannot be modified. Only types that are unboxable
11-- created, their contents cannot be modified. Only types that are unboxable
12−-- via the 'Unbox' type class can be stored in these arrays.
12+-- via the 'Unbox' type class can be stored in these arrays. Note that the
13+-- array memory grows automatically when creating a new array, therefore, an
14+-- array can be created from a variable length stream.
16+-- See "Streamly.Data.Array.Generic" for arrays that work for boxed types i.e.
17+-- not requiring the 'Unbox' constraint.
18+-- See "Streamly.Data.MutArray" for arrays that can be mutated in-place..
14-- = Folding Arrays
20-- = Folding Arrays
@@ -55,6 +61,9 @@
55-- >>> Stream.fold (purely Array.write) $ Stream.fromList [1,2,3::Int]
61-- >>> Stream.fold (purely Array.write) $ Stream.fromList [1,2,3::Int]
56-- Identity fromList [1,2,3]
62-- Identity fromList [1,2,3]
64+-- Since it is a pure stream we can use 'unsafePerformIO' to extract the result
58-- Alternatively, 'Identity' streams can be generalized to IO streams:
67-- Alternatively, 'Identity' streams can be generalized to IO streams:
60-- >>> pure = Stream.fromList [1,2,3] :: Stream Identity Int
69-- >>> pure = Stream.fromList [1,2,3] :: Stream Identity Int
@@ -62,9 +71,6 @@
62-- >>> Stream.fold Array.write (generally pure :: Stream IO Int)
71-- >>> Stream.fold Array.write (generally pure :: Stream IO Int)
63-- fromList [1,2,3]
72-- fromList [1,2,3]
65−-- Since it is a pure stream we can use 'unsafePerformIO' to extract the result
68-- = Programming Tips
74-- = Programming Tips
70-- This module is designed to be imported qualified:
76-- This module is designed to be imported qualified: