Data.TrieMap.Representation
Documentation
Instances
| Repr Bool | |
| Repr Char | |
| Repr Double | |
| Repr Int | |
| Repr Int8 | |
| Repr Int16 | |
| Repr Int32 | |
| Repr Int64 | |
| Repr Word | |
| Repr Word8 | |
| Repr Word16 | |
| Repr Word32 | |
| Repr Word64 | |
| Repr () | |
| Repr ByteString | |
| Repr IntSet | |
| Repr a[aag4] => Repr [a[aag4]] | |
| Repr a[aad4] => Repr (Maybe a[aad4]) | |
| Repr a[ac1x] => Repr (Seq a[ac1x]) | |
| Repr a[aiJk] => Repr (IntMap a[aiJk]) | |
| Repr a[abLY] => Repr (Set a[abLY]) | |
| Repr a[agzw] => Repr (I0 a[agzw]) | |
| Repr (U0 a) | |
| ReprT f => Repr (Fix f) | |
| Repr a[aa79] => Repr (Rev a[aa79]) | |
| (Repr a[aaQZ], Repr a[aaQW]) => Repr (Either a[aaQW] a[aaQZ]) | |
| (Repr a[aaly], Repr a[aalv]) => Repr (a[aalv], a[aaly]) | |
| (Repr a[abFk], Repr i[abF7], Ix i[abF7]) => Repr (Array i[abF7] a[abFk]) | |
| (Repr a[abUw], Repr k[abUm]) => Repr (Map k[abUm] a[abUw]) | |
| Repr a => Repr (K0 a b) | |
| (Repr a[agH1], ReprT f[agGW]) => Repr (L f[agGW] a[agH1]) | |
| (Repr a[aaw4], Repr a[aavU], Repr b[aavV]) => Repr (a[aavU], b[aavV], a[aaw4]) | |
| (Repr a[agPT], ReprT f[agPL], ReprT g[agPM]) => Repr (:*: f[agPL] g[agPM] a[agPT]) | |
| (Repr a[ah1h], ReprT f[ah17], ReprT g[ah18]) => Repr (:+: f[ah17] g[ah18] a[ah1h]) | |
| (Repr a[ahai], ReprT f[ahac], ReprT g[ahad]) => Repr (O f[ahac] g[ahad] a[ahai]) | |
| (Repr a[aaJx], Repr a[aaJk], Repr b[aaJl], Repr c[aaJm]) => Repr (a[aaJk], b[aaJl], c[aaJm], a[aaJx]) |
class Functor (RepT f) => ReprT f whereSource
Methods
toRepT :: f a -> RepT f aSource
fromRepT :: RepT f a -> f aSource
toRepTMap :: (a -> b) -> f a -> RepT f bSource
fromRepTMap :: (b -> a) -> RepT f b -> f aSource
Instances
| ReprT [] | |
| ReprT Maybe | |
| ReprT Seq | |
| ReprT IntMap | |
| ReprT Set | |
| ReprT I0 | |
| ReprT U0 | |
| ReprT Rev | |
| Repr a[aaQW] => ReprT (Either a[aaQW]) | |
| Repr a[aalv] => ReprT ((,) a[aalv]) | |
| (Repr i[abF7], Ix i[abF7]) => ReprT (Array i[abF7]) | |
| Repr k[abUm] => ReprT (Map k[abUm]) | |
| Repr a => ReprT (K0 a) | |
| ReprT f[agGW] => ReprT (L f[agGW]) | |
| TKey k => ReprT (TMap k) | |
| (Repr a[aavU], Repr b[aavV]) => ReprT ((,,) a[aavU] b[aavV]) | |
| (ReprT f[agPL], ReprT g[agPM]) => ReprT (:*: f[agPL] g[agPM]) | |
| (ReprT f[ah17], ReprT g[ah18]) => ReprT (:+: f[ah17] g[ah18]) | |
| (ReprT f[ahac], ReprT g[ahad]) => ReprT (O f[ahac] g[ahad]) | |
| (Repr a[aaJk], Repr b[aaJl], Repr c[aaJm]) => ReprT ((,,,) a[aaJk] b[aaJl] c[aaJm]) |