react-kiwi-dropdown
Version:
A minimal, easy-to-use and highly adjustable dropdown component made with ReactJS.
9 lines (8 loc) • 377 B
TypeScript
import { CancellationToken } from './CancellationToken';
import { NormalizedMessage } from './NormalizedMessage';
export interface IncrementalCheckerInterface {
nextIteration(): void;
getDiagnostics(cancellationToken: CancellationToken): Promise<NormalizedMessage[]>;
hasLinter(): boolean;
getLints(cancellationToken: CancellationToken): NormalizedMessage[];
}