expanding_array
container.expanding_array
Type Parameters
Fields
the length of the array
Functions
group the elements of this sequence by a key of type K
f determines the key of an element
f determines the key of an element
0.095dev (2025-10-09 18:01:25 GIT hash 4826e516431c193e428991dd546a46472973d8d4 built by fridi@fzen)
An expanding array is a persistent data structure that has cumulative O(1)
performance of adding single elements at its end.
WARNING: Due to the high worst-case time for addition, this structure should
not be used in situations when adding a single element repeatedly to the same
instance of `expanding_array`. If the resulting
`expanding_array`'s length is `l`, this will trigger the worst-case
addition time, resulting in cumulative time O(m*l) for adding an element m
times.
This constructor is for internal use only, to create instance of
`expanding_array`, use `(expanding_array T).type.empty` to create an empty
expanding array instance.