|
|
|
|
|
Documentation |
|
type family TrieMapT f :: * -> * -> * | Source |
|
|
class OrdT f => TrieKeyT f m | m -> f, f -> m | Source |
|
| Instances | TrieKeyT [] RadixTrie | TrieKeyT [] RadixTrie | TrieKeyT U0 M | TrieKeyT U0 M | TrieKeyT I0 IMap | TrieKeyT I0 IMap | TrieKeyT Rev ReverseMap | TrieKeyT Rev ReverseMap | TrieKey k1 m1 => TrieKeyT (Either k1) (UMap m1) | TrieKey k1 m1 => TrieKeyT (Either k1) (UMap m1) | TrieKey k1 m1 => TrieKeyT ((,) k1) (PMap m1) | TrieKey k1 m1 => TrieKeyT ((,) k1) (PMap m1) | (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 m => TrieKeyT (App f) (AppMap m) | TrieKeyT f m => TrieKeyT (App f) (AppMap m) | (TrieKeyT f m, Functor f, TrieKeyT g (TrieMapT g)) => TrieKeyT (O f g) (CompMap m g) | (TrieKeyT f m, Functor f, TrieKeyT g (TrieMapT g)) => TrieKeyT (O f g) (CompMap m g) | (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) | (ReprT f[a51F], ReprT g[a51G]) => ReprT (f[a51F] :*: g[a51G]) | (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) | (Show (f r), Show (g r)) => Show ((f :*: g) r) | (Repr a[a51P], ReprT f[a51F], ReprT g[a51G]) => Repr ((f[a51F] :*: g[a51G]) a[a51P]) | (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) | (ReprT f[a5eC], ReprT g[a5eD]) => ReprT (f[a5eC] :+: g[a5eD]) | (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) | (Show (f r), Show (g r)) => Show ((f :+: g) r) | (Repr a[a5eO], ReprT f[a5eC], ReprT g[a5eD]) => Repr ((f[a5eC] :+: g[a5eD]) a[a5eO]) | (TrieKeyT f m1, TrieKeyT g m2, TrieKey k (TrieMap k)) => TrieKey ((f :+: g) k) (UnionMap m1 m2 k) |
|
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | (Functor f, Functor g) => Functor (O f g) | (ReprT f[a5pB], ReprT g[a5pC]) => ReprT (O f[a5pB] g[a5pC]) | (EqT f, EqT g) => EqT (O f g) | (OrdT f, OrdT g) => OrdT (O f g) | (TrieKeyT f m, Functor f, TrieKeyT g (TrieMapT g)) => TrieKeyT (O f g) (CompMap m g) | (EqT f, EqT g, Eq r) => Eq (O f g r) | (OrdT f, OrdT g, Ord r) => Ord (O f g r) | (Repr a[a5pJ], ReprT f[a5pB], ReprT g[a5pC]) => Repr (O f[a5pB] g[a5pC] a[a5pJ]) | (TrieKeyT f m, Functor f, TrieKeyT g (TrieMapT g), TrieKey k (TrieMap k)) => TrieKey (O f g k) (CompMap m g k) |
|
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
type family PF a :: * -> * | Source |
|
|
|
|
|
|
|
|
|
partEithers :: [((f :+: g) r, a)] -> ([(f r, a)], [(g r, a)]) | Source |
|
|
|
| Methods | | | Instances | |
|
|
|
|
|
| Methods | | | Instances | |
|
|
Produced by Haddock version 2.4.2 |