Documentation
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
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
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]) |