structure Cursor = struct (* Prerequisite: lineGap is moved to requested idx first * todo: check if we are in a \r\n pair, but this is not a priority *) fun viL (lineGap: LineGap.t, cursorIdx) = let val {rightStrings, idx = bufferIdx, ...} = lineGap in case rightStrings of hd :: tl => let (* convert absolute cursorIdx to idx relative to hd string *) val strIdx = cursorIdx - bufferIdx in if strIdx + 1 < String.size hd then (* if there is at least one character after this idx *) let val nextChr = String.sub (hd, strIdx + 1) in (case nextChr of #"\n" => if strIdx + 2 < String.size hd then (* if there are at least two chars after strIdx *) cursorIdx + 2 else (* only one char after strIdx which is \n * if there is a string at the tl, can increment by 2 *) (case tl of _ :: _ => cursorIdx + 2 | [] => cursorIdx + 1) | _ => cursorIdx + 1) end else (* no chars after this idx; have to check tl *) (case tl of tlhd :: tltl => (* if there is another string after current head, we can increment cursorIdx * however, first we need to check if next char is \n. *) let val nextChr = String.sub (tlhd, 0) in (case nextChr of #"\n" => if String.size tlhd > 2 then (* if there is at least one character after \n * then increment cursorIdx by 2 *) cursorIdx + 2 else (* this string only contains \n * but there is a small possibility tltl * contains another string. * If it does, we can increment cursorIdx by 2, * moving past newline. * If not, increment cursorIdx by 1, * landing on newline. *) (case tltl of tltlhd :: _ => cursorIdx + 2 | [] => cursorIdx + 1) | _ => (* next char is not newline, * so we can just increment by 1 *) cursorIdx + 1) end | [] => (* if there is no string after current head, return original cursorIdx *) cursorIdx) end | [] => (* return original cursorIdx if there is nothing to the right *) cursorIdx end end