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
Sourcetyperep-map-0.7.0.0 on Hackage

Modules

Internal modules · 1

Data.TypeRepMap.Internal

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.