typerep-map-0.3.2: Efficient implementation of a dependent map with types as keys
A dependent map from type representations to values of these types.
Here is an illustration of such a map:
TMap --------------- Int -> 5 Bool -> True Char -> 'x'
In addition to TMap
, we provide TypeRepMap
parametrized by a
vinyl
-style interpretation. This data structure is equivalent to DMap
TypeRep
, but with significantly more efficient lookups.
Signatures
Modules
- Data