14.2.3  Char_Map

The standard library Char_Map api defines simple pure maps from type Char to other types.

The Char_Map api is implemented by the char_map package.

The Char_Map api source code is in src/lib/src/char-map.api.

The above information is manually maintained and may contain errors.

api {    Char_Map X;
    make_char_map : {default:X,  namings:List(((String , X)) )}
                    -> Char_Map(X );
    map_char : Char_Map(X ) -> Char -> X;
    map_string_char : Char_Map(X ) -> (String , Int) -> X;
};