PermuteVector
permute Source #
Arguments
indices length
indices
source
output
Permute the source array according to the indices:
forall ix. output[ix] = source[indices[ix]]