def Place.at

bend-lint-rules@0.2.0.0 · lib/text/main.bend:338

import Base

338# Where the offset `offset` of the file at `path` is, among `places` (what `places` gives); 1:1 if it is not there.
339def Place.at(places: Map<&2, Position>, path: String, offset: U32) -> Position:
340  Pair.snd(
341    Map<&2, Position>,
342    Position,
343    Map.get(Position, Position{1, 1}, places, Place.key(path, offset))
344  )