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;
    modify : (Y -> Y) -> Hashtable((X, Y) ) -> Void;
    modifyi : ((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 );
};