Rego - 将来自 json 的区分大小写键的值（如 abc、ABc）组合为单个小写键 abc

Question

我将 json 作为输入：

{
    "data": {
        "abc": 123,
        "Abc": 345,
        "bcd": 789
    }
}

我想要这样的结果：

{
    "data": {
        "abc": "123,345",
        "bcd": "789"
    }
}

即不区分大小写的键和值作为列表或逗号分隔的字符串。

对于下面的代码块，它给出了类似的错误

policy.rego:3: eval_conflict_error: object 密钥必须是唯一的

result := {lower(key): input.data[key] | count(key)>0}

这是一个 rego 游乐场链接。

我真的是 rego 的新手，无法理解是否可以做到这一点。 任何帮助将非常感激。 谢谢！

Answer 1

这在 Rego 中绝对可行，但它确实需要先熟悉数组理解！

package stackoverflow.example

result[k] := v {
    # Find a value `i`, and assign `k` to be that value lowercased.
    some i
    input.data[i]
    k := lower(i)

    # We use an array comprehension to generate a list.
    # A separate "some" variable is needed here for the comprehension,
    # because `i` has already been assigned a fixed value.
    some j
    values := [format_int(x, 10) | x := input.data[j]; lower(j) == k]
    v := concat(",", values)
}

交互式 Rego 游乐场链接

您也可以对它进行编码，尽管它有点混乱：

golfed_version[k] := v {
    some i, j
    input.data[i]
    k := lower(i)
    v := concat(",", [format_int(x, 10) | x := input.data[j]; lower(j) == k])
}