@magnusopera/fscript 0.75.0

package/README.md

@@ -0,0 +1,5 @@
+# @magnusopera/fscript
+
+Embeddable FScript language engine: parser, type inference, and evaluator.
+
+This package exposes parser, inference, evaluation, exported-function invocation, REPL-like sessions, virtual imports, and JS-provided externs for Node and browser-compatible ESM hosts.

package/dist/FScript.Language/Ast.js

@@ -0,0 +1,234 @@
+
+import { Union, Record } from "../fable_modules/fable-library-js.5.2.0/Types.js";
+import { float64_type, int64_type, union_type, record_type, option_type, list_type, tuple_type, bool_type, string_type } from "../fable_modules/fable-library-js.5.2.0/Reflection.js";
+import { Span_$reflection } from "./Span.js";
+
+export class TypeDef extends Record {
+    constructor(Name, IsRecursive, Fields, Cases, Span) {
+        super();
+        this.Name = Name;
+        this.IsRecursive = IsRecursive;
+        this.Fields = Fields;
+        this.Cases = Cases;
+        this.Span = Span;
+    }
+}
+
+export function TypeDef_$reflection() {
+    return record_type("FScript.Language.TypeDef", [], TypeDef, () => [["Name", string_type], ["IsRecursive", bool_type], ["Fields", list_type(tuple_type(string_type, TypeRef_$reflection()))], ["Cases", list_type(tuple_type(string_type, option_type(TypeRef_$reflection())))], ["Span", Span_$reflection()]]);
+}
+
+export class TypeRef extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["TRName", "TRTuple", "TRFun", "TRPostfix", "TRRecord", "TRStructuralRecord"];
+    }
+}
+
+export function TypeRef_$reflection() {
+    return union_type("FScript.Language.TypeRef", [], TypeRef, () => [[["Item", string_type]], [["Item", list_type(TypeRef_$reflection())]], [["Item1", TypeRef_$reflection()], ["Item2", TypeRef_$reflection()]], [["Item1", TypeRef_$reflection()], ["Item2", string_type]], [["Item", list_type(tuple_type(string_type, TypeRef_$reflection()))]], [["Item", list_type(tuple_type(string_type, TypeRef_$reflection()))]]]);
+}
+
+export class Param extends Record {
+    constructor(Name, Annotation, Span) {
+        super();
+        this.Name = Name;
+        this.Annotation = Annotation;
+        this.Span = Span;
+    }
+}
+
+export function Param_$reflection() {
+    return record_type("FScript.Language.Param", [], Param, () => [["Name", string_type], ["Annotation", option_type(TypeRef_$reflection())], ["Span", Span_$reflection()]]);
+}
+
+export class Literal extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["LInt", "LFloat", "LBool", "LString"];
+    }
+}
+
+export function Literal_$reflection() {
+    return union_type("FScript.Language.Literal", [], Literal, () => [[["Item", int64_type]], [["Item", float64_type]], [["Item", bool_type]], [["Item", string_type]]]);
+}
+
+export class Pattern extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["PWildcard", "PVar", "PLiteral", "PNil", "PCons", "PTuple", "PRecord", "PMap", "PSome", "PNone", "PUnionCase", "PTypeRef"];
+    }
+}
+
+export function Pattern_$reflection() {
+    return union_type("FScript.Language.Pattern", [], Pattern, () => [[["Item", Span_$reflection()]], [["Item1", string_type], ["Item2", Span_$reflection()]], [["Item1", Literal_$reflection()], ["Item2", Span_$reflection()]], [["Item", Span_$reflection()]], [["Item1", Pattern_$reflection()], ["Item2", Pattern_$reflection()], ["Item3", Span_$reflection()]], [["Item1", list_type(Pattern_$reflection())], ["Item2", Span_$reflection()]], [["Item1", list_type(tuple_type(string_type, Pattern_$reflection()))], ["Item2", Span_$reflection()]], [["Item1", list_type(tuple_type(Pattern_$reflection(), Pattern_$reflection()))], ["Item2", option_type(Pattern_$reflection())], ["Item3", Span_$reflection()]], [["Item1", Pattern_$reflection()], ["Item2", Span_$reflection()]], [["Item", Span_$reflection()]], [["Item1", option_type(string_type)], ["Item2", string_type], ["Item3", option_type(Pattern_$reflection())], ["Item4", Span_$reflection()]], [["Item1", TypeRef_$reflection()], ["Item2", Span_$reflection()]]]);
+}
+
+export class Expr extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["EUnit", "ELiteral", "EVar", "EParen", "ELambda", "EApply", "EIf", "ERaise", "EFor", "EMatch", "ELet", "ELetPattern", "ELetRecGroup", "EList", "ERange", "ETuple", "ERecord", "EStructuralRecord", "EMap", "ERecordUpdate", "EStructuralRecordUpdate", "EFieldGet", "EIndexGet", "ECons", "EAppend", "EBinOp", "ESome", "ENone", "ETypeOf", "ENameOf", "EInterpolatedString"];
+    }
+}
+
+export function Expr_$reflection() {
+    return union_type("FScript.Language.Expr", [], Expr, () => [[["Item", Span_$reflection()]], [["Item1", Literal_$reflection()], ["Item2", Span_$reflection()]], [["Item1", string_type], ["Item2", Span_$reflection()]], [["Item1", Expr_$reflection()], ["Item2", Span_$reflection()]], [["Item1", Param_$reflection()], ["Item2", Expr_$reflection()], ["Item3", Span_$reflection()]], [["Item1", Expr_$reflection()], ["Item2", Expr_$reflection()], ["Item3", Span_$reflection()]], [["Item1", Expr_$reflection()], ["Item2", Expr_$reflection()], ["Item3", Expr_$reflection()], ["Item4", Span_$reflection()]], [["Item1", Expr_$reflection()], ["Item2", Span_$reflection()]], [["Item1", string_type], ["Item2", Expr_$reflection()], ["Item3", Expr_$reflection()], ["Item4", Span_$reflection()]], [["Item1", Expr_$reflection()], ["Item2", list_type(tuple_type(Pattern_$reflection(), option_type(Expr_$reflection()), Expr_$reflection(), Span_$reflection()))], ["Item3", Span_$reflection()]], [["Item1", string_type], ["Item2", Expr_$reflection()], ["Item3", Expr_$reflection()], ["Item4", bool_type], ["Item5", option_type(TypeRef_$reflection())], ["Item6", Span_$reflection()]], [["Item1", Pattern_$reflection()], ["Item2", Expr_$reflection()], ["Item3", Expr_$reflection()], ["Item4", Span_$reflection()]], [["Item1", list_type(tuple_type(string_type, list_type(Param_$reflection()), option_type(TypeRef_$reflection()), Expr_$reflection(), Span_$reflection()))], ["Item2", Expr_$reflection()], ["Item3", Span_$reflection()]], [["Item1", list_type(Expr_$reflection())], ["Item2", Span_$reflection()]], [["Item1", Expr_$reflection()], ["Item2", Expr_$reflection()], ["Item3", Span_$reflection()]], [["Item1", list_type(Expr_$reflection())], ["Item2", Span_$reflection()]], [["Item1", list_type(tuple_type(string_type, Expr_$reflection()))], ["Item2", Span_$reflection()]], [["Item1", list_type(tuple_type(string_type, Expr_$reflection()))], ["Item2", Span_$reflection()]], [["Item1", list_type(MapEntry_$reflection())], ["Item2", Span_$reflection()]], [["Item1", Expr_$reflection()], ["Item2", list_type(tuple_type(string_type, Expr_$reflection()))], ["Item3", Span_$reflection()]], [["Item1", Expr_$reflection()], ["Item2", list_type(tuple_type(string_type, Expr_$reflection()))], ["Item3", Span_$reflection()]], [["Item1", Expr_$reflection()], ["Item2", string_type], ["Item3", Span_$reflection()]], [["Item1", Expr_$reflection()], ["Item2", Expr_$reflection()], ["Item3", Span_$reflection()]], [["Item1", Expr_$reflection()], ["Item2", Expr_$reflection()], ["Item3", Span_$reflection()]], [["Item1", Expr_$reflection()], ["Item2", Expr_$reflection()], ["Item3", Span_$reflection()]], [["Item1", string_type], ["Item2", Expr_$reflection()], ["Item3", Expr_$reflection()], ["Item4", Span_$reflection()]], [["Item1", Expr_$reflection()], ["Item2", Span_$reflection()]], [["Item", Span_$reflection()]], [["Item1", string_type], ["Item2", Span_$reflection()]], [["Item1", string_type], ["Item2", Span_$reflection()]], [["Item1", list_type(InterpolatedPart_$reflection())], ["Item2", Span_$reflection()]]]);
+}
+
+export class InterpolatedPart extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["IPText", "IPExpr"];
+    }
+}
+
+export function InterpolatedPart_$reflection() {
+    return union_type("FScript.Language.InterpolatedPart", [], InterpolatedPart, () => [[["Item", string_type]], [["Item", Expr_$reflection()]]]);
+}
+
+export class MapEntry extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["MEKeyValue", "MESpread"];
+    }
+}
+
+export function MapEntry_$reflection() {
+    return union_type("FScript.Language.MapEntry", [], MapEntry, () => [[["Item1", Expr_$reflection()], ["Item2", Expr_$reflection()]], [["Item", Expr_$reflection()]]]);
+}
+
+export class Stmt extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["SType", "SImport", "SLet", "SLetPattern", "SLetRecGroup", "SExpr"];
+    }
+}
+
+export function Stmt_$reflection() {
+    return union_type("FScript.Language.Stmt", [], Stmt, () => [[["Item", TypeDef_$reflection()]], [["Item1", string_type], ["Item2", string_type], ["Item3", Span_$reflection()]], [["Item1", string_type], ["Item2", list_type(Param_$reflection())], ["Item3", option_type(TypeRef_$reflection())], ["Item4", Expr_$reflection()], ["Item5", bool_type], ["Item6", bool_type], ["Item7", Span_$reflection()]], [["Item1", Pattern_$reflection()], ["Item2", Expr_$reflection()], ["Item3", bool_type], ["Item4", Span_$reflection()]], [["Item1", list_type(tuple_type(string_type, list_type(Param_$reflection()), option_type(TypeRef_$reflection()), Expr_$reflection(), Span_$reflection()))], ["Item2", bool_type], ["Item3", Span_$reflection()]], [["Item", Expr_$reflection()]]]);
+}
+
+export function Ast_spanOfPattern(pat) {
+    switch (pat.tag) {
+        case 1:
+            return pat.fields[1];
+        case 2:
+            return pat.fields[1];
+        case 3:
+            return pat.fields[0];
+        case 4:
+            return pat.fields[2];
+        case 5:
+            return pat.fields[1];
+        case 6:
+            return pat.fields[1];
+        case 7:
+            return pat.fields[2];
+        case 8:
+            return pat.fields[1];
+        case 9:
+            return pat.fields[0];
+        case 10:
+            return pat.fields[3];
+        case 11:
+            return pat.fields[1];
+        default:
+            return pat.fields[0];
+    }
+}
+
+export function Ast_spanOfExpr(expr) {
+    switch (expr.tag) {
+        case 1:
+            return expr.fields[1];
+        case 2:
+            return expr.fields[1];
+        case 3:
+            return expr.fields[1];
+        case 4:
+            return expr.fields[2];
+        case 5:
+            return expr.fields[2];
+        case 6:
+            return expr.fields[3];
+        case 7:
+            return expr.fields[1];
+        case 8:
+            return expr.fields[3];
+        case 9:
+            return expr.fields[2];
+        case 10:
+            return expr.fields[5];
+        case 11:
+            return expr.fields[3];
+        case 12:
+            return expr.fields[2];
+        case 13:
+            return expr.fields[1];
+        case 14:
+            return expr.fields[2];
+        case 15:
+            return expr.fields[1];
+        case 16:
+            return expr.fields[1];
+        case 17:
+            return expr.fields[1];
+        case 18:
+            return expr.fields[1];
+        case 19:
+            return expr.fields[2];
+        case 20:
+            return expr.fields[2];
+        case 21:
+            return expr.fields[2];
+        case 22:
+            return expr.fields[2];
+        case 23:
+            return expr.fields[2];
+        case 24:
+            return expr.fields[2];
+        case 25:
+            return expr.fields[3];
+        case 26:
+            return expr.fields[1];
+        case 27:
+            return expr.fields[0];
+        case 28:
+            return expr.fields[1];
+        case 29:
+            return expr.fields[1];
+        case 30:
+            return expr.fields[1];
+        default:
+            return expr.fields[0];
+    }
+}
+