@typespec/tspd 0.75.0-dev.0 → 0.75.0-dev.6

package/dist/src/gen-extern-signatures/components/function-signature-type.js

@@ -0,0 +1,372 @@
+import { memo as _$memo, createComponent as _$createComponent } from "@alloy-js/core/jsx-runtime";
+import { For, join, List, refkey } from "@alloy-js/core";
+import * as ts from "@alloy-js/typescript";
+import { getSourceLocation, isArrayModelType } from "@typespec/compiler";
+import { SyntaxKind } from "@typespec/compiler/ast";
+import { typespecCompiler } from "../external-packages/compiler.js";
+import { useTspd } from "./tspd-context.js";
+/** Render the type of function implementation  */
+export function FunctionSignatureType(props) {
+  const {
+    program
+  } = useTspd();
+  const func = props.signature.tspFunction;
+  const parameters = [{
+    name: "context",
+    type: typespecCompiler.FunctionContext
+  }, ...func.parameters.map(param => ({
+    // https://github.com/alloy-framework/alloy/issues/144
+    name: param.rest ? `...${param.name}` : param.name,
+    type: param.rest ? ["(", _$memo(() => _$memo(() => !!param.type)() ? _$createComponent(ParameterTsType, {
+      get constraint() {
+        return extractRestParamConstraint(program, param.type);
+      }
+    }) : undefined), ")[]"] : _$createComponent(ParameterTsType, {
+      get constraint() {
+        return param.type;
+      }
+    }),
+    optional: param.optional
+  }))];
+  const returnType = _$createComponent(ParameterTsType, {
+    get constraint() {
+      return func.returnType;
+    }
+  });
+  return _$createComponent(ts.TypeDeclaration, {
+    "export": true,
+    get name() {
+      return props.signature.typeName;
+    },
+    get doc() {
+      return getDocComment(func);
+    },
+    get children() {
+      return _$createComponent(ts.FunctionType, {
+        parameters: parameters,
+        returnType: returnType
+      });
+    }
+  });
+}
+
+/** For a rest param of constraint T[] or valueof T[] return the T or valueof T */
+function extractRestParamConstraint(program, constraint) {
+  let valueType;
+  let type;
+  if (constraint.valueType) {
+    if (constraint.valueType.kind === "Model" && isArrayModelType(constraint.valueType)) {
+      valueType = constraint.valueType.indexer.value;
+    } else {
+      return undefined;
+    }
+  }
+  if (constraint.type) {
+    if (constraint.type.kind === "Model" && isArrayModelType(constraint.type)) {
+      type = constraint.type.indexer.value;
+    } else {
+      return undefined;
+    }
+  }
+  return {
+    entityKind: "MixedParameterConstraint",
+    type,
+    valueType
+  };
+}
+export function ParameterTsType({
+  constraint
+}) {
+  if (constraint.type && constraint.valueType) {
+    return [_$createComponent(TypeConstraintTSType, {
+      get type() {
+        return constraint.type;
+      }
+    }), " | ", _$createComponent(ValueTsType, {
+      get type() {
+        return constraint.valueType;
+      }
+    })];
+  }
+  if (constraint.valueType) {
+    return _$createComponent(ValueTsType, {
+      get type() {
+        return constraint.valueType;
+      }
+    });
+  } else if (constraint.type) {
+    return _$createComponent(TypeConstraintTSType, {
+      get type() {
+        return constraint.type;
+      }
+    });
+  }
+  return typespecCompiler.Type;
+}
+function TypeConstraintTSType({
+  type
+}) {
+  if (type.kind === "Model" && isReflectionType(type)) {
+    return typespecCompiler[type.name];
+  } else if (type.kind === "Union") {
+    const variants = [...type.variants.values()].map(x => x.type);
+    if (variants.every(x => isReflectionType(x))) {
+      return join([...new Set(variants)].map(x => getCompilerType(x.name)), {
+        joiner: " | "
+      });
+    } else {
+      return typespecCompiler.Type;
+    }
+  }
+  return typespecCompiler.Type;
+}
+function getCompilerType(name) {
+  return typespecCompiler[name];
+}
+function ValueTsType({
+  type
+}) {
+  switch (type.kind) {
+    case "Boolean":
+      return `${type.value}`;
+    case "String":
+      return `"${type.value}"`;
+    case "Number":
+      return `${type.value}`;
+    case "Scalar":
+      return _$createComponent(ScalarTsType, {
+        scalar: type
+      });
+    case "Union":
+      return join([...type.variants.values()].map(x => _$createComponent(ValueTsType, {
+        get type() {
+          return x.type;
+        }
+      })), {
+        joiner: " | "
+      });
+    case "Model":
+      if (isArrayModelType(type)) {
+        return ["readonly (", _$createComponent(ValueTsType, {
+          get type() {
+            return type.indexer.value;
+          }
+        }), ")[]"];
+      } else if (isReflectionType(type)) {
+        return getValueOfReflectionType(type);
+      } else {
+        // If its exactly the record type use Record<string, T> instead of the model name.
+        if (type.indexer && type.name === "Record" && type.namespace?.name === "TypeSpec") {
+          return ["Record", "<string, ", _$createComponent(ValueTsType, {
+            get type() {
+              return type.indexer.value;
+            }
+          }), ">"];
+        }
+        if (type.name) {
+          return _$createComponent(LocalTypeReference, {
+            type: type
+          });
+        } else {
+          return _$createComponent(ValueOfModelTsType, {
+            model: type
+          });
+        }
+      }
+  }
+  return "unknown";
+}
+function LocalTypeReference({
+  type
+}) {
+  const {
+    addLocalType
+  } = useTspd();
+  addLocalType(type);
+  return _$createComponent(ts.Reference, {
+    get refkey() {
+      return refkey(type);
+    }
+  });
+}
+function ValueOfModelTsType({
+  model
+}) {
+  return _$createComponent(ts.InterfaceExpression, {
+    get children() {
+      return _$createComponent(ValueOfModelTsInterfaceBody, {
+        model: model
+      });
+    }
+  });
+}
+export function ValueOfModelTsInterfaceBody({
+  model
+}) {
+  return _$createComponent(List, {
+    joiner: ";",
+    enderPunctuation: true,
+    get children() {
+      return [_$memo(() => _$memo(() => !!model.indexer?.value)() && _$createComponent(ts.InterfaceMember, {
+        readonly: true,
+        indexer: "key: string",
+        get type() {
+          return _$createComponent(ValueTsType, {
+            get type() {
+              return model.indexer.value;
+            }
+          });
+        }
+      })), _$createComponent(For, {
+        get each() {
+          return model.properties.values();
+        },
+        children: x => _$createComponent(ts.InterfaceMember, {
+          readonly: true,
+          get name() {
+            return x.name;
+          },
+          get optional() {
+            return x.optional;
+          },
+          get type() {
+            return _$createComponent(ValueTsType, {
+              get type() {
+                return x.type;
+              }
+            });
+          }
+        })
+      })];
+    }
+  });
+}
+function ScalarTsType({
+  scalar
+}) {
+  const {
+    program
+  } = useTspd();
+  const isStd = program.checker.isStdType(scalar);
+  if (isStd) {
+    return getStdScalarTSType(scalar);
+  } else if (scalar.baseScalar) {
+    return _$createComponent(ScalarTsType, {
+      get scalar() {
+        return scalar.baseScalar;
+      }
+    });
+  } else {
+    return "unknown";
+  }
+}
+function getStdScalarTSType(scalar) {
+  switch (scalar.name) {
+    case "numeric":
+    case "decimal":
+    case "decimal128":
+    case "float":
+    case "integer":
+    case "int64":
+    case "uint64":
+      return typespecCompiler.Numeric;
+    case "int8":
+    case "int16":
+    case "int32":
+    case "safeint":
+    case "uint8":
+    case "uint16":
+    case "uint32":
+    case "float64":
+    case "float32":
+      return "number";
+    case "string":
+    case "url":
+      return "string";
+    case "boolean":
+      return "boolean";
+    case "plainDate":
+    case "utcDateTime":
+    case "offsetDateTime":
+    case "plainTime":
+    case "duration":
+    case "bytes":
+      return "unknown";
+    default:
+      const _assertNever = scalar.name;
+      return "unknown";
+  }
+}
+function isReflectionType(type) {
+  return type.kind === "Model" && type.namespace?.name === "Reflection" && type.namespace?.namespace?.name === "TypeSpec";
+}
+function getValueOfReflectionType(type) {
+  switch (type.name) {
+    case "EnumMember":
+    case "Enum":
+      return typespecCompiler.EnumValue;
+    case "Model":
+      return "Record<string, unknown>";
+    default:
+      return "unknown";
+  }
+}
+function getDocComment(entity) {
+  const docs = entity.node?.docs;
+  if (docs === undefined || docs.length === 0) {
+    return "";
+  }
+  const mainContentLines = [];
+  const tagLines = [];
+  for (const doc of docs) {
+    for (const content of doc.content) {
+      for (const line of content.text.split("\n")) {
+        mainContentLines.push(line);
+      }
+    }
+    for (const tag of doc.tags) {
+      let first = true;
+      const hasContentFirstLine = checkIfTagHasDocOnSameLine(tag);
+      const tagStart = tag.kind === SyntaxKind.DocParamTag || tag.kind === SyntaxKind.DocTemplateTag ? `@${tag.tagName.sv} ${tag.paramName.sv}` : `@${tag.tagName.sv}`;
+      for (const content of tag.content) {
+        for (const line of content.text.split("\n")) {
+          const cleaned = sanitizeDocComment(line);
+          if (first) {
+            if (hasContentFirstLine) {
+              tagLines.push(`${tagStart} ${cleaned}`);
+            } else {
+              tagLines.push(tagStart, cleaned);
+            }
+            first = false;
+          } else {
+            tagLines.push(cleaned);
+          }
+        }
+      }
+    }
+  }
+  const docLines = [...mainContentLines, ...(tagLines.length > 0 ? [""] : []), ...tagLines];
+  return docLines.join("\n");
+}
+function sanitizeDocComment(doc) {
+  // Issue to escape @internal and other tsdoc tags https://github.com/microsoft/TypeScript/issues/47679
+  return doc.replaceAll("@internal", `@_internal`);
+}
+function checkIfTagHasDocOnSameLine(tag) {
+  const start = tag.content[0]?.pos;
+  const end = tag.content[0]?.end;
+  const file = getSourceLocation(tag.content[0]).file;
+  let hasFirstLine = false;
+  for (let i = start; i < end; i++) {
+    const ch = file.text[i];
+    if (ch === "\n") {
+      break;
+    }
+    // Todo reuse compiler whitespace logic or have a way to get this info from the parser.
+    if (ch !== " ") {
+      hasFirstLine = true;
+    }
+  }
+  return hasFirstLine;
+}
+//# sourceMappingURL=function-signature-type.js.map

