O(n) Yield the vector obtained by replacing each element
i of the index vector by xs!i. This is
equivalent to map (xs!) is but is often much
more efficient.
O(n) Yield the vector obtained by replacing each element
i of the index vector by xs!i. This is
equivalent to map (xs!) is but is often much
more efficient.
O(n) Yield the vector obtained by replacing each element
i of the index vector by xs!i. This is
equivalent to map (xs!) is but is often much
more efficient.
O(n) Yield the vector obtained by replacing each element
i of the index vector by xs!i. This is
equivalent to map (xs!) is but is often much
more efficient.