Documentation

Lake.Toml.Grammar

TOML Grammar #

A Lean encoding of the v1.0.0 TOML grammar (en, [abnf]]2) using Lean.Parser objects. The current encoding elides the use of tokens entirely, relying purely on custom parser functions.

Is it a TOML control character? (excludes tabs and spaces)

Equations
Instances For

    Trailing Functions #

    Consume optional horizontal whitespace (i.e., tab or space).

    Equations
    Instances For

      Consume a newline.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For

        Consumes a line comment.

        Equations
        Instances For

          Consume optional whitespace (space, tab, or newline).

          Consume optional sequence of whitespace / newline(s) / comment (s).

          Strings #

          A TOML character escape.

          Equations
          Instances For
            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              Equations
              • One or more equations did not get rendered due to their size.
              Instances For

                Numerals (Date-Times, Floats, and Integers) #

                Equations
                Instances For
                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For

                    Parsers #

                    Equations
                    Instances For
                      Equations
                      • One or more equations did not get rendered due to their size.
                      Instances For
                        Equations
                        • One or more equations did not get rendered due to their size.
                        Instances For
                          Equations
                          • One or more equations did not get rendered due to their size.
                          Instances For
                            Equations
                            • One or more equations did not get rendered due to their size.
                            Instances For
                              Equations
                              Instances For
                                Equations
                                Instances For
                                  Equations
                                  • One or more equations did not get rendered due to their size.
                                  Instances For
                                    Equations
                                    Instances For
                                      Equations
                                      Instances For
                                        Equations
                                        Instances For
                                          Equations
                                          Instances For
                                            Equations
                                            Instances For
                                              Equations
                                              Instances For