package/dist/src/gen-extern-signatures/components/function-signature-type.js.map

@@ -0,0 +1 @@
+{"version":3,"names":["For","join","List","refkey","ts","getSourceLocation","isArrayModelType","SyntaxKind","typespecCompiler","useTspd","FunctionSignatureType","props","program","func","signature","tspFunction","parameters","name","type","FunctionContext","map","param","rest","_$memo","_$createComponent","ParameterTsType","constraint","extractRestParamConstraint","undefined","optional","returnType","TypeDeclaration","typeName","doc","getDocComment","children","FunctionType","valueType","kind","indexer","value","entityKind","TypeConstraintTSType","ValueTsType","Type","isReflectionType","variants","values","x","every","Set","getCompilerType","joiner","ScalarTsType","scalar","getValueOfReflectionType","namespace","LocalTypeReference","ValueOfModelTsType","model","addLocalType","Reference","InterfaceExpression","ValueOfModelTsInterfaceBody","enderPunctuation","InterfaceMember","readonly","each","properties","isStd","checker","isStdType","getStdScalarTSType","baseScalar","Numeric","_assertNever","EnumValue","entity","docs","node","length","mainContentLines","tagLines","content","line","text","split","push","tag","tags","first","hasContentFirstLine","checkIfTagHasDocOnSameLine","tagStart","DocParamTag","DocTemplateTag","tagName","sv","paramName","cleaned","sanitizeDocComment","docLines","replaceAll","start","pos","end","file","hasFirstLine","i","ch"],"sources":["../../../../src/gen-extern-signatures/components/function-signature-type.tsx"],"sourcesContent":[null],"mappings":";AAAA,SAASA,GAAG,EAAEC,IAAI,EAAEC,IAAI,EAAEC,MAAM,QAAQ,gBAAgB;AACxD,OAAO,KAAKC,EAAE,MAAM,sBAAsB;AAC1C,SAEEC,iBAAiB,EAEjBC,gBAAgB,QAMX,oBAAoB;AAC3B,SAA0BC,UAAU,QAAQ,wBAAwB;AACpE,SAASC,gBAAgB,QAAQ,kCAAkC;AAEnE,SAASC,OAAO,QAAQ,mBAAmB;AAM3C;AACA,OAAO,SAASC,qBAAqBA,CAACC,KAAuC,EAAE;EAC7E,MAAM;IAAEC;EAAQ,CAAC,GAAGH,OAAO,CAAC,CAAC;EAC7B,MAAMI,IAAI,GAAGF,KAAK,CAACG,SAAS,CAACC,WAAW;EACxC,MAAMC,UAAoC,GAAG,CAC3C;IACEC,IAAI,EAAE,SAAS;IACfC,IAAI,EAAEV,gBAAgB,CAACW;EACzB,CAAC,EACD,GAAGN,IAAI,CAACG,UAAU,CAACI,GAAG,CACnBC,KAAK,KAA8B;IAClC;IACAJ,IAAI,EAAEI,KAAK,CAACC,IAAI,GAAG,MAAMD,KAAK,CAACJ,IAAI,EAAE,GAAGI,KAAK,CAACJ,IAAI;IAClDC,IAAI,EAAEG,KAAK,CAACC,IAAI,SAAAC,MAAA,OAGXA,MAAA,SAAAF,KAAK,CAACH,IAAI,MAAAM,iBAAA,CACRC,eAAe;MAAA,IAACC,UAAUA,CAAA;QAAA,OAAEC,0BAA0B,CAACf,OAAO,EAAES,KAAK,CAACH,IAAI,CAAC;MAAA;IAAA,KAC1EU,SAAS,YAAAJ,iBAAA,CAIdC,eAAe;MAAA,IAACC,UAAUA,CAAA;QAAA,OAAEL,KAAK,CAACH,IAAI;MAAA;IAAA,EACxC;IACDW,QAAQ,EAAER,KAAK,CAACQ;EAClB,CAAC,CACH,CAAC,CACF;EAED,MAAMC,UAAU,GAAAN,iBAAA,CAAIC,eAAe;IAAA,IAACC,UAAUA,CAAA;MAAA,OAAEb,IAAI,CAACiB,UAAU;IAAA;EAAA,EAAI;EAEnE,OAAAN,iBAAA,CACGpB,EAAE,CAAC2B,eAAe;IAAA;IAAA,IAAQd,IAAIA,CAAA;MAAA,OAAEN,KAAK,CAACG,SAAS,CAACkB,QAAQ;IAAA;IAAA,IAAEC,GAAGA,CAAA;MAAA,OAAEC,aAAa,CAACrB,IAAI,CAAC;IAAA;IAAA,IAAAsB,SAAA;MAAA,OAAAX,iBAAA,CAChFpB,EAAE,CAACgC,YAAY;QAACpB,UAAU,EAAEA,UAAU;QAAEc,UAAU,EAAEA;MAAU;IAAA;EAAA;AAGrE;;AAEA;AACA,SAASH,0BAA0BA,CACjCf,OAAgB,EAChBc,UAAoC,EACE;EACtC,IAAIW,SAA2B;EAC/B,IAAInB,IAAsB;EAC1B,IAAIQ,UAAU,CAACW,SAAS,EAAE;IACxB,IAAIX,UAAU,CAACW,SAAS,CAACC,IAAI,KAAK,OAAO,IAAIhC,gBAAgB,CAACoB,UAAU,CAACW,SAAS,CAAC,EAAE;MACnFA,SAAS,GAAGX,UAAU,CAACW,SAAS,CAACE,OAAO,CAACC,KAAK;IAChD,CAAC,MAAM;MACL,OAAOZ,SAAS;IAClB;EACF;EACA,IAAIF,UAAU,CAACR,IAAI,EAAE;IACnB,IAAIQ,UAAU,CAACR,IAAI,CAACoB,IAAI,KAAK,OAAO,IAAIhC,gBAAgB,CAACoB,UAAU,CAACR,IAAI,CAAC,EAAE;MACzEA,IAAI,GAAGQ,UAAU,CAACR,IAAI,CAACqB,OAAO,CAACC,KAAK;IACtC,CAAC,MAAM;MACL,OAAOZ,SAAS;IAClB;EACF;EAEA,OAAO;IACLa,UAAU,EAAE,0BAA0B;IACtCvB,IAAI;IACJmB;EACF,CAAC;AACH;AAKA,OAAO,SAASZ,eAAeA,CAAC;EAAEC;AAAiC,CAAC,EAAE;EACpE,IAAIA,UAAU,CAACR,IAAI,IAAIQ,UAAU,CAACW,SAAS,EAAE;IAC3C,QAAAb,iBAAA,CAEKkB,oBAAoB;MAAA,IAACxB,IAAIA,CAAA;QAAA,OAAEQ,UAAU,CAACR,IAAI;MAAA;IAAA,IAC1C,KAAK,EAAAM,iBAAA,CACLmB,WAAW;MAAA,IAACzB,IAAIA,CAAA;QAAA,OAAEQ,UAAU,CAACW,SAAS;MAAA;IAAA;EAG7C;EACA,IAAIX,UAAU,CAACW,SAAS,EAAE;IACxB,OAAAb,iBAAA,CAAQmB,WAAW;MAAA,IAACzB,IAAIA,CAAA;QAAA,OAAEQ,UAAU,CAACW,SAAS;MAAA;IAAA;EAChD,CAAC,MAAM,IAAIX,UAAU,CAACR,IAAI,EAAE;IAC1B,OAAAM,iBAAA,CAAQkB,oBAAoB;MAAA,IAACxB,IAAIA,CAAA;QAAA,OAAEQ,UAAU,CAACR,IAAI;MAAA;IAAA;EACpD;EAEA,OAAOV,gBAAgB,CAACoC,IAAI;AAC9B;AAEA,SAASF,oBAAoBA,CAAC;EAAExB;AAAqB,CAAC,EAAE;EACtD,IAAIA,IAAI,CAACoB,IAAI,KAAK,OAAO,IAAIO,gBAAgB,CAAC3B,IAAI,CAAC,EAAE;IACnD,OAAQV,gBAAgB,CAASU,IAAI,CAACD,IAAI,CAAC;EAC7C,CAAC,MAAM,IAAIC,IAAI,CAACoB,IAAI,KAAK,OAAO,EAAE;IAChC,MAAMQ,QAAQ,GAAG,CAAC,GAAG5B,IAAI,CAAC4B,QAAQ,CAACC,MAAM,CAAC,CAAC,CAAC,CAAC3B,GAAG,CAAE4B,CAAC,IAAKA,CAAC,CAAC9B,IAAI,CAAC;IAE/D,IAAI4B,QAAQ,CAACG,KAAK,CAAED,CAAC,IAAKH,gBAAgB,CAACG,CAAC,CAAC,CAAC,EAAE;MAC9C,OAAO/C,IAAI,CACT,CAAC,GAAG,IAAIiD,GAAG,CAACJ,QAAQ,CAAC,CAAC,CAAC1B,GAAG,CAAE4B,CAAC,IAAKG,eAAe,CAAEH,CAAC,CAAW/B,IAAI,CAAC,CAAC,EACrE;QACEmC,MAAM,EAAE;MACV,CACF,CAAC;IACH,CAAC,MAAM;MACL,OAAO5C,gBAAgB,CAACoC,IAAI;IAC9B;EACF;EACA,OAAOpC,gBAAgB,CAACoC,IAAI;AAC9B;AAEA,SAASO,eAAeA,CAAClC,IAAY,EAAE;EACrC,OAAQT,gBAAgB,CAASS,IAAI,CAAC;AACxC;AAEA,SAAS0B,WAAWA,CAAC;EAAEzB;AAAqB,CAAC,EAAE;EAC7C,QAAQA,IAAI,CAACoB,IAAI;IACf,KAAK,SAAS;MACZ,OAAO,GAAGpB,IAAI,CAACsB,KAAK,EAAE;IACxB,KAAK,QAAQ;MACX,OAAO,IAAItB,IAAI,CAACsB,KAAK,GAAG;IAC1B,KAAK,QAAQ;MACX,OAAO,GAAGtB,IAAI,CAACsB,KAAK,EAAE;IACxB,KAAK,QAAQ;MACX,OAAAhB,iBAAA,CAAQ6B,YAAY;QAACC,MAAM,EAAEpC;MAAI;IACnC,KAAK,OAAO;MACV,OAAOjB,IAAI,CACT,CAAC,GAAGiB,IAAI,CAAC4B,QAAQ,CAACC,MAAM,CAAC,CAAC,CAAC,CAAC3B,GAAG,CAAE4B,CAAC,IAAAxB,iBAAA,CAAMmB,WAAW;QAAA,IAACzB,IAAIA,CAAA;UAAA,OAAE8B,CAAC,CAAC9B,IAAI;QAAA;MAAA,EAAI,CAAC,EACrE;QAAEkC,MAAM,EAAE;MAAM,CAClB,CAAC;IACH,KAAK,OAAO;MACV,IAAI9C,gBAAgB,CAACY,IAAI,CAAC,EAAE;QAC1B,sBAAAM,iBAAA,CAEemB,WAAW;UAAA,IAACzB,IAAIA,CAAA;YAAA,OAAEA,IAAI,CAACqB,OAAO,CAACC,KAAK;UAAA;QAAA;MAIrD,CAAC,MAAM,IAAIK,gBAAgB,CAAC3B,IAAI,CAAC,EAAE;QACjC,OAAOqC,wBAAwB,CAACrC,IAAI,CAAC;MACvC,CAAC,MAAM;QACL;QACA,IAAIA,IAAI,CAACqB,OAAO,IAAIrB,IAAI,CAACD,IAAI,KAAK,QAAQ,IAAIC,IAAI,CAACsC,SAAS,EAAEvC,IAAI,KAAK,UAAU,EAAE;UACjF,kBAEW,WAAW,EAAAO,iBAAA,CACjBmB,WAAW;YAAA,IAACzB,IAAIA,CAAA;cAAA,OAAEA,IAAI,CAACqB,OAAO,CAACC,KAAK;YAAA;UAAA,IACpC,GAAG;QAGV;QACA,IAAItB,IAAI,CAACD,IAAI,EAAE;UACb,OAAAO,iBAAA,CAAQiC,kBAAkB;YAACvC,IAAI,EAAEA;UAAI;QACvC,CAAC,MAAM;UACL,OAAAM,iBAAA,CAAQkC,kBAAkB;YAACC,KAAK,EAAEzC;UAAI;QACxC;MACF;EACJ;EACA,OAAO,SAAS;AAClB;AAEA,SAASuC,kBAAkBA,CAAC;EAAEvC;AAAsB,CAAC,EAAE;EACrD,MAAM;IAAE0C;EAAa,CAAC,GAAGnD,OAAO,CAAC,CAAC;EAClCmD,YAAY,CAAC1C,IAAI,CAAC;EAClB,OAAAM,iBAAA,CAAQpB,EAAE,CAACyD,SAAS;IAAA,IAAC1D,MAAMA,CAAA;MAAA,OAAEA,MAAM,CAACe,IAAI,CAAC;IAAA;EAAA;AAC3C;AACA,SAASwC,kBAAkBA,CAAC;EAAEC;AAAwB,CAAC,EAAE;EACvD,OAAAnC,iBAAA,CACGpB,EAAE,CAAC0D,mBAAmB;IAAA,IAAA3B,SAAA;MAAA,OAAAX,iBAAA,CACpBuC,2BAA2B;QAACJ,KAAK,EAAEA;MAAK;IAAA;EAAA;AAG/C;AAEA,OAAO,SAASI,2BAA2BA,CAAC;EAAEJ;AAAwB,CAAC,EAAE;EACvE,OAAAnC,iBAAA,CACGtB,IAAI;IAACkD,MAAM;IAAKY,gBAAgB;IAAA,IAAA7B,SAAA;MAAA,QAAAZ,MAAA,OAC9BA,MAAA,SAAAoC,KAAK,CAACpB,OAAO,EAAEC,KAAK,OAAAhB,iBAAA,CAClBpB,EAAE,CAAC6D,eAAe;QACjBC,QAAQ;QACR3B,OAAO;QAAA,IACPrB,IAAIA,CAAA;UAAA,OAAAM,iBAAA,CAAGmB,WAAW;YAAA,IAACzB,IAAIA,CAAA;cAAA,OAAEyC,KAAK,CAACpB,OAAO,CAACC,KAAK;YAAA;UAAA;QAAA;MAAA,EAE/C,GAAAhB,iBAAA,CACAxB,GAAG;QAAA,IAACmE,IAAIA,CAAA;UAAA,OAAER,KAAK,CAACS,UAAU,CAACrB,MAAM,CAAC,CAAC;QAAA;QAAAZ,QAAA,EAChCa,CAAC,IAAAxB,iBAAA,CACApB,EAAE,CAAC6D,eAAe;UACjBC,QAAQ;UAAA,IACRjD,IAAIA,CAAA;YAAA,OAAE+B,CAAC,CAAC/B,IAAI;UAAA;UAAA,IACZY,QAAQA,CAAA;YAAA,OAAEmB,CAAC,CAACnB,QAAQ;UAAA;UAAA,IACpBX,IAAIA,CAAA;YAAA,OAAAM,iBAAA,CAAGmB,WAAW;cAAA,IAACzB,IAAIA,CAAA;gBAAA,OAAE8B,CAAC,CAAC9B,IAAI;cAAA;YAAA;UAAA;QAAA;MAElC;IAAA;EAAA;AAIT;AAEA,SAASmC,YAAYA,CAAC;EAAEC;AAA2B,CAAC,EAAE;EACpD,MAAM;IAAE1C;EAAQ,CAAC,GAAGH,OAAO,CAAC,CAAC;EAC7B,MAAM4D,KAAK,GAAGzD,OAAO,CAAC0D,OAAO,CAACC,SAAS,CAACjB,MAAM,CAAC;EAC/C,IAAIe,KAAK,EAAE;IACT,OAAOG,kBAAkB,CAAClB,MAAM,CAAC;EACnC,CAAC,MAAM,IAAIA,MAAM,CAACmB,UAAU,EAAE;IAC5B,OAAAjD,iBAAA,CAAQ6B,YAAY;MAAA,IAACC,MAAMA,CAAA;QAAA,OAAEA,MAAM,CAACmB,UAAU;MAAA;IAAA;EAChD,CAAC,MAAM;IACL,OAAO,SAAS;EAClB;AACF;AAEA,SAASD,kBAAkBA,CAAClB,MAA8C,EAAE;EAC1E,QAAQA,MAAM,CAACrC,IAAI;IACjB,KAAK,SAAS;IACd,KAAK,SAAS;IACd,KAAK,YAAY;IACjB,KAAK,OAAO;IACZ,KAAK,SAAS;IACd,KAAK,OAAO;IACZ,KAAK,QAAQ;MACX,OAAOT,gBAAgB,CAACkE,OAAO;IACjC,KAAK,MAAM;IACX,KAAK,OAAO;IACZ,KAAK,OAAO;IACZ,KAAK,SAAS;IACd,KAAK,OAAO;IACZ,KAAK,QAAQ;IACb,KAAK,QAAQ;IACb,KAAK,SAAS;IACd,KAAK,SAAS;MACZ,OAAO,QAAQ;IACjB,KAAK,QAAQ;IACb,KAAK,KAAK;MACR,OAAO,QAAQ;IACjB,KAAK,SAAS;MACZ,OAAO,SAAS;IAClB,KAAK,WAAW;IAChB,KAAK,aAAa;IAClB,KAAK,gBAAgB;IACrB,KAAK,WAAW;IAChB,KAAK,UAAU;IACf,KAAK,OAAO;MACV,OAAO,SAAS;IAClB;MACE,MAAMC,YAAmB,GAAGrB,MAAM,CAACrC,IAAI;MACvC,OAAO,SAAS;EACpB;AACF;AAEA,SAAS4B,gBAAgBA,CAAC3B,IAAU,EAAyD;EAC3F,OACEA,IAAI,CAACoB,IAAI,KAAK,OAAO,IACrBpB,IAAI,CAACsC,SAAS,EAAEvC,IAAI,KAAK,YAAY,IACrCC,IAAI,CAACsC,SAAS,EAAEA,SAAS,EAAEvC,IAAI,KAAK,UAAU;AAElD;AAEA,SAASsC,wBAAwBA,CAACrC,IAAW,EAAE;EAC7C,QAAQA,IAAI,CAACD,IAAI;IACf,KAAK,YAAY;IACjB,KAAK,MAAM;MACT,OAAOT,gBAAgB,CAACoE,SAAS;IACnC,KAAK,OAAO;MACV,OAAO,yBAAyB;IAClC;MACE,OAAO,SAAS;EACpB;AACF;AAEA,SAAS1C,aAAaA,CAAC2C,MAAyD,EAAU;EACxF,MAAMC,IAAI,GAAGD,MAAM,CAACE,IAAI,EAAED,IAAI;EAC9B,IAAIA,IAAI,KAAKlD,SAAS,IAAIkD,IAAI,CAACE,MAAM,KAAK,CAAC,EAAE;IAC3C,OAAO,EAAE;EACX;EAEA,MAAMC,gBAA0B,GAAG,EAAE;EACrC,MAAMC,QAAQ,GAAG,EAAE;EACnB,KAAK,MAAMjD,GAAG,IAAI6C,IAAI,EAAE;IACtB,KAAK,MAAMK,OAAO,IAAIlD,GAAG,CAACkD,OAAO,EAAE;MACjC,KAAK,MAAMC,IAAI,IAAID,OAAO,CAACE,IAAI,CAACC,KAAK,CAAC,IAAI,CAAC,EAAE;QAC3CL,gBAAgB,CAACM,IAAI,CAACH,IAAI,CAAC;MAC7B;IACF;IACA,KAAK,MAAMI,GAAG,IAAIvD,GAAG,CAACwD,IAAI,EAAE;MAC1B,IAAIC,KAAK,GAAG,IAAI;MAChB,MAAMC,mBAAmB,GAAGC,0BAA0B,CAACJ,GAAG,CAAC;MAC3D,MAAMK,QAAQ,GACZL,GAAG,CAAClD,IAAI,KAAK/B,UAAU,CAACuF,WAAW,IAAIN,GAAG,CAAClD,IAAI,KAAK/B,UAAU,CAACwF,cAAc,GACzE,IAAIP,GAAG,CAACQ,OAAO,CAACC,EAAE,IAAIT,GAAG,CAACU,SAAS,CAACD,EAAE,EAAE,GACxC,IAAIT,GAAG,CAACQ,OAAO,CAACC,EAAE,EAAE;MAC1B,KAAK,MAAMd,OAAO,IAAIK,GAAG,CAACL,OAAO,EAAE;QACjC,KAAK,MAAMC,IAAI,IAAID,OAAO,CAACE,IAAI,CAACC,KAAK,CAAC,IAAI,CAAC,EAAE;UAC3C,MAAMa,OAAO,GAAGC,kBAAkB,CAAChB,IAAI,CAAC;UACxC,IAAIM,KAAK,EAAE;YACT,IAAIC,mBAAmB,EAAE;cACvBT,QAAQ,CAACK,IAAI,CAAC,GAAGM,QAAQ,IAAIM,OAAO,EAAE,CAAC;YACzC,CAAC,MAAM;cACLjB,QAAQ,CAACK,IAAI,CAACM,QAAQ,EAAEM,OAAO,CAAC;YAClC;YAEAT,KAAK,GAAG,KAAK;UACf,CAAC,MAAM;YACLR,QAAQ,CAACK,IAAI,CAACY,OAAO,CAAC;UACxB;QACF;MACF;IACF;EACF;EAEA,MAAME,QAAQ,GAAG,CAAC,GAAGpB,gBAAgB,EAAE,IAAIC,QAAQ,CAACF,MAAM,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,GAAGE,QAAQ,CAAC;EACzF,OAAOmB,QAAQ,CAACpG,IAAI,CAAC,IAAI,CAAC;AAC5B;AAEA,SAASmG,kBAAkBA,CAACnE,GAAW,EAAU;EAC/C;EACA,OAAOA,GAAG,CAACqE,UAAU,CAAC,WAAW,EAAE,YAAY,CAAC;AAClD;AAEA,SAASV,0BAA0BA,CAACJ,GAAW,EAAW;EACxD,MAAMe,KAAK,GAAGf,GAAG,CAACL,OAAO,CAAC,CAAC,CAAC,EAAEqB,GAAG;EACjC,MAAMC,GAAG,GAAGjB,GAAG,CAACL,OAAO,CAAC,CAAC,CAAC,EAAEsB,GAAG;EAC/B,MAAMC,IAAI,GAAGrG,iBAAiB,CAACmF,GAAG,CAACL,OAAO,CAAC,CAAC,CAAC,CAAC,CAACuB,IAAI;EAEnD,IAAIC,YAAY,GAAG,KAAK;EACxB,KAAK,IAAIC,CAAC,GAAGL,KAAK,EAAEK,CAAC,GAAGH,GAAG,EAAEG,CAAC,EAAE,EAAE;IAChC,MAAMC,EAAE,GAAGH,IAAI,CAACrB,IAAI,CAACuB,CAAC,CAAC;IACvB,IAAIC,EAAE,KAAK,IAAI,EAAE;MACf;IACF;IACA;IACA,IAAIA,EAAE,KAAK,GAAG,EAAE;MACdF,YAAY,GAAG,IAAI;IACrB;EACF;EACA,OAAOA,YAAY;AACrB","ignoreList":[]}

