push (original) (raw)

Add value to the end.

Alternatives: push, push$.
Similar: push, pop, shift, unshift.

function push(x, ...vs) // x: an array // vs: values to add

const xarray = require('extra-array');

var x = [1, 2]; xarray.push(x, 3); // → [ 1, 2, 3 ]

xarray.push(x, 3, 4); // → [ 1, 2, 3, 4 ]

References

• Array.prototype.push() : MDN Web Docs
• std::list::push_back() : cppreference.com
• immutable-iterable-prototype : @azu