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.
Less time debugging, more time building
Do you think we are missing an alternative of type-map or a related project?
|
Developer Ecosystem Survey 2022
sponsored
surveys.jetbrains.com
|
Popular Comparisons
-
type-mapvstype-aligned
-
type-mapvstype-combinators
-
type-mapvstype-combinators-quote
-
type-mapvstype-equality
-
type-mapvstype-level
|
Deliver Cleaner and Safer Code - Right in Your IDE of Choice!
sponsored
www.sonarlint.org
|
README
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.