Language.Fixpoint.Utils.Trie
Contents
newtype Trie a Source #
Constructors
Defined in Language.Fixpoint.Utils.Trie
Methods
showsPrec :: Int -> Trie a -> ShowS #
show :: Trie a -> String #
showList :: [Trie a] -> ShowS #
(==) :: Trie a -> Trie a -> Bool #
(/=) :: Trie a -> Trie a -> Bool #
pprintTidy :: Tidy -> Trie a -> Doc Source #
pprintPrec :: Int -> Tidy -> Trie a -> Doc Source #
data Branch a Source #
showsPrec :: Int -> Branch a -> ShowS #
show :: Branch a -> String #
showList :: [Branch a] -> ShowS #
(==) :: Branch a -> Branch a -> Bool #
(/=) :: Branch a -> Branch a -> Bool #
empty :: Trie a Source #
insert :: Path -> a -> Trie a -> Trie a Source #
fromList :: [(Path, a)] -> Trie a Source #
fold :: (acc -> Path -> a -> acc) -> acc -> Trie a -> acc Source #
foldM :: Monad m => (acc -> Path -> a -> m acc) -> acc -> Trie a -> m acc Source #