instance Std.Internal.Parsec.ByteArray.instInputIteratorUInt8Nat : Std.Internal.Parsec.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 : Std.Internal.Parsec.ByteArray.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) : Std.Internal.Parsec.ByteArray.Parser UInt8

Equations

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

@[inline]

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

Equations

• Std.Internal.Parsec.ByteArray.skipByte b = SeqRight.seqRight (Std.Internal.Parsec.ByteArray.pbyte b) fun (x : Unit) => pure ()

def Std.Internal.Parsec.ByteArray.skipBytes (arr : ByteArray) : Std.Internal.Parsec.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) : Std.Internal.Parsec.ByteArray.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) : Std.Internal.Parsec.ByteArray.Parser Unit

Equations

• Std.Internal.Parsec.ByteArray.skipString s = SeqRight.seqRight (Std.Internal.Parsec.ByteArray.pstring s) fun (x : Unit) => pure ()

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

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

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

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

@[inline]

def Std.Internal.Parsec.ByteArray.digits : Std.Internal.Parsec.ByteArray.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 : Std.Internal.Parsec.ByteArray.Parser Char

Equations

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

@[inline]

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

Equations

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

@[inline]

def Std.Internal.Parsec.ByteArray.ws : Std.Internal.Parsec.ByteArray.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) : Std.Internal.Parsec.ByteArray.Parser ByteArray

Equations

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