🤖 Merge PR DefinitelyTyped#72672 [elm] allow specifying Elm.* namespace by @lishaduck

Author: lishaduck

types/elm/.eslintrc.json

@@ -1,8 +1,5 @@
 {
     "rules": {
-        "@definitelytyped/no-type-only-packages": "off",
-        "@typescript-eslint/no-unsafe-function-type": "off",
-        "@typescript-eslint/no-wrapper-object-types": "off",
-        "@typescript-eslint/no-empty-interface": "off"
+        "@definitelytyped/no-type-only-packages": "off"
     }
 }

types/elm/elm-tests.ts

@@ -1,7 +1,21 @@
-declare var Elm: ElmInstance<ShanghaiPorts>;
+declare var Elm: ElmInstance<{}, {}>;
+
+Elm.Main.init();
+
+declare var Shanghai: ElmInstance<
+    ShanghaiPorts,
+    ShanghaiFlags, // eslint-disable-next-line @definitelytyped/no-single-element-tuple-type
+    ["Shanghai"]
+>;
+
+interface ShanghaiFlags {
+    coordinates: [number, number];
+    incomingShip: Ship;
+    outgoingShip: string;
+}
 
 interface ShanghaiPorts {
-    coordinates: PortToElm<number[]>;
+    coordinates: PortToElm<[number, number]>;
     incomingShip: PortToElm<Ship>;
     outgoingShip: PortToElm<string>;
     totalCapacity: PortFromElm<number>;
@@ -14,15 +28,15 @@ interface Ship {
 
 // initialize the Shanghai component which keeps track of
 // shipping data in and out of the Port of Shanghai.
-var shanghai = Elm.Main.init({
+var shanghai = Shanghai.Shanghai.init({
     flags: {
         coordinates: [0, 0],
         incomingShip: { name: "", capacity: 0 },
         outgoingShip: "",
     },
 });
 
-function logger(x: any) {
+function logger(x: number) {
     console.log(x);
 }
 shanghai.ports.totalCapacity.subscribe(logger);

types/elm/index.d.ts

@@ -1,9 +1,19 @@
-interface ElmInstance<P = {}> {
-    Main: ElmMain<P>;
-}
+type ElmInstance<
+    P,
+    F,
+    Entrypoints extends string[] =
+        // eslint-disable-next-line @definitelytyped/no-single-element-tuple-type
+        ["Main"],
+> = NestedEntrypoints<Entrypoints, P, F>;
+
+type NestedEntrypoints<Entrypoints extends string[], P, F> = Entrypoints extends [
+    infer First extends string,
+    ...infer Rest extends string[],
+] ? { [K in First]: NestedEntrypoints<Rest, P, F> }
+    : ElmMain<P, F>;
 
-interface ElmMain<P> {
-    init(options: { node?: Node | undefined; flags?: any }): ElmApp<P>;
+interface ElmMain<P, F> {
+    init(options?: { node?: Node | undefined; flags: F } | undefined): ElmApp<P>;
 }
 
 interface ElmApp<P> {

types/elm/tsconfig.json

@@ -5,10 +5,8 @@
             "es6",
             "dom"
         ],
-        "noImplicitAny": true,
-        "noImplicitThis": true,
-        "strictNullChecks": true,
-        "strictFunctionTypes": true,
+        "strict": true,
+        "exactOptionalPropertyTypes": true,
         "types": [],
         "noEmit": true,
         "forceConsistentCasingInFileNames": true