TrieMap-0.5.3: Automatic type inference of generalized tries. Source code Contents Index

Data.TrieMap.Representation

Documentation

class Repr a where Source

Methods toRep :: a -> Rep a Source fromRep :: Rep a -> a Source 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[aefq] => Repr ([] a[aefq]) Repr a[aebo] => Repr (Maybe a[aebo]) Repr a[ageh] => Repr (IntMap a[ageh]) Repr a[agmy] => Repr (Seq a[agmy]) Repr a[afSj] => Repr (Set a[afSj]) ReprT f => Repr (Fix f) Repr (U0 a) Repr a[a4IN] => Repr (I0 a[a4IN]) Repr a[ae54] => Repr (Rev a[ae54]) (Repr a[aeYY], Repr a[aeYT]) => Repr (Either a[aeYT] a[aeYY]) (Repr a[aelf], Repr a[aela]) => Repr ((,) a[aela] a[aelf]) (Repr a[afHk], Repr i[afH5], Ix i[afH5]) => Repr (Array i[afH5] a[afHk]) (Repr a[ag2v], Repr k[ag2j]) => Repr (Map k[ag2j] a[ag2v]) (Repr a[a4S1], ReprT f[a4RU]) => Repr (L f[a4RU] a[a4S1]) Repr a => Repr (K0 a b) (Repr a[aey5], Repr a[aexT], Repr b[aexU]) => Repr ((,,) a[aexT] b[aexU] a[aey5]) (Repr a[a5pJ], ReprT f[a5pB], ReprT g[a5pC]) => Repr (O f[a5pB] g[a5pC] a[a5pJ]) (Repr a[a5eO], ReprT f[a5eC], ReprT g[a5eD]) => Repr ((f[a5eC] :+: g[a5eD]) a[a5eO]) (Repr a[a51P], ReprT f[a51F], ReprT g[a51G]) => Repr ((f[a51F] :*: g[a51G]) a[a51P]) (Repr a[aeO6], Repr a[aeNR], Repr b[aeNS], Repr c[aeNT]) => Repr ((,,,) a[aeNR] b[aeNS] c[aeNT] a[aeO6])

class Functor (RepT f) => ReprT f where Source

Methods toRepT :: f a -> RepT f a Source fromRepT :: RepT f a -> f a Source toRepTMap :: (a -> b) -> f a -> RepT f b Source fromRepTMap :: (b -> a) -> RepT f b -> f a Source Instances ReprT [] ReprT Maybe ReprT IntMap ReprT Seq ReprT Set ReprT U0 ReprT I0 ReprT Rev Repr a[aeYT] => ReprT (Either a[aeYT]) Repr a[aela] => ReprT ((,) a[aela]) (Repr i[afH5], Ix i[afH5]) => ReprT (Array i[afH5]) Repr k[ag2j] => ReprT (Map k[ag2j]) ReprT f[a4RU] => ReprT (L f[a4RU]) Repr a => ReprT (K0 a) TKey k => ReprT (TMap k) (Repr a[aexT], Repr b[aexU]) => ReprT ((,,) a[aexT] b[aexU]) (ReprT f[a5pB], ReprT g[a5pC]) => ReprT (O f[a5pB] g[a5pC]) (ReprT f[a5eC], ReprT g[a5eD]) => ReprT (f[a5eC] :+: g[a5eD]) (ReprT f[a51F], ReprT g[a51G]) => ReprT (f[a51F] :*: g[a51G]) (Repr a[aeNR], Repr b[aeNS], Repr c[aeNT]) => ReprT ((,,,) a[aeNR] b[aeNS] c[aeNT])

type family Rep a Source

type family RepT f :: * -> * Source

Produced by Haddock version 2.4.2