/**
 * What a visit shows whoever it asks, a model or a person: each address of
 * its `reads:` as a named section, and `diff`, taken when the visit starts.
 */
import type { Shown } from "../../ask.ts";
import type { GitResult } from "../../git/index.ts";
import type { CheckedRead } from "../checked.ts";
import type { Values } from "./values.ts";
import type { Here } from "./walk.ts";
/** A read as it is shown: its address, its value as a text, and whether that text is JSON. */
export type ShownRead = Shown & {
    readonly json: boolean;
};
/**
 * `read` as it is shown, or `undefined` for `<loop>.previous` on a first
 * iteration, which has nothing to show. Text, and a value typed `string`,
 * goes as it is: `input: string` is what a person typed, and a JSON string
 * with its quotes and escaped newlines would change how it reads. Any other
 * value is JSON, and so is a node that failed, the shape a block's failed
 * branch has. An optional field left out still gets its section, empty: the
 * runner writes no "(empty)" of its own.
 */
export declare function showRead(read: CheckedRead, values: Values): ShownRead | undefined;
/**
 * `here`, with `diff` lent when `reads` names it, or why it could not be
 * read. It is taken now, in the visit's own tree: the one address whose value
 * depends on when and where it is read.
 */
export declare function withDiff(diff: (tree: string | undefined) => Promise<GitResult<string>>, reads: readonly CheckedRead[], here: Here): Promise<Here | string>;
//# sourceMappingURL=reads.d.ts.map