14.2.45  Scanf

The standard library Scanf api defines access to text-scanning functionality inspired by the C scanf() function.

The Scanf api is implemented by the scanf package.

The Scanf api source code is in src/lib/src/scanf.api.

See also: Sfprintf.

See also: printf_field.

See also: Number_String.

The above information is manually maintained and may contain errors.

api {   Printf_Arg
        = BOOL
        Bool
        |
        CHAR
        Char
        |
        FLOAT
        Float
        |
        INT
        Int
        |
        LEFT
        (Int , Printf_Arg)
        |
        LINT
        multiword_int::Int
        |
        LUNT
        one_word_unt::Unt
        |
        QUICKSTRING
        quickstring__premicrothread::Quickstring
        |
        RIGHT
        (Int , Printf_Arg)
        |
        STRING
        String
        |
        UNT
        Unt
        |
        UNT8
        one_byte_unt::Unt;
    exception BAD_FORMAT String;
    fnsscanf : (X -> Null_Or(((Char , X)) )) -> X -> String -> Null_Or(((List(Printf_Arg ) , X)) );
    sscanf : String -> String -> Null_Or(List(Printf_Arg ) );
    sscanf_by : String -> String -> Null_Or(List(Printf_Arg ) );
    fscanf : Input_Stream -> String -> Null_Or(List(Printf_Arg ) );
    scanf : String -> Null_Or(List(Printf_Arg ) );};