annil 1.0.0

package/src/api/SubComponent/SubPageLifetimes/SubPageLifetimesOption.ts

@@ -0,0 +1,6 @@
+import type { PageLifetimesOption } from "../../RootComponent/PageLifetimes/PageLifetimesOption";
+
+export type SubPageLifetimesOption<TIsPage extends boolean, AllPropertiesDoc extends object> = PageLifetimesOption<
+  TIsPage,
+  AllPropertiesDoc
+>;

package/src/api/SubComponent/SubPageLifetimes/test/error.test.ts

@@ -0,0 +1,32 @@
+import type { RootComponentDoc } from "../../../RootComponent/RootComponentDoc";
+import { SubComponent } from "../..";
+
+type RootDocCompPage = RootComponentDoc<{
+  isPage: true;
+}>;
+
+type CompDoc = RootComponentDoc<{
+  properties: {
+    aaa_str: string;
+  };
+}>;
+
+/**
+ * 测试 组件时
+ */
+SubComponent<{}, CompDoc>()({
+  pageLifetimes: {
+    // @ts-expect-error 不存在的字段 show是正确字段
+    onShow() {},
+  },
+});
+
+/**
+ * 页面时
+ */
+SubComponent<RootDocCompPage, CompDoc>()({
+  pageLifetimes: {
+    // @ts-expect-error 不存在的字段 多了一个 `d`
+    onLoadd() {},
+  },
+});

package/src/api/SubComponent/SubPageLifetimes/test/normal.test.ts

@@ -0,0 +1,73 @@
+import { Checking, type Test } from "hry-types";
+import type { Mock_User } from "../../../RootComponent/Properties/expected/normalRequired";
+import type { RootComponentDoc } from "../../../RootComponent/RootComponentDoc";
+import { SubComponent } from "../..";
+
+type RootDocComp = RootComponentDoc<{
+  properties: {
+    union?: Mock_User;
+    optionalObject?: Mock_User | null;
+    str: string;
+    obj: object | null;
+  };
+}>;
+
+type RootDocCompPage = RootComponentDoc<{
+  isPage: true;
+  properties: {
+    union?: Mock_User;
+    optionalObject?: Mock_User | null;
+    str: string;
+    obj: object | null;
+  };
+}>;
+
+type CompDoc = RootComponentDoc<{
+  properties: {
+    aaa_str: string;
+  };
+  customEvents: {
+    aaa_num: number;
+  };
+}>;
+
+/**
+ * 测试 组件时
+ */
+SubComponent<RootDocComp, CompDoc>()({
+  pageLifetimes: {
+    hide() {},
+    load() {},
+    resize(size) {
+      Checking<typeof size, WechatMiniprogram.Page.IResizeOption, Test.Pass>;
+    },
+    show() {},
+  },
+});
+
+/**
+ * 页面时
+ */
+SubComponent<RootDocCompPage, CompDoc>()({
+  pageLifetimes: {
+    onLoad(props) {
+      // 接受的必传properties字段,不应该有null
+      Checking<
+        typeof props,
+        {
+          str: string;
+          obj: object;
+          union: Mock_User;
+          optionalObject: Mock_User | null;
+        },
+        Test.Pass
+      >;
+    },
+    onHide() {
+      console.log("onHide");
+    },
+    onResize(options) {
+      console.log("onResize", options);
+    },
+  },
+});

package/src/api/SubComponent/SubReturnType/CreateSubComponentDoc.ts

@@ -0,0 +1,37 @@
+import type { IfExtends } from "hry-types/src/Any/IfExtends";
+import type { EmptyObject } from "hry-types/src/Misc/EmptyObject";
+import type { ComputeIntersection, Select } from "hry-types/src/Object/_api";
+import type { RemovePrefix } from "../../../types/RemovePrefix";
+import type { UnionToComma } from "../../../types/UnionToComma.test";
+import type { Composed } from "../../RootComponent/CustomEvents/CustomEventsTag";
+
+type SelectStopEvents<T extends object> = {
+  [k in keyof T as k extends `${infer R}_catch` ? R : never]: unknown;
+};
+
+type GetComposedEvents<
+  TCustomEventsDoc extends object,
+> = Select<
+  TCustomEventsDoc,
+  Composed,
+  "contains->"
+>;
+
+export type CreateSubComponentDoc<
+  OriginalCompDoc extends object,
+  SubEventsDoc extends object,
+  MissingRequiredField extends PropertyKey,
+  SubCompDoc = ComputeIntersection<
+    RemovePrefix<
+      Omit<
+        GetComposedEvents<OriginalCompDoc>,
+        keyof SelectStopEvents<SubEventsDoc>
+      >
+    >
+  >,
+> = IfExtends<
+  MissingRequiredField,
+  never,
+  IfExtends<EmptyObject, SubCompDoc, never, SubCompDoc>,
+  `缺少必传的字段${UnionToComma<MissingRequiredField & string>}`
+>;

