type-map
Type-indexed maps
https://github.com/Lysxia/type-map
| LTS Haskell 23.27: | 0.1.7.0 |
| Stackage Nightly 2025-07-12: | 0.1.7.0 |
| Latest on Hackage: | 0.1.7.0 |
type-map-0.1.7.0@sha256:0950a70230efb4c52908154d3ca59217ea5987a89e4e115c36963344bfb797ce,2307Module documentation for 0.1.7.0
- Data
- Data.TypeMap
- Data.TypeMap.Dynamic
- Data.TypeMap.Internal
- Data.TypeMap.Internal.Dynamic
- Data.TypeMap
Type-indexed maps 
Maps whose keys are types.
This package includes:
-
a dynamic type map using GHC’s
Typeableclass, with aProxy-based API (Data.TypeMap.Dynamic) or aTypeApplications-based API (Data.TypeMap.Dynamic.Alt); Supports arbitrary, user-defined mappings between keys and types of values via defunctionalization. -
a static type map, whose type is indexed by its list of keys (there are actually multiple implementations with different underlying representations (
[],Map,Vector)).
Example using the dynamically-typed interface.
See also this package’s description on Hackage.
Related
- typerep-map, a more performant dynamic type map.
Internal module policy
Modules under Data.TypeMap.Internal are not subject to any versioning policy.
Breaking changes may apply to them at any time.
If something in those modules seems useful, please report it or create a pull request to export it from an external module.