TParsec.Combinators.Numbers

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

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

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

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

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

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

natFromDigits : NEList Dec -> Nat