aoye 0.0.22 → 0.0.24

package/dist/index.d.ts

@@ -1,7 +1,7 @@
-import { Queue, QueueItem, SubQueue } from 'bobe-shared';
-
-declare enum State {
+declare const enum State {
     Clean = 0,
+    /** Computed 首屏时一定要执行 */
+    IsEffect = 512,
     /** watch 节点执行 watcher 时只连接 scope */
     LinkScopeOnly = 256,
     /** 仅用于 scope 节点是否 abort */
@@ -11,50 +11,105 @@ declare enum State {
     /** 当前节点是 scope 节点 */
     IsScope = 32,
     /** 当前节点正在 pull 递归中标记为 dirty, 保证 pulling 过程中不影响 dirty 传播 */
-    PullingDirty = 16,
+    PullingNeedCompute = 16,
     /** 当前节点正在 pull 递归中标记为 unknown, 保证 pulling 过程中不影响 dirty 传播 */
     PullingUnknown = 8,
     /** 当前节点可能变化 */
     Unknown = 4,
-    /** 当前节点有变化 */
-    Dirty = 2,
-    /** 当前节点正在进行 pull 预检处理 */
-    Pulling = 1
+    /** 节点需要重新计算 */
+    NeedCompute = 2,
+    /** 给正在拉取的节点上 PullLock 锁 */
+    PullLock = 1
 }
 
-declare class Line {
-    static link(v1: Signal, v2: Signal): void;
-    static unlink(line: Line): void;
-    static unlinkRec(line: Line): void;
-    static unlinkEmit(line: Line): void;
-    /** 上游节点 连 link */
-    static emit_line(upstream: Signal, line: Line): void;
-    /** 下游节点 连 link */
-    static rec_line(downstream: Signal, line: Line): void;
-    /** 同一节点发出的 两个条线 相连 */
-    static line_line_emit(l1: Line, l2: Line): void;
-    /** 同一节点接收的 两个条线 相连 */
-    static line_line_rec(l1: Line, l2: Line): void;
-    static insert_line_emit(l1: Line, l2: Line, ins: Line): void;
-    static insert_line_rec(l1: Line, l2: Line, ins: Line): void;
-    /** 上游顶点 */
-    upstream: Signal;
-    /** 上游节点 发出的上一条线 */
-    prevEmitLine: Line;
-    /** 上游节点 发出的下一条线 */
-    nextEmitLine: Line;
-    /** 下游顶点 */
-    downstream: Signal;
-    /** 下游节点 接收的上一条线 */
-    prevRecLine: Line;
-    /** 下游节点 接收的下一条线 */
-    nextRecLine: Line;
-    /** 表示 scope 当前存在的 外部 link  */
-    prevOutLink: any;
-    nextOutLink: any;
-    constructor();
+declare class Signal<T = any> {
+    value: T;
+    scope: Effect | Scope;
+    emitHead: Link;
+    emitTail: Link;
+    state: State;
+    constructor(value: T);
+    get(shouldLink?: boolean): T;
+    set(v: T): void;
+}
+
+type SignalNode = Partial<Signal & Effect & Scope & Computed>;
+type Link = {
+    execId: number;
+    up: SignalNode;
+    down: SignalNode;
+    nextEmitLine: Link;
+    prevEmitLine: Link;
+    nextRecLine: Link;
+    prevRecLine: Link;
+};
+type OutLink = Link & {
+    nextOutLink: OutLink;
+    prevOutLink: OutLink;
+};
+type SideEffect = Effect | Computed;
+
+declare class Scope {
+    callback: () => any;
+    emitHead: Link;
+    emitTail: Link;
+    recHead: Link;
+    recTail: Link;
+    state: number;
+    scope: Effect | Scope;
+    outLink: OutLink;
+    clean?: () => void;
+    constructor(callback: () => any);
+    get(shouldLink?: boolean): void;
+}
+interface Scope {
+    dispose(): void;
+}
+
+declare class Effect {
+    callback: (thisArg: SignalNode) => any;
+    emitHead: Link;
+    emitTail: Link;
+    recHead: Link;
+    recTail: Link;
+    state: number;
+    scope: Effect | Scope;
+    outLink: OutLink;
+    clean: () => void;
+    constructor(callback: (thisArg: SignalNode) => any);
+    get(shouldLink?: boolean, notForceUpdate?: boolean): void;
+}
+interface Effect {
+    dispose(): void;
 }
 
+declare class Computed<T = any> {
+    callback: (thisArgs: SignalNode) => T;
+    emitHead: Link;
+    emitTail: Link;
+    recHead: Link;
+    recTail: Link;
+    state: State;
+    scope: Effect | Scope;
+    value: T;
+    constructor(callback: (thisArgs: SignalNode) => T);
+    get(shouldLink?: boolean, notForceUpdate?: boolean): T;
+}
+
+declare const batchStart: () => number;
+declare const batchEnd: () => void;
+declare function clean(onClean: () => any): void;
+
+declare const execIdInc: () => number;
+/** effect、computed 回调执行的唯一 id
+ * 用于判断重复依赖属于同一 effect、effect、computed
+ */
+declare const execId: () => number;
+declare const setExecId: (v: number) => number;
+declare const setPulling: (v: SignalNode) => any;
+declare const getPulling: () => any;
+declare function runWithPulling<T extends (...args: any[]) => any>(fn: T, scope: any): ReturnType<T>;
+
 type SignalType = 'ref' | 'auto' | 'proxy';
 declare enum Keys {
     Iterator = "__AOYE_ITERATOR",
@@ -79,38 +134,6 @@ type CreateTaskProps = {
     callbackAble: (fn: Function) => any;
     aIsUrgent: (a: Task, b: Task) => boolean;
 };
-type ScheduleHandler = (effects: Queue<Signal>) => any;
-type SignalOpt<T> = {
-    customPull?: () => T;
-    scheduler?: string;
-    isScope?: boolean;
-    scope?: Signal;
-    immediate?: boolean;
-};
-type Vertex = {
-    /** 上游来的最后一条线 */
-    recEnd: Line;
-    recStart: Line;
-    /** 向下游发出的最后一条线 */
-    emitEnd: Line;
-    emitStart: Line;
-};
-type DFSCtxBegin = {
-    node: Signal;
-    lineFromUp: Line;
-    walkedLine: Line[];
-    notGoDeep?: boolean;
-};
-type DFSCtxCompete = {
-    node: Signal;
-    lineToDeep: Line;
-    walkedLine: Line[];
-    notGoDeep?: boolean;
-};
-type Getter<T = any> = {
-    (): T;
-    ins?: Signal;
-};
 type Mix<T = any> = {
     (v: T): void;
     (): T;
@@ -135,115 +158,6 @@ type PRecord<K extends string | symbol | number, V> = Partial<Record<K, V>>;
 type DeepValue<T, P> = P extends [infer Head, ...infer Tail] ? Head extends keyof T ? Tail extends [] ? T[Head] : DeepValue<T[Head], Tail> : never : never;
 type MatchValue<V1, T2, P2> = (DeepValue<T2, P2> extends V1 ? P2 : never);
 
-declare class Signal<T = any> implements Vertex {
-    nextValue: T;
-    /** 为什么是 shallow，因为 pullDeep 会把
-     * 上游节点 get 执行完成，让其可以直接拿到缓存值
-     */
-    private customPull?;
-    version: number;
-    id: number;
-    state: State;
-    /** 当前节点创建时处于的 effect 就是 scope */
-    scope: Signal;
-    recEnd: Line;
-    recStart: Line;
-    emitStart: Line;
-    emitEnd: Line;
-    scheduler: string;
-    value: T;
-    outLink: Line;
-    static Pulling: Signal;
-    pull: () => T;
-    constructor(nextValue: T, 
-    /** 为什么是 shallow，因为 pullDeep 会把
-     * 上游节点 get 执行完成，让其可以直接拿到缓存值
-     */
-    customPull?: () => T);
-    static create<T>(nextValue: T, { customPull, isScope, scope, immediate, ...rest }: SignalOpt<T>): Signal<T>;
-    DEFAULT_PULL(): T;
-    /**
-     * 递归拉取负责建立以来链
-     */
-    pullRecurse(shouldLink?: boolean): T;
-    linkWhenPull(downstream: Signal, shouldLink: boolean): void;
-    pullDeep(): T;
-    get v(): T;
-    markDownStreamsDirty(): void;
-    set v(v: T);
-    scheduleEffect(): void;
-    /** 返回值为 true 表示已处理 */
-    runIfDirty(): void;
-    isDisabled(): number;
-    /** 记录当前 effect 中 clean */
-    clean: () => void;
-}
-declare function batchStart(): void;
-declare function batchEnd(): void;
-
-declare const deepSignal: <T>(target: T, scope: Signal, deep?: boolean) => any;
-/**
- * 将 from 响应式对象中 fromKey 对应的 Signal
- * 共享给 to 响应式对象的 toKey
- */
-declare const shareSignal: (from: any, fromPath: string, to: any, toPath: string) => void;
-
-declare abstract class Scheduler {
-    static Sync: string;
-    static Layout: string;
-    static Micro: string;
-    static Macro: string;
-    effectQueue: Queue<Signal>;
-    /** 每当 Set 或 BatchSet 开始时标记 */
-    firstEffectItem: QueueItem<Signal>;
-    /** 记录 Set 或 BatchSet 产生的最后一个 Effect */
-    lastEffectItem: QueueItem<Signal>;
-    endSet(): void;
-    addEffect(effect: Signal): QueueItem<Signal<any>>;
-    /**
-     * 用户可实现
-     * 一个 effect 加入队列后的 回调
-     *  */
-    onEffectAdded(effect: Signal, item: QueueItem<Signal>, queue: Queue<Signal>): void;
-    /**
-     * 用户可实现
-     * 一次 set 操作导致的所有 effect 加入队列后的 回调
-     * */
-    onOneSetEffectsAdded(subQueue: SubQueue<Signal>, queue: Queue<Signal>): void;
-}
-declare const registerScheduler: (key: string | symbol, Ctor: new () => Scheduler) => Scheduler;
-
-declare class PriorityQueue<T> {
-    aIsUrgent: (a: T, b: T) => boolean;
-    arr: T[];
-    constructor(aIsUrgent: (a: T, b: T) => boolean);
-    _add(current: T): void;
-    add(...items: T[]): void;
-    goUp: (arr: T[], current: T, len: number) => void;
-    poll(): T;
-    goDown: (arr: T[], i: number) => void;
-    peek(): T;
-    size(): number;
-    logTree(): void;
-}
-
-/** TODO: 支持配置是否继续在同一任务中完成后续任务 */
-declare class TaskQueue {
-    callbackAble: CreateTaskProps['callbackAble'];
-    aIsUrgent: CreateTaskProps['aIsUrgent'];
-    constructor(callbackAble: CreateTaskProps['callbackAble'], aIsUrgent: CreateTaskProps['aIsUrgent']);
-    isScheduling: boolean;
-    taskQueue: PriorityQueue<Task>;
-    static create({ callbackAble, aIsUrgent }: CreateTaskProps): TaskQueue;
-    pushTask(task: Task): void;
-    scheduleTask(): boolean;
-}
-
-declare function clean(cb: () => void): void;
-declare function runWithPulling<T extends (...args: any[]) => any>(fn: T, signal: Signal | null): ReturnType<T>;
-declare function getPulling(): Signal<any>;
-declare function setPulling(pulling: Signal | null): void;
-
 declare class Store {
     static [IsStore]: boolean;
     static [StoreIgnoreKeys]: Key[];
@@ -254,42 +168,27 @@ declare class Store {
     map<P extends Store = any, O extends string = ''>(keyMap?: PRecord<keyof this, keyof Omit<P, O> | DeepOmitPath<P, O>>): void;
 }
 
+declare const ide: typeof requestIdleCallback | typeof setTimeout;
+declare const now: () => number;
+declare const macro: (fn: any) => void;
+declare const micro: (cb: () => any) => void;
 declare const toRaw: <T>(a: T) => any;
 
-declare const DefaultCustomSignalOpt: {
-    /** 三种模式
-     * 1. auto:   根据值类型自动判断 默认
-     * 2. ref:    对任何值使用 {v: xxx} 进行包装
-     * 3. proxy:  使用 proxy 进行包装
-     */
-    mode: SignalType;
-    /** 是否深度响应式 */
-    deep: boolean;
-};
+declare const deepSignal: <T>(target: T, scope: Scope, deep?: boolean) => any;
+/**
+ * 将 from 响应式对象中 fromKey 对应的 Signal
+ * 共享给 to 响应式对象的 toKey
+ */
+declare const shareSignal: (from: any, fromPath: string, to: any, toPath: string) => void;
+
+declare function $(data: any): any;
 declare const DefaultCustomEffectOpt: {
-    scheduler: string;
     immediate: boolean;
-    isScope: boolean;
 };
-type CustomSignalOpt = Partial<typeof DefaultCustomSignalOpt>;
 type CustomEffectOpt = Partial<typeof DefaultCustomEffectOpt>;
-type CreateSignal = {
-    <T extends (...args: any[]) => any>(get: T, opt?: CustomSignalOpt): Signal<ReturnType<T>>;
-    <T extends object>(value: T, opt?: CustomSignalOpt): T;
-    <T = any>(value: T, opt?: CustomSignalOpt): Signal<T>;
-};
-declare const $: CreateSignal;
-declare const effect: (customPull: (...args: ValueDiff[]) => void, depOrOpt?: Signal<any>[] | CustomEffectOpt, opt?: CustomEffectOpt) => Dispose;
-declare const scope: CreateScope;
-/**
- * 数据变化时，自定义 触发订阅函数的时机
- * @param {CustomSignalOpt} opt 配置如下:
- * @prop scheduler: (runIfDirty, effect) => void 执行 runIfDirty 定制触发 effect 时机
- * @prop scope: 用于统一释放 effect link 的作用域 默认是 defaultScope 可以全局获取
- */
-declare const customEffect: (opt?: CustomEffectOpt) => typeof effect;
-declare const isSignal: (value: unknown) => value is Signal;
-declare const isScope: (value: any) => boolean;
+declare function effectUt(callback: (...args: ValueDiff[]) => void, depOrOpt?: any[] | CustomEffectOpt, opt?: CustomEffectOpt): any;
+declare function effect(callback: (...args: ValueDiff[]) => void, depOrOpt?: any[] | CustomEffectOpt, opt?: CustomEffectOpt): any;
+declare function scope(...args: any[]): any;
 
-export { $, IsStore, Keys, Scheduler, Signal, Store, StoreIgnoreKeys, TaskQueue, batchEnd, batchStart, clean, customEffect, deepSignal, effect, getPulling, isScope, isSignal, registerScheduler, runWithPulling, scope, setPulling, shareSignal, toRaw };
-export type { CreateScope, CreateSignal, CreateTaskProps, CustomEffectOpt, CustomSignalOpt, DFSCtxBegin, DFSCtxCompete, DeepOmitPath, DeepPath, DeepValue, Dispose, Getter, Key, MatchValue, Mix, PRecord, ScheduleHandler, SignalOpt, SignalType, Task, TaskControlReturn, ValueDiff, Vertex };
+export { $, Computed, Effect, IsStore, Keys, Scope, Signal, Store, StoreIgnoreKeys, batchEnd, batchStart, clean, deepSignal, effect, effectUt, execId, execIdInc, getPulling, ide, macro, micro, now, runWithPulling, scope, setExecId, setPulling, shareSignal, toRaw };
+export type { CreateScope, CreateTaskProps, CustomEffectOpt, DeepOmitPath, DeepPath, DeepValue, Dispose, Key, Link, MatchValue, Mix, OutLink, PRecord, SideEffect, SignalNode, SignalType, Task, TaskControlReturn, ValueDiff };