14.2.31  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 );
};