package/src/api/SubComponent/SubReturnType/test/error.test.ts

@@ -0,0 +1,18 @@
+import { Checking, type Test } from "hry-types";
+import type { ComponentDoc } from "../../../DefineComponent/ReturnType/ComponentDoc";
+import { SubComponent } from "../..";
+
+type CompDoc = ComponentDoc<{
+  properties: {
+    aaa_str: string;
+    aaa_bool: boolean;
+    aaa_num?: number;
+  };
+}>;
+
+const SubDoc = SubComponent<{}, CompDoc>()({});
+
+// 返回穿透的自定义事件,并去除了前缀
+type SubDocExpect = "缺少必传的字段aaa_str、aaa_bool";
+
+Checking<typeof SubDoc, SubDocExpect, Test.Pass>;

package/src/api/SubComponent/SubReturnType/test/normal.test.ts

@@ -0,0 +1,39 @@
+import { Checking, type Test } from "hry-types";
+import type { ComponentDoc } from "../../../DefineComponent/ReturnType/ComponentDoc";
+import type {
+  Bubbles,
+  BubblesCaptureComposed,
+  BubblesComposed,
+  Capture,
+  CaptureComposed,
+} from "../../../RootComponent/CustomEvents/CustomEventsTag";
+import { SubComponent } from "../..";
+
+type CompDoc = ComponentDoc<{
+  properties: {
+    aaa_str: string;
+  };
+  customEvents: {
+    aaa_num: number;
+    aaa_bubbles: number | Bubbles;
+    aaa_bubblesComposed: number | BubblesComposed;
+    aaa_captrue: number | Capture;
+    aaa_captrueComposed: number | CaptureComposed;
+    aaa_bubblesCaptrueComposed: number | BubblesCaptureComposed;
+  };
+}>;
+
+const SubDoc = SubComponent<{}, CompDoc>()({
+  data: {
+    aaa_str: "string",
+  },
+});
+
+// 返回穿透的自定义事件,并去除了前缀
+type SubDocExpect = {
+  bubblesComposed: number | BubblesComposed;
+  captrueComposed: number | CaptureComposed;
+  bubblesCaptrueComposed: number | BubblesCaptureComposed;
+};
+
+Checking<typeof SubDoc, SubDocExpect, Test.Pass>;

package/src/api/SubComponent/SubStore/SubDataConstraint.ts

@@ -0,0 +1,9 @@
+/**
+ * 子组件Data字段约束
+ * @returns 当剩余对象不为空对象,约束对象的key为剩余key,类型为剩余key对应的文档类型或函数返回类型。
+ */
+export type SubStoreConstraint<
+  O extends object,
+> = {
+  [k in keyof O]?: () => O[k];
+};

package/src/api/SubComponent/SubStore/SubStoreOption.ts

@@ -0,0 +1,13 @@
+import type { V } from "hry-types";
+
+export type SubStoreOption<TSubStore extends object, legalKeys extends PropertyKey, TPrefix extends string> = {
+  store?:
+    & TSubStore
+    & V.IllegalFieldValidator<
+      TSubStore,
+      legalKeys | `_${TPrefix}_${string}`,
+      0,
+      "",
+      "⚠️ 子组件无需此字段或为字段重复 ⚠️"
+    >;
+};

package/src/api/SubComponent/SubStore/test/error.test.ts

@@ -0,0 +1,35 @@
+import { observable } from "mobx";
+
+import type { ComponentDoc } from "../../../DefineComponent/ReturnType/ComponentDoc";
+import { SubComponent } from "../..";
+const user = observable({
+  name: "zhao",
+  age: 20,
+});
+
+type DocA = ComponentDoc<{
+  properties: {
+    aaa_str: string;
+    aaa_num: number;
+  };
+}>;
+
+SubComponent<{
+  properties: {
+    aaa_str: string;
+    aaa_num: number;
+  };
+}, DocA>()({
+  inherit: {
+    aaa_str: "aaa_str",
+  },
+  data: {
+    aaa_num: 20,
+  },
+  store: {
+    // @ts-expect-error 1 与 inherit 字段重复
+    aaa_str: () => user.name,
+    // @ts-expect-error 2 与 data 字段重复
+    aaa_num: () => user.age,
+  },
+});

