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 (GIT hash 5a97c5766ea04e5412cbfaed4c53658737cd2e4b)
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.