type-map alternatives and similar packages
Based on the "type" category.
Alternatively, view type-map alternatives based on common mentions on social networks and blogs.
-
type-combinators
Type level lists, pairs, sums, their operations, and their properties. -
type-equality
Haskell definition of type equality, coercion/cast and other operations. -
type-unary
Type-level and typed unary natural numbers, vectors, inequality proofs -
type-combinators-singletons
Interop between type-combinators and singletons library -
type-level-tf
Type level numerics for Haskell using type families. Based on type-level. -
type-combinators-quote
Quasiquoters for the 'type-combinators' library. -
type-level-integers
Provides integers lifted to the type level.
Build time-series-based applications quickly and at scale.
Do you think we are missing an alternative of type-map or a related project?
README
Type-indexed maps

Maps whose keys are types.
This package includes:
a dynamic type map using GHC's
Typeable
class, 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.