From ab13bcf7f63f14fc77b9e541175c748b70c1b82a Mon Sep 17 00:00:00 2001
From: vmidyllic <74898029+vmidyllic@users.noreply.github.com>
Date: Tue, 27 Feb 2024 17:29:42 +0200
Subject: [PATCH] add operators

---
 pubsignals/query.go | 28 +++++++++++++++-------------
 1 file changed, 15 insertions(+), 13 deletions(-)

diff --git a/pubsignals/query.go b/pubsignals/query.go
index b068cee..e1e75f2 100644
--- a/pubsignals/query.go
+++ b/pubsignals/query.go
@@ -16,26 +16,28 @@ import (
 )
 
 var allOperations = map[int]struct{}{
-	circuits.EQ:      {},
-	circuits.LT:      {},
-	circuits.LTE:     {},
-	circuits.GT:      {},
-	circuits.GTE:     {},
-	circuits.IN:      {},
-	circuits.NIN:     {},
-	circuits.NE:      {},
-	circuits.BETWEEN: {},
-	circuits.NULLIFY: {},
+	circuits.EQ:         {},
+	circuits.LT:         {},
+	circuits.LTE:        {},
+	circuits.GT:         {},
+	circuits.GTE:        {},
+	circuits.IN:         {},
+	circuits.NIN:        {},
+	circuits.NE:         {},
+	circuits.BETWEEN:    {},
+	circuits.NULLIFY:    {},
+	circuits.EXISTS:     {},
+	circuits.NONBETWEEN: {},
 }
 
 var availableTypesOperations = map[string]map[int]struct{}{
-	ld.XSDBoolean:                   {circuits.EQ: {}, circuits.NE: {}},
+	ld.XSDBoolean:                   {circuits.EQ: {}, circuits.NE: {}, circuits.EXISTS: {}},
 	ld.XSDInteger:                   allOperations,
 	ld.XSDNS + "nonNegativeInteger": allOperations,
 	ld.XSDNS + "positiveInteger":    allOperations,
-	ld.XSDString:                    {circuits.EQ: {}, circuits.NE: {}, circuits.IN: {}, circuits.NIN: {}},
+	ld.XSDString:                    {circuits.EQ: {}, circuits.NE: {}, circuits.IN: {}, circuits.NIN: {}, circuits.EXISTS: {}},
 	ld.XSDNS + "dateTime":           allOperations,
-	ld.XSDDouble:                    {circuits.EQ: {}, circuits.NE: {}, circuits.IN: {}, circuits.NIN: {}},
+	ld.XSDDouble:                    {circuits.EQ: {}, circuits.NE: {}, circuits.IN: {}, circuits.NIN: {}, circuits.EXISTS: {}},
 }
 
 // PathToSubjectType path to description of subject type.