Searched refs:FilePathSpans (Results 1 – 1 of 1) sorted by relevance
118 type FilePathSpans = Map FileId [FilePathSpan] function131 , fpspans :: FilePathSpans332 fpSpans2fileNames :: FilePathSpans -> Set AnchoredPath566 storeFpMap :: FilePath -> FilePathSpans -> IO ()572 loadFpMap :: FilePath -> IO FilePathSpans612 dumpFilePathSpans :: FilePathSpans -> String622 fpSpans2filePaths :: FilePathSpans -> InfoMap -> [FilePath]