🥮 mooncakes.io

    #Nanaloveyuki/parsec/lexer

    lexer provides source-location data for tokenizers and parser diagnostics. Offsets are character offsets, lines and columns are one-based, and spans are half-open ranges: [start, end).

    ///|
    test "locate a parser error" {
      let source = @lexer.Source::new("ab\ncd")
      match source.position_at(3) {
        Some(position) => {
          inspect(position.line(), content="2")
          inspect(position.column(), content="1")
        }
        None => fail("expected source position")
      }
    }

    Use Source::error_position to map a root @parsec.ParseError to text. This package does not own token trivia, recovery, CST construction, or AST lowering.

    Located

    source
    pub struct Located[T] {
      // private fields
    }

    Located::map

    source
    fn[T, U] Located::map(self : Located[T], transform : (T) -> U) -> Located[U]

    Located::new

    source
    fn[T] Located::new(value : T, span : Span) -> Located[T]

    Located::span

    source
    fn[T] Located::span(self : Located[T]) -> Span

    Located::value

    source
    fn[T] Located::value(self : Located[T]) -> T

    Position

    source
    pub struct Position {
      // private fields
    }

    Position::column

    source
    fn Position::column(self : Position) -> Int

    Position::line

    source
    fn Position::line(self : Position) -> Int

    Position::offset

    source
    fn Position::offset(self : Position) -> Int

    Source

    source
    pub struct Source {
      // private fields
    }

    Source::error_position

    source
    fn Source::error_position(self : Source, error : 
    ParseError    ) -> Position?

    Source::length

    source
    fn Source::length(self : Source) -> Int

    Source::line_count

    source
    fn Source::line_count(self : Source) -> Int

    Source::new

    source
    fn Source::new(text : String) -> Source

    Source::position_at

    source
    fn Source::position_at(self : Source, offset : Int) -> Position?

    Source::span

    source
    fn Source::span(self : Source, start : Int, end : Int) -> Span?

    Source::text

    source
    fn Source::text(self : Source) -> String

    Span

    source
    pub struct Span {
      // private fields
    }

    Span::end

    source
    fn Span::end(self : Span) -> Position

    Span::length

    source
    fn Span::length(self : Span) -> Int

    Span::start

    source
    fn Span::start(self : Span) -> Position

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io