|
|
|
|
|
Documentation |
|
class HOrd0 phi r => HTrieKey phi r m | phi r -> m, m -> phi r | Source |
|
| Instances | (Fam phi, HFunctor phi (PF phi), HTrieKeyT phi (PF phi) m) => HTrieKey phi (Family phi) (FamMap phi m) | (Fam phi, HFunctor phi (PF phi), HTrieKeyT phi (PF phi) m) => HTrieKey phi (Family phi) (FamMap phi m) | HTrieKey phi (U r) (UMap phi r) | HTrieKey phi (U r) (UMap phi r) | TrieKey k m => HTrieKey phi (K k r) (KMap phi m r) | TrieKey k m => HTrieKey phi (K k r) (KMap phi m r) | (El phi xi, HTrieKey phi r (HTrieMap phi r)) => HTrieKey phi (I xi r) (IMap phi xi r) | (El phi xi, HTrieKey phi r (HTrieMap phi r)) => HTrieKey phi (I xi r) (IMap phi xi r) | (m1 ~ HTrieMapT phi f, m2 ~ HTrieMapT phi g, HTrieKeyT phi f m1, HTrieKeyT phi g m2, HTrieKey phi r (HTrieMap phi r)) => HTrieKey phi ((f :*: g) r) (ProdMap phi m1 m2 r) | (m1 ~ HTrieMapT phi f, m2 ~ HTrieMapT phi g, HTrieKeyT phi f m1, HTrieKeyT phi g m2, HTrieKey phi r (HTrieMap phi r)) => HTrieKey phi ((f :*: g) r) (ProdMap phi m1 m2 r) | (m ~ HTrieMapT phi f, HTrieKeyT phi f m, HTrieKey phi r (HTrieMap phi r)) => HTrieKey phi ((f :>: ix) r) (TagMap phi m ix r) | (m ~ HTrieMapT phi f, HTrieKeyT phi f m, HTrieKey phi r (HTrieMap phi r)) => HTrieKey phi ((f :>: ix) r) (TagMap phi m ix r) | (m1 ~ HTrieMapT phi f, m2 ~ HTrieMapT phi g, HTrieKeyT phi f m1, HTrieKeyT phi g m2, HTrieKey phi r (HTrieMap phi r)) => HTrieKey phi ((f :+: g) r) (UnionMap phi m1 m2 r) | (m1 ~ HTrieMapT phi f, m2 ~ HTrieMapT phi g, HTrieKeyT phi f m1, HTrieKeyT phi g m2, HTrieKey phi r (HTrieMap phi r)) => HTrieKey phi ((f :+: g) r) (UnionMap phi m1 m2 r) |
|
|
|
class HOrd phi f => HTrieKeyT phi f m | phi f -> m, m -> phi f | Source |
|
| Instances | HTrieKeyT phi U (UMap phi) | HTrieKeyT phi U (UMap phi) | TrieKey k m => HTrieKeyT phi (K k) (KMap phi m) | TrieKey k m => HTrieKeyT phi (K k) (KMap phi m) | El phi xi => HTrieKeyT phi (I xi) (IMap phi xi) | El phi xi => HTrieKeyT phi (I xi) (IMap phi xi) | (m1 ~ HTrieMapT phi f, m2 ~ HTrieMapT phi g, HTrieKeyT phi f m1, HTrieKeyT phi g m2) => HTrieKeyT phi (f :*: g) (ProdMap phi m1 m2) | (m1 ~ HTrieMapT phi f, m2 ~ HTrieMapT phi g, HTrieKeyT phi f m1, HTrieKeyT phi g m2) => HTrieKeyT phi (f :*: g) (ProdMap phi m1 m2) | (m ~ HTrieMapT phi f, HTrieKeyT phi f m) => HTrieKeyT phi (f :>: ix) (TagMap phi m ix) | (m ~ HTrieMapT phi f, HTrieKeyT phi f m) => HTrieKeyT phi (f :>: ix) (TagMap phi m ix) | (HTrieKeyT phi f m1, HTrieKeyT phi g m2) => HTrieKeyT phi (f :+: g) (UnionMap phi m1 m2) | (HTrieKeyT phi f m1, HTrieKeyT phi g m2) => HTrieKeyT phi (f :+: g) (UnionMap phi m1 m2) |
|
|
|
|
Constructors | | Instances | (Fam phi, HEq phi (PF phi), HFunctor phi (PF phi)) => HEq0 phi (Family phi) | (Fam phi, HOrd phi (PF phi), HFunctor phi (PF phi)) => HOrd0 phi (Family phi) | (Fam phi, HFunctor phi (PF phi), HTrieKeyT phi (PF phi) m) => HTrieKey phi (Family phi) (FamMap phi m) | (El phi ix, Fam phi, HEq phi (PF phi), HFunctor phi (PF phi)) => Eq (Family phi ix) | (El phi ix, Fam phi, HOrd phi (PF phi), HFunctor phi (PF phi)) => Ord (Family phi ix) | (m ~ HTrieMap phi (Family phi), El phi ix, Fam phi, HFunctor phi (PF phi), HTrieKey phi (Family phi) m, HOrd phi (PF phi)) => TrieKey (Family phi ix) (FMap phi m ix) |
|
|
|
|
| Methods | | | Instances | |
|
|
|
| Methods | compareH0 :: phi ix -> Comparator (r ix) | Source |
|
| | Instances | |
|
|
|
| Methods | compareH :: (forall ix. phi ix -> Comparator (r ix)) -> phi ix -> Comparator (f r ix) | Source |
|
| | Instances | |
|
|
Produced by Haddock version 2.4.2 |