justus 0.0.1 → 0.0.5

package/dist/dts-generator.mjs

@@ -0,0 +1,158 @@
+// src/dts-generator.ts
+import ts from "typescript";
+import {
+  AllOfValidator,
+  AnyArrayValidator,
+  AnyNumberValidator,
+  AnyObjectValidator,
+  AnyStringValidator,
+  AnyValidator,
+  ArrayValidator,
+  assertSchema,
+  BooleanValidator,
+  ConstantValidator,
+  DateValidator,
+  getValidator,
+  NumberValidator,
+  ObjectValidator,
+  OneOfValidator,
+  StringValidator,
+  TupleValidator,
+  URLValidator,
+  Validator
+} from "./index.mjs";
+var generators = /* @__PURE__ */ new Map();
+function registerTypeGenerator(validator, generator) {
+  assertSchema(validator.prototype instanceof Validator, "Not a `Validator` class");
+  generators.set(validator, generator);
+}
+function generateTypes(validations) {
+  const validators = /* @__PURE__ */ new Map();
+  const references = /* @__PURE__ */ new Map();
+  Object.entries(validations).forEach(([name, validation]) => {
+    const validator = getValidator(validation);
+    if (!references.has(validator))
+      references.set(validator, name);
+    validators.set(name, validator);
+  });
+  const types = [];
+  for (const [name, validator] of validators.entries()) {
+    const referenceable = new Map(references);
+    if (referenceable.get(validator) === name) {
+      referenceable.delete(validator);
+    }
+    const type = generateTypeNode(validator, referenceable);
+    const modifiers = [ts.factory.createModifier(ts.SyntaxKind.ExportKeyword)];
+    const decl = ts.factory.createTypeAliasDeclaration(void 0, modifiers, name, [], type);
+    types.push(decl);
+  }
+  return ts.createPrinter().printList(ts.ListFormat.SourceFileStatements, ts.factory.createNodeArray(types), ts.createSourceFile("types.d.ts", "", ts.ScriptTarget.Latest));
+}
+function generateTypeNode(validator, references) {
+  const reference = references.get(validator);
+  if (reference)
+    return ts.factory.createTypeReferenceNode(reference);
+  const generator = generators.get(validator.constructor);
+  assertSchema(!!generator, `Type generator for "${validator.constructor.name}" not found`);
+  return generator(validator, references);
+}
+var anyType = ts.factory.createKeywordTypeNode(ts.SyntaxKind.AnyKeyword);
+var anyArrayType = ts.factory.createArrayTypeNode(anyType);
+var booleanType = ts.factory.createKeywordTypeNode(ts.SyntaxKind.BooleanKeyword);
+var numberType = ts.factory.createKeywordTypeNode(ts.SyntaxKind.NumberKeyword);
+var neverType = ts.factory.createKeywordTypeNode(ts.SyntaxKind.NeverKeyword);
+var stringType = ts.factory.createKeywordTypeNode(ts.SyntaxKind.StringKeyword);
+var recordType = ts.factory.createMappedTypeNode(void 0, ts.factory.createTypeParameterDeclaration("key", stringType), void 0, void 0, anyType, void 0);
+var readonlyKeyword = [ts.factory.createModifier(ts.SyntaxKind.ReadonlyKeyword)];
+var optionalKeyword = ts.factory.createToken(ts.SyntaxKind.QuestionToken);
+registerTypeGenerator(AnyValidator, () => anyType);
+registerTypeGenerator(AnyArrayValidator, () => anyArrayType);
+registerTypeGenerator(AnyNumberValidator, () => numberType);
+registerTypeGenerator(AnyObjectValidator, () => recordType);
+registerTypeGenerator(AnyStringValidator, () => stringType);
+registerTypeGenerator(BooleanValidator, () => booleanType);
+registerTypeGenerator(DateValidator, () => ts.factory.createTypeReferenceNode("Date"));
+registerTypeGenerator(URLValidator, () => ts.factory.createTypeReferenceNode("URL"));
+registerTypeGenerator(ArrayValidator, (validator, references) => {
+  const itemType = generateTypeNode(validator.items, references);
+  return ts.factory.createArrayTypeNode(itemType);
+});
+registerTypeGenerator(ConstantValidator, (validator) => {
+  const literal = typeof validator.constant === "number" ? ts.factory.createNumericLiteral(validator.constant) : typeof validator.constant === "string" ? ts.factory.createStringLiteral(validator.constant) : validator.constant === false ? ts.factory.createFalse() : validator.constant === true ? ts.factory.createTrue() : validator.constant === null ? ts.factory.createNull() : void 0;
+  assertSchema(!!literal, `Invalid constant "${validator.constant}"`);
+  return ts.factory.createLiteralTypeNode(literal);
+});
+registerTypeGenerator(NumberValidator, (validator) => {
+  if (!validator.brand)
+    return numberType;
+  const signature = ts.factory.createPropertySignature(void 0, `__brand_${validator.brand}`, void 0, neverType);
+  const literal = ts.factory.createTypeLiteralNode([signature]);
+  return ts.factory.createIntersectionTypeNode([numberType, literal]);
+});
+registerTypeGenerator(StringValidator, (validator) => {
+  if (!validator.brand)
+    return stringType;
+  const signature = ts.factory.createPropertySignature(void 0, `__brand_${validator.brand}`, void 0, neverType);
+  const literal = ts.factory.createTypeLiteralNode([signature]);
+  return ts.factory.createIntersectionTypeNode([stringType, literal]);
+});
+registerTypeGenerator(TupleValidator, (validator, references) => {
+  const members = validator.members;
+  const { count, first, next } = members.reduce(({ count: count2, first: first2, next: next2 }, { single }, i) => {
+    if (!single) {
+      if (i < first2)
+        first2 = i;
+      next2 = i + 1;
+      count2 += 1;
+    }
+    return { count: count2, first: first2, next: next2 };
+  }, { count: 0, first: members.length, next: -1 });
+  if (count < 2) {
+    const types2 = members.map(({ single, validator: validator2 }) => {
+      const memberType = generateTypeNode(validator2, references);
+      if (single)
+        return generateTypeNode(validator2, references);
+      const arrayType = ts.factory.createArrayTypeNode(memberType);
+      return ts.factory.createRestTypeNode(arrayType);
+    });
+    return ts.factory.createTupleTypeNode(types2);
+  }
+  const before = members.slice(0, first).map(({ validator: validator2 }) => generateTypeNode(validator2, references));
+  const types = members.slice(first, next).map(({ validator: validator2 }) => generateTypeNode(validator2, references));
+  const after = members.slice(next).map(({ validator: validator2 }) => generateTypeNode(validator2, references));
+  const union = ts.factory.createUnionTypeNode(types);
+  const array = ts.factory.createArrayTypeNode(union);
+  const rest = ts.factory.createRestTypeNode(array);
+  return ts.factory.createTupleTypeNode([...before, rest, ...after]);
+});
+registerTypeGenerator(AllOfValidator, (validator, references) => {
+  const members = validator.validators.map((validator2) => generateTypeNode(validator2, references));
+  return ts.factory.createIntersectionTypeNode(members);
+});
+registerTypeGenerator(OneOfValidator, (validator, references) => {
+  const members = validator.validators.map((validator2) => generateTypeNode(validator2, references));
+  return ts.factory.createUnionTypeNode(members);
+});
+registerTypeGenerator(ObjectValidator, (validator, references) => {
+  const properties = [];
+  for (const [key, property] of validator.properties.entries()) {
+    const { validator: validator2, readonly, optional } = property || { optional: true };
+    const type = validator2 ? generateTypeNode(validator2, references) : neverType;
+    const signature = ts.factory.createPropertySignature(readonly ? readonlyKeyword : void 0, key, optional ? optionalKeyword : void 0, type);
+    properties.push(signature);
+  }
+  if (validator.additionalProperties) {
+    const extra = ts.factory.createMappedTypeNode(void 0, ts.factory.createTypeParameterDeclaration("key", stringType), void 0, void 0, generateTypeNode(validator.additionalProperties, references), void 0);
+    if (properties.length == 0)
+      return extra;
+    const type = ts.factory.createTypeLiteralNode(properties);
+    return ts.factory.createIntersectionTypeNode([type, extra]);
+  } else {
+    return ts.factory.createTypeLiteralNode(properties);
+  }
+});
+export {
+  generateTypes,
+  registerTypeGenerator
+};
+//# sourceMappingURL=dts-generator.mjs.map

