@@ -2,21 +2,21 @@ package test
22
33default is_greater_than := {" result" : false }
44
5- is_greater_than := {" result" : true } {
5+ is_greater_than := {" result" : true } if {
66 input .a > = input .b
77}
88
9- add := {" result" : result} {
9+ add := {" result" : result} if {
1010 result := input .a + input .b
1111}
1212
13- add := {" result" : result} {
13+ add := {" result" : result} if {
1414 result := concat (" +" , [input .a, input .b])
1515}
1616
1717default create := {" success" : false }
1818
19- create := {" success" : true , " metadata" : [addGreater, addLesser]} {
19+ create := {" success" : true , " metadata" : [addGreater, addLesser]} if {
2020 input .a > = input .b
2121 addGreater := {
2222 " name" : input .name,
@@ -32,7 +32,7 @@ create := {"success": true, "metadata": [addGreater, addLesser]} {
3232 }
3333}
3434
35- create := {" success" : true , " metadata" : [addGreater, addLesser]} {
35+ create := {" success" : true , " metadata" : [addGreater, addLesser]} if {
3636 input .a < input .b
3737 addGreater := {
3838 " name" : input .name,
@@ -52,16 +52,16 @@ default append := {"success": false}
5252
5353default lists_exist := false
5454
55- lists_exist {
55+ lists_exist if {
5656 data .metadata[input .name]
5757}
5858
59- append := result {
59+ append := result if {
6060 not lists_exist
6161 result := create
6262}
6363
64- append := {" success" : true , " metadata" : [updateGreater, updateLesser]} {
64+ append := {" success" : true , " metadata" : [updateGreater, updateLesser]} if {
6565 input .a > = input .b
6666 updateGreater := {
6767 " name" : input .name,
@@ -77,7 +77,7 @@ append := {"success": true, "metadata": [updateGreater, updateLesser]} {
7777 }
7878}
7979
80- append := {" success" : true , " metadata" : [updateGreater, updateLesser]} {
80+ append := {" success" : true , " metadata" : [updateGreater, updateLesser]} if {
8181 input .a < input .b
8282 updateGreater := {
8383 " name" : input .name,
@@ -93,7 +93,7 @@ append := {"success": true, "metadata": [updateGreater, updateLesser]} {
9393 }
9494}
9595
96- compute_gap := {" result" : result, " metadata" : [removeGreater, removeLesser]} {
96+ compute_gap := {" result" : result, " metadata" : [removeGreater, removeLesser]} if {
9797 diffs := [diff | some i
9898 g := data .metadata[input .name].greater[i]
9999 l := data .metadata[input .name].lesser[i]
@@ -114,7 +114,7 @@ compute_gap := {"result": result, "metadata": [removeGreater, removeLesser]} {
114114
115115subtract := data .module.subtract
116116
117- setAdd := {" success" : true , " metadata" : [addSet]} {
117+ setAdd := {" success" : true , " metadata" : [addSet]} if {
118118 addSet := {
119119 " name" : input .name,
120120 " type" : " set" ,
@@ -125,7 +125,7 @@ setAdd := {"success": true, "metadata": [addSet]} {
125125 }
126126}
127127
128- setRemove := {" success" : true , " metadata" : [removeSet]} {
128+ setRemove := {" success" : true , " metadata" : [removeSet]} if {
129129 removeSet := {
130130 " name" : input .name,
131131 " type" : " set" ,
@@ -137,12 +137,12 @@ setRemove := {"success": true, "metadata": [removeSet]} {
137137}
138138
139139default setContains := {" result" : false }
140- setContains := {" result" : true } {
140+ setContains := {" result" : true } if {
141141 data .metadata[input .name][_].value == input .value
142142}
143143
144144default getSet := {" result" : []}
145- getSet := {" result" : result} {
145+ getSet := {" result" : result} if {
146146 s := data .metadata[input .name]
147147 result := [item.value | item := s[_]]
148148}
0 commit comments