Documentation

Lake.Toml.ParserUtil

TOML Parser Utilities #

Generic parser utilities used by Lake's TOML parser.

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

          ParserFn combinator that runs f with the current position.

          Equations
          Instances For

            Match an arbitrary parser or do nothing.

            Equations
            • Lake.Toml.optFn p c s = let iniSz := s.stackSize; let iniPos := s.pos; let s := p c s; if (s.hasError && s.pos == iniPos) = true then s.restore iniSz iniPos else s
            Instances For
              @[inline]

              A sequence of n repetitions of a parser function.

              Equations
              Instances For
                @[specialize #[]]
                Equations
                Instances For
                  Equations
                  Instances For
                    @[inline]
                    Equations
                    • One or more equations did not get rendered due to their size.
                    Instances For

                      Consume a single digit (i.e., Char.isDigit).

                      Equations
                      Instances For

                        Consume a two digits (i.e., Char.isDigit).

                        Equations
                        Instances For

                          Consume a single matching character.

                          Equations
                          Instances For
                            partial def Lake.Toml.strAuxFn (str : String) (expected : List String) (strPos : String.Pos) :

                            Consume a matching string atomically.

                            Equations
                            Instances For
                              partial def Lake.Toml.sepByChar1AuxFn (p : CharBool) (sep : Char) (expected : optParam (List String) []) :
                              partial def Lake.Toml.sepByChar1Fn (p : CharBool) (sep : Char) (expected : optParam (List String) []) :

                              Push a new atom onto the syntax stack.

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

                                Match an arbitrary ParserFn and return the consumed String in a Syntax.atom.

                                Equations
                                Instances For
                                  Equations
                                  Instances For
                                    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

                                          Parse a single character as an atom.

                                          Equations
                                          Instances For

                                            Parse the trimmed string as an atom (but use the full string for formatting).

                                            Equations
                                            Instances For

                                              Push (Syntax.node kind <new-atom>) onto the syntax stack.

                                              Equations
                                              • One or more equations did not get rendered due to their size.
                                              Instances For
                                                Equations
                                                Instances For
                                                  Equations
                                                  Instances For
                                                    Equations
                                                    Instances For
                                                      @[inline]
                                                      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
                                                                @[reducible, inline]

                                                                Parser → Parser hidden by an abbrev. Prevents the formatter/parenthesizer generator from transforming it.

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