package/dist/dts-generator.mjs.map

@@ -0,0 +1,6 @@
+{
+  "version": 3,
+  "sources": ["../src/dts-generator.ts"],
+  "mappings": ";AAAA;AACA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AA2CA,IAAM,aAAa,oBAAI,IAAkC;AAGlD,+BACH,WACA,WACI;AACN,eAAa,UAAU,qBAAqB,WAAW,yBAAyB;AAChF,aAAW,IAAI,WAAW,SAAS;AACrC;AAGO,uBAAuB,aAAiD;AAK7E,QAAM,aAAa,oBAAI,IAAuB;AAC9C,QAAM,aAAa,oBAAI,IAAuB;AAE9C,SAAO,QAAQ,WAAW,EAAE,QAAQ,CAAC,CAAE,MAAM,gBAAiB;AAC5D,UAAM,YAAY,aAAa,UAAU;AAEzC,QAAI,CAAE,WAAW,IAAI,SAAS;AAAG,iBAAW,IAAI,WAAW,IAAI;AAC/D,eAAW,IAAI,MAAM,SAAS;AAAA,EAChC,CAAC;AAGD,QAAM,QAAmC,CAAC;AAC1C,aAAW,CAAE,MAAM,cAAe,WAAW,QAAQ,GAAG;AAGtD,UAAM,gBAAgB,IAAI,IAAI,UAAU;AACxC,QAAI,cAAc,IAAI,SAAS,MAAM,MAAM;AACzC,oBAAc,OAAO,SAAS;AAAA,IAChC;AAGA,UAAM,OAAO,iBAAiB,WAAW,aAAa;AAGtD,UAAM,YAAY,CAAE,GAAG,QAAQ,eAAe,GAAG,WAAW,aAAa,CAAE;AAC3E,UAAM,OAAO,GAAG,QAAQ,2BAA2B,QAAW,WAAW,MAAM,CAAC,GAAG,IAAI;AACvF,UAAM,KAAK,IAAI;AAAA,EACjB;AAGA,SAAO,GAAG,cAAc,EAAE,UACtB,GAAG,WAAW,sBACd,GAAG,QAAQ,gBAAgB,KAAK,GAChC,GAAG,iBAAiB,cAAc,IAAI,GAAG,aAAa,MAAM,CAAC;AACnE;AAOA,0BACI,WACA,YACW;AACb,QAAM,YAAY,WAAW,IAAI,SAAS;AAC1C,MAAI;AAAW,WAAO,GAAG,QAAQ,wBAAwB,SAAS;AAElE,QAAM,YAAY,WAAW,IAAI,UAAU,WAAW;AACtD,eAAa,CAAC,CAAE,WAAW,uBAAuB,UAAU,YAAY,iBAAiB;AACzF,SAAO,UAAU,WAAW,UAAU;AACxC;AAMA,IAAM,UAAU,GAAG,QAAQ,sBAAsB,GAAG,WAAW,UAAU;AACzE,IAAM,eAAe,GAAG,QAAQ,oBAAoB,OAAO;AAC3D,IAAM,cAAc,GAAG,QAAQ,sBAAsB,GAAG,WAAW,cAAc;AACjF,IAAM,aAAa,GAAG,QAAQ,sBAAsB,GAAG,WAAW,aAAa;AAC/E,IAAM,YAAY,GAAG,QAAQ,sBAAsB,GAAG,WAAW,YAAY;AAC7E,IAAM,aAAa,GAAG,QAAQ,sBAAsB,GAAG,WAAW,aAAa;AAC/E,IAAM,aAAa,GAAG,QAAQ,qBAC1B,QACA,GAAG,QAAQ,+BAA+B,OAAO,UAAU,GAC3D,QACA,QACA,SACA,MAAS;AAIb,IAAM,kBAAkB,CAAE,GAAG,QAAQ,eAAe,GAAG,WAAW,eAAe,CAAE;AACnF,IAAM,kBAAkB,GAAG,QAAQ,YAAY,GAAG,WAAW,aAAa;AAO1E,sBAAsB,cAAc,MAAM,OAAO;AACjD,sBAAsB,mBAAmB,MAAM,YAAY;AAC3D,sBAAsB,oBAAoB,MAAM,UAAU;AAC1D,sBAAsB,oBAAoB,MAAM,UAAU;AAC1D,sBAAsB,oBAAoB,MAAM,UAAU;AAC1D,sBAAsB,kBAAkB,MAAM,WAAW;AACzD,sBAAsB,eAAe,MAAM,GAAG,QAAQ,wBAAwB,MAAM,CAAC;AACrF,sBAAsB,cAAc,MAAM,GAAG,QAAQ,wBAAwB,KAAK,CAAC;AAMnF,sBAAsB,gBAAgB,CAAC,WAAW,eAAe;AAC/D,QAAM,WAAW,iBAAiB,UAAU,OAAO,UAAU;AAC7D,SAAO,GAAG,QAAQ,oBAAoB,QAAQ;AAChD,CAAC;AAED,sBAAsB,mBAAmB,CAAC,cAAc;AACtD,QAAM,UACJ,OAAO,UAAU,aAAa,WAAW,GAAG,QAAQ,qBAAqB,UAAU,QAAQ,IAC3F,OAAO,UAAU,aAAa,WAAW,GAAG,QAAQ,oBAAoB,UAAU,QAAQ,IAC1F,UAAU,aAAa,QAAQ,GAAG,QAAQ,YAAY,IACtD,UAAU,aAAa,OAAO,GAAG,QAAQ,WAAW,IACpD,UAAU,aAAa,OAAO,GAAG,QAAQ,WAAW,IACpD;AAEF,eAAa,CAAC,CAAE,SAAS,qBAAqB,UAAU,WAAW;AACnE,SAAO,GAAG,QAAQ,sBAAsB,OAAO;AACjD,CAAC;AAED,sBAAsB,iBAAiB,CAAC,cAA+B;AACrE,MAAI,CAAE,UAAU;AAAO,WAAO;AAE9B,QAAM,YAAY,GAAG,QAAQ,wBAAwB,QAAW,WAAW,UAAU,SAAS,QAAW,SAAS;AAClH,QAAM,UAAU,GAAG,QAAQ,sBAAsB,CAAE,SAAU,CAAC;AAC9D,SAAO,GAAG,QAAQ,2BAA2B,CAAE,YAAY,OAAQ,CAAC;AACtE,CAAC;AAED,sBAAsB,iBAAiB,CAAC,cAA+B;AACrE,MAAI,CAAE,UAAU;AAAO,WAAO;AAE9B,QAAM,YAAY,GAAG,QAAQ,wBAAwB,QAAW,WAAW,UAAU,SAAS,QAAW,SAAS;AAClH,QAAM,UAAU,GAAG,QAAQ,sBAAsB,CAAE,SAAU,CAAC;AAC9D,SAAO,GAAG,QAAQ,2BAA2B,CAAE,YAAY,OAAQ,CAAC;AACtE,CAAC;AAED,sBAAsB,gBAAgB,CAAC,WAAgC,eAAe;AACpF,QAAM,UAAU,UAAU;AAG1B,QAAM,EAAE,OAAO,OAAO,SAClB,QAAQ,OAAO,CAAC,EAAE,eAAO,eAAO,eAAQ,EAAE,UAAU,MAAM;AACxD,QAAI,CAAE,QAAQ;AACZ,UAAI,IAAI;AAAO,iBAAQ;AACvB,cAAO,IAAI;AACX,gBAAS;AAAA,IACX;AACA,WAAO,EAAE,eAAO,eAAO,YAAK;AAAA,EAC9B,GAAG,EAAE,OAAO,GAAG,OAAO,QAAQ,QAAQ,MAAM,GAAG,CAAC;AAGpD,MAAI,QAAQ,GAAG;AACb,UAAM,SAAQ,QAAQ,IAAI,CAAC,EAAE,QAAQ,4BAAgB;AACnD,YAAM,aAAa,iBAAiB,YAAW,UAAU;AAEzD,UAAI;AAAQ,eAAO,iBAAiB,YAAW,UAAU;AAEzD,YAAM,YAAY,GAAG,QAAQ,oBAAoB,UAAU;AAC3D,aAAO,GAAG,QAAQ,mBAAmB,SAAS;AAAA,IAChD,CAAC;AAED,WAAO,GAAG,QAAQ,oBAAoB,MAAK;AAAA,EAC7C;AAIA,QAAM,SAAS,QAAQ,MAAM,GAAG,KAAK,EAChC,IAAI,CAAC,EAAE,4BAAgB,iBAAiB,YAAW,UAAU,CAAC;AACnE,QAAM,QAAQ,QAAQ,MAAM,OAAO,IAAI,EAClC,IAAI,CAAC,EAAE,4BAAgB,iBAAiB,YAAW,UAAU,CAAC;AACnE,QAAM,QAAQ,QAAQ,MAAM,IAAI,EAC3B,IAAI,CAAC,EAAE,4BAAgB,iBAAiB,YAAW,UAAU,CAAC;AAEnE,QAAM,QAAQ,GAAG,QAAQ,oBAAoB,KAAK;AAClD,QAAM,QAAQ,GAAG,QAAQ,oBAAoB,KAAK;AAClD,QAAM,OAAO,GAAG,QAAQ,mBAAmB,KAAK;AAEhD,SAAO,GAAG,QAAQ,oBAAoB,CAAE,GAAG,QAAQ,MAAM,GAAG,KAAM,CAAC;AACrE,CAAC;AAED,sBAAsB,gBAAgB,CAAC,WAAW,eAAe;AAC/D,QAAM,UAAU,UAAU,WAAW,IAAI,CAAC,eAAc,iBAAiB,YAAW,UAAU,CAAC;AAC/F,SAAO,GAAG,QAAQ,2BAA2B,OAAO;AACtD,CAAC;AAED,sBAAsB,gBAAgB,CAAC,WAAW,eAAe;AAC/D,QAAM,UAAU,UAAU,WAAW,IAAI,CAAC,eAAc,iBAAiB,YAAW,UAAU,CAAC;AAC/F,SAAO,GAAG,QAAQ,oBAAoB,OAAO;AAC/C,CAAC;AAED,sBAAsB,iBAAiB,CAAC,WAAW,eAAe;AAChE,QAAM,aAAqC,CAAC;AAE5C,aAAW,CAAE,KAAK,aAAc,UAAU,WAAW,QAAQ,GAAG;AAC9D,UAAM,EAAE,uBAAW,UAAU,aAAa,YAAY,EAAE,UAAU,KAAK;AACvE,UAAM,OAAO,aAAY,iBAAiB,YAAW,UAAU,IAAI;AAEnE,UAAM,YAAY,GAAG,QAAQ,wBACvB,WAAW,kBAAkB,QAC7B,KACA,WAAW,kBAAkB,QAC7B,IAAI;AAEV,eAAW,KAAK,SAAS;AAAA,EAC3B;AAEA,MAAI,UAAU,sBAAsB;AAClC,UAAM,QAAQ,GAAG,QAAQ,qBACrB,QACA,GAAG,QAAQ,+BAA+B,OAAO,UAAU,GAC3D,QACA,QACA,iBAAiB,UAAU,sBAAsB,UAAU,GAC3D,MAAS;AAEb,QAAI,WAAW,UAAU;AAAG,aAAO;AAEnC,UAAM,OAAO,GAAG,QAAQ,sBAAsB,UAAU;AACxD,WAAO,GAAG,QAAQ,2BAA2B,CAAE,MAAM,KAAM,CAAC;AAAA,EAC9D,OAAO;AACL,WAAO,GAAG,QAAQ,sBAAsB,UAAU;AAAA,EACpD;AACF,CAAC;",
+  "names": []
+}