Standard ML library for polymorphic and monomorphic hash tables.
-
lib/github.com/diku-dk/sml-hashtable/hash.mlb
:- signature
HASH
- structure
Hash : HASH
- signature
-
lib/github.com/diku-dk/sml-hashtable/table.mlb
:- signature
TABLE
- structure
Table : TABLE
- signature
-
lib/github.com/diku-dk/sml-hashtable/mono_table.mlb
:- signature
MONO_TABLE
- functor
HashTable(type t val hash: t->word val eq: t*t->bool) : MONO_TABLE
- signature
-
lib/github.com/diku-dk/sml-hashtable/string_table.mlb
:- signature
MONO_TABLE
- structure
StringTable : MONO_TABLE where type dom = string
- signature
This library is set up to work well with the SML package manager 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.