#9 Add to ClassNamesProperty module-based support. Catch #12

Author: Andrii Kirmas

src/defs.test.ts

@@ -2,15 +2,75 @@ import {
   Component,
   // ReactElement
 } from "react"
-import type { ClassNamed, ClassHash, ReactRelated, GetProps} from "./defs"
+import type {
+  ClassNamed,
+  ClassHash,
+  ReactRelated,
+  GetProps,
+  ClassNamesProperty
+} from "./defs"
 
-export {}
+describe("ClassNamesProperty", () => {
+  it("Free declaration", () => {
+    type Props = ClassNamesProperty<{
+      class1: ClassHash, class2: ClassHash
+    }>
+    const suites: Record<string, Props["classnames"]> = {
+      "all setted": {
+        class1: "class1",
+        class2: undefined
+      },
+      "redundant": {
+        class1: "class1",
+        class2: undefined,
+        //@ts-expect-error
+        redundant: "redundant"
+      },
+      //@ts-expect-error
+      "missed": {
+        class1: "class1"
+      },
+      "wrong type": {
+        class1: "class1",
+        //@ts-expect-error
+        class2: false
+      }
+    }
+    expect(suites).toBeInstanceOf(Object)
+  })
+  it("Module based", () => {
+    type CssModule = {
+      App: ClassHash
+      class1: ClassHash, class2: ClassHash
+    }
 
-type Getter<T extends ReactRelated> = GetProps<T>
+    type Props = ClassNamesProperty<CssModule, {
+      class1: ClassHash
+      class2: ClassHash
+      //TODO #12 Why no suggestion?
+    }>
+
+    type PropsWithWrong = ClassNamesProperty<CssModule,
+      //@ts-expect-error
+      {class3: ClassHash}
+    >
+    
+    const suite4wrong: PropsWithWrong["classnames"] = {
+        class3: undefined,
+    },
+    suite: Props["classnames"] = {
+      class1: "class1",
+      class2: undefined
+    }
+    expect({suite4wrong, suite}).toBeInstanceOf(Object)
+  })
+})
 
 it.todo("ClassNamesFrom")
 
 describe("ReactRelated", () => {
+  type Getter<T extends ReactRelated> = GetProps<T>
+
   type Without = ClassNamed
   type Wrong = ClassNamed & {classnames: string}
   type Some = ClassNamed & {classnames: Record<string, ClassHash>}
@@ -64,4 +124,4 @@ describe("ReactRelated", () => {
   })
 
 
-})
+})

src/defs.ts

@@ -25,7 +25,7 @@ export type ClassNames<
   C10 extends ReactRelated = never
 >
 = Ever<Extract<C0, true>, ClassNamed>
-& ClassNamesProperty<
+& ClassNamesCombiner<
   & Ever<Extract<C0, ReactRelated>, ClassNamesFrom<Extract<C0, ReactRelated>>>
   & Ever<C1, ClassNamesFrom<C1>>
   & Ever<C2, ClassNamesFrom<C2>>
@@ -39,8 +39,10 @@ export type ClassNames<
   & Ever<C10, ClassNamesFrom<C10>>
 >
 
-//TODO #9 Add leading `map` to check
-export type ClassNamesProperty<C extends CssModule> = Ever<C, Ever<keyof C, {classnames: {[K in keyof C]: ClassHash}}>>
+export type ClassNamesProperty<
+C extends CssModule, T extends {[K in keyof C]?: ClassHash} = C
+> = {classnames: {[K in keyof T & keyof C]: ClassHash}}
+type ClassNamesCombiner<C extends CssModule> = Ever<C, Ever<keyof C, {classnames: {[K in keyof C]: ClassHash}}>>
 
 export type ClassHash = undefined|string
 
@@ -56,8 +58,7 @@ export type ClassNamingContext<T extends CssModule> = Partial<ClassNamed> & {
 }
 
 /// iNTERNAL
-
-type WithClassNames = ClassNamesProperty<CssModule>
+type WithClassNames = {classnames: CssModule}
 
 export type CssModule = Record<string, ClassHash>
 //TODO Consider not empty object