Documentation
class Ord k => TrieKey k m | m -> kSource
TrieKey Word32 WordMap | |
TrieKey () Maybe | |
TrieKey k (TrieMap k) => TrieKey [k] (RadixTrie k) | |
TrieKey k (TrieMap k) => TrieKey (I0 k) (IMap k) | |
TrieKey (U0 r) (M r) | |
TrieKey k (TrieMap k) => TrieKey (Rev k) (ReverseMap k) | |
Ord k => TrieKey (Ordered k) (OrdMap k) | |
(m ~ TrieMapT (PF k), Regular k, Functor (PF k), TrieKeyT (PF k) m) => TrieKey (Reg k) (RegMap k m) | |
(TrieKey a m, TrieKey b (TrieMap b)) => TrieKey (Either a b) (UMap m b) | |
(TrieKey a m, TrieKey b (TrieMap b)) => TrieKey (a, b) (PMap m b) | |
(m ~ TrieMap k, TrieKey k m) => TrieKey (K0 k r) (KMap m r) | |
(OrdT f, TrieKeyT f (TrieMapT f), TrieKey k (TrieMap k)) => TrieKey (L f k) (RadixTrie f k) | |
(TrieKeyT f m, TrieKey k (TrieMap k)) => TrieKey (App f k) (AppMap m k) | |
(Fam phi, HFunctor phi (PF phi), El phi ix, HTrieKeyT phi (PF phi) m) => TrieKey (Family phi ix) (FamMap phi m ix) | |
(TrieKeyT f m1, TrieKeyT g m2, TrieKey k (TrieMap k)) => TrieKey (:*: f g k) (PMap m1 m2 k) | |
(TrieKeyT f m1, TrieKeyT g m2, TrieKey k (TrieMap k)) => TrieKey (:+: f g k) (UnionMap m1 m2 k) | |
(TrieKeyT f m, Functor f, TrieKeyT g (TrieMapT g), TrieKey k (TrieMap k)) => TrieKey (O f g k) (CompMap m g k) |