annil 1.16.0 → 1.18.0

package/src/api/DefineComponent/returnType/GenerateComponentDoc.ts

@@ -1,46 +0,0 @@
-import type { IfExtends } from "hry-types/src/Any/IfExtends";
-import type { ComputeIntersection } from "hry-types/src/Object/ComputeIntersection";
-import type { RootComponentDefinition } from "../../RootComponent/returnType";
-import type { SubComponentDefinition } from "../../SubComponent/returnType";
-import type { GetCustomEventDocOfSubDoc } from "./GetCustomEventDocOfSubDoc";
-
-// 获取RootComponetDoc中events字段类型阻止事件(后最为catch)的key `${ 组件前缀 }_${infer Key}_${ bubbles | capture }_catch`
-type GetStopKeys<O> = { [k in keyof O]: k extends `${string}_${infer Key}_${string}_catch` ? Key : never }[keyof O];
-
-/**
- * 生成组件文档类型
- */
-export type GenerateComponentDoc<
-  TRootDoc extends RootComponentDefinition,
-  TName extends string,
-  TSubComponentTuple extends SubComponentDefinition[],
-  // 获取RootDoc和SubComponent[]中所有的properties字段类型
-  AllPropertiesDoc extends unknown | object = TRootDoc["properties"],
-  AllEventsDoc extends unknown | object =
-    & TRootDoc["customEvents"]
-    & GetCustomEventDocOfSubDoc<TSubComponentTuple[number]>,
-  StopKeys extends string = GetStopKeys<TRootDoc["events"]>,
-  FinalEventsDoc extends object = Omit<AllEventsDoc, StopKeys>,
-> = ComputeIntersection<
-  & IfExtends<
-    unknown,
-    AllPropertiesDoc,
-    {},
-    {
-      properties: {
-        // AddNullForObject 为了给子组件传值时,可以让异步对象数据初始值为null。
-        [k in keyof AllPropertiesDoc as `${TName}_${k & string}`]: AllPropertiesDoc[k];
-      };
-    }
-  >
-  & IfExtends<
-    {},
-    FinalEventsDoc,
-    {},
-    {
-      events: {
-        [k in keyof FinalEventsDoc as `${TName}_${k & string}`]: FinalEventsDoc[k];
-      };
-    }
-  >
->;

package/src/api/DefineComponent/returnType/GeneratePageDoc.ts

@@ -1,22 +0,0 @@
-import type { IfExtends } from "hry-types/src/Any/IfExtends";
-import type { ComputeIntersection } from "hry-types/src/Object/ComputeIntersection";
-import type { RootComponentDefinition } from "../../RootComponent/returnType";
-
-/**
- * 生成页面文档类型
- * type PageDoc = { path: TPath, properties?: TRootDoc["properties"] }
- */
-export type GeneratePageDoc<
-  TRootDoc extends RootComponentDefinition,
-  TPath extends string,
-> = ComputeIntersection<
-  & { path: TPath }
-  & IfExtends<
-    unknown,
-    TRootDoc["properties"],
-    unknown,
-    {
-      properties: TRootDoc["properties"];
-    }
-  >
->;

package/src/api/DefineComponent/returnType/GetCustomEventDocOfSubDoc.ts

@@ -1,24 +0,0 @@
-import type { IsNever, IsUnion } from "hry-types/src/Any/_api";
-import type { UnionTwoObject } from "hry-types/src/Object/UnionTwoObject";
-import type { Last } from "hry-types/src/Union/Last";
-import type { Assert } from "../../../types/Assert";
-import type { SubComponentDefinition } from "../../SubComponent/returnType";
-
-/**
- * 因为子组件文档customEvents字段有可能相同(无前缀),所以使用UnionTwoObject
- * 由于SubComponentDoc为空时返回never而不`{}`,所以`Exclude<U, TLast>`不影响结果。
- */
-type _GetCustomEventDocOfSubDoc<
-  U extends SubComponentDefinition,
-  Result = {},
-  TLast extends SubComponentDefinition = Assert<Last<U>, SubComponentDefinition>,
-> = IsNever<U> extends true ? Result
-  : _GetCustomEventDocOfSubDoc<Exclude<U, TLast>, UnionTwoObject<Result, TLast["composedEvents"]>>;
-
-/**
- * 获取子组件自定义事件文档
- * @remarks U 中 相同字段类型联合,所以使用元组推导不如Last性能好。
- */
-export type GetCustomEventDocOfSubDoc<UnionSubDoc extends SubComponentDefinition> = IsUnion<UnionSubDoc> extends true
-  ? _GetCustomEventDocOfSubDoc<UnionSubDoc>
-  : UnionSubDoc["composedEvents"];

