pred-trie-0.0.5: Predicative tries
Data.Trie.Pred.Disjoint.Tail
Synopsis
data DPTrie p t x where Source
Constructors
lookup :: Eq t => NonEmpty t -> DPTrie p t x -> Maybe x Source
merge :: (Eq p, Eq t) => DPTrie p t x -> DPTrie p t x -> DPTrie p t x Source
Overwrites when similar, leaves untouched when not
areDisjoint :: (Eq p, Eq t) => DPTrie p t x -> DPTrie p t x -> Bool Source