Module read_file

Structs§

BatchProgress: Progress tracking for batch reads.
BatchReadArgs: Batch read request for reading multiple files or ranges in parallel.
BatchReadRequest: A single file read request within a batch.
BatchReadResult: Result for a single file read in batch mode.
IndentationArgs: Additional configuration for indentation-aware reads.
RangeResult: Result for a single range read.
ReadFileArgs: JSON arguments accepted by the read_file tool handler.
ReadFileHandler
ReadRange: A range specification for reading.