This Commented CUE
demonstrates how to use the
built-in
function
and()
to unify all the elements of a list.
example.cue
package example
// c is a list of constraints
c: [int, >99, <1000]
// Each field in data must adhere to all of the
// constraints contained in c
data: [string]: and(c)
data: {
a: 4.2
b: 42
c: 500 // a valid value
d: 1001
}TERMINAL
$ cue vet .:example
data.a: conflicting values 4.2 and int & >99 & <1000 (mismatched types float and int):
./example.cue:8:17
./example.cue:10:5
data.b: invalid value 42 (out of bound >99):
./example.cue:4:10
./example.cue:11:5
data.d: invalid value 1001 (out of bound <1000):
./example.cue:4:15
./example.cue:13:5