SourcePos -package:megaparsec
The abstract data type
SourcePos represents source positions.
It contains the name of the source (i.e. file name), a line number and
a column number.
SourcePos is an instance of the
Show,
Eq and
Ord class.
The abstract data type
SourcePos represents source positions.
It contains the name of the source (i.e. file name), a line number and
a column number.
SourcePos is an instance of the
Show,
Eq and
Ord class.
The data type
SourcePos represents source positions. It
contains the name of the source file, a line number, and a column
number. Source line and column positions change intensively during
parsing, so we need to make them strict to avoid memory leaks.
A source position containing filename, line, and column.
Adding source positions for blocks adds almost no overhead to parsing.
Adding source positions for inlines has a small penalty. For many
purposes it is enough to have source lines for blocks, so we offer the
option.
Position in the `Source` content including its line, column number,
and an index of the `File` in the `Source` message. Used for debug
purposes.
See: sourcePosition smart constructor.
Render a pair of source positions in human-readable form, only
displaying the range of lines.
sourcePosition contains the current location of the source in
the world coordinate system. Any 3-tuple of valid float values is
allowed. Implementation behavior on encountering NaN and infinity is
not defined. The initial position is (
Vertex3 0 0 0).
Add attributes for source lines
Creates a value of
SourcePosition with the minimum fields
required to make a request.
Use one of the following lenses to modify other fields as desired:
Include source position attributes
returns True if the given position refers to an actual source
file