package/dist/src/gen-extern-signatures/components/function-signature-type.jsx

@@ -0,0 +1,281 @@
+import { For, join, List, refkey } from "@alloy-js/core";
+import * as ts from "@alloy-js/typescript";
+import { getSourceLocation, isArrayModelType, } from "@typespec/compiler";
+import { SyntaxKind } from "@typespec/compiler/ast";
+import { typespecCompiler } from "../external-packages/compiler.js";
+import { useTspd } from "./tspd-context.js";
+/** Render the type of function implementation  */
+export function FunctionSignatureType(props) {
+    const { program } = useTspd();
+    const func = props.signature.tspFunction;
+    const parameters = [
+        {
+            name: "context",
+            type: typespecCompiler.FunctionContext,
+        },
+        ...func.parameters.map((param) => ({
+            // https://github.com/alloy-framework/alloy/issues/144
+            name: param.rest ? `...${param.name}` : param.name,
+            type: param.rest ? (<>
+            (
+            {param.type ? (<ParameterTsType constraint={extractRestParamConstraint(program, param.type)}/>) : undefined}
+            )[]
+          </>) : (<ParameterTsType constraint={param.type}/>),
+            optional: param.optional,
+        })),
+    ];
+    const returnType = <ParameterTsType constraint={func.returnType}/>;
+    return (<ts.TypeDeclaration export name={props.signature.typeName} doc={getDocComment(func)}>
+      <ts.FunctionType parameters={parameters} returnType={returnType}/>
+    </ts.TypeDeclaration>);
+}
+/** For a rest param of constraint T[] or valueof T[] return the T or valueof T */
+function extractRestParamConstraint(program, constraint) {
+    let valueType;
+    let type;
+    if (constraint.valueType) {
+        if (constraint.valueType.kind === "Model" && isArrayModelType(constraint.valueType)) {
+            valueType = constraint.valueType.indexer.value;
+        }
+        else {
+            return undefined;
+        }
+    }
+    if (constraint.type) {
+        if (constraint.type.kind === "Model" && isArrayModelType(constraint.type)) {
+            type = constraint.type.indexer.value;
+        }
+        else {
+            return undefined;
+        }
+    }
+    return {
+        entityKind: "MixedParameterConstraint",
+        type,
+        valueType,
+    };
+}
+export function ParameterTsType({ constraint }) {
+    if (constraint.type && constraint.valueType) {
+        return (<>
+        <TypeConstraintTSType type={constraint.type}/>
+        {" | "}
+        <ValueTsType type={constraint.valueType}/>
+      </>);
+    }
+    if (constraint.valueType) {
+        return <ValueTsType type={constraint.valueType}/>;
+    }
+    else if (constraint.type) {
+        return <TypeConstraintTSType type={constraint.type}/>;
+    }
+    return typespecCompiler.Type;
+}
+function TypeConstraintTSType({ type }) {
+    if (type.kind === "Model" && isReflectionType(type)) {
+        return typespecCompiler[type.name];
+    }
+    else if (type.kind === "Union") {
+        const variants = [...type.variants.values()].map((x) => x.type);
+        if (variants.every((x) => isReflectionType(x))) {
+            return join([...new Set(variants)].map((x) => getCompilerType(x.name)), {
+                joiner: " | ",
+            });
+        }
+        else {
+            return typespecCompiler.Type;
+        }
+    }
+    return typespecCompiler.Type;
+}
+function getCompilerType(name) {
+    return typespecCompiler[name];
+}
+function ValueTsType({ type }) {
+    switch (type.kind) {
+        case "Boolean":
+            return `${type.value}`;
+        case "String":
+            return `"${type.value}"`;
+        case "Number":
+            return `${type.value}`;
+        case "Scalar":
+            return <ScalarTsType scalar={type}/>;
+        case "Union":
+            return join([...type.variants.values()].map((x) => <ValueTsType type={x.type}/>), { joiner: " | " });
+        case "Model":
+            if (isArrayModelType(type)) {
+                return (<>
+            readonly (<ValueTsType type={type.indexer.value}/>
+            )[]
+          </>);
+            }
+            else if (isReflectionType(type)) {
+                return getValueOfReflectionType(type);
+            }
+            else {
+                // If its exactly the record type use Record<string, T> instead of the model name.
+                if (type.indexer && type.name === "Record" && type.namespace?.name === "TypeSpec") {
+                    return (<>
+              Record{"<string, "}
+              <ValueTsType type={type.indexer.value}/>
+              {">"}
+            </>);
+                }
+                if (type.name) {
+                    return <LocalTypeReference type={type}/>;
+                }
+                else {
+                    return <ValueOfModelTsType model={type}/>;
+                }
+            }
+    }
+    return "unknown";
+}
+function LocalTypeReference({ type }) {
+    const { addLocalType } = useTspd();
+    addLocalType(type);
+    return <ts.Reference refkey={refkey(type)}/>;
+}
+function ValueOfModelTsType({ model }) {
+    return (<ts.InterfaceExpression>
+      <ValueOfModelTsInterfaceBody model={model}/>
+    </ts.InterfaceExpression>);
+}
+export function ValueOfModelTsInterfaceBody({ model }) {
+    return (<List joiner=";" enderPunctuation>
+      {model.indexer?.value && (<ts.InterfaceMember readonly indexer="key: string" type={<ValueTsType type={model.indexer.value}/>}/>)}
+      <For each={model.properties.values()}>
+        {(x) => (<ts.InterfaceMember readonly name={x.name} optional={x.optional} type={<ValueTsType type={x.type}/>}/>)}
+      </For>
+    </List>);
+}
+function ScalarTsType({ scalar }) {
+    const { program } = useTspd();
+    const isStd = program.checker.isStdType(scalar);
+    if (isStd) {
+        return getStdScalarTSType(scalar);
+    }
+    else if (scalar.baseScalar) {
+        return <ScalarTsType scalar={scalar.baseScalar}/>;
+    }
+    else {
+        return "unknown";
+    }
+}
+function getStdScalarTSType(scalar) {
+    switch (scalar.name) {
+        case "numeric":
+        case "decimal":
+        case "decimal128":
+        case "float":
+        case "integer":
+        case "int64":
+        case "uint64":
+            return typespecCompiler.Numeric;
+        case "int8":
+        case "int16":
+        case "int32":
+        case "safeint":
+        case "uint8":
+        case "uint16":
+        case "uint32":
+        case "float64":
+        case "float32":
+            return "number";
+        case "string":
+        case "url":
+            return "string";
+        case "boolean":
+            return "boolean";
+        case "plainDate":
+        case "utcDateTime":
+        case "offsetDateTime":
+        case "plainTime":
+        case "duration":
+        case "bytes":
+            return "unknown";
+        default:
+            const _assertNever = scalar.name;
+            return "unknown";
+    }
+}
+function isReflectionType(type) {
+    return (type.kind === "Model" &&
+        type.namespace?.name === "Reflection" &&
+        type.namespace?.namespace?.name === "TypeSpec");
+}
+function getValueOfReflectionType(type) {
+    switch (type.name) {
+        case "EnumMember":
+        case "Enum":
+            return typespecCompiler.EnumValue;
+        case "Model":
+            return "Record<string, unknown>";
+        default:
+            return "unknown";
+    }
+}
+function getDocComment(entity) {
+    const docs = entity.node?.docs;
+    if (docs === undefined || docs.length === 0) {
+        return "";
+    }
+    const mainContentLines = [];
+    const tagLines = [];
+    for (const doc of docs) {
+        for (const content of doc.content) {
+            for (const line of content.text.split("\n")) {
+                mainContentLines.push(line);
+            }
+        }
+        for (const tag of doc.tags) {
+            let first = true;
+            const hasContentFirstLine = checkIfTagHasDocOnSameLine(tag);
+            const tagStart = tag.kind === SyntaxKind.DocParamTag || tag.kind === SyntaxKind.DocTemplateTag
+                ? `@${tag.tagName.sv} ${tag.paramName.sv}`
+                : `@${tag.tagName.sv}`;
+            for (const content of tag.content) {
+                for (const line of content.text.split("\n")) {
+                    const cleaned = sanitizeDocComment(line);
+                    if (first) {
+                        if (hasContentFirstLine) {
+                            tagLines.push(`${tagStart} ${cleaned}`);
+                        }
+                        else {
+                            tagLines.push(tagStart, cleaned);
+                        }
+                        first = false;
+                    }
+                    else {
+                        tagLines.push(cleaned);
+                    }
+                }
+            }
+        }
+    }
+    const docLines = [...mainContentLines, ...(tagLines.length > 0 ? [""] : []), ...tagLines];
+    return docLines.join("\n");
+}
+function sanitizeDocComment(doc) {
+    // Issue to escape @internal and other tsdoc tags https://github.com/microsoft/TypeScript/issues/47679
+    return doc.replaceAll("@internal", `@_internal`);
+}
+function checkIfTagHasDocOnSameLine(tag) {
+    const start = tag.content[0]?.pos;
+    const end = tag.content[0]?.end;
+    const file = getSourceLocation(tag.content[0]).file;
+    let hasFirstLine = false;
+    for (let i = start; i < end; i++) {
+        const ch = file.text[i];
+        if (ch === "\n") {
+            break;
+        }
+        // Todo reuse compiler whitespace logic or have a way to get this info from the parser.
+        if (ch !== " ") {
+            hasFirstLine = true;
+        }
+    }
+    return hasFirstLine;
+}
+//# sourceMappingURL=function-signature-type.jsx.map