# The TrieMap package

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

, then`Ord`ais an algebraic type.`Ordered`aIf

`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.

- No changelog available

## Properties

Versions | 0.0.1.0, 0.0.1.1, 0.0.1.2, 0.5.0, 0.5.1, 0.5.2, 0.5.3, 0.5.4, 0.6.0, 0.6.1, 0.6.2, 0.6.3, 0.7.0, 0.7.1, 0.7.2, 1.0.0, 1.5.0, 2.0.0, 2.0.1, 2.0.2, 2.0.3, 3.0.0, 3.0.1, 4.0.0, 4.0.1, 4.1.0 |
---|---|

Dependencies | base (>=4 && <=5), containers |

License | BSD3 |

Maintainer | wasserman.louis@gmail.com |

Category | Data Structures |

Upload date | Sat Aug 15 22:55:31 UTC 2009 |

Uploaded by | LouisWasserman |

Downloads | 1716 total (180 in last 30 days) |

## Modules

[Index]

## Downloads

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

#### Maintainers' corner

For package maintainers and hackage trustees