Function useClientNotificationState

useClientNotificationState<S, T>(
    method: string,
    initial: S,
    f: (state: S, params: T) => S,
    deps?: DependencyList,
): [S, Dispatch<SetStateAction<S>>]
Like useServerNotificationState but for client->server notifications sent by the editor.
Type Parameters
- S
- T
Parameters
- method: string
- initial: S
- f: (state: S, params: T) => S
- Optionaldeps: DependencyList
Returns [S, Dispatch<SetStateAction<S>>]
- Defined in lean4-infoview/src/infoview/util.ts:176