export type TerminalEditShortcut = "undo" | "redo"; export type ParsedTerminalModifiedKeyResult = { readonly kind: "key"; readonly key: ParsedModifiedKey; } | { readonly kind: "pending"; } | { readonly kind: "none"; }; export type TerminalEditShortcutSequenceResult = { readonly kind: "shortcut"; readonly shortcut: TerminalEditShortcut; readonly length: number; } | { readonly kind: "ignore"; readonly length: number; } | { readonly kind: "pending"; } | { readonly kind: "none"; }; interface ParsedModifiedKey { readonly codepoint: number; readonly baseLayoutKey: number | undefined; readonly modifier: number; readonly eventType: number | undefined; readonly length: number; } export declare function parseTerminalModifiedKeySequence(input: string): ParsedTerminalModifiedKeyResult; export declare function parseTerminalEditShortcutSequence(input: string): TerminalEditShortcutSequenceResult; export declare function parseTerminalInterruptSequence(input: string): { readonly kind: "interrupt"; readonly length: number; } | { readonly kind: "pending"; } | { readonly kind: "none"; }; export declare function terminalKeyIsShiftEnter(key: ParsedModifiedKey): boolean; export declare function terminalKeyIsClipboardImagePaste(key: ParsedModifiedKey): boolean; export declare function terminalKeyShouldIgnore(key: ParsedModifiedKey): boolean; export declare function terminalKeyIsEscape(key: ParsedModifiedKey): boolean; export declare function terminalKeyArrowDirection(key: ParsedModifiedKey): "up" | "down" | "right" | "left" | undefined; export declare function terminalEditShortcutForControlChar(char: string, shiftPressed: boolean): TerminalEditShortcut | undefined; export {};