Как я могу объединить два массива в 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 для получения более подробной информации.