A mutable interface for interacting with source input in a safe and structured manner.
@frozen struct ParsingInput<Diagnostics> where Diagnostics : ParsingDiagnosticsThe Diagnostics generic parameter provides a zero-cost abstraction for configuring the debugging information emitted if parsing fails.
func group<Rule, Construction>(Rule.Type, (inout ParsingInput<Diagnostics>) throws -> Construction) throws -> ConstructionApplies a parsing rule, or a group of parsing rules, appropriately handling cleanup, backtracking, and diagnostic reporting if the parsing rule throws an error.
func next() -> Diagnostics.Source.Element?func parse<T0, T1, T2, T3, T4, T5, T6>(as: (T0, T1, T2, T3, T4, T5, T6).Type) throws -> (T0.Construction, T1.Construction, T2.Construction, T3.Construction, T4.Construction, T5.Construction, T6.Construction)func parse<Rule>(as: Rule.Type) throws -> Rule.Constructionfunc parse<Rule>(as: Rule?.Type) -> Rule.Construction?func parse<T0, T1, T2, T3, T4, T5>(as: (T0, T1, T2, T3, T4, T5).Type) throws -> (T0.Construction, T1.Construction, T2.Construction, T3.Construction, T4.Construction, T5.Construction)func parse<T0, T1, T2, T3>(as: (T0, T1, T2, T3).Type) throws -> (T0.Construction, T1.Construction, T2.Construction, T3.Construction)func parse<T0, T1>(as: (T0, T1).Type) throws -> (T0.Construction, T1.Construction)func parse<T0, T1, T2, T3, T4>(as: (T0, T1, T2, T3, T4).Type) throws -> (T0.Construction, T1.Construction, T2.Construction, T3.Construction, T4.Construction)func parse<T0, T1, T2>(as: (T0, T1, T2).Type) throws -> (T0.Construction, T1.Construction, T2.Construction)func parse<Rule>(as: Rule.Type, in: Void.Type)func parse(as: Diagnostics.Source.Element.Type, in: Diagnostics.Source.SubSequence.Type) -> Diagnostics.Source.SubSequenceDiscards and returns all remaining input.
func parse(as: Diagnostics.Source.Element.Type, in: Void.Type)Discards all remaining input.
func parse<Rule, Vector>(as: Rule.Type, in: Vector.Type) -> Vectorfunc parse(prefix: Int) throws -> Diagnostics.Source.SubSequence