Agda-2.3.0: A dependently typed functional programming language and proof assistant

Agda.Utils.Trie

Synopsis

Documentation

data Trie k v Source

Instances

(Show k, Show v) => Show (Trie k v) 

singleton :: [k] -> v -> Trie k vSource

insert :: Ord k => [k] -> v -> Trie k v -> Trie k vSource

lookupPath :: Ord k => [k] -> Trie k v -> [v]Source

union :: Ord k => Trie k v -> Trie k v -> Trie k vSource

Left biased union.