typerep-map

Efficient implementation of a dependent map with types as keys

Version0.7.0.0
CategoryData, Data Structures, Types
LicenceMPL-2.0
AuthorVeronika Romashkina, Vladislav Zavialov, Dmitrii Kovanikov
MaintainerKowainik <xrom.xkov@gmail.com>
Homepagegithub.com/kowainik/typerep-map
Pinned byhackage typerep-map 0.7.0.0
Sourcehackage.haskell.org/package/typerep-map-0.7.0.0

Modules

3 modules

Data.TMap18
Data.TypeRepMap21

Internal modules · 1

Data.TypeRepMap.Internal40

Description

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.

Depends on

3 packages

Used by in this set · 0

Nothing in this set depends on it.