Function useClientNotificationEffect

useClientNotificationEffect<T>(
    method: string,
    f: (params: T) => void,
    deps?: DependencyList,
): void
Type Parameters
- T
Parameters
- method: string
- f: (params: T) => void
- Optionaldeps: DependencyList
Returns void
- Defined in lean4-infoview/src/infoview/util.ts:152