Tuple2Map type

data Tuple2Map map1 map2 k1 k2 a Source

Instances

(Map map1 k1, Map map2 k2) => Functor (Tuple2Map map1 map2 k1 k2)
(Typeable1 map1, Typeable1 map2) => Typeable1 (Tuple2Map map1 map2 k1 k2)
(Map map1 k1, Map map2 k2) => Foldable (Tuple2Map map1 map2 k1 k2)
(OrderedMap map1 k1, OrderedMap map2 k2) => OrderedMap (Tuple2Map map1 map2 k1 k2) (k1, k2)
(Map map1 k1, Map map2 k2) => Map (Tuple2Map map1 map2 k1 k2) (k1, k2)	Tuple2Map is an instance of Map.
Eq (map1 (map2 a)) => Eq (Tuple2Map map1 map2 k1 k2 a)
(Map map1 k1, Map map2 k2, Ord (map1 (map2 a))) => Ord (Tuple2Map map1 map2 k1 k2 a)
(Map map1 k1, Map map2 k2, Read k1, Read k2, Read a) => Read (Tuple2Map map1 map2 k1 k2 a)
(Map map1 k1, Map map2 k2, Show k1, Show k2, Show a) => Show (Tuple2Map map1 map2 k1 k2 a)
(Typeable1 (Tuple2Map map1 map2 k1 k2), Typeable a) => Typeable (Tuple2Map map1 map2 k1 k2 a)
(Map map1 k1, Map map2 k2, Monoid a) => Monoid (Tuple2Map map1 map2 k1 k2 a)

type Tuple3Map mapa mapb mapc a b c = InjectKeys (InjectTuple3 a b c) (a, b, c) (a, (b, c)) (Tuple2Map mapa (Tuple2Map mapb mapc b c) a (b, c))Source

type Tuple4Map mapa mapb mapc mapd a b c d = InjectKeys (InjectTuple4 a b c d) (a, b, c, d) (a, (b, (c, d))) (Tuple2Map mapa (Tuple2Map mapb (Tuple2Map mapc mapd c d) b (c, d)) a (b, (c, d)))Source

type Tuple5Map mapa mapb mapc mapd mape a b c d e = InjectKeys (InjectTuple5 a b c d e) (a, b, c, d, e) (a, (b, (c, (d, e)))) (Tuple2Map mapa (Tuple2Map mapb (Tuple2Map mapc (Tuple2Map mapd mape d e) c (d, e)) b (c, (d, e))) a (b, (c, (d, e))))Source