TrieMap: An implementation of generalized tries with sophisticated map type inference.

Generalized trie implementation that automatically infers map types. Keys must implement the class TrieMap.Algebraic.Algebraic, which declares that they are isomorphic to an algebraic type, defined recursively as follows:

• () and Int are algebraic types.

• If Ord a, then Ordered a is an algebraic type.

• If a,b are algebraic types, then so are (a, b) and Either a b.

• If a is algebraic, so is [a].

This package exports almost the entire collection of methods available in Data.Map, and several new methods as well. In addition, each method will automatically infer the correct map type.

Modules

[Index]

Downloads

• TrieMap-0.0.1.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• LouisWasserman

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates