internal/parser

Types

Current

pub type Current {
  Current(line: String, pos: String, indent: Int)
}

Constructors

Current(line: String, pos: String, indent: Int)

ParseState

</>

pub type ParseState {
  ParseState(
    line_splitter: splitter.Splitter,
    start: String,
    current: Current,
    prev_line: String,
    rest: String,
  )
}

Constructors

ParseState(
  line_splitter: splitter.Splitter,
  start: String,
  current: Current,
  prev_line: String,
  rest: String,
)

Values

advance_line

</>

pub fn advance_line(state: ParseState) -> ParseState

at_eof

</>

pub fn at_eof(state: ParseState) -> Bool

drop_3_spaces

</>

pub fn drop_3_spaces(state: ParseState) -> ParseState

Moves to the first non-indent character on the current line (no more than count indent stops, expanding tabs as we go)

merge_until_unescaped_end_bracket

</>

pub fn merge_until_unescaped_end_bracket(
  state: ParseState,
  cont: fn(ParseState) -> a,
) -> a

This is an ugly hack until I’ve rewritten the parser to be more flexible. This scans forward from the current position across lines until we find a ], skipping any ] and any maching pair of [ and ], joining lines together

new_state

</>

pub fn new_state(start: String) -> ParseState

next_line_if_blank

</>

pub fn next_line_if_blank(
  state: ParseState,
  cont: fn(ParseState) -> a,
) -> a

next_line_is_blank

</>

pub fn next_line_is_blank(state: ParseState) -> Bool

next_nonspace

</>

pub fn next_nonspace(
  state: ParseState,
  cont: fn(ParseState) -> a,
) -> a

try_drop

</>

pub fn try_drop(
  state: ParseState,
  ch: String,
  cont: fn(ParseState) -> a,
) -> a

try_pop

</>

pub fn try_pop(
  state: ParseState,
  ch: String,
  orelse: fn() -> a,
  cont: fn(ParseState) -> a,
) -> a

update_pos

</>

pub fn update_pos(state: ParseState, pos: String) -> ParseState