package/src/api/DefineComponent/returnType/GetPropertiesDocOfSubDoc.ts

@@ -1,7 +0,0 @@
-// import type { SubComponentType } from "../../SubComponent/SubComponentType";
-
-// // 获取元组中所有SubComponentDoc的properties字段类型。这里忽略相同key的情况,结果为各个properties对象交叉类型。因为DefinComopnent API 在获取 SubComponentDoc字段类型时做了相同字段类型报错。
-// export type GetPropertiesDocOfSubDoc<Tuple extends SubComponentType[], Result = unknown> = Tuple extends
-//   [infer Head extends SubComponentType, ...infer Rest extends SubComponentType[]]
-//   ? GetPropertiesDocOfSubDoc<Rest, Result & Head["properties"]>
-//   : Result;

package/src/api/DefineComponent/returnType/PageDoc.ts

@@ -1,19 +0,0 @@
-type _PageDoc = {
-  path: `/${string}`;
-  properties?: object;
-};
-
-type Error = "{ path: `/${string}`; properties?: object;}";
-
-type _Validator<O> = keyof O extends keyof _PageDoc ? _PageDoc : Error;
-
-/**
- * 页面文档类型
- * ```ts
- * PageDoc = {
- *   path: `/${string}`;
- *   properties?: object;
- * };
- * ```
- */
-export type PageDoc<O extends _Validator<O> = _PageDoc> = O;

package/src/api/DefineComponent/returnType/test/normalComponentDoc.test.ts

