Function useEventResult

useEventResult<E, K>(ev: EventEmitter<E, K>): E | undefined
A piece of React React.useState which returns the data that ev most recently fired with. If f is provided, the data is mapped through f first.
Type Parameters
- E
- K
Parameters
- ev: EventEmitter<E, K>
Returns E | undefined
- Defined in lean4-infoview/src/infoview/util.ts:105
useEventResult<E, K, T>(
ev: EventEmitter<E, K>,
f: (newVal: E) => T,
): T | undefined
A piece of React React.useState which returns the data that ev most recently fired with. If f is provided, the data is mapped through f first.
Type Parameters
- E
- K
- T
Parameters
- ev: EventEmitter<E, K>
- f: (newVal: E) => T
Returns T | undefined
- Defined in lean4-infoview/src/infoview/util.ts:106