Documentation

Std.Internal.Parsec.String

source
instance Std.Internal.Parsec.String.instInputIteratorCharPos :
Std.Internal.Parsec.Input String.Iterator Char String.Pos
Equations
  • One or more equations did not get rendered due to their size.
source
@[reducible, inline]
abbrev Std.Internal.Parsec.String.Parser (α : Type) :
Type
Instances For
    source
    def Std.Internal.Parsec.String.Parser.run {α : Type} (p : Std.Internal.Parsec.String.Parser α) (s : String) :
    Except String α
    Instances For
      source
      def Std.Internal.Parsec.String.pstring (s : String) :
      Std.Internal.Parsec.String.Parser String

      Parses the given string.

      Instances For
        source
        @[inline]
        def Std.Internal.Parsec.String.skipString (s : String) :
        Std.Internal.Parsec.String.Parser Unit
        Instances For
          source
          @[inline]
          def Std.Internal.Parsec.String.pchar (c : Char) :
          Std.Internal.Parsec.String.Parser Char
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            @[inline]
            def Std.Internal.Parsec.String.skipChar (c : Char) :
            Std.Internal.Parsec.String.Parser Unit
            Equations
            Instances For
              source
              @[inline]
              def Std.Internal.Parsec.String.digit :
              Std.Internal.Parsec.String.Parser Char
              Instances For
                source
                @[inline]
                def Std.Internal.Parsec.String.digits :
                Std.Internal.Parsec.String.Parser Nat
                Instances For
                  source
                  @[inline]
                  def Std.Internal.Parsec.String.hexDigit :
                  Std.Internal.Parsec.String.Parser Char
                  Instances For
                    source
                    @[inline]
                    def Std.Internal.Parsec.String.asciiLetter :
                    Std.Internal.Parsec.String.Parser Char
                    Equations
                    • One or more equations did not get rendered due to their size.
                    Instances For
                      source
                      @[inline]
                      def Std.Internal.Parsec.String.ws :
                      Std.Internal.Parsec.String.Parser Unit
                      Equations
                      Instances For
                        source
                        def Std.Internal.Parsec.String.take (n : Nat) :
                        Std.Internal.Parsec.String.Parser String
                        Equations
                        • One or more equations did not get rendered due to their size.
                        Instances For