@@ -1,248 +0,0 @@
-/* eslint-disable @typescript-eslint/no-unused-expressions */
-/* eslint-disable @typescript-eslint/no-unused-vars */
-import { Checking, type Test } from "hry-types";
-import { type DetailedType, RootComponent, SubComponent } from "../../../..";
-// import type { CustomEventConstraint } from "../../../rootComponent/CustomEvents/CustomEventConstraint";
-import type {
-  Bubbles,
-  BubblesCapture,
-  BubblesCaptureComposed,
-  BubblesComposed,
-  Capture,
-  CaptureComposed,
-  Composed,
-} from "../../../RootComponent/CustomEvents/CustomEventsTag";
-
-import type { ComputeIntersection } from "hry-types/src/Object/ComputeIntersection";
-import type { CustomEventConstraint } from "../../../RootComponent/CustomEvents/CustomEventConstraint";
-import type { PropertiesConstraint } from "../../../RootComponent/Properties/PropertiesConstraint";
-import type { Mock_User } from "../../../RootComponent/Properties/test/normalRequired.test";
-import type { RootComponentDefinition } from "../../../RootComponent/returnType";
-import type { SubComponentDefinition } from "../../../SubComponent/returnType";
-import { DefineComponent } from "../..";
-
-const properties = {
-  str: String,
-  obj: Object as DetailedType<Mock_User>,
-  optionalObj: {
-    type: Object as DetailedType<Mock_User>,
-    value: {} as Mock_User,
-  },
-  optionalObjOrNull: {
-    type: Object as DetailedType<Mock_User | null>,
-    value: null,
-  },
-} satisfies PropertiesConstraint;
-const customEvents = {
-  str: String,
-  null: null,
-  unionStr: String as DetailedType<"male" | "female">,
-  list: [String, Number as DetailedType<0 | 1 | 2>, null],
-  bubbles: {
-    detail: String,
-    options: { bubbles: true },
-  },
-  capturePhase: {
-    detail: null,
-    options: { capturePhase: true },
-  },
-  bubbles_capturePhase: {
-    detail: [String, Number],
-    options: { bubbles: true, capturePhase: true },
-  },
-  bubbles_composed: {
-    detail: String as DetailedType<"male" | "female">,
-    options: { bubbles: true, composed: true },
-  },
-  capturePhase_composed: {
-    detail: [String, Number as DetailedType<0 | 1 | 2>, null],
-    options: { capturePhase: true, composed: true },
-  },
-  bubbles_capturePhase_composed: {
-    detail: Boolean,
-    options: { bubbles: true, capturePhase: true, composed: true },
-  },
-} satisfies CustomEventConstraint;
-
-const OnlyPropsRootDoc = RootComponent()({
-  properties,
-});
-
-const onlyProperties = DefineComponent({
-  name: "test",
-  rootComponent: OnlyPropsRootDoc,
-});
-
-// 1. 类型为typeof OnlyPropsRootDoc加前缀(组件名)
-type OnlyPropertiesExpected = {
-  properties: {
-    test_optionalObj?: Mock_User;
-    test_optionalObjOrNull?: Mock_User | null;
-    test_str: string;
-    test_obj: Mock_User;
-  };
-};
-
-Checking<typeof onlyProperties, OnlyPropertiesExpected, Test.Pass>;
-
-const OnlyCustomEventsRootDoc = RootComponent()({
-  customEvents,
-});
-
-const compOnlyCustomEvents = DefineComponent({
-  name: "test",
-  rootComponent: OnlyCustomEventsRootDoc,
-});
-
-// 2 rootComponent中只有customEvents字段时 加前缀(组件名) 无properties字段
-type CompOnlyCustomEventsExpected = {
-  events: {
-    test_str: string;
-    test_null: null;
-    test_unionStr: "male" | "female";
-    test_list: string | 0 | 1 | 2 | null;
-    test_bubbles: string | Bubbles;
-    test_capturePhase: null | Capture;
-    test_bubbles_capturePhase: string | number | BubblesCapture;
-    test_bubbles_composed: "male" | "female" | BubblesComposed;
-    test_capturePhase_composed: string | 0 | 1 | 2 | CaptureComposed | null;
-    test_bubbles_capturePhase_composed: boolean | BubblesCaptureComposed;
-  };
-};
-//     test_str: string;
-//     test_null: null;
-//     test_bubbles: string | Bubbles;
-//     test_capturePhase: Capture | null;
-//     test_list: string | 0 | 1 | 2 | null;
-//     test_bubbles_capturePhase: string | number | BubblesCapture;
-//     test_bubbles_composed: BubblesComposed | "male" | "female";
-//     test_capturePhase_composed: string | 0 | 1 | 2 | CaptureComposed | null;
-//     test_bubbles_capturePhase_composed: boolean | BubblesCaptureComposed;
-//     test_unionStr: "male" | "female";
-// };
-Checking<typeof compOnlyCustomEvents, CompOnlyCustomEventsExpected, Test.Pass>;
-
-const rootComponent = RootComponent()({
-  properties,
-  customEvents,
-});
-// 3. properties和customEvents字段都有时
-const compDoc = DefineComponent({
-  name: "test",
-  rootComponent,
-});
-
-Checking<typeof compDoc, ComputeIntersection<CompOnlyCustomEventsExpected & OnlyPropertiesExpected>, Test.Pass>;
-
-type SubA = SubComponentDefinition<{
-  composedEvents: {
-    str: string | Bubbles | Composed;
-    num: number | Capture | Composed;
-    null: null | Bubbles | Capture | Composed;
-  };
-}>;
-
-const customEventsRootDoc = DefineComponent({
-  name: "test",
-  subComponents: [{} as SubA],
-});
-
-// 4 子组件返回的事件类型是必带Composed的
-type customEventsRootDocExpect = {
-  events: {
-    test_str: string | Bubbles | Composed;
-    test_num: number | Capture | Composed;
-    test_null: null | Bubbles | Capture | Composed;
-  };
-};
-
-Checking<typeof customEventsRootDoc, customEventsRootDocExpect, Test.Pass>;
-
-type SubB = SubComponentDefinition<{
-  composedEvents: {
-    str: number | Bubbles | Composed;
-    num: string | Capture | Composed;
-    null: boolean | Bubbles | Capture | Composed;
-  };
-}>;
-
-//
-const WhenSameKeyOfCustomEventsRootDoc = DefineComponent({
-  name: "test",
-  subComponents: [{} as SubA, {} as SubB],
-});
-
-// 5 子组件中存在相同自定义事件字段时,类型联合
-type WhenSameKeyOfCustomEventsRootDocExpect = {
-  events: {
-    test_str: string | number | Bubbles | Composed;
-    test_num: string | number | Capture | Composed;
-    test_null: boolean | Bubbles | Capture | Composed | null;
-  };
-};
-
-Checking<typeof WhenSameKeyOfCustomEventsRootDoc, WhenSameKeyOfCustomEventsRootDocExpect, Test.Pass>;
-
-type RootDocCatch = RootComponentDefinition<{
-  events: {
-    aaa_str_bubbles_catch: () => void;
-  };
-}>;
-
-const whenRootDocCatch = DefineComponent({
-  name: "test",
-  rootComponent: {} as RootDocCatch,
-  subComponents: [{} as SubA],
-});
-
-// 6 根组件有阻止(catch)子组件事件时(子组件aaa的str事件是阻止事件,不会被继续传递),去除对应的事件
-type whenRootDocCatchExpect = {
-  events: {
-    // 少了str事件
-    test_num: number | Composed | Capture;
-    test_null: Bubbles | Composed | Capture | null;
-  };
-};
-
-Checking<typeof whenRootDocCatch, whenRootDocCatchExpect, Test.Pass>;
-
-// 7 根组件和子组件都没有事件和properties时 返回组件类型为 {}
-const ComponetDoc = DefineComponent({
-  name: "test",
-  rootComponent: {},
-  subComponents: [],
-});
-
-Checking<typeof ComponetDoc, {}, Test.Pass>;
-
-// 8 自定义事件文档类型与定义的类型相同
-const rootComponent8 = RootComponent()({
-  customEvents: {
-    // 减少商品
-    decrease: Object as DetailedType<Mock_User>,
-  },
-});
-
-Checking<(typeof rootComponent8)["customEvents"]["decrease"], Mock_User, Test.Pass>;
-
-const subA = SubComponent<RootComponentDefinition, { properties: { subA_num: number } }>()({});
-// SubComponent中计算属性字段函数若不写返回值,会造成结果中没有计算属性字段类型,若没有其他字段,结果就为'{}'
-const subB = SubComponent<RootComponentDefinition, { properties: { subB_str: string } }>()({
-  computed: {
-    subB_str() {
-      return this.data.injectStr;
-    },
-  },
-});
-const c = {};
-DefineComponent({
-  name: "test",
-  //  subA 应该报错 但当前不会报错,因为c的类型是{},引起subA不报错
-  subComponents: [subA, c],
-});
-
-DefineComponent({
-  name: "test",
-  // @ts-expect-error 缺少必传的字段subB_str 正常报错
-  subComponents: [subA, subB],
-});

