import { Context } from './app'; export interface ReduxAction { type: string; payload: Payload; extraArgs: any[]; } export type Action = ( state: State, payload: Payload, ...extraArgs: any[] ) => State | void; export interface Actions { [key: string]: Action | Actions; } // eslint-disable-next-line @typescript-eslint/no-empty-interface export interface ModelDescOptions {} // eslint-disable-next-line @typescript-eslint/no-unused-vars export interface ModelDesc { /** * Unique name */ name: string; /** * Model state */ state: State; /** * Model computed properties */ computed?: Computed; /** * Model actions, it's a pure function with no effect */ actions?: Actions; } export interface DispatchActions { [key: string]: ((payload: any) => ReduxAction) | DispatchActions; } export type Model = { (name: string): any; _: Omit; // model name _name: string; }; type Merge, K extends string> = { [key in keyof T as K]: T[key]; }; type UnionToIntersection = ( U extends any ? (arg: U) => any : never ) extends (arg: infer I) => void ? I : never; /** * GetActions * A type hook to resolve actions type from Model */ export interface GetActions { actions: ExtractDispatchActions; } /** * GetState * A type hook to resolve state type from Model */ export interface GetState { state: M['_']['state']; } export interface Computed { [key: string]: | ((state: State) => any) | [...s: Model[], selector: (state: State, ...args: any) => any]; } type GetComputedFromArray = A extends { _: object } ? never : A extends (...args: any) => infer R ? R : any; /** * GetComputed * A type hook to resolve computed type from Model */ export interface GetComputed { computed: { [K in keyof C]: C[K] extends (...args: any[]) => infer R ? R : C[K] extends Array ? GetComputedFromArray : K; }; } export type GetModelState = GetComputed['computed'] extends Record ? UnionToIntersection< | Merge, 'state'>['state'] | Merge, 'computed'>['computed'] > : Merge, 'state'>['state']; export type GetModelActions = UnionToIntersection< Merge, 'actions'>['actions'] >; export type MountedModel = { name: string; state: GetModelState; actions: GetModelActions; modelDesc: ModelDesc; }; /** * Extract action dispatcher from model actions define info * @example * * before * { * actions: { * a: (state: State, payload: string) => {} * } * } * * after * { * actions: { * a: (payload: string) => {}; * } * } */ type ExtractDispatchActions = Actions> = { [key in keyof A]: A[key] extends Actions ? ExtractDispatchActions : A[key] extends () => any ? () => ReduxAction : A[key] extends (S: any, ...args: infer S) => any ? (...args: S) => ReduxAction : never; }; type ModelType = Model; // eslint-disable-next-line @typescript-eslint/ban-types type ExcludeEmpty = T extends infer P & {} ? P : T; type NeededUnionType = T[number]; type GetModelsState = ExcludeEmpty< UnionToIntersection< NeededUnionType<{ [Index in keyof Models]: MountedModel['state']; }> > >; type GetModelsAction = Models extends [ infer Head, ...infer Tail, ] ? (Head extends Model ? UnionToIntersection, 'actions'>['actions']> : Record) & (Tail extends Model[] ? GetModelsAction : Record) : Record; type GetModelsStateTuple< Models extends ModelType[], U extends any[] = [], > = Models extends [infer Head, ...infer Tail] ? Head extends ModelType ? Tail extends ModelType[] ? GetModelsStateTuple]> : [...U, GetModelsState<[Head]>] : U : U; type GetModelsActionsTuple< Models extends ModelType[], U extends any[] = [], > = Models extends [infer Head, ...infer Tail] ? Head extends ModelType ? Tail extends ModelType[] ? GetModelsActionsTuple]> : [...U, GetModelsAction<[Head]>] : U : U; export interface UseModel { // useModel(aModel, bModel); (...models: Models): [ GetModelsState, GetModelsAction, ReturnType, ]; // useModel([AModel, BModel]); (models: [...Models]): [ GetModelsState, GetModelsAction, ReturnType, ]; // useModel(Amodel, BModel, ..., stateSelector, actionsSelector) < Models extends Model[], StateSelector extends (...args: GetModelsStateTuple) => any, ActionSelector extends (...args: GetModelsActionsTuple) => any, >( ...arg: [...models: Models, s?: StateSelector, a?: ActionSelector] ): [ StateSelector extends (...args: any[]) => infer S ? S : never, ActionSelector extends (...args: any[]) => infer S ? S : never, ReturnType, ]; // useModel(Amodel, BModel, ..., stateSelector) < Models extends Model[], StateSelector extends (...args: GetModelsStateTuple) => any, >( ...models: [...Models, StateSelector] ): [ StateSelector extends (...args: any[]) => infer S ? S : never, GetModelsAction, ReturnType, ]; // useModel([Amodel, BModel, ...], stateSelector, actionsSelector) < Models extends Model[], StateSelector extends (...args: GetModelsStateTuple) => any, ActionSelector extends (...args: GetModelsActionsTuple) => any, >( models: [...Models], s?: StateSelector, a?: ActionSelector, ): [ StateSelector extends (...args: any[]) => infer S ? S : never, ActionSelector extends (...args: any[]) => infer S ? S : never, ReturnType, ]; // useModel([Amodel, BModel, ...], stateSelector) < Models extends Model[], StateSelector extends (...args: GetModelsStateTuple) => any, >( models: [...Models], s?: StateSelector, ): [ StateSelector extends (...args: any[]) => infer S ? S : never, GetModelsAction, ReturnType, ]; } export type OnMountHook = (handler: () => void) => void;