import type { LinearModel, LinearPath, ScalarKind } from '../linearization/ipld.js';
import type { MergeFn, WitnessElement, MerkleTree } from './merkle-tree.js';
import type { NonEmptyArray, Opaque } from 'ts-essentials';
/**
 * Hash function over an IPLD scalar kind.
 */
type ScalarHashFn<TDigest> = (input: ScalarKind) => TDigest;
export type Element<TDigest> = {
    scalar: ScalarKind;
    labelDigest: TDigest;
    digest: TDigest;
    index: number;
};
export type MerkleMapWitness<TNode> = NonEmptyArray<WitnessElement<TNode>>;
export type WitnessLength = Opaque<number, 'witness-length'>;
export declare class MerkleMap<TDigest> {
    #private;
    readonly tree: MerkleTree<TDigest>;
    constructor(inner: Map<LinearPath, Element<TDigest>>, tree: MerkleTree<TDigest>);
    get witnessLength(): WitnessLength;
    get height(): number;
    get root(): TDigest;
    witness(path: LinearPath): MerkleMapWitness<TDigest>;
    inner(path: LinearPath): Element<TDigest> | undefined;
    digestOrThrow(path: LinearPath): TDigest;
    digest(path: LinearPath): TDigest | undefined;
    get(path: LinearPath): ScalarKind | undefined;
}
export declare class MerkleMapFactory<TDigest> {
    private readonly hashFn;
    private readonly merkleTreeFactory;
    constructor(hashFn: ScalarHashFn<TDigest>, zero: TDigest, mergeFn: MergeFn<TDigest>);
    fromLinearModel(linearModel: LinearModel): MerkleMap<TDigest>;
}
export {};