PreviousUpNext

14.5.30  Picklehash

The compiler Picklehash api defines access to functionality creating and manipulating unique identifiers for compilation units by first serializing and then hashing them. The resulting hash values have a negligible probability of colliding, and thus may be used as a short-hand name for that version of the complete compilation unit.

The Picklehash api is implemented by the picklehash package.

The Picklehash api source code is in src/lib/compiler/front/basics/map/picklehash.api.

The above information is manually maintained and may contain errors.

api {
    eqtype Picklehash;
    pickle_hash_size : Int;
    compare : (Picklehash , Picklehash) -> Order;
    to_hex : Picklehash -> String;
    from_hex : String -> Null_Or(Picklehash );
    to_bytes : Picklehash -> vector_of_one_byte_unts::Vector;
    from_bytes : vector_of_one_byte_unts::Vector -> Picklehash;};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext