add the set type

biscuit-auth · Jan 8, 2021 · f5169d2 · f5169d2
1 parent 0954e32
commit f5169d2
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 0 deletions.
diff --git a/DESIGN.md b/DESIGN.md
@@ -132,6 +132,9 @@ before, after.
 
 A *boolean* is `true` or `false`.
 
+A *set* is a deduplicated list of terms of the same type. It cannot contain
+variables or other sets.
+
 ### Usage
 
 A biscuit token defines some scopes for facts and rules. The *authority* scope is defined in the first

diff --git a/SPECIFICATIONS.md b/SPECIFICATIONS.md
@@ -123,6 +123,9 @@ following constraints: before, after.
 
 A *boolean* is `true` or `false`.
 
+A *set* is a deduplicated list of terms of the same type. It cannot contain
+variables or other sets.
+
 ### Authority and ambient facts
 
 Facts in Biscuit's language have some specific context.

diff --git a/schema.proto b/schema.proto
@@ -199,9 +199,14 @@ message IDV1 {
     uint64 date = 5;
     bytes bytes = 6;
     bool bool = 7;
+    IDSet set = 8;
   }
 }
 
+message IDSet {
+  repeated IDV1 set = 1;
+}
+
 message ConstraintV1 {
   required uint32 id = 1;