@polintpro/proposit-core 0.1.5 → 0.1.7

package/dist/lib/schemata/shared.js

@@ -1,4 +1,61 @@
 import Type, {} from "typebox";
+// ---------------------------------------------------------------------------
+// EncodableDate — custom TypeBox type for Date values
+// ---------------------------------------------------------------------------
+export class TDateType extends Type.Base {
+    type = Date;
+    Check(value) {
+        return value instanceof Date;
+    }
+    Errors(value) {
+        if (this.Check(value))
+            return [];
+        return [{ message: "Invalid date", value }];
+    }
+    Convert(value) {
+        if (this.Check(value))
+            return value;
+        if (typeof value === "string" || typeof value === "number") {
+            const date = new Date(value);
+            if (this.Check(date))
+                return date;
+        }
+        throw new Error("Cannot convert value to Date");
+    }
+    Clone() {
+        return new TDateType();
+    }
+}
+export function DateType() {
+    return new TDateType();
+}
+export const EncodableDate = DateType();
+// ---------------------------------------------------------------------------
+// JSON value schemata
+// ---------------------------------------------------------------------------
+export const JsonPrimitiveSchema = Type.Union([
+    Type.String(),
+    Type.Number(),
+    Type.Boolean(),
+    Type.Null(),
+    EncodableDate,
+]);
+export const JsonValueSchema = Type.Cyclic({
+    JsonValueSchema: Type.Union([
+        Type.Record(Type.String(), Type.Ref("JsonValueSchema")),
+        Type.Array(Type.Ref("JsonValueSchema")),
+        Type.String(),
+        Type.Number(),
+        Type.Boolean(),
+        Type.Null(),
+        EncodableDate,
+    ]),
+}, "JsonValueSchema");
+export const JsonObjectSchema = Type.Record(Type.String(), Type.Any());
+export const JsonArraySchema = Type.Array(JsonValueSchema);
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
 export const Nullable = (T, options) => {
     return Type.Union([T, Type.Null()], { ...options, default: null });
 };

package/dist/lib/schemata/shared.js.map

@@ -1 +1 @@
-{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../../src/lib/schemata/shared.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAqC,MAAM,SAAS,CAAA;AAEjE,MAAM,CAAC,MAAM,QAAQ,GAAG,CACpB,CAAI,EACJ,OAAyC,EAC3C,EAAE;IACA,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;AACtE,CAAC,CAAA;AACD,MAAM,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAA,CAAC,sDAAsD"}
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../../src/lib/schemata/shared.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAkD,MAAM,SAAS,CAAA;AAE9E,8EAA8E;AAC9E,sDAAsD;AACtD,8EAA8E;AAC9E,MAAM,OAAO,SAAU,SAAQ,IAAI,CAAC,IAAU;IAC1B,IAAI,GAAG,IAAI,CAAA;IAEX,KAAK,CAAC,KAAc;QAChC,OAAO,KAAK,YAAY,IAAI,CAAA;IAChC,CAAC;IACe,MAAM,CAAC,KAAc;QACjC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,CAAA;QAChC,OAAO,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAA;IAC/C,CAAC;IACe,OAAO,CAAC,KAAc;QAClC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAA;YAC5B,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAA;QACrC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;IACnD,CAAC;IACe,KAAK;QACjB,OAAO,IAAI,SAAS,EAAE,CAAA;IAC1B,CAAC;CACJ;AACD,MAAM,UAAU,QAAQ;IACpB,OAAO,IAAI,SAAS,EAAE,CAAA;AAC1B,CAAC;AACD,MAAM,CAAC,MAAM,aAAa,GAAG,QAAQ,EAAE,CAAA;AAEvC,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1C,IAAI,CAAC,MAAM,EAAE;IACb,IAAI,CAAC,MAAM,EAAE;IACb,IAAI,CAAC,OAAO,EAAE;IACd,IAAI,CAAC,IAAI,EAAE;IACX,aAAa;CAChB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CACtC;IACI,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,EAAE;QACb,IAAI,CAAC,MAAM,EAAE;QACb,IAAI,CAAC,OAAO,EAAE;QACd,IAAI,CAAC,IAAI,EAAE;QACX,aAAa;KAChB,CAAC;CACL,EACD,iBAAiB,CACpB,CAAA;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAA;AAEtE,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAA;AAW1D,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAC9E,MAAM,CAAC,MAAM,QAAQ,GAAG,CACpB,CAAI,EACJ,OAAyC,EAC3C,EAAE;IACA,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;AACtE,CAAC,CAAA;AACD,MAAM,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAA,CAAC,sDAAsD"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@polintpro/proposit-core",
-  "version": "0.1.5",
+  "version": "0.1.7",
   "description": "Core engine for building and manipulating propositional logic arguments.",
   "license": "MIT",
   "keywords": [