instance Std.Internal.Parsec.ByteArray.instInputIteratorUInt8Nat : Input ByteArray.Iterator UInt8 Nat

@[reducible, inline]

abbrev Std.Internal.Parsec.ByteArray.Parser (α : Type) : Type

def Std.Internal.Parsec.ByteArray.Parser.run {α : Type} (p : Parser α) (arr : ByteArray) : Except String α

@[inline]

def Std.Internal.Parsec.ByteArray.pbyte (b : UInt8) : Parser UInt8

@[inline]

def Std.Internal.Parsec.ByteArray.skipByte (b : UInt8) : Parser Unit

def Std.Internal.Parsec.ByteArray.skipBytes (arr : ByteArray) : Parser Unit

@[inline]

def Std.Internal.Parsec.ByteArray.pstring (s : String) : Parser String

@[inline]

def Std.Internal.Parsec.ByteArray.skipString (s : String) : Parser Unit

@[inline]

def Std.Internal.Parsec.ByteArray.pByteChar (c : Char) : Parser Char

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

@[inline]

def Std.Internal.Parsec.ByteArray.skipByteChar (c : Char) : Parser Unit

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

@[inline]

def Std.Internal.Parsec.ByteArray.digit : Parser Char

@[inline]

def Std.Internal.Parsec.ByteArray.digits : Parser Nat

@[inline]

def Std.Internal.Parsec.ByteArray.hexDigit : Parser Char

@[inline]

def Std.Internal.Parsec.ByteArray.asciiLetter : Parser Char

@[inline]

def Std.Internal.Parsec.ByteArray.ws : Parser Unit

def Std.Internal.Parsec.ByteArray.take (n : Nat) : Parser ByteArray