rego-proofs/examples/10-comprehensions.rego


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

package examples.comprehensions

import future.keywords.contains
import future.keywords.if
import future.keywords.in

sites = [{"region": "east"}, {"region": "west"}]

names = [name | sites[i].region == "east"; name := sites[i].name]

names2 contains x if {
    anonymous := [name | sites[i].region == "east"; name := sites[i].name]
    x in anonymous
}

names = {name | sites[i].region == "east"; name := sites[i].name}