package/src/api/SubComponent/SubStore/test/normal.test.ts

@@ -0,0 +1,23 @@
+import { observable } from "mobx";
+
+import type { ComponentDoc } from "../../../DefineComponent/ReturnType/ComponentDoc";
+import { SubComponent } from "../..";
+const user = observable({
+  name: "zhao",
+  age: 20,
+});
+
+type DocA = ComponentDoc<{
+  properties: {
+    aaa_str: string;
+    aaa_num: number;
+  };
+}>;
+
+SubComponent<{}, DocA>()({
+  store: {
+    aaa_str: () => user.name,
+
+    aaa_num: () => user.age,
+  },
+});

package/src/api/SubComponent/SubWatch/SubWatchOption.ts

@@ -0,0 +1,3 @@
+import type { WatchOption } from "../../RootComponent/Watch/WatchOption";
+
+export type SubWatchOption<TWatchData extends object> = WatchOption<TWatchData>;

package/src/api/SubComponent/SubWatch/test/WatchComputed.test.ts

@@ -0,0 +1,46 @@
+// import type { ComponentDoc } from "../../../DefineComponent/ReturnType/ComponentDoc";
+// import type { Mock_User } from "../../../RootComponent/Properties/test/normalRequired.test";
+// import type { RootComponentDoc } from "../../../RootComponent/RetrunType/RootComponentDoc";
+
+// type RootDoc = RootComponentDoc<{
+//   properties: {
+//     Pnum: number;
+//     obj: Mock_User | null;
+//   };
+// }>;
+
+// type CompDoc = ComponentDoc<{
+//   properties: {
+//     aaa_str: string;
+//     aaa_num: number;
+//   };
+// }>;
+
+/**
+ *  测试 computed字段时需要手写类型,可悬停鼠标到key查看类型
+ */
+// SubComponent<RootDoc, CompDoc>()({
+//   data: {
+//     aaa_num: 123,
+//   },
+//   computed: {
+//     _aaa_CNum() {
+//       return this.data.Pnum + this.data.aaa_num;
+//     },
+//     aaa_str() {
+//       return 123;
+//     },
+//   },
+//   watch: {
+//     _aaa_CNum(newValue: number, oldValue: number) {
+//       Checking<number, typeof newValue, Test.Pass>;
+
+//       Checking<number, typeof oldValue, Test.Pass>;
+//     },
+//     aaa_str(newValue: 123, oldValue: 123) {
+//       Checking<123, typeof newValue, Test.Pass>;
+
+//       Checking<123, typeof oldValue, Test.Pass>;
+//     },
+//   },
+// });

package/src/api/SubComponent/SubWatch/test/WatchRootData.test.ts

