Data.Trie.Pred.Unified

Documentation

data RUPTrie t x

Constructors

Rooted

Fields

root :: Maybe x

children :: [UPTrie t x]

Instances

Functor (RUPTrie t)

Foldable (RUPTrie t)

(Eq t, Eq x) => Eq (RUPTrie t x)

Show t => Show (RUPTrie t x)

Eq t => Monoid (RUPTrie t x)

(Arbitrary t, Arbitrary x) => Arbitrary (RUPTrie t x)

assignLit :: Eq t => [t] -> Maybe x -> RUPTrie t x -> RUPTrie t x

showTrie :: Show t => RUPTrie t x -> String

merge :: Eq t => RUPTrie t x -> RUPTrie t x -> RUPTrie t x

elem :: Eq t => [t] -> RUPTrie t x -> Bool

lookup :: Eq t => [t] -> RUPTrie t x -> Maybe x

lookupWithL :: Eq t => (t -> t) -> [t] -> RUPTrie t x -> Maybe x

Applies f to the last chunk.

lookupNearestParent :: Eq t => [t] -> RUPTrie t x -> Maybe x

lookupThrough :: (Eq t, Monoid x) => [t] -> RUPTrie t x -> [x]

Append contents up-to lookup path.

litSingleton :: [t] -> x -> RUPTrie t x

litExtrude :: [t] -> RUPTrie t x -> RUPTrie t x