Data.Trie

An implementation of a trie over a words.

Documentation

empty :: Trie

A blank Trie

insert :: String -> Trie -> Trie

Insert a new string into the trie.

fromString :: String -> Trie

fromList :: [String] -> Trie

Take a list of String and compress it into a Trie

toList :: Trie -> [String]

Take a trie and expand it into the strings that it represents

lookupPrefix :: MonadPlus m => String -> Trie -> m Trie

Takes a trie and a prefix and returns the sub-trie that of words with that prefix

forcedNext :: Trie -> String

Finds the longest certain path down the trie starting at a the root Invariant Assumption: All paths have at least one true node below them

data Trie

Instances

Show Trie

Generic Trie

Binary Trie

type Rep Trie