Data.Trie.Map

One Step

newtype MapStep c p a

Constructors

MapStep

Fields

unMapStep :: Map p (Maybe a, Maybe (c p a))

Instances

(Ord p, Trie NonEmpty p c) => Trie NonEmpty p (MapStep c)

Functor (c p) => Functor (MapStep c p)

Foldable (c p) => Foldable (MapStep c p)

Traversable (c p) => Traversable (MapStep c p)

(Eq p, Eq a, Eq (c p a)) => Eq (MapStep c p a)

(Ord p, Ord a, Ord (c p a)) => Ord (MapStep c p a)

(Show p, Show a, Show (c p a)) => Show (MapStep c p a)

(Ord s, Monoid (c s a)) => Monoid (MapStep c s a)

empty :: MapStep c s a

singleton :: s -> a -> MapStep c s a

Fixpoint of Steps

newtype MapTrie s a

Constructors

MapTrie

Fields

unMapTrie :: MapStep MapTrie s a

Instances

Ord s => Trie NonEmpty s MapTrie

Functor (MapTrie s)

Foldable (MapTrie s)

Traversable (MapTrie s)

Ord s => Lookup (MapTrie s)

(Eq s, Eq a) => Eq (MapTrie s a)

(Ord s, Ord a) => Ord (MapTrie s a)

(Show s, Show a) => Show (MapTrie s a)

Ord s => Monoid (MapTrie s a)

type Key (MapTrie s) = NonEmpty s

Conversion

keys :: Ord s => MapTrie s a -> [NonEmpty s]

elems :: MapTrie s a -> [a]

Query

subtrie :: Ord s => NonEmpty s -> MapTrie s a -> Maybe (MapTrie s a)

match :: Ord s => NonEmpty s -> MapTrie s a -> Maybe (NonEmpty s, a, [s])

matches :: Ord s => NonEmpty s -> MapTrie s a -> [(NonEmpty s, a, [s])]

Returns a list of all the nodes along the path to the furthest point in the query, in order of the path walked from the root to the furthest point.