flix

0.78.0
Prelude / Reflect / SourceLocation

SourceLocation

enum SourceLocation with CoerceSource
case SourceLocation(String, SourcePosition, SourcePosition)

Type of spans within a source.

A span is defined by a source identifier and start/end source positions.

Fields:

  1. source: The source identifier (typically a file path)
  2. start: The beginning position of the span (inclusive)
  3. end: The ending position of the span (inclusive)

Instances

instance Coerce[SourceLocation]Source
type Out = (String, SourcePosition, SourcePosition)