gmap: Composable maps and generic tries.
Provides typeclass for and several implementations of composable maps and generic tries. OrdMap is roughly equivalent to Data.Map . ListMap, EitherMap, MaybeMap, TupleMap and EnumMap allow you to break down the corresponding types. InjectKeys is the easiest way to define tries on your own types, see EitherMap for a simple example. ChoiceMap and TupleMap correspond to sum and product types, respectively. The type-level syntax for creating maps is currently unwieldy. This will improve significantly in the next version.
| Version | 0.1 |
|---|---|
| Dependencies | array, AvlTree (>=4.2), base (>=3.0), COrdering, QuickCheck, random |
| License | BSD3 |
| Author | Jamie Brandon, Adrian Hey |
| Maintainer | jamiiecb (google mail) |
| Category | Data Structures |
| Upload date | Mon Dec 15 01:35:32 UTC 2008 |
| Uploaded by | JamieBrandon |
| Built on | ghc-6.10, ghc-6.12 |
| Distributions | Arch: 0.1 |
Modules
- Data
- Test
Downloads
- gmap-0.1.tar.gz (Cabal source package)
- package description (included in the package)