package/src/api/DefineComponent/returnType/test/normalPageDoc.test.ts

@@ -1,49 +0,0 @@
-/* eslint-disable @typescript-eslint/no-unused-vars */
-import { Checking, type Test } from "hry-types";
-import { type DetailedType, RootComponent } from "../../../..";
-
-import type { Mock_User } from "../../../RootComponent/Properties/test/normalRequired.test";
-import { DefineComponent } from "../..";
-
-const OnlyPropsRootDoc = RootComponent()({
-  isPage: true,
-  properties: {
-    str: String,
-    obj: Object as DetailedType<Mock_User>,
-    optionalObj: {
-      type: Object as DetailedType<Mock_User>,
-      value: {} as Mock_User,
-    },
-    optionalObjOrNull: {
-      type: Object as DetailedType<Mock_User | null>,
-      value: null,
-    },
-  },
-});
-
-const compDocOnlyProperties = DefineComponent({
-  path: "/pages/index/index",
-  rootComponent: OnlyPropsRootDoc,
-});
-
-// 1 页面时返回的propertiesDoc无前缀
-type CompDocOnlyPropertiesExpected = {
-  path: "/pages/index/index";
-  properties: {
-    optionalObj?: Mock_User;
-    optionalObjOrNull?: Mock_User | null;
-    str: string;
-    obj: Mock_User;
-  };
-};
-
-void Checking<typeof compDocOnlyProperties, CompDocOnlyPropertiesExpected, Test.Pass>;
-
-// 2 页面类型不受subComponents是[never,never]时影响
-const whenSubIsAllNever = DefineComponent({
-  path: "/pages/index/index",
-  rootComponent: OnlyPropsRootDoc,
-  subComponents: [{} as never, {} as never],
-});
-
-void Checking<typeof whenSubIsAllNever, CompDocOnlyPropertiesExpected, Test.Pass>;

