TParsec.Combinators.Chars

alpha : Alternative mn => Monad mn => Subset Char (Tok p) => Eq (Tok p) => Inspect (Toks p) (Tok p) => All (Parser mn p (Tok p))

alphanum : Alternative mn => Monad mn => Subset Char (Tok p) => Eq (Tok p) => Inspect (Toks p) (Tok p) => All (Parser mn p (Either (Tok p) Nat))

alphas : Alternative mn => Monad mn => Subset Char (Tok p) => Subset (Tok p) Char => Eq (Tok p) => Inspect (Toks p) (Tok p) => All (Parser mn p String)

anyCharBut : Alternative mn => Monad mn => Subset Char (Tok p) => Eq (Tok p) => Inspect (Toks p) (Tok p) => Char -> All (Parser mn p (Tok p))

char : Alternative mn => Monad mn => Subset Char (Tok p) => Eq (Tok p) => Inspect (Toks p) (Tok p) => Char -> All (Parser mn p (Tok p))

lowerAlpha : Alternative mn => Monad mn => Subset Char (Tok p) => Eq (Tok p) => Inspect (Toks p) (Tok p) => All (Parser mn p (Tok p))

noneOfChars : Alternative mn => Monad mn => Subset Char (Tok p) => Eq (Tok p) => Inspect (Toks p) (Tok p) => List Char -> All (Parser mn p (Tok p))

num : Alternative mn => Monad mn => Subset Char (Tok p) => Eq (Tok p) => Inspect (Toks p) (Tok p) => All (Parser mn p Nat)

parens : Alternative mn => Monad mn => Subset Char (Tok p) => Eq (Tok p) => Inspect (Toks p) (Tok p) => All (Box (Parser mn p a) :-> Parser mn p a)

parensopt : Alternative mn => Monad mn => Subset Char (Tok p) => Eq (Tok p) => Inspect (Toks p) (Tok p) => All (Parser mn p a :-> Parser mn p a)

space : Alternative mn => Monad mn => Subset Char (Tok p) => Eq (Tok p) => Inspect (Toks p) (Tok p) => All (Parser mn p (Tok p))

spaces : Alternative mn => Monad mn => Subset Char (Tok p) => Eq (Tok p) => Inspect (Toks p) (Tok p) => All (Parser mn p (NEList (Tok p)))

string : Alternative mn => Monad mn => Subset Char (Tok p) => Eq (Tok p) => Inspect (Toks p) (Tok p) => (t : String) -> {auto pr : NonEmpty (unpack t)} -> All (Parser mn p String)

stringLiteral : Monad mn => Alternative mn => Inspect (Toks p) (Tok p) => Eq (Tok p) => Subset Char (Tok p) => Subset (Tok p) Char => All (Parser mn p String)

A string literal is an opening and a closing double quote with
a chain of non-empty lists of characters that are neither a
double quote nor an escaping character.
This chain is separated by non-empty lists of blocks made of
an escaping character and its escapee.
Additionally, there may be another such block of escapees on
each side of the chain.

upperAlpha : Alternative mn => Monad mn => Subset Char (Tok p) => Eq (Tok p) => Inspect (Toks p) (Tok p) => All (Parser mn p (Tok p))

withSpaces : Alternative mn => Monad mn => Subset Char (Tok p) => Eq (Tok p) => Inspect (Toks p) (Tok p) => All (Parser mn p a :-> Parser mn p a)