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.
|Dependencies||array, AvlTree (>=4.2), base (>=3.0), COrdering, QuickCheck, random [details]|
|Author||Jamie Brandon, Adrian Hey|
|Maintainer||jamiiecb (google mail)|
|Uploaded||by JamieBrandon at 2008-12-15T01:35:32Z|
|Downloads||1140 total (2 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]