File size: 923 Bytes
68d7816 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 | import { createDecorator, type ServiceIdentifier } from '#/_base/di/instantiation';
import type { ScopeSeed } from '#/_base/di/scope';
import type { Event } from '#/_base/event';
import type { WatchChange } from '#human/utils/watch';
export interface ISessionInstructionsProvider {
readonly _serviceBrand: undefined;
readonly ready: Promise<void>;
readonly agentsMd: string | undefined;
readonly agentsMdWarning: string | undefined;
readonly agentsMdPaths: readonly string[] | undefined;
readonly onDidChange: Event<readonly WatchChange[]>;
}
export const ISessionInstructionsProvider: ServiceIdentifier<ISessionInstructionsProvider> =
createDecorator<ISessionInstructionsProvider>('sessionInstructionsProvider');
export function sessionInstructionsProviderSeed(
provider: ISessionInstructionsProvider,
): ScopeSeed {
return [[ISessionInstructionsProvider as ServiceIdentifier<unknown>, provider]];
}
|