Documentation

Std.Internal.Parsec.ByteArray

source
instance Std.Internal.Parsec.ByteArray.instInputIteratorUInt8Nat :
Std.Internal.Parsec.Input ByteArray.Iterator UInt8 Nat
source
@[reducible, inline]
abbrev Std.Internal.Parsec.ByteArray.Parser (α : Type) :
Type
Instances For
    source
    def Std.Internal.Parsec.ByteArray.Parser.run {α : Type} (p : Std.Internal.Parsec.ByteArray.Parser α) (arr : ByteArray) :
    Except String α
    Instances For
      source
      @[inline]
      def Std.Internal.Parsec.ByteArray.pbyte (b : UInt8) :
      Std.Internal.Parsec.ByteArray.Parser UInt8
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        @[inline]
        def Std.Internal.Parsec.ByteArray.skipByte (b : UInt8) :
        Std.Internal.Parsec.ByteArray.Parser Unit
        Instances For
          source
          def Std.Internal.Parsec.ByteArray.skipBytes (arr : ByteArray) :
          Std.Internal.Parsec.ByteArray.Parser Unit
          Instances For
            source
            @[inline]
            def Std.Internal.Parsec.ByteArray.pstring (s : String) :
            Std.Internal.Parsec.ByteArray.Parser String
            Instances For
              source
              @[inline]
              def Std.Internal.Parsec.ByteArray.skipString (s : String) :
              Std.Internal.Parsec.ByteArray.Parser Unit
              Equations
              Instances For
                source
                @[inline]
                def Std.Internal.Parsec.ByteArray.pByteChar (c : Char) :
                Std.Internal.Parsec.ByteArray.Parser Char

                Parse a Char that can be represented in 1 byte. If c uses more than 1 byte it is truncated.

                Equations
                • One or more equations did not get rendered due to their size.
                Instances For
                  source
                  @[inline]
                  def Std.Internal.Parsec.ByteArray.skipByteChar (c : Char) :
                  Std.Internal.Parsec.ByteArray.Parser Unit

                  Skip a Char that can be represented in 1 byte. If c uses more than 1 byte it is truncated.

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