instance Std.Internal.Parsec.String.instInputSigmaStringPosCharRaw : Input (Sigma String.Pos) Char String.Pos.Raw

@[reducible, inline]

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

Parser α is a parser that consumes a String input using a Sigma String.Pos and returns a result of type α.

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

Run a Parser on a String, returns either the result or an error string with offset.

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

Parses the given string.

@[inline]

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

Skips the given string.

@[inline]

def Std.Internal.Parsec.String.pchar (c : Char) : Parser Char

Parses the given char.

@[inline]

def Std.Internal.Parsec.String.skipChar (c : Char) : Parser Unit

Skips the given char.

@[inline]

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

Parse an ASCII digit 0-9 as a Char.

@[inline]

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

Parse one or more ASCII digits into a Nat.

@[inline]

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

Parse a hex digit 0-9, a-f, or A-F as a Char.

@[inline]

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

Parse an ASCII letter a-z or A-Z as a Char.

@[inline]

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

Skip whitespace: tabs, newlines, carriage returns, and spaces.

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

Takes a fixed amount of chars from the iterator.