Data.Path.Trie
Description
An efficient mapping from paths to values.
data Trie l a f #
empty :: Trie l a f #
singleton :: IsPath p => p l a b -> f b -> Trie l a f #
insert :: (forall x. GCompare (l x)) => IsPath p => p l a b -> f b -> Trie l a f -> Trie l a f #
lookup :: (forall x. GCompare (l x), IsPath p) => p l a b -> Trie l a f -> Maybe (f b) #
toDMap :: forall p l a f. (GCompare (p l a), IsPath p) => Trie l a f -> DMap (p l a) f #