https://github.com/diku-dk/sml-hashtable
Standard ML polymorphic and monomorphic hash tables
https://github.com/diku-dk/sml-hashtable
sml smlpkg standard-ml
Last synced: 7 months ago
JSON representation
Standard ML polymorphic and monomorphic hash tables
- Host: GitHub
- URL: https://github.com/diku-dk/sml-hashtable
- Owner: diku-dk
- License: mit
- Created: 2020-04-06T20:17:15.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2023-10-01T09:10:58.000Z (about 2 years ago)
- Last Synced: 2025-01-31T23:57:56.381Z (8 months ago)
- Topics: sml, smlpkg, standard-ml
- Language: Standard ML
- Size: 10.7 KB
- Stars: 3
- Watchers: 7
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# sml-hashtable [](https://github.com/diku-dk/sml-hashtable/actions)
Standard ML library for polymorphic and monomorphic hash tables.
## Overview of MLB files
### Hashing Functions
- `lib/github.com/diku-dk/sml-hashtable/hash.mlb`:
- **signature** [`HASH`](lib/github.com/diku-dk/sml-hashtable/HASH.sig)
- **structure** `Hash : HASH`
### Polymorphic Hash Tables
- `lib/github.com/diku-dk/sml-hashtable/table.mlb`:
- **signature** [`TABLE`](lib/github.com/diku-dk/sml-hashtable/TABLE.sig)
- **structure** `Table : TABLE`
### Monomorphic Hash Tables
- `lib/github.com/diku-dk/sml-hashtable/mono_table.mlb`:
- **signature** [`MONO_TABLE`](lib/github.com/diku-dk/sml-hashtable/MONO_TABLE.sig)
- **functor** `HashTable(type t val hash: t->word val eq: t*t->bool) : MONO_TABLE`
- `lib/github.com/diku-dk/sml-hashtable/string_table.mlb`:
- **signature** [`MONO_TABLE`](lib/github.com/diku-dk/sml-hashtable/MONO_TABLE.sig)
- **structure** `StringTable : MONO_TABLE where type dom = string`
## Use of the package
This library is set up to work well with the SML package manager
[smlpkg](https://github.com/diku-dk/smlpkg). To use the package, in
the root of your project directory, execute the command:
```
$ smlpkg add github.com/diku-dk/sml-hashtable
```
This command will add a _requirement_ (a line) to the `sml.pkg` file in your
project directory (and create the file, if there is no file `sml.pkg`
already).
To download the library into the directory
`lib/github.com/diku-dk/sml-hashtable`, execute the command:
```
$ smlpkg sync
```
You can now reference the relevant `mlb`-files using relative paths from
within your project's `mlb`-files.
Notice that you can choose either to treat the downloaded package as
part of your own project sources (vendoring) or you can add the
`sml.pkg` file to your project sources and make the `smlpkg sync`
command part of your build process.