osury 0.17.3 → 0.19.0

package/src/CodegenTypes.res.mjs

@@ -1,5 +1,6 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
+import * as Core__Option from "@rescript/core/src/Core__Option.res.mjs";
 import * as CodegenHelpers from "./CodegenHelpers.res.mjs";
 
 function generateType(schema) {
@@ -15,6 +16,8 @@ function generateType(schema) {
         return "bool";
       case "Null" :
         return "unit";
+      case "Unknown" :
+        return "JSON.t";
     }
   } else {
     switch (schema._tag) {
@@ -111,22 +114,40 @@ function generateVariantBody(types) {
 
 function generateTypeDefWithSkipSet(namedSchema, _skipSet, schemasDict, tagsDict) {
   let typeName = CodegenHelpers.lcFirst(namedSchema.name);
-  let types = namedSchema.schema;
-  if (typeof types === "object" && types._tag === "Union") {
-    let types$1 = types._0;
-    if (CodegenHelpers.isPrimitiveOnlyUnion(types$1)) {
-      let variantBody = generateVariantBody(types$1);
-      return `@genType
-@tag("_tag")
-@unboxed
+  let tagName = Core__Option.getOr(namedSchema.discriminatorPropertyName, "_tag");
+  let cases = namedSchema.schema;
+  if (typeof cases === "object") {
+    switch (cases._tag) {
+      case "PolyVariant" :
+        let variantBody = cases._0.map(c => {
+          let refName = c.payload;
+          if (typeof refName === "object" && refName._tag === "Ref") {
+            let inlineRecord = generateInlineRecord(refName._0, schemasDict);
+            return CodegenHelpers.ucFirst(c._tag) + `(` + inlineRecord + `)`;
+          }
+          let payloadStr = generateType(c.payload);
+          return CodegenHelpers.ucFirst(c._tag) + `(` + payloadStr + `)`;
+        }).join(" | ");
+        return `@genType
+@tag("` + tagName + `")
 @schema
 type ` + typeName + ` = ` + variantBody;
-    }
-    let variantBody$1 = generateInlineVariantBody(types$1, schemasDict, tagsDict);
-    return `@genType
-@tag("_tag")
+      case "Union" :
+        let types = cases._0;
+        if (CodegenHelpers.isPrimitiveOnlyUnion(types)) {
+          let variantBody$1 = generateVariantBody(types);
+          return `@genType
+@tag("` + tagName + `")
+@unboxed
 @schema
 type ` + typeName + ` = ` + variantBody$1;
+        }
+        let variantBody$2 = generateInlineVariantBody(types, schemasDict, tagsDict);
+        return `@genType
+@tag("` + tagName + `")
+@schema
+type ` + typeName + ` = ` + variantBody$2;
+    }
   }
   let typeBody = generateType(namedSchema.schema);
   return `@genType
@@ -136,16 +157,17 @@ type ` + typeName + ` = ` + typeBody;
 
 function generateTypeDef(namedSchema) {
   let typeName = CodegenHelpers.lcFirst(namedSchema.name);
+  let tagName = Core__Option.getOr(namedSchema.discriminatorPropertyName, "_tag");
   let types = namedSchema.schema;
   if (typeof types === "object" && types._tag === "Union") {
     let variantBody = generateVariantBody(types._0);
     return `@genType
-@tag("_tag")
+@tag("` + tagName + `")
 @unboxed
 @schema
 type ` + typeName + ` = ` + variantBody;
   }
-  let annotations = CodegenHelpers.hasUnion(namedSchema.schema) ? "@genType" : "@genType\n@schema";
+  let annotations = CodegenHelpers.hasUnion(namedSchema.schema) || CodegenHelpers.hasUnknown(namedSchema.schema) ? "@genType" : "@genType\n@schema";
   let typeBody = generateType(namedSchema.schema);
   return annotations + `
 type ` + typeName + ` = ` + typeBody;

package/src/DomainBackend.res.mjs

@@ -0,0 +1,41 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+
+function printField(field) {
+  return `  ` + field.name + `: ` + field.typeAnnotation + `,`;
+}
+
+function printType(module_) {
+  let fields = module_.fields.map(printField).join("\n");
+  return `type t = {\n` + fields + `\n}`;
+}
+
+function printMakeField(field) {
+  let fn = field.mapping;
+  if (fn.TAG === "Mapper") {
+    return `  ` + field.name + `: ` + fn._0 + `(raw),`;
+  } else {
+    return `  ` + field.name + `: raw.` + fn._0 + `,`;
+  }
+}
+
+function printMake(module_) {
+  let fields = module_.fields.map(printMakeField).join("\n");
+  return `let make = (raw: ` + module_.sourceType + `): t => {\n` + fields + `\n}`;
+}
+
+function printModule(module_) {
+  let header = `// ` + module_.output + ` (generated by osury — do not edit)`;
+  let typeBlock = printType(module_);
+  let makeBlock = printMake(module_);
+  return header + "\n\n" + typeBlock + "\n\n" + makeBlock + "\n";
+}
+
+export {
+  printField,
+  printType,
+  printMakeField,
+  printMake,
+  printModule,
+}
+/* No side effect */

package/src/DomainConfig.res.mjs

@@ -0,0 +1,206 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Errors from "./Errors.res.mjs";
+import * as Core__Array from "@rescript/core/src/Core__Array.res.mjs";
+import * as Primitive_option from "@rescript/runtime/lib/es6/Primitive_option.js";
+
+function parseFieldConfig(name, json) {
+  if (typeof json === "object" && json !== null && !Array.isArray(json)) {
+    let match = json["type"];
+    let exit = 0;
+    if (match !== undefined) {
+      if (typeof match === "string") {
+        let match$1 = json["mapper"];
+        let mapper = typeof match$1 === "string" ? match$1 : undefined;
+        let match$2 = json["source"];
+        let source = typeof match$2 === "string" ? match$2 : undefined;
+        return {
+          TAG: "Ok",
+          _0: [
+            name,
+            {
+              type_: match,
+              mapper: mapper,
+              source: source
+            }
+          ]
+        };
+      }
+      exit = 2;
+    } else {
+      exit = 2;
+    }
+    if (exit === 2) {
+      return {
+        TAG: "Error",
+        _0: [Errors.makeError({
+            TAG: "MissingRequiredField",
+            _0: "type"
+          }, [
+            "fields",
+            name
+          ], Primitive_option.some(`Field "` + name + `" must have a "type" property`), undefined)]
+      };
+    }
+  }
+  return {
+    TAG: "Error",
+    _0: [Errors.makeError({
+        TAG: "InvalidJson",
+        _0: `field "` + name + `" must be an object`
+      }, [
+        "fields",
+        name
+      ], undefined, undefined)]
+  };
+}
+
+function parseModuleConfig(name, json) {
+  if (typeof json === "object" && json !== null && !Array.isArray(json)) {
+    let match = json["source"];
+    let exit = 0;
+    if (typeof match === "string") {
+      let match$1 = json["output"];
+      let output = typeof match$1 === "string" ? match$1 : undefined;
+      let match$2 = json["fields"];
+      let exit$1 = 0;
+      if (match$2 !== undefined) {
+        if (typeof match$2 === "object" && match$2 !== null && !Array.isArray(match$2)) {
+          let entries = Object.entries(match$2);
+          let results = entries.map(param => parseFieldConfig(param[0], param[1]));
+          let errors = Core__Array.filterMap(results, r => {
+            if (r.TAG === "Ok") {
+              return;
+            } else {
+              return r._0;
+            }
+          }).flat();
+          if (errors.length > 0) {
+            return {
+              TAG: "Error",
+              _0: errors
+            };
+          }
+          let fields = Core__Array.filterMap(results, r => {
+            if (r.TAG === "Ok") {
+              return r._0;
+            }
+          });
+          return {
+            TAG: "Ok",
+            _0: [
+              name,
+              {
+                source: match,
+                output: output,
+                fields: fields
+              }
+            ]
+          };
+        }
+        exit$1 = 3;
+      } else {
+        exit$1 = 3;
+      }
+      if (exit$1 === 3) {
+        return {
+          TAG: "Error",
+          _0: [Errors.makeError({
+              TAG: "MissingRequiredField",
+              _0: "fields"
+            }, [
+              "modules",
+              name
+            ], Primitive_option.some(`Module "` + name + `" must have a "fields" object`), undefined)]
+        };
+      }
+    } else {
+      exit = 2;
+    }
+    if (exit === 2) {
+      return {
+        TAG: "Error",
+        _0: [Errors.makeError({
+            TAG: "MissingRequiredField",
+            _0: "source"
+          }, [
+            "modules",
+            name
+          ], Primitive_option.some(`Module "` + name + `" must have a "source" property referencing the API type`), undefined)]
+      };
+    }
+  }
+  return {
+    TAG: "Error",
+    _0: [Errors.makeError({
+        TAG: "InvalidJson",
+        _0: `module "` + name + `" must be an object`
+      }, [
+        "modules",
+        name
+      ], undefined, undefined)]
+  };
+}
+
+function parse(json) {
+  if (typeof json === "object" && json !== null && !Array.isArray(json)) {
+    let match = json["modules"];
+    let exit = 0;
+    if (match !== undefined) {
+      if (typeof match === "object" && match !== null && !Array.isArray(match)) {
+        let entries = Object.entries(match);
+        let results = entries.map(param => parseModuleConfig(param[0], param[1]));
+        let errors = Core__Array.filterMap(results, r => {
+          if (r.TAG === "Ok") {
+            return;
+          } else {
+            return r._0;
+          }
+        }).flat();
+        if (errors.length > 0) {
+          return {
+            TAG: "Error",
+            _0: errors
+          };
+        }
+        let modules = Core__Array.filterMap(results, r => {
+          if (r.TAG === "Ok") {
+            return r._0;
+          }
+        });
+        return {
+          TAG: "Ok",
+          _0: {
+            modules: modules
+          }
+        };
+      }
+      exit = 2;
+    } else {
+      exit = 2;
+    }
+    if (exit === 2) {
+      return {
+        TAG: "Error",
+        _0: [Errors.makeError({
+            TAG: "MissingRequiredField",
+            _0: "modules"
+          }, [], `Config must have a "modules" object`, undefined)]
+      };
+    }
+  }
+  return {
+    TAG: "Error",
+    _0: [Errors.makeError({
+        TAG: "InvalidJson",
+        _0: "config must be an object"
+      }, undefined, undefined, undefined)]
+  };
+}
+
+export {
+  parseFieldConfig,
+  parseModuleConfig,
+  parse,
+}
+/* No side effect */

package/src/DomainGen.res.mjs

@@ -0,0 +1,53 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+
+function generateField(param) {
+  let fieldConfig = param[1];
+  let name = param[0];
+  let mapper = fieldConfig.mapper;
+  let mapping;
+  if (mapper !== undefined) {
+    mapping = {
+      TAG: "Mapper",
+      _0: mapper
+    };
+  } else {
+    let s = fieldConfig.source;
+    let sourceName = s !== undefined ? s : name;
+    mapping = {
+      TAG: "Passthrough",
+      _0: sourceName
+    };
+  }
+  return {
+    name: name,
+    typeAnnotation: fieldConfig.type_,
+    mapping: mapping
+  };
+}
+
+function generateModule(param, apiModule) {
+  let moduleConfig = param[1];
+  let name = param[0];
+  let o = moduleConfig.output;
+  let output = o !== undefined ? o : name + ".gen.res";
+  let sourceType = apiModule + "." + moduleConfig.source;
+  let fields = moduleConfig.fields.map(generateField);
+  return {
+    name: name,
+    sourceType: sourceType,
+    output: output,
+    fields: fields
+  };
+}
+
+function generate(config, apiModule) {
+  return config.modules.map(entry => generateModule(entry, apiModule));
+}
+
+export {
+  generateField,
+  generateModule,
+  generate,
+}
+/* No side effect */

package/src/DomainIR.res.mjs

@@ -0,0 +1,2 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+/* This output is empty. Its source's type definitions, externals and/or unused code got optimized away. */

package/src/Errors.res.mjs

@@ -77,6 +77,9 @@ function formatError(error) {
       case "CircularReference" :
         kindStr = `Circular reference detected: "` + value._0 + `"`;
         break;
+      case "MissingDiscriminator" :
+        kindStr = `Missing discriminator for union "` + value._0 + `"`;
+        break;
       case "InvalidJson" :
         kindStr = `Invalid JSON: ` + value._0;
         break;

package/src/IR.res.mjs

@@ -0,0 +1,2 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+/* This output is empty. Its source's type definitions, externals and/or unused code got optimized away. */