Data.Trie.Map

One Step

data MapStep c p a

insert

empty

singleton

Fixpoint of Steps

data MapTrie s a

Conversion

keys

elems

Query

subtrie

match

matches