14.4.27  Hashtable

The standard library hashtable api defines access to basic typeagnostic hashtables.

The hashtable api is implemented by the hashtable package.

The hashtable api source code is in src/lib/src/hashtable.api.

See also: Typelocked_Hashtable, defined in src/lib/src/typelocked-hashtable.api, implemented by typelocked_hashtable_g in src/lib/src/typelocked-hashtable-g.pkg.

See also: Hash_Key.

The above information is manually maintained and may contain errors.

api {
    Hashtable (X, Y);
        make_hashtable :
            ((X -> Unt) , ((X , X) -> Bool))
            ->
            {not_found_exception:Exception, size_hint:Int} -> Hashtable((X, Y));
    clear : Hashtable((X, Y)) -> Void;
    set : Hashtable((X, Y)) -> (X , Y) -> Void;
    contains_key : Hashtable((Y, X)) -> Y -> Bool;
    look_up : Hashtable((X, Y)) -> X -> Y;
    find : Hashtable((X, Y)) -> X -> Null_Or(Y );
    remove : Hashtable((X, Y)) -> X -> Y;
    vals_count : Hashtable((X, Y)) -> Int;
    vals_list : Hashtable((X, Y)) -> List(Y );
    keyvals_list : Hashtable((X, Y)) -> List(((X , Y)) );
    apply : (Y -> Void) -> Hashtable((X, Y)) -> Void;
    keyed_apply : ((X , Y) -> Void) -> Hashtable((X, Y)) -> Void;
    map : (X -> Z) -> Hashtable((Y, X)) -> Hashtable((Y, Z));
    keyed_map : ((Y , X) -> Z) -> Hashtable((Y, X)) -> Hashtable((Y, Z));
    fold : ((Y , Z) -> Z) -> Z -> Hashtable((X, Y)) -> Z;
    foldi : ((X , Y , Z) -> Z) -> Z -> Hashtable((X, Y)) -> Z;
    map_in_place : (Y -> Y) -> Hashtable((X, Y)) -> Void;
    keyed_map_in_place : ((X , Y) -> Y) -> Hashtable((X, Y)) -> Void;
    filter : (Y -> Bool) -> Hashtable((X, Y)) -> Void;
    keyed_filter : ((X , Y) -> Bool) -> Hashtable((X, Y)) -> Void;
    copy : Hashtable((X, Y)) -> Hashtable((X, Y));
    bucket_sizes : Hashtable((X, Y)) -> List(Int );};