Success[S: (Any #read & Equatable[S]), optional D: Any #share, optional V: Any #share]¶

The result of a successful parse.

class box Success[S: (Any #read & Equatable[S]), optional D: Any #share, optional V: Any #share]

Constructors¶

create¶

[Source]

new ref create(
  node': RuleNode[S, D, V] box,
  start': Loc[S] val,
  next': Loc[S] val,
  children': ReadSeq[Success[S, D, V] box] box = array)
: Success[S, D, V] ref^

Parameters¶

node': RuleNode[S, D, V] box
start': Loc[S] val
next': Loc[S] val
children': ReadSeq[Success[S, D, V] box] box = array

Returns¶

Success[S, D, V] ref^

Public fields¶

let node: RuleNode[S, D, V] box¶

[Source]

The rule that matched successfully.

let start: Loc[S] val¶

[Source]

The location at which the rule matched.

let next: Loc[S] val¶

[Source]

The location one past the end of the match.

let children: ReadSeq[Success[S, D, V] box] box¶

[Source]

Results from child rules' matches.

Public Functions¶

eq¶

[Source]

fun box eq(
  that: Success[S, D, V] box)
: Bool val

Parameters¶

that: Success[S, D, V] box

Returns¶

Bool val

string¶

[Source]

fun box string()
: String iso^

Returns¶

String iso^