Data.TrieMap.Modifiers

Documentation

newtype Ordered a

Constructors

Ord

Fields

unOrd :: a

Instances

Functor Ordered

Eq a => Eq (Ordered a)

Ord a => Ord (Ordered a)

Foldable (TrieMap (Ordered k))

Ord k => TrieKey (Ordered k)

TrieMap (Ordered k) a is based on Data.Map.

newtype Rev k

Constructors

Rev

Fields

getRev :: k

Instances

Functor Rev

Eq k => Eq (Rev k)

Ord k => Ord (Rev k)

TrieKey k => Foldable (TrieMap (Rev k))

TrieKey k => TrieKey (Rev k)

TrieMap (Rev k) a is a wrapper around a TrieMap k a that reverses the order of the operations.

newtype Key k

Constructors

Key

Fields

getKey :: k

Instances

(Repr k, Eq (Rep k)) => Eq (Key k)

(Repr k, Ord (Rep k)) => Ord (Key k)

TKey k => Foldable (TrieMap (Key k))

Repr k => Repr (Key k)

TKey k => TrieKey (Key k)

TrieMap (Key k) a is a wrapper around a TrieMap (Rep k) a.