@hackage TrieMap0.0.1.2

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.