def chars

bolt@1.27.0.0 · src/lsp/enc.bend:162

import Base

162# a line's chars, none past the end
163def chars(lines: List<&2, String>, line: U32) -> List<&2, Char>:
164  String.to_list(Maybe.default(&2, String, List.get(&2, String, lines, U32.to_nat(line)), ""))