Data.Trie.HashMap

One Step

data HashMapChildren c p a

data HashMapStep c p a

insert

empty

singleton

Fixpoint of Steps

data HashMapTrie p a

Conversion

keys

elems

Query

subtrie

match

matches