TextRange

TextRange :: # (opaque)

The same half-open source span in UTF-8 byte and decoded-scalar coordinates.

This value does not retain the source. Algorithms that return a TextRange guarantee that both component ranges describe the same scalar-aligned span.

from_ranges : ByteRange, ScalarRange -> TextRange

from_positions : TextPosition, TextPosition -> Try(TextRange, BoundsError)

start : TextRange -> TextPosition

end : TextRange -> TextPosition

byte_range : TextRange -> ByteRange

scalar_range : TextRange -> ScalarRange

is_empty : TextRange -> Bool

is_eq : TextRange, TextRange -> Bool

BoundsError : [ByteEndBeforeStart, ScalarEndBeforeStart]