ProSource.SourceOps

Documentation

makeSource :: String -> LText -> Source

Create a Source from a descriptive name and a body. The source name is typically a FilePath, but this is not guaranteed. For instance, when read from standard-input, a common choice is to name the source <stdin>.

getLocation :: Offset -> Source -> Maybe Location

Convert an Offset into a Location.

getSourceLine :: Line -> Source -> Maybe Text

Fetch a single line from a source.