package/src/api/InstanceInject/inject.ts

@@ -1,36 +0,0 @@
-/* eslint-disable @typescript-eslint/no-unused-vars */
-import { observable, runInAction } from "mobx";
-
-// 注入的响应式数据;
-const themeStore = observable({ theme: wx.getSystemInfoSync().theme });
-
-wx.onThemeChange((Res) => {
-  runInAction(() => {
-    themeStore.theme = Res.theme;
-  });
-});
-
-// 注入的方法;
-function injectMethod(data: string) {
-  return data;
-}
-
-const data = {
-  injectStr: "injectStr",
-};
-const methods = {
-  injectMethod,
-};
-const store = {
-  injectTheme: () => themeStore.theme,
-};
-
-// 声明注入类型 js开发可以忽略
-declare module "../.." {
-  interface IInjectInfo {
-    [key: string]: unknown;
-    data: typeof data;
-    store: typeof store;
-    methods: typeof methods;
-  }
-}

package/src/api/InstanceInject/instanceConfig.ts

@@ -1,50 +0,0 @@
-import type { IfEquals } from "hry-types/src/Any/IfEquals";
-import type { ComputeIntersection } from "hry-types/src/Object/ComputeIntersection";
-import type { ReturnTypeInObject } from "hry-types/src/Object/ReturnTypeInObject";
-import type { WMComponentOption } from "../../types/OfficialTypeAlias";
-import type { DataConstraint } from "../RootComponent/Data/DataConstraint";
-import type { MethodsConstraint } from "../RootComponent/Methods/MethodsConstraint";
-import type { StoreConstraint } from "../RootComponent/Store/StoreConstraint";
-
-export type InjectKey = "options" | "methods" | "data" | "store" | "behaviors";
-// 利用继承的多态性 使得IInjectInfo类型可由使用者外部定义
-interface BaseInjectInfo {
-  [key: string]: unknown;
-  options?: WMComponentOption;
-  methods?: MethodsConstraint;
-  data?: DataConstraint;
-  store?: StoreConstraint;
-  behaviors?: string[];
-}
-
-export interface IInjectInfo extends BaseInjectInfo {
-}
-
-export type IInjectAllData = IfEquals<
-  {},
-  injectData & IInjectStore,
-  {},
-  ComputeIntersection<injectData & IInjectStore>
->;
-
-type injectData = DataConstraint extends IInjectInfo["data"] ? {} : IInjectInfo["data"];
-
-export type IInjectStore = StoreConstraint extends IInjectInfo["store"] ? {}
-  : ReturnTypeInObject<IInjectInfo["store"]>;
-
-export type IInjectMethods = MethodsConstraint extends IInjectInfo["methods"] ? {} : IInjectInfo["methods"];
-
-/**
- * 实例配置接口
- */
-class InstanceConfig {
-  private info: { injectInfo?: IInjectInfo } = {};
-  public get injectInfo() {
-    return this.info.injectInfo;
-  }
-  public setInjectInfo(info: IInjectInfo | undefined) {
-    if (info) this.info.injectInfo = info;
-  }
-}
-
-export const instanceConfig = new InstanceConfig();

package/src/api/InstanceInject/test/normal.test.ts

@@ -1,41 +0,0 @@
-/* eslint-disable @typescript-eslint/no-unused-expressions */
-import { Checking, type Test } from "hry-types";
-import { RootComponent } from "../../RootComponent";
-
-// 1. 注入字段无重复时
-RootComponent()({
-  methods: {
-    testInjectTypes() {
-      Checking<typeof this.data.injectStr, string, Test.Pass>;
-
-      Checking<typeof this.data.injectTheme, "dark" | "light" | undefined, Test.Pass>;
-
-      Checking<typeof this.injectMethod, (data: string) => string, Test.Pass>;
-    },
-  },
-});
-
-// 2. 注入字段重复时,自身覆盖注入类型
-RootComponent()({
-  data: {
-    // 覆盖注入的数据类型
-    injectStr: 123,
-  },
-  store: {
-    // 覆盖注入的数据类型
-    injectTheme: (() => "aaa") as () => "aaa",
-  },
-  methods: {
-    // 覆盖注入的方法类型
-    injectMethod() {
-      return 123;
-    },
-    testInjectTypes() {
-      Checking<typeof this.data.injectStr, number, Test.Pass>;
-
-      Checking<typeof this.data.injectTheme, "aaa", Test.Pass>;
-
-      Checking<typeof this.injectMethod, () => 123, Test.Pass>;
-    },
-  },
-});

