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

Equations

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

@[reducible, inline]

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

Equations

• Std.Internal.Parsec.ByteArray.Parser α = Std.Internal.Parsec ByteArray.Iterator α

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

Equations

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

@[inline]

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

Equations

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

@[inline]

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

Equations

• Std.Internal.Parsec.ByteArray.skipByte b = Std.Internal.Parsec.ByteArray.pbyte b *> pure ()

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

Equations

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

@[inline]

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

Equations

• Std.Internal.Parsec.ByteArray.pstring s = do Std.Internal.Parsec.ByteArray.skipBytes s.toUTF8 pure s

@[inline]

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

Equations

• Std.Internal.Parsec.ByteArray.skipString s = Std.Internal.Parsec.ByteArray.pstring s *> pure ()

@[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.

Equations

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

@[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.

Equations

• Std.Internal.Parsec.ByteArray.skipByteChar c = Std.Internal.Parsec.ByteArray.skipByte c.toUInt8

@[inline]

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

Equations

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

@[inline]

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

Equations

• Std.Internal.Parsec.ByteArray.digits = do let d ← Std.Internal.Parsec.ByteArray.digit Std.Internal.Parsec.ByteArray.digitsCore✝ (Std.Internal.Parsec.ByteArray.digitToNat✝ d.toUInt8)

@[inline]

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

Equations

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

@[inline]

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

Equations

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

@[inline]

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

Equations

• Std.Internal.Parsec.ByteArray.ws it = Std.Internal.Parsec.ParseResult.success (Std.Internal.Parsec.ByteArray.skipWs✝ it) ()

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

Equations

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