Interface RangeCursor

frontend/imports/CodemirrorPlutoSetup.d.ts:1488–1515

A range cursor is an object that moves to the next range every time you call `next` on it. Note that, unlike ES6 iterators, these start out pointing at the first element, so you should call `next` only after reading the first range (if any).

only after reading the first range (if any).
*/
interface RangeCursor<T> {
    /**
    Move the iterator forward.
    */
    next(): void;
    /**
    Jump the cursor to the given position.
    */
    goto(pos: number): void;
    /**
    The next range's value. Holds `null` when the cursor has reached
    its end.
    */
    value: T | null;
    /**
    The next range's start position.
    */
    from: number;
    /**
    The next end position.
    */
    to: number;
    /**
    The position of the set that this range comes from in the array
    of sets being iterated over.
    */
    rank: number;
}
type RangeSetUpdate<T extends RangeValue> = {
    /**
    An array of ranges to add. If given, this should be sorted by