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[aae1] => Repr [a[aae1]] | |
| Repr a[aab1] => Repr (Maybe a[aab1]) | |
| Repr a[abZu] => Repr (Seq a[abZu]) | |
| Repr a[aiIn] => Repr (IntMap a[aiIn]) | |
| Repr a[abJV] => Repr (Set a[abJV]) | |
| Repr a[agyz] => Repr (I0 a[agyz]) | |
| Repr (U0 a) | |
| ReprT f => Repr (Fix f) | |
| Repr a[aa56] => Repr (Rev a[aa56]) | |
| (Repr a[aaOW], Repr a[aaOT]) => Repr (Either a[aaOT] a[aaOW]) | |
| (Repr a[aajv], Repr a[aajs]) => Repr (a[aajs], a[aajv]) | |
| (Repr a[abDh], Repr i[abD4], Ix i[abD4]) => Repr (Array i[abD4] a[abDh]) | |
| (Repr a[abSt], Repr k[abSj]) => Repr (Map k[abSj] a[abSt]) | |
| Repr a => Repr (K0 a b) | |
| (Repr a[agG4], ReprT f[agFZ]) => Repr (L f[agFZ] a[agG4]) | |
| (Repr a[aau1], Repr a[aatR], Repr b[aatS]) => Repr (a[aatR], b[aatS], a[aau1]) | |
| (Repr a[agOW], ReprT f[agOO], ReprT g[agOP]) => Repr (:*: f[agOO] g[agOP] a[agOW]) | |
| (Repr a[ah0k], ReprT f[ah0a], ReprT g[ah0b]) => Repr (:+: f[ah0a] g[ah0b] a[ah0k]) | |
| (Repr a[ah9l], ReprT f[ah9f], ReprT g[ah9g]) => Repr (O f[ah9f] g[ah9g] a[ah9l]) | |
| (Repr a[aaHu], Repr a[aaHh], Repr b[aaHi], Repr c[aaHj]) => Repr (a[aaHh], b[aaHi], c[aaHj], a[aaHu]) |
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[aaOT] => ReprT (Either a[aaOT]) | |
| Repr a[aajs] => ReprT ((,) a[aajs]) | |
| (Repr i[abD4], Ix i[abD4]) => ReprT (Array i[abD4]) | |
| Repr k[abSj] => ReprT (Map k[abSj]) | |
| Repr a => ReprT (K0 a) | |
| ReprT f[agFZ] => ReprT (L f[agFZ]) | |
| TKey k => ReprT (TMap k) | |
| (Repr a[aatR], Repr b[aatS]) => ReprT ((,,) a[aatR] b[aatS]) | |
| (ReprT f[agOO], ReprT g[agOP]) => ReprT (:*: f[agOO] g[agOP]) | |
| (ReprT f[ah0a], ReprT g[ah0b]) => ReprT (:+: f[ah0a] g[ah0b]) | |
| (ReprT f[ah9f], ReprT g[ah9g]) => ReprT (O f[ah9f] g[ah9g]) | |
| (Repr a[aaHh], Repr b[aaHi], Repr c[aaHj]) => ReprT ((,,,) a[aaHh] b[aaHi] c[aaHj]) |