IdrisDoc: Language.Reflection

# Language.Reflection

FileLoc : (filename : String) -> (start : ( Int, Int)) -> (end : ( Int, Int)) -> SourceLocation

  Either a source span or a source location. `start` and `end`
  will be the same if it's a point location.

  filename

    The file name of the source location

  start

    The line and column of the beginning of the source span

  end

    The line and column of the end of the source span