aboutsummaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/chips.css2
-rw-r--r--lib/types.js90
2 files changed, 86 insertions, 6 deletions
diff --git a/lib/chips.css b/lib/chips.css
index 00d4d3b..7202438 100644
--- a/lib/chips.css
+++ b/lib/chips.css
@@ -19,7 +19,7 @@ A finished chip should look something like this:
</div>
<div class="output">
<div class="exec">Then</div>
- <div class="Exec">Else</div>
+ <div class="exec">Else</div>
</div>
</div>
diff --git a/lib/types.js b/lib/types.js
index 3e37424..0253780 100644
--- a/lib/types.js
+++ b/lib/types.js
@@ -4,6 +4,15 @@
function Type(TypeName,Params=[]) {
this.typename = "";
this.mode = "";
+
+ if (TypeName instanceof Type) {
+ const t = TypeName.copy();
+ for (const k in t) {
+ this[k] = t[k];
+ }
+ return;
+ }
+
//Union/Tuple
if (/^\(.+\)$/.test(TypeName)) {
const types = [];
@@ -39,7 +48,7 @@ function Type(TypeName,Params=[]) {
workspace += c;
}
if (workspace) types.push(workspace);
- this.template = types.map(t => t.trim()).map(t => ["any", ...Params].includes(t) ? t : new Type(t, Params));
+ this.template = types.map(t => t.trim()).map(t => Params.includes(t) ? Type.any : new Type(t, Params));
}
//Template
@@ -70,13 +79,84 @@ function Type(TypeName,Params=[]) {
workspace += c;
}
if (workspace) types.push(workspace);
- this.template = types.map(t => t.trim()).map(t => ["any", ...Params].includes(t) ? t : new Type(t, Params));
+ this.template = types.map(t => t.trim()).map(t => Params.includes(t) ? t : new Type(t, Params));
}
//Standard Type
else if (/^[^()|<>,]+$/.test(TypeName)) {
this.typename = TypeName;
- this.mode = "standard"
+ this.mode = (TypeName == 'any') ? "any" : "standard"
+ }
+}
+
+Type.prototype.toString = function() {
+ switch (this.mode) {
+ case "tuple":
+ return `(${this.template.join(',')})`;
+ case "union":
+ return `(${this.template.join('|')})`;
+ case "templated":
+ return `${this.typename}<${this.template.join(',')}>`;
+ case "any":
+ case "standard":
+ return this.typename;
+ }
+}
+
+Type.prototype._resolve = function(idx, val) {
+ if (val === undefined && this.template.length === 1) {
+ val = idx;
+ idx = 0;
}
+ if (0 <= idx && this.template.length > idx) {
+ this.template = this.template?.map(t => (t === name) ? val.copy() : ((typeof t == 'string') ? t : t.resolve(name, val)))
+ }
+}
+
+Type.prototype.resolve = function(idx, val) {
+ const t = this.copy();
+ t._resolve(idx, val);
+ return t;
+}
+
+Type.prototype.copy = function() {
+ const t = new Type(this.toString(), this.template?.filter(t => typeof t == 'string'));
+ return t;
+}
+
+Type.prototype.intersect = function(ot, params=[]) {
+ if (!ot instanceof Type) ot = new Type(ot, params)
+ if (this.mode == 'any') return ot.copy();
+ if (ot.mode == 'any') return this.copy();
+ if (ot.mode != this.mode) return undefined;
- this.params = Object.fromEntries(Params.map(p => [p, 'any']));
-} \ No newline at end of file
+ switch (ot.mode) {
+ case 'templated':
+ case 'union':
+ case 'tuple':
+ if (this.template.length != ot.template.length) return undefined;
+ case 'standard':
+ if (ot.typename == this.typename)
+ return this.copy();
+ else return undefined;
+
+ }
+}
+
+Type.typeDef = (function(typename, name, params=[]) {
+ Object.defineProperty(this, typename, {
+ get: () => new Type(name, params)
+ })
+}).bind(Type)
+Type.QuickTD = (function(name, params=[]) {
+ Object.defineProperty(this, (new Type(name, params)).typename, {
+ get: () => new Type(name, params)
+ })
+}).bind(Type)
+
+Type.QuickTD("any");
+Type.QuickTD("int");
+Type.QuickTD("float");
+Type.QuickTD("string");
+Type.QuickTD("bool");
+Type.QuickTD("Vector3");
+Type.QuickTD("List<T>", ["T"]); \ No newline at end of file