osury 1.0.1 → 1.2.0

package/src/IRGen.res.mjs

@@ -1,367 +0,0 @@
-// 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";
-import * as CodegenTransforms from "./CodegenTransforms.res.mjs";
-
-function convertType(schema) {
-  if (typeof schema !== "object") {
-    switch (schema) {
-      case "String" :
-        return {
-          TAG: "Primitive",
-          _0: "PString"
-        };
-      case "Number" :
-        return {
-          TAG: "Primitive",
-          _0: "PFloat"
-        };
-      case "Integer" :
-        return {
-          TAG: "Primitive",
-          _0: "PInt"
-        };
-      case "Boolean" :
-        return {
-          TAG: "Primitive",
-          _0: "PBool"
-        };
-      case "Null" :
-        return {
-          TAG: "Primitive",
-          _0: "PUnit"
-        };
-      case "Unknown" :
-        return "JSON";
-    }
-  } else {
-    switch (schema._tag) {
-      case "Optional" :
-        return {
-          TAG: "Option",
-          _0: convertType(schema._0)
-        };
-      case "Nullable" :
-        return {
-          TAG: "Nullable",
-          _0: convertType(schema._0)
-        };
-      case "Object" :
-        let fields = schema._0;
-        if (fields.length === 0) {
-          return "JSON";
-        } else {
-          return {
-            TAG: "InlineRecord",
-            _0: fields.map(convertField)
-          };
-        }
-      case "Array" :
-        return {
-          TAG: "Array",
-          _0: convertType(schema._0)
-        };
-      case "Ref" :
-        return {
-          TAG: "Named",
-          _0: CodegenHelpers.lcFirst(schema._0)
-        };
-      case "Enum" :
-        return {
-          TAG: "Enum",
-          _0: schema._0
-        };
-      case "PolyVariant" :
-        return {
-          TAG: "InlineVariant",
-          _0: schema._0.map(c => {
-            let payload = convertType(c.payload);
-            return {
-              tag: c._tag,
-              payload: payload
-            };
-          })
-        };
-      case "Dict" :
-        return {
-          TAG: "Dict",
-          _0: convertType(schema._0)
-        };
-      case "Union" :
-        return {
-          TAG: "InlineVariant",
-          _0: schema._0.map(t => {
-            let tag = CodegenHelpers.getTagForType(t);
-            let payload = convertType(t);
-            return {
-              tag: tag,
-              payload: payload
-            };
-          })
-        };
-    }
-  }
-}
-
-function convertField(field) {
-  let baseType = convertType(field.type);
-  let wrappedType = field.required || CodegenHelpers.isOptionalType(field.type) ? baseType : ({
-      TAG: "Option",
-      _0: baseType
-    });
-  let annotations = [];
-  if (CodegenHelpers.isNullableType(field.type)) {
-    annotations.push("SNull");
-  }
-  if (CodegenHelpers.isReservedKeyword(field.name)) {
-    annotations.push({
-      TAG: "As",
-      _0: field.name
-    });
-  }
-  let fieldName = CodegenHelpers.isReservedKeyword(field.name) ? field.name + "_" : field.name;
-  return {
-    name: fieldName,
-    annotations: annotations,
-    type_: wrappedType
-  };
-}
-
-function convertToIrTypeDef(namedSchema, schemasDict, tagsDict, skipSchemaSet) {
-  let typeName = CodegenHelpers.lcFirst(namedSchema.name);
-  let tagName = Core__Option.getOr(namedSchema.discriminatorPropertyName, "_tag");
-  let shouldSkipSchema = Core__Option.isSome(skipSchemaSet[namedSchema.name]);
-  let cases = namedSchema.schema;
-  if (typeof cases === "object") {
-    switch (cases._tag) {
-      case "PolyVariant" :
-        let irCases = cases._0.map(c => {
-          let refName = c.payload;
-          let payload;
-          if (typeof refName !== "object" || refName._tag !== "Ref") {
-            payload = convertType(refName);
-          } else {
-            let refName$1 = refName._0;
-            let other = schemasDict[refName$1];
-            if (other !== undefined) {
-              if (typeof other !== "object" || other._tag !== "Object") {
-                payload = convertType(other);
-              } else {
-                let filtered = other._0.filter(f => f.name !== tagName);
-                payload = {
-                  TAG: "InlineRecord",
-                  _0: filtered.map(convertField)
-                };
-              }
-            } else {
-              payload = {
-                TAG: "Named",
-                _0: CodegenHelpers.lcFirst(refName$1)
-              };
-            }
-          }
-          return {
-            tag: CodegenHelpers.ucFirst(c._tag),
-            payload: payload
-          };
-        });
-        let baseAnnotations = [
-          "GenType",
-          {
-            TAG: "Tag",
-            _0: tagName
-          }
-        ];
-        let annotations = shouldSkipSchema ? baseAnnotations : baseAnnotations.concat(["Schema"]);
-        return {
-          name: typeName,
-          annotations: annotations,
-          kind: {
-            TAG: "VariantDef",
-            _0: irCases
-          }
-        };
-      case "Union" :
-        let types = cases._0;
-        if (CodegenHelpers.isPrimitiveOnlyUnion(types)) {
-          let irCases$1 = types.map(t => {
-            let tag = CodegenHelpers.getTagForType(t);
-            let payload = convertType(t);
-            return {
-              tag: tag,
-              payload: payload
-            };
-          });
-          let baseAnnotations$1 = [
-            "GenType",
-            {
-              TAG: "Tag",
-              _0: tagName
-            },
-            "Unboxed"
-          ];
-          let annotations$1 = shouldSkipSchema ? baseAnnotations$1 : baseAnnotations$1.concat(["Schema"]);
-          return {
-            name: typeName,
-            annotations: annotations$1,
-            kind: {
-              TAG: "VariantDef",
-              _0: irCases$1
-            }
-          };
-        }
-        let irCases$2 = types.map(t => {
-          if (typeof t === "object" && t._tag === "Ref") {
-            let name = t._0;
-            let tagValue = tagsDict[name];
-            let tag = tagValue !== undefined ? CodegenHelpers.ucFirst(tagValue) : CodegenHelpers.ucFirst(name);
-            let other = schemasDict[name];
-            let payload;
-            if (other !== undefined) {
-              if (typeof other !== "object" || other._tag !== "Object") {
-                payload = convertType(other);
-              } else {
-                let filtered = other._0.filter(f => f.name !== tagName);
-                payload = {
-                  TAG: "InlineRecord",
-                  _0: filtered.map(convertField)
-                };
-              }
-            } else {
-              payload = {
-                TAG: "Named",
-                _0: CodegenHelpers.lcFirst(name)
-              };
-            }
-            return {
-              tag: tag,
-              payload: payload
-            };
-          }
-          let tag$1 = CodegenHelpers.getTagForType(t);
-          let payload$1 = convertType(t);
-          return {
-            tag: tag$1,
-            payload: payload$1
-          };
-        });
-        let baseAnnotations$2 = [
-          "GenType",
-          {
-            TAG: "Tag",
-            _0: tagName
-          }
-        ];
-        let annotations$2 = shouldSkipSchema ? baseAnnotations$2 : baseAnnotations$2.concat(["Schema"]);
-        return {
-          name: typeName,
-          annotations: annotations$2,
-          kind: {
-            TAG: "VariantDef",
-            _0: irCases$2
-          }
-        };
-    }
-  }
-  let fields = namedSchema.schema;
-  let kind;
-  if (typeof fields !== "object" || fields._tag !== "Object") {
-    kind = {
-      TAG: "AliasDef",
-      _0: convertType(namedSchema.schema)
-    };
-  } else {
-    let fields$1 = fields._0;
-    kind = fields$1.length > 0 ? ({
-        TAG: "RecordDef",
-        _0: fields$1.map(convertField)
-      }) : ({
-        TAG: "AliasDef",
-        _0: convertType(namedSchema.schema)
-      });
-  }
-  let annotations$3 = shouldSkipSchema ? ["GenType"] : [
-      "GenType",
-      "Schema"
-    ];
-  return {
-    name: typeName,
-    annotations: annotations$3,
-    kind: kind
-  };
-}
-
-function generate(schemas) {
-  let validationErrors = CodegenTransforms.validateUnionDiscriminators(schemas);
-  if (validationErrors.length > 0) {
-    return {
-      TAG: "Error",
-      _0: validationErrors
-    };
-  }
-  let warnings = CodegenTransforms.collectUnionWarnings(schemas);
-  let enumOccurrences = CodegenTransforms.collectInlineEnums(schemas);
-  let topLevelNames = schemas.map(s => s.name);
-  let enumNames = CodegenTransforms.resolveEnumNames(enumOccurrences, topLevelNames);
-  let enumSchemas = CodegenTransforms.buildExtractedEnumSchemas(enumOccurrences, enumNames);
-  let schemasAfterEnumPromotion = CodegenTransforms.replaceInlineEnums(schemas, enumNames);
-  let schemas$1 = enumSchemas.concat(schemasAfterEnumPromotion);
-  let extractedUnions = schemas$1.flatMap(s => CodegenTransforms.extractUnions(s.name, s.schema).map(extracted => {
-    let dict = s.fieldDiscriminators;
-    let discriminatorPropertyName = dict !== undefined ? dict[extracted.name] : undefined;
-    return {
-      name: extracted.name,
-      schema: extracted.schema,
-      discriminatorTag: undefined,
-      discriminatorPropertyName: discriminatorPropertyName,
-      fieldDiscriminators: undefined
-    };
-  }));
-  let seen = {};
-  let uniqueUnions = extractedUnions.filter(u => {
-    if (Core__Option.isSome(seen[u.name])) {
-      return false;
-    } else {
-      seen[u.name] = true;
-      return true;
-    }
-  });
-  let modifiedSchemas = schemas$1.map(s => ({
-    name: s.name,
-    schema: CodegenTransforms.replaceUnions(s.name, s.schema),
-    discriminatorTag: s.discriminatorTag,
-    discriminatorPropertyName: s.discriminatorPropertyName,
-    fieldDiscriminators: s.fieldDiscriminators
-  }));
-  let allSchemas = uniqueUnions.concat(modifiedSchemas);
-  let schemasDict = {};
-  let tagsDict = {};
-  allSchemas.forEach(s => {
-    schemasDict[s.name] = s.schema;
-    let tag = s.discriminatorTag;
-    if (tag !== undefined) {
-      tagsDict[s.name] = tag;
-      return;
-    }
-  });
-  let skipSchemaSet = CodegenTransforms.buildSkipSchemaSet(allSchemas);
-  let sorted = CodegenTransforms.topologicalSort(allSchemas);
-  let irTypes = sorted.map(s => convertToIrTypeDef(s, schemasDict, tagsDict, skipSchemaSet));
-  return {
-    TAG: "Ok",
-    _0: {
-      preamble: "module S = Sury",
-      types: irTypes,
-      warnings: warnings
-    }
-  };
-}
-
-export {
-  convertType,
-  convertField,
-  convertToIrTypeDef,
-  generate,
-}
-/* No side effect */