Module Cmdlang_stdlib_runner.Parser_stateSource

A mutable state that will collect parsing information.

The strategy implemented by the cmdlang runner is to create such parser state, enrich it during a parsing phases using stdlib.arg, and once this is done, return an expression suitable for evaluation.

Initialization

In this part we allocate a parser state for a given parser. Once this is done, the parser must be enriched with information coming from the command line.

Parsing

This part is what allows stdlib.arg to performs the expected side-effects within the state.

Finalization

Once the parsing has been done, we can finalize the state and return an evaluation suitable for execution.