This Commented CUE demonstrates how to validate an integer value’s parity.
Two schemas #Odd and #Even are presented that validate an integer is either odd or even respectively.
file.cue
package example
#Even: num=(2 * div(num, 2))
#Odd: num=(1 + 2*div(num, 2))
valid: {
"-27": -27 & #Odd
"-22": -22 & #Even
"42": 42 & #Even
"47": 47 & #Odd
}
invalid: {
"-37": -37 & #Even
"-32": -32 & #Odd
"52": 52 & #Odd
"57": 57 & #Even
}TERMINAL
$ cue vet
invalid."-32": conflicting values -31 and -32:
./file.cue:4:13
./file.cue:15:9
invalid."-37": conflicting values -38 and -37:
./file.cue:3:13
./file.cue:14:9
invalid."52": conflicting values 53 and 52:
./file.cue:4:13
./file.cue:16:9
invalid."57": conflicting values 56 and 57:
./file.cue:3:13
./file.cue:17:9