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