Как я могу объединить два массива в JSONNET?

Question

Если у меня есть два массива, например,

local array1 = [0,6,12];
local array2 = std.range(10,15);

и я хочу массив [0,6,10,11,12,13,14,15] (конкретно не касается порядка элементов, просто не хочу дубликатов)

Как я могу выполнить это как операцию объединения, которая будет работать для любых двух массивов чисел?

Answer 1

JSonnet имеет функцию std.setUnion для этого варианта использования. Ваш результат можно найти с помощью:

local result = std.setUnion(array1, array2);

См. Ссылку на стандартную библиотеку JSonnet для более подробной информации.