@@ -0,0 +1,118 @@
+import { Checking, type Test } from "hry-types";
+
+import type { ReadonlyDeep } from "hry-types/src/Any/_api";
+import type { ComponentDoc } from "../../../DefineComponent/ReturnType/ComponentDoc";
+import type { Mock_User } from "../../../RootComponent/Properties/expected/normalRequired";
+import { SubComponent } from "../..";
+
+type TestObj = {
+  subObj: Mock_User;
+};
+
+type CompDoc = ComponentDoc<{
+  properties: {
+    aaa_str: string;
+    aaa_num: number;
+  };
+}>;
+
+type RootDoc = {
+  properties: {
+    num: number;
+    literal_num: 123 | 456;
+    unionStrNum: string | number;
+    required_obj: Mock_User | null;
+    optional_obj?: TestObj;
+  };
+  data: {
+    str: string;
+    literal_str: "a" | "b";
+    arr: string[];
+  };
+  computed: {
+    Cuinon: string | boolean;
+  };
+};
+
+/**
+ * watch RootDoc中的数据字段
+ */
+SubComponent<RootDoc, CompDoc>()({
+  data: {
+    aaa_str: "str",
+  },
+  store: {
+    aaa_num() {
+      return 123;
+    },
+  },
+  watch: {
+    // properties 字段
+
+    num(newValue, oldValue) {
+      Checking<number, typeof newValue, Test.Pass>;
+
+      Checking<number, typeof oldValue, Test.Pass>;
+    },
+    literal_num(newValue, oldValue) {
+      Checking<123 | 456, typeof newValue, Test.Pass>;
+
+      Checking<123 | 456, typeof oldValue, Test.Pass>;
+    },
+    unionStrNum(newValue, oldValue) {
+      Checking<string | number, typeof newValue, Test.Pass>;
+
+      Checking<string | number, typeof oldValue, Test.Pass>;
+    },
+    required_obj(newValue, oldValue) {
+      Checking<ReadonlyDeep<Mock_User>, typeof newValue, Test.Pass>;
+
+      Checking<ReadonlyDeep<Mock_User | null>, typeof oldValue, Test.Pass>;
+    },
+    optional_obj(newValue, oldValue) {
+      Checking<ReadonlyDeep<TestObj>, typeof newValue, Test.Pass>;
+
+      Checking<ReadonlyDeep<TestObj>, typeof oldValue, Test.Pass>;
+    },
+    "optional_obj.subObj"(newValue, oldValue) {
+      Checking<ReadonlyDeep<Mock_User>, typeof newValue, Test.Pass>;
+
+      Checking<ReadonlyDeep<Mock_User>, typeof oldValue, Test.Pass>;
+    },
+    "required_obj.age"(newValue, oldValue) {
+      Checking<number, typeof newValue, Test.Pass>;
+
+      Checking<number | undefined, typeof oldValue, Test.Pass>;
+    },
+
+    "required_obj.id"(newValue, oldValue) {
+      Checking<string, typeof newValue, Test.Pass>;
+
+      Checking<string, typeof oldValue, Test.Pass>;
+    },
+
+    // data 字段
+    str(newValue, oldValue) {
+      Checking<string, typeof newValue, Test.Pass>;
+
+      Checking<string, typeof oldValue, Test.Pass>;
+    },
+    arr(newValue, oldValue) {
+      Checking<readonly string[], typeof newValue, Test.Pass>;
+
+      Checking<readonly string[], typeof oldValue, Test.Pass>;
+    },
+
+    literal_str(newValue, oldValue) {
+      Checking<"a" | "b", typeof newValue, Test.Pass>;
+
+      Checking<"a" | "b", typeof oldValue, Test.Pass>;
+    },
+    // 计算字段
+    Cuinon(newValue, oldValue) {
+      Checking<string | boolean, typeof newValue, Test.Pass>;
+
+      Checking<string | boolean, typeof oldValue, Test.Pass>;
+    },
+  },
+});

package/src/api/SubComponent/SubWatch/test/WatchSubData.test.ts

@@ -0,0 +1,46 @@
+import { Checking, type Test } from "hry-types";
+import type { ComponentDoc } from "../../../DefineComponent/ReturnType/ComponentDoc";
+import { SubComponent } from "../..";
+
+type CompDoc = ComponentDoc<{
+  properties: {
+    aaa_str: string;
+    aaa_num: number;
+  };
+}>;
+
+// 可以为空对象
+SubComponent<{}, CompDoc>()({
+  watch: {},
+});
+
+/**
+ * watch 自身data字段
+ */
+SubComponent<{}, CompDoc>()({
+  data: {
+    aaa_str: "123",
+
+    _aaa_other: 123,
+  },
+  store: {
+    aaa_num: () => 123,
+  },
+  watch: {
+    aaa_str(newValue, oldValue) {
+      Checking<"123", typeof newValue, Test.Pass>;
+
+      Checking<"123", typeof oldValue, Test.Pass>;
+    },
+    aaa_num(newValue, oldValue) {
+      Checking<number, typeof newValue, Test.Pass>;
+
+      Checking<number, typeof oldValue, Test.Pass>;
+    },
+    _aaa_other(newValue, oldValue) {
+      Checking<number, typeof newValue, Test.Pass>;
+
+      Checking<number, typeof oldValue, Test.Pass>;
+    },
+  },
+});

package/src/api/SubComponent/SubWatch/test/error.test.ts

@@ -0,0 +1,20 @@
+import type { Wm } from "../../../../thirdLib";
+import { SubComponent } from "../..";
+
+// 测试1
+SubComponent<{ events: { a: string } }, Wm.View>()({
+  watch: {
+    // @ts-expect-error 无可监控字段时，约束为EmptyObject,不可写任何字段
+    xxx() {},
+  },
+});
+
+/**
+ * 测试2  超出约束字段报错
+ */
+SubComponent<{ events: { a: string } }, Wm.View>()({
+  data: {
+    // @ts-expect-error 超出字段报错
+    view_classdd: "",
+  },
+});