package/src/api/RootComponent/Computed/ComputedConstraint.ts

@@ -1,4 +0,0 @@
-/**
- * RootComponent API Computed 字段约束
- */
-export type ComputedConstraint = Record<string, () => void>;

package/src/api/RootComponent/Computed/ComputedOption.ts

@@ -1,35 +0,0 @@
-import type { DuplicateFieldValidator } from "hry-types/src/Generic/DuplicateFieldValidator";
-
-import type { ComputedConstraint } from "./ComputedConstraint";
-
-export type ComputedOption<
-  TComputed extends ComputedConstraint,
-  CompareKeys extends PropertyKey,
-> = {
-  /**
-   * computed字段
-   * @remarks
-   *
-   * 函数体内,可通过this.data获取实例其他数据(依赖),setData发生时,若数据(依赖)发生变化则重新运行函数体并setData。
-   *
-   * 带重复字段检测(与properties、data、store字段比较)
-   *
-   * @example
-   *
-   * ```ts
-   * {
-   *  data:{
-   *     count:1
-   *  },
-   *  computed:{
-   *     return this.data.count + 1
-   *  }
-
-   * }
-   *
-   * ```
-   */
-  computed?:
-    & TComputed
-    & DuplicateFieldValidator<TComputed, CompareKeys>;
-};

package/src/api/RootComponent/Computed/GetComputedDef.ts

@@ -1,10 +0,0 @@
-import type { ComputedConstraint } from "./ComputedConstraint";
-
-/**
- * 获取computed字段文档类型
- * @param T - ComputedConstraint
- * @returns object
- */
-export type GetComputedDef<TComputed extends ComputedConstraint> = {
-  [k in keyof TComputed]: ReturnType<TComputed[k]>;
-};

package/src/api/RootComponent/Computed/test/GetComputedDoc.test.ts

@@ -1,25 +0,0 @@
-/* eslint-disable @typescript-eslint/no-unused-expressions */
-import { Checking, type Test } from "hry-types";
-import type { GetComputedDef } from "../GetComputedDef";
-
-// test1 非空对象字段
-
-type Test1 = GetComputedDef<{
-  a: () => number;
-  b: () => string;
-  c: () => "male" | "femal";
-}>;
-
-type Test1Expected = {
-  a: number;
-  b: string;
-  c: "male" | "femal";
-};
-
-Checking<Test1, Test1Expected, Test.Pass>;
-
-// test2 空对象字段 返回空
-
-type Test2 = GetComputedDef<{}>;
-
-Checking<Test2, {}, Test.Pass>;

package/src/api/RootComponent/Computed/test/error.test.ts

@@ -1,50 +0,0 @@
-import { RootComponent } from "../..";
-
-// 1 重复字段
-RootComponent()({
-  properties: {
-    str: String,
-  },
-  data: {
-    num: 123,
-  },
-  computed: {
-    // @ts-expect-error '与properties字段重复'
-    str(): string {
-      return "与properties字段重复";
-    },
-    // @ts-expect-error "与data字段重复"
-    num(): string {
-      return "与data字段重复";
-    },
-  },
-});
-
-// 2 循环引用
-RootComponent()({
-  computed: {
-    // @ts-expect-error  相互引用
-    str() {
-      // @ts-expect-error 相互引用
-      return this.data.num;
-    },
-    // @ts-expect-error 相互引用
-    num() {
-      // @ts-expect-error 相互引用
-      return this.data.str;
-    },
-  },
-});
-// 3 、实例上不存在的字段应该报错
-RootComponent()({
-  computed: {
-    str(): number {
-      // @ts-expect-error 不存在的字段
-      return this.data.numd;
-    },
-    other(): string {
-      // @ts-expect-error 不存在的字段
-      return this.func;
-    },
-  },
-});