14.2.30  Number_String

The standard library Number_String api defines access to string scanning and number extraction functionality. This is an older API predating the C-inspired Scanf api.

The Number_String api is implemented by the number_string package.

The Number_String api source code is in src/lib/std/src/number-string.api.

See also: Scanf.

The above information is manually maintained and may contain errors.

api {
    Radix  = BINARY | DECIMAL | HEX | OCTAL;
    Float_Format  = EXACT | FIX Null_Or(Int ) | GEN Null_Or(Int ) | SCI Null_Or(Int );
    Reader (X, Y) = Y -> Null_Or(((X , Y)) );
    pad_left : Char -> Int -> String -> String;
    pad_right : Char -> Int -> String -> String;
    split_off_prefix : (Char -> Bool) -> Reader((Char, X)) -> X -> (String , X);
    get_prefix : (Char -> Bool) -> Reader((Char, X)) -> X -> String;
    drop_prefix : (Char -> Bool) -> Reader((Char, X)) -> X -> X;
    skip_ws : Reader((Char, X)) -> X -> X;
    Char_Stream;
    scan_string : (Reader((Char, Char_Stream)) -> Reader((X, Char_Stream))) -> String -> Null_Or(X );};