v0.1.5

Consensys · Apr 4, 2024 · 4cb40e3 · 4cb40e3
1 parent 359e03d
commit 4cb40e3
Show file tree

Hide file tree

Showing 3 changed files with 27 additions and 3 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
     "name": "souffle.ts",
-    "version": "0.1.4",
+    "version": "0.1.5",
     "description": "Typed bindings and helpers for using the Souffle Datalog Engine",
     "keywords": [],
     "files": [

diff --git a/src/types.ts b/src/types.ts
@@ -67,6 +67,30 @@ export class ADTT extends DatalogType {
     }
 }
 
+/**
+ * Returns true iff t is a primitive types. Primitive types are:
+ *  - number
+ *  - unsigned
+ *  - float
+ *  - symbol
+ *  - alias/sub-types of primitive types
+ */
+export function isPrimitiveType(t: DatalogType): boolean {
+    if (t instanceof PrimitiveT) {
+        return true;
+    }
+
+    if (t instanceof AliasT) {
+        return isPrimitiveType(t.originalT);
+    }
+
+    if (t instanceof SubT) {
+        return isPrimitiveType(t.parentT);
+    }
+
+    return false;
+}
+
 export class TypeEnv {
     private env: Map<string, DatalogType> = new Map();