pred-trie-0.0.3: Predicative tries

Safe HaskellSafe
LanguageHaskell2010

Data.Trie.Pred.Disjoint.Tail

Synopsis

Documentation

data NDPTrie p t x where Source

Constructors

NDMore :: t -> Maybe x -> [NDPTrie p t x] -> NDPTrie p t x 
NDPred :: p -> (t -> Maybe r) -> Maybe (r -> x) -> [NDPTrie p t (r -> x)] -> NDPTrie p t x 

lookup :: Eq t => NonEmpty t -> NDPTrie p t x -> Maybe x Source

merge :: (Eq p, Eq t) => NDPTrie p t x -> NDPTrie p t x -> NDPTrie p t x Source

Overwrites when similar, leaves untouched when not

areDisjoint :: (Eq p, Eq t) => NDPTrie p t x -> NDPTrie p t x -> Bool Source