|
|
|
|
|
Documentation |
|
type family TrieMapT f :: * -> (* -> *) -> * -> * | Source |
|
|
class OrdT f => TrieKeyT f m | m -> f, f -> m | Source |
|
| Instances | TrieKeyT U0 M | TrieKeyT U0 M | TrieKeyT I0 IMap | TrieKeyT I0 IMap | (m ~ TrieMapT f, OrdT f, TrieKeyT f m) => TrieKeyT (L f) (RadixTrie f) | (m ~ TrieMapT f, OrdT f, TrieKeyT f m) => TrieKeyT (L f) (RadixTrie f) | (m ~ TrieMap k, TrieKey k m) => TrieKeyT (K0 k) (KMap m) | (m ~ TrieMap k, TrieKey k m) => TrieKeyT (K0 k) (KMap m) | (TrieKeyT f m1, TrieKeyT g m2) => TrieKeyT (f :+: g) (UnionMap m1 m2) | (TrieKeyT f m1, TrieKeyT g m2) => TrieKeyT (f :+: g) (UnionMap m1 m2) | (TrieKeyT f m1, TrieKeyT g m2) => TrieKeyT (f :*: g) (PMap m1 m2) | (TrieKeyT f m1, TrieKeyT g m2) => TrieKeyT (f :*: g) (PMap m1 m2) |
|
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | (Functor f, Functor g) => Functor (f :*: g) | (EqT f, EqT g) => EqT (f :*: g) | (OrdT f, OrdT g) => OrdT (f :*: g) | (TrieKeyT f m1, TrieKeyT g m2) => TrieKeyT (f :*: g) (PMap m1 m2) | (EqT f, EqT g, Eq r) => Eq ((f :*: g) r) | (OrdT f, OrdT g, Ord r) => Ord ((f :*: g) r) | (TKey a, TrieKeyT f (TrieMapT f), TrieKeyT g (TrieMapT g), Functor f, Functor g) => TKey ((f :*: g) a) | (TrieKeyT f m1, TrieKeyT g m2, TrieKey k (TrieMap k)) => TrieKey ((f :*: g) k) (PMap m1 m2 k) |
|
|
|
|
Constructors | | Instances | (Functor f, Functor g) => Functor (f :+: g) | (EqT f, EqT g) => EqT (f :+: g) | (OrdT f, OrdT g) => OrdT (f :+: g) | (TrieKeyT f m1, TrieKeyT g m2) => TrieKeyT (f :+: g) (UnionMap m1 m2) | (EqT f, EqT g, Eq r) => Eq ((f :+: g) r) | (OrdT f, OrdT g, Ord r) => Ord ((f :+: g) r) | (TKey a, TrieKeyT f (TrieMapT f), TrieKeyT g (TrieMapT g), Functor f, Functor g) => TKey ((f :+: g) a) | (TrieKeyT f m1, TrieKeyT g m2, TrieKey k (TrieMap k)) => TrieKey ((f :+: g) k) (UnionMap m1 m2 k) |
|
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
|
|
type family PF a :: * -> * | Source |
|
|
|
|
|
|
|
|
|
|
| Methods | | | Instances | |
|
|
|
|
|
| Methods | | | Instances | |
|
|
Produced by Haddock version 2.4.2 |