File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -1872,9 +1872,9 @@ reverseNode f (Node3 s a b c) = Node3 s (f c) (f b) (f a)
1872
1872
-- them up further and zip them with their matching pieces can be delayed until
1873
1873
-- they're actually needed. We do the same thing for Digits (splitting into
1874
1874
-- between one and four pieces) and Nodes (splitting into two or three). The
1875
- -- ultimate result is that we can index, or split at, any location in zs in
1876
- -- O( log(min{i,n-i})) time *immediately*, with only a constant-factor slowdown
1877
- -- as thunks are forced along the path .
1875
+ -- ultimate result is that we can index into , or split at, any location in zs
1876
+ -- in O(( log(min{i,n-i}))^2) time *immediately*, while still being able to
1877
+ -- force all the thunks in O(n) time .
1878
1878
--
1879
1879
-- Benchmark info, and alternatives:
1880
1880
--
You can’t perform that action at this time.
0 commit comments