Function useServerNotificationState

useServerNotificationState<S, T>(
    method: string,
    initial: S,
    f: (params: T) => Promise<(state: S) => S>,
    deps?: DependencyList,
): [S, Dispatch<SetStateAction<S>>]
Returns the same tuple as setState such that whenever a server notification with method arrives at the editor, the state will be updated according to f.
Type Parameters
- S
- T
Parameters
- method: string
- initial: S
- f: (params: T) => Promise<(state: S) => S>
- Optionaldeps: DependencyList
Returns [S, Dispatch<SetStateAction<S>>]
- Defined in lean4-infoview/src/infoview/util.ts:139