Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.HeteroParList.Tuple

Documentation

class Map0_2 (ss :: [(k0, k1)]) where Source #

Methods

map0_2 :: (forall (a :: k0) (b :: k1). t '(a, b) -> t' a) -> PL t ss -> PL t' (M0_2 ss) Source #

Instances

Instances details

Map0_2 ('[] :: [(k0, k1)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_2 :: (forall (a :: k00) (b :: k10). t '(a, b) -> t' a) -> PL t '[] -> PL t' (M0_2 '[]) Source #
Map0_2 ts => Map0_2 ('(a, b) ': ts :: [(k0, k1)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_2 :: (forall (a0 :: k00) (b0 :: k10). t '(a0, b0) -> t' a0) -> PL t ('(a, b) ': ts) -> PL t' (M0_2 ('(a, b) ': ts)) Source #

class Map1_2 (ss :: [(k0, k1)]) where Source #

Methods

map1_2 :: (forall (a :: k0) (b :: k1). t '(a, b) -> t' b) -> PL t ss -> PL t' (M1_2 ss) Source #

Instances

Instances details

Map1_2 ('[] :: [(k0, k1)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_2 :: (forall (a :: k00) (b :: k10). t '(a, b) -> t' b) -> PL t '[] -> PL t' (M1_2 '[]) Source #
Map1_2 ts => Map1_2 ('(a, b) ': ts :: [(k0, k1)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_2 :: (forall (a0 :: k00) (b0 :: k10). t '(a0, b0) -> t' b0) -> PL t ('(a, b) ': ts) -> PL t' (M1_2 ('(a, b) ': ts)) Source #

class Map0_3 (ss :: [(k0, k1, k2)]) where Source #

Methods

map0_3 :: (forall (a :: k0) (b :: k1) (c :: k2). t '(a, b, c) -> t' a) -> PL t ss -> PL t' (M0_3 ss) Source #

Instances

Instances details

Map0_3 ('[] :: [(k0, k1, k2)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_3 :: (forall (a :: k00) (b :: k10) (c :: k20). t '(a, b, c) -> t' a) -> PL t '[] -> PL t' (M0_3 '[]) Source #
Map0_3 ts => Map0_3 ('(a, b, c) ': ts :: [(k0, k1, k2)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_3 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20). t '(a0, b0, c0) -> t' a0) -> PL t ('(a, b, c) ': ts) -> PL t' (M0_3 ('(a, b, c) ': ts)) Source #

class Map1_3 (ss :: [(k0, k1, k2)]) where Source #

Methods

map1_3 :: (forall (a :: k0) (b :: k1) (c :: k2). t '(a, b, c) -> t' b) -> PL t ss -> PL t' (M1_3 ss) Source #

Instances

Instances details

Map1_3 ('[] :: [(k0, k1, k2)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_3 :: (forall (a :: k00) (b :: k10) (c :: k20). t '(a, b, c) -> t' b) -> PL t '[] -> PL t' (M1_3 '[]) Source #
Map1_3 ts => Map1_3 ('(a, b, c) ': ts :: [(k0, k1, k2)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_3 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20). t '(a0, b0, c0) -> t' b0) -> PL t ('(a, b, c) ': ts) -> PL t' (M1_3 ('(a, b, c) ': ts)) Source #

class Map2_3 (ss :: [(k0, k1, k2)]) where Source #

Methods

map2_3 :: (forall (a :: k0) (b :: k1) (c :: k2). t '(a, b, c) -> t' c) -> PL t ss -> PL t' (M2_3 ss) Source #

Instances

Instances details

Map2_3 ('[] :: [(k0, k1, k2)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_3 :: (forall (a :: k00) (b :: k10) (c :: k20). t '(a, b, c) -> t' c) -> PL t '[] -> PL t' (M2_3 '[]) Source #
Map2_3 ts => Map2_3 ('(a, b, c) ': ts :: [(k0, k1, k2)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_3 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20). t '(a0, b0, c0) -> t' c0) -> PL t ('(a, b, c) ': ts) -> PL t' (M2_3 ('(a, b, c) ': ts)) Source #

class Map0_4 (ss :: [(k0, k1, k2, k3)]) where Source #

Methods

map0_4 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3). t '(a, b, c, d) -> t' a) -> PL t ss -> PL t' (M0_4 ss) Source #

Instances

Instances details

Map0_4 ('[] :: [(k0, k1, k2, k3)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_4 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30). t '(a, b, c, d) -> t' a) -> PL t '[] -> PL t' (M0_4 '[]) Source #
Map0_4 ts => Map0_4 ('(a, b, c, d) ': ts :: [(k0, k1, k2, k3)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_4 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30). t '(a0, b0, c0, d0) -> t' a0) -> PL t ('(a, b, c, d) ': ts) -> PL t' (M0_4 ('(a, b, c, d) ': ts)) Source #

class Map1_4 (ss :: [(k0, k1, k2, k3)]) where Source #

Methods

map1_4 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3). t '(a, b, c, d) -> t' b) -> PL t ss -> PL t' (M1_4 ss) Source #

Instances

Instances details

Map1_4 ('[] :: [(k0, k1, k2, k3)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_4 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30). t '(a, b, c, d) -> t' b) -> PL t '[] -> PL t' (M1_4 '[]) Source #
Map1_4 ts => Map1_4 ('(a, b, c, d) ': ts :: [(k0, k1, k2, k3)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_4 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30). t '(a0, b0, c0, d0) -> t' b0) -> PL t ('(a, b, c, d) ': ts) -> PL t' (M1_4 ('(a, b, c, d) ': ts)) Source #

class Map2_4 (ss :: [(k0, k1, k2, k3)]) where Source #

Methods

map2_4 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3). t '(a, b, c, d) -> t' c) -> PL t ss -> PL t' (M2_4 ss) Source #

Instances

Instances details

Map2_4 ('[] :: [(k0, k1, k2, k3)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_4 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30). t '(a, b, c, d) -> t' c) -> PL t '[] -> PL t' (M2_4 '[]) Source #
Map2_4 ts => Map2_4 ('(a, b, c, d) ': ts :: [(k0, k1, k2, k3)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_4 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30). t '(a0, b0, c0, d0) -> t' c0) -> PL t ('(a, b, c, d) ': ts) -> PL t' (M2_4 ('(a, b, c, d) ': ts)) Source #

class Map3_4 (ss :: [(k0, k1, k2, k3)]) where Source #

Methods

map3_4 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3). t '(a, b, c, d) -> t' d) -> PL t ss -> PL t' (M3_4 ss) Source #

Instances

Instances details

Map3_4 ('[] :: [(k0, k1, k2, k3)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map3_4 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30). t '(a, b, c, d) -> t' d) -> PL t '[] -> PL t' (M3_4 '[]) Source #
Map3_4 ts => Map3_4 ('(a, b, c, d) ': ts :: [(k0, k1, k2, k3)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map3_4 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30). t '(a0, b0, c0, d0) -> t' d0) -> PL t ('(a, b, c, d) ': ts) -> PL t' (M3_4 ('(a, b, c, d) ': ts)) Source #

class Map0_5 (ss :: [(k0, k1, k2, k3, k4)]) where Source #

Methods

map0_5 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4). t '(a, b, c, d, e) -> t' a) -> PL t ss -> PL t' (M0_5 ss) Source #

Instances

Instances details

Map0_5 ('[] :: [(k0, k1, k2, k3, k4)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_5 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40). t '(a, b, c, d, e) -> t' a) -> PL t '[] -> PL t' (M0_5 '[]) Source #
Map0_5 ts => Map0_5 ('(a, b, c, d, e) ': ts :: [(k0, k1, k2, k3, k4)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_5 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40). t '(a0, b0, c0, d0, e0) -> t' a0) -> PL t ('(a, b, c, d, e) ': ts) -> PL t' (M0_5 ('(a, b, c, d, e) ': ts)) Source #

class Map1_5 (ss :: [(k0, k1, k2, k3, k4)]) where Source #

Methods

map1_5 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4). t '(a, b, c, d, e) -> t' b) -> PL t ss -> PL t' (M1_5 ss) Source #

Instances

Instances details

Map1_5 ('[] :: [(k0, k1, k2, k3, k4)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_5 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40). t '(a, b, c, d, e) -> t' b) -> PL t '[] -> PL t' (M1_5 '[]) Source #
Map1_5 ts => Map1_5 ('(a, b, c, d, e) ': ts :: [(k0, k1, k2, k3, k4)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_5 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40). t '(a0, b0, c0, d0, e0) -> t' b0) -> PL t ('(a, b, c, d, e) ': ts) -> PL t' (M1_5 ('(a, b, c, d, e) ': ts)) Source #

class Map2_5 (ss :: [(k0, k1, k2, k3, k4)]) where Source #

Methods

map2_5 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4). t '(a, b, c, d, e) -> t' c) -> PL t ss -> PL t' (M2_5 ss) Source #

Instances

Instances details

Map2_5 ('[] :: [(k0, k1, k2, k3, k4)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_5 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40). t '(a, b, c, d, e) -> t' c) -> PL t '[] -> PL t' (M2_5 '[]) Source #
Map2_5 ts => Map2_5 ('(a, b, c, d, e) ': ts :: [(k0, k1, k2, k3, k4)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_5 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40). t '(a0, b0, c0, d0, e0) -> t' c0) -> PL t ('(a, b, c, d, e) ': ts) -> PL t' (M2_5 ('(a, b, c, d, e) ': ts)) Source #

class Map3_5 (ss :: [(k0, k1, k2, k3, k4)]) where Source #

Methods

map3_5 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4). t '(a, b, c, d, e) -> t' d) -> PL t ss -> PL t' (M3_5 ss) Source #

Instances

Instances details

Map3_5 ('[] :: [(k0, k1, k2, k3, k4)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map3_5 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40). t '(a, b, c, d, e) -> t' d) -> PL t '[] -> PL t' (M3_5 '[]) Source #
Map3_5 ts => Map3_5 ('(a, b, c, d, e) ': ts :: [(k0, k1, k2, k3, k4)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map3_5 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40). t '(a0, b0, c0, d0, e0) -> t' d0) -> PL t ('(a, b, c, d, e) ': ts) -> PL t' (M3_5 ('(a, b, c, d, e) ': ts)) Source #

class Map4_5 (ss :: [(k0, k1, k2, k3, k4)]) where Source #

Methods

map4_5 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4). t '(a, b, c, d, e) -> t' e) -> PL t ss -> PL t' (M4_5 ss) Source #

Instances

Instances details

Map4_5 ('[] :: [(k0, k1, k2, k3, k4)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map4_5 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40). t '(a, b, c, d, e) -> t' e) -> PL t '[] -> PL t' (M4_5 '[]) Source #
Map4_5 ts => Map4_5 ('(a, b, c, d, e) ': ts :: [(k0, k1, k2, k3, k4)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map4_5 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40). t '(a0, b0, c0, d0, e0) -> t' e0) -> PL t ('(a, b, c, d, e) ': ts) -> PL t' (M4_5 ('(a, b, c, d, e) ': ts)) Source #

class Map0_6 (ss :: [(k0, k1, k2, k3, k4, k5)]) where Source #

Methods

map0_6 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5). t '(a, b, c, d, e, f) -> t' a) -> PL t ss -> PL t' (M0_6 ss) Source #

Instances

Instances details

Map0_6 ('[] :: [(k0, k1, k2, k3, k4, k5)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_6 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50). t '(a, b, c, d, e, f) -> t' a) -> PL t '[] -> PL t' (M0_6 '[]) Source #
Map0_6 ts => Map0_6 ('(a, b, c, d, e, f) ': ts :: [(k0, k1, k2, k3, k4, k5)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_6 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50). t '(a0, b0, c0, d0, e0, f0) -> t' a0) -> PL t ('(a, b, c, d, e, f) ': ts) -> PL t' (M0_6 ('(a, b, c, d, e, f) ': ts)) Source #

class Map1_6 (ss :: [(k0, k1, k2, k3, k4, k5)]) where Source #

Methods

map1_6 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5). t '(a, b, c, d, e, f) -> t' b) -> PL t ss -> PL t' (M1_6 ss) Source #

Instances

Instances details

Map1_6 ('[] :: [(k0, k1, k2, k3, k4, k5)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_6 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50). t '(a, b, c, d, e, f) -> t' b) -> PL t '[] -> PL t' (M1_6 '[]) Source #
Map1_6 ts => Map1_6 ('(a, b, c, d, e, f) ': ts :: [(k0, k1, k2, k3, k4, k5)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_6 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50). t '(a0, b0, c0, d0, e0, f0) -> t' b0) -> PL t ('(a, b, c, d, e, f) ': ts) -> PL t' (M1_6 ('(a, b, c, d, e, f) ': ts)) Source #

class Map2_6 (ss :: [(k0, k1, k2, k3, k4, k5)]) where Source #

Methods

map2_6 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5). t '(a, b, c, d, e, f) -> t' c) -> PL t ss -> PL t' (M2_6 ss) Source #

Instances

Instances details

Map2_6 ('[] :: [(k0, k1, k2, k3, k4, k5)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_6 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50). t '(a, b, c, d, e, f) -> t' c) -> PL t '[] -> PL t' (M2_6 '[]) Source #
Map2_6 ts => Map2_6 ('(a, b, c, d, e, f) ': ts :: [(k0, k1, k2, k3, k4, k5)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_6 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50). t '(a0, b0, c0, d0, e0, f0) -> t' c0) -> PL t ('(a, b, c, d, e, f) ': ts) -> PL t' (M2_6 ('(a, b, c, d, e, f) ': ts)) Source #

class Map3_6 (ss :: [(k0, k1, k2, k3, k4, k5)]) where Source #

Methods

map3_6 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5). t '(a, b, c, d, e, f) -> t' d) -> PL t ss -> PL t' (M3_6 ss) Source #

Instances

Instances details

Map3_6 ('[] :: [(k0, k1, k2, k3, k4, k5)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map3_6 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50). t '(a, b, c, d, e, f) -> t' d) -> PL t '[] -> PL t' (M3_6 '[]) Source #
Map3_6 ts => Map3_6 ('(a, b, c, d, e, f) ': ts :: [(k0, k1, k2, k3, k4, k5)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map3_6 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50). t '(a0, b0, c0, d0, e0, f0) -> t' d0) -> PL t ('(a, b, c, d, e, f) ': ts) -> PL t' (M3_6 ('(a, b, c, d, e, f) ': ts)) Source #

class Map4_6 (ss :: [(k0, k1, k2, k3, k4, k5)]) where Source #

Methods

map4_6 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5). t '(a, b, c, d, e, f) -> t' e) -> PL t ss -> PL t' (M4_6 ss) Source #

Instances

Instances details

Map4_6 ('[] :: [(k0, k1, k2, k3, k4, k5)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map4_6 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50). t '(a, b, c, d, e, f) -> t' e) -> PL t '[] -> PL t' (M4_6 '[]) Source #
Map4_6 ts => Map4_6 ('(a, b, c, d, e, f) ': ts :: [(k0, k1, k2, k3, k4, k5)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map4_6 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50). t '(a0, b0, c0, d0, e0, f0) -> t' e0) -> PL t ('(a, b, c, d, e, f) ': ts) -> PL t' (M4_6 ('(a, b, c, d, e, f) ': ts)) Source #

class Map5_6 (ss :: [(k0, k1, k2, k3, k4, k5)]) where Source #

Methods

map5_6 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5). t '(a, b, c, d, e, f) -> t' f) -> PL t ss -> PL t' (M5_6 ss) Source #

Instances

Instances details

Map5_6 ('[] :: [(k0, k1, k2, k3, k4, k5)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map5_6 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50). t '(a, b, c, d, e, f) -> t' f) -> PL t '[] -> PL t' (M5_6 '[]) Source #
Map5_6 ts => Map5_6 ('(a, b, c, d, e, f) ': ts :: [(k0, k1, k2, k3, k4, k5)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map5_6 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50). t '(a0, b0, c0, d0, e0, f0) -> t' f0) -> PL t ('(a, b, c, d, e, f) ': ts) -> PL t' (M5_6 ('(a, b, c, d, e, f) ': ts)) Source #

class Map0_7 (ss :: [(k0, k1, k2, k3, k4, k5, k6)]) where Source #

Methods

map0_7 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6). t '(a, b, c, d, e, f, g) -> t' a) -> PL t ss -> PL t' (M0_7 ss) Source #

Instances

Instances details

Map0_7 ('[] :: [(k0, k1, k2, k3, k4, k5, k6)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_7 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60). t '(a, b, c, d, e, f, g) -> t' a) -> PL t '[] -> PL t' (M0_7 '[]) Source #
Map0_7 ts => Map0_7 ('(a, b, c, d, e, f, g) ': ts :: [(k0, k1, k2, k3, k4, k5, k6)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_7 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60). t '(a0, b0, c0, d0, e0, f0, g0) -> t' a0) -> PL t ('(a, b, c, d, e, f, g) ': ts) -> PL t' (M0_7 ('(a, b, c, d, e, f, g) ': ts)) Source #

class Map1_7 (ss :: [(k0, k1, k2, k3, k4, k5, k6)]) where Source #

Methods

map1_7 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6). t '(a, b, c, d, e, f, g) -> t' b) -> PL t ss -> PL t' (M1_7 ss) Source #

Instances

Instances details

Map1_7 ('[] :: [(k0, k1, k2, k3, k4, k5, k6)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_7 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60). t '(a, b, c, d, e, f, g) -> t' b) -> PL t '[] -> PL t' (M1_7 '[]) Source #
Map1_7 ts => Map1_7 ('(a, b, c, d, e, f, g) ': ts :: [(k0, k1, k2, k3, k4, k5, k6)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_7 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60). t '(a0, b0, c0, d0, e0, f0, g0) -> t' b0) -> PL t ('(a, b, c, d, e, f, g) ': ts) -> PL t' (M1_7 ('(a, b, c, d, e, f, g) ': ts)) Source #

class Map2_7 (ss :: [(k0, k1, k2, k3, k4, k5, k6)]) where Source #

Methods

map2_7 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6). t '(a, b, c, d, e, f, g) -> t' c) -> PL t ss -> PL t' (M2_7 ss) Source #

Instances

Instances details

Map2_7 ('[] :: [(k0, k1, k2, k3, k4, k5, k6)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_7 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60). t '(a, b, c, d, e, f, g) -> t' c) -> PL t '[] -> PL t' (M2_7 '[]) Source #
Map2_7 ts => Map2_7 ('(a, b, c, d, e, f, g) ': ts :: [(k0, k1, k2, k3, k4, k5, k6)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_7 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60). t '(a0, b0, c0, d0, e0, f0, g0) -> t' c0) -> PL t ('(a, b, c, d, e, f, g) ': ts) -> PL t' (M2_7 ('(a, b, c, d, e, f, g) ': ts)) Source #

class Map3_7 (ss :: [(k0, k1, k2, k3, k4, k5, k6)]) where Source #

Methods

map3_7 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6). t '(a, b, c, d, e, f, g) -> t' d) -> PL t ss -> PL t' (M3_7 ss) Source #

Instances

Instances details

Map3_7 ('[] :: [(k0, k1, k2, k3, k4, k5, k6)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map3_7 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60). t '(a, b, c, d, e, f, g) -> t' d) -> PL t '[] -> PL t' (M3_7 '[]) Source #
Map3_7 ts => Map3_7 ('(a, b, c, d, e, f, g) ': ts :: [(k0, k1, k2, k3, k4, k5, k6)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map3_7 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60). t '(a0, b0, c0, d0, e0, f0, g0) -> t' d0) -> PL t ('(a, b, c, d, e, f, g) ': ts) -> PL t' (M3_7 ('(a, b, c, d, e, f, g) ': ts)) Source #

class Map4_7 (ss :: [(k0, k1, k2, k3, k4, k5, k6)]) where Source #

Methods

map4_7 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6). t '(a, b, c, d, e, f, g) -> t' e) -> PL t ss -> PL t' (M4_7 ss) Source #

Instances

Instances details

Map4_7 ('[] :: [(k0, k1, k2, k3, k4, k5, k6)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map4_7 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60). t '(a, b, c, d, e, f, g) -> t' e) -> PL t '[] -> PL t' (M4_7 '[]) Source #
Map4_7 ts => Map4_7 ('(a, b, c, d, e, f, g) ': ts :: [(k0, k1, k2, k3, k4, k5, k6)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map4_7 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60). t '(a0, b0, c0, d0, e0, f0, g0) -> t' e0) -> PL t ('(a, b, c, d, e, f, g) ': ts) -> PL t' (M4_7 ('(a, b, c, d, e, f, g) ': ts)) Source #

class Map5_7 (ss :: [(k0, k1, k2, k3, k4, k5, k6)]) where Source #

Methods

map5_7 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6). t '(a, b, c, d, e, f, g) -> t' f) -> PL t ss -> PL t' (M5_7 ss) Source #

Instances

Instances details

Map5_7 ('[] :: [(k0, k1, k2, k3, k4, k5, k6)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map5_7 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60). t '(a, b, c, d, e, f, g) -> t' f) -> PL t '[] -> PL t' (M5_7 '[]) Source #
Map5_7 ts => Map5_7 ('(a, b, c, d, e, f, g) ': ts :: [(k0, k1, k2, k3, k4, k5, k6)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map5_7 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60). t '(a0, b0, c0, d0, e0, f0, g0) -> t' f0) -> PL t ('(a, b, c, d, e, f, g) ': ts) -> PL t' (M5_7 ('(a, b, c, d, e, f, g) ': ts)) Source #

class Map6_7 (ss :: [(k0, k1, k2, k3, k4, k5, k6)]) where Source #

Methods

map6_7 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6). t '(a, b, c, d, e, f, g) -> t' g) -> PL t ss -> PL t' (M6_7 ss) Source #

Instances

Instances details

Map6_7 ('[] :: [(k0, k1, k2, k3, k4, k5, k6)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map6_7 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60). t '(a, b, c, d, e, f, g) -> t' g) -> PL t '[] -> PL t' (M6_7 '[]) Source #
Map6_7 ts => Map6_7 ('(a, b, c, d, e, f, g) ': ts :: [(k0, k1, k2, k3, k4, k5, k6)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map6_7 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60). t '(a0, b0, c0, d0, e0, f0, g0) -> t' g0) -> PL t ('(a, b, c, d, e, f, g) ': ts) -> PL t' (M6_7 ('(a, b, c, d, e, f, g) ': ts)) Source #

class Map0_8 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) where Source #

Methods

map0_8 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7). t '(a, b, c, d, e, f, g, h) -> t' a) -> PL t ss -> PL t' (M0_8 ss) Source #

Instances

Instances details

Map0_8 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_8 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70). t '(a, b, c, d, e, f, g, h) -> t' a) -> PL t '[] -> PL t' (M0_8 '[]) Source #
Map0_8 ts => Map0_8 ('(a, b, c, d, e, f, g, h) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_8 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70). t '(a0, b0, c0, d0, e0, f0, g0, h0) -> t' a0) -> PL t ('(a, b, c, d, e, f, g, h) ': ts) -> PL t' (M0_8 ('(a, b, c, d, e, f, g, h) ': ts)) Source #

class Map1_8 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) where Source #

Methods

map1_8 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7). t '(a, b, c, d, e, f, g, h) -> t' b) -> PL t ss -> PL t' (M1_8 ss) Source #

Instances

Instances details

Map1_8 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_8 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70). t '(a, b, c, d, e, f, g, h) -> t' b) -> PL t '[] -> PL t' (M1_8 '[]) Source #
Map1_8 ts => Map1_8 ('(a, b, c, d, e, f, g, h) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_8 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70). t '(a0, b0, c0, d0, e0, f0, g0, h0) -> t' b0) -> PL t ('(a, b, c, d, e, f, g, h) ': ts) -> PL t' (M1_8 ('(a, b, c, d, e, f, g, h) ': ts)) Source #

class Map2_8 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) where Source #

Methods

map2_8 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7). t '(a, b, c, d, e, f, g, h) -> t' c) -> PL t ss -> PL t' (M2_8 ss) Source #

Instances

Instances details

Map2_8 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_8 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70). t '(a, b, c, d, e, f, g, h) -> t' c) -> PL t '[] -> PL t' (M2_8 '[]) Source #
Map2_8 ts => Map2_8 ('(a, b, c, d, e, f, g, h) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_8 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70). t '(a0, b0, c0, d0, e0, f0, g0, h0) -> t' c0) -> PL t ('(a, b, c, d, e, f, g, h) ': ts) -> PL t' (M2_8 ('(a, b, c, d, e, f, g, h) ': ts)) Source #

class Map3_8 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) where Source #

Methods

map3_8 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7). t '(a, b, c, d, e, f, g, h) -> t' d) -> PL t ss -> PL t' (M3_8 ss) Source #

Instances

Instances details

Map3_8 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map3_8 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70). t '(a, b, c, d, e, f, g, h) -> t' d) -> PL t '[] -> PL t' (M3_8 '[]) Source #
Map3_8 ts => Map3_8 ('(a, b, c, d, e, f, g, h) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map3_8 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70). t '(a0, b0, c0, d0, e0, f0, g0, h0) -> t' d0) -> PL t ('(a, b, c, d, e, f, g, h) ': ts) -> PL t' (M3_8 ('(a, b, c, d, e, f, g, h) ': ts)) Source #

class Map4_8 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) where Source #

Methods

map4_8 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7). t '(a, b, c, d, e, f, g, h) -> t' e) -> PL t ss -> PL t' (M4_8 ss) Source #

Instances

Instances details

Map4_8 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map4_8 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70). t '(a, b, c, d, e, f, g, h) -> t' e) -> PL t '[] -> PL t' (M4_8 '[]) Source #
Map4_8 ts => Map4_8 ('(a, b, c, d, e, f, g, h) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map4_8 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70). t '(a0, b0, c0, d0, e0, f0, g0, h0) -> t' e0) -> PL t ('(a, b, c, d, e, f, g, h) ': ts) -> PL t' (M4_8 ('(a, b, c, d, e, f, g, h) ': ts)) Source #

class Map5_8 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) where Source #

Methods

map5_8 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7). t '(a, b, c, d, e, f, g, h) -> t' f) -> PL t ss -> PL t' (M5_8 ss) Source #

Instances

Instances details

Map5_8 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map5_8 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70). t '(a, b, c, d, e, f, g, h) -> t' f) -> PL t '[] -> PL t' (M5_8 '[]) Source #
Map5_8 ts => Map5_8 ('(a, b, c, d, e, f, g, h) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map5_8 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70). t '(a0, b0, c0, d0, e0, f0, g0, h0) -> t' f0) -> PL t ('(a, b, c, d, e, f, g, h) ': ts) -> PL t' (M5_8 ('(a, b, c, d, e, f, g, h) ': ts)) Source #

class Map6_8 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) where Source #

Methods

map6_8 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7). t '(a, b, c, d, e, f, g, h) -> t' g) -> PL t ss -> PL t' (M6_8 ss) Source #

Instances

Instances details

Map6_8 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map6_8 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70). t '(a, b, c, d, e, f, g, h) -> t' g) -> PL t '[] -> PL t' (M6_8 '[]) Source #
Map6_8 ts => Map6_8 ('(a, b, c, d, e, f, g, h) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map6_8 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70). t '(a0, b0, c0, d0, e0, f0, g0, h0) -> t' g0) -> PL t ('(a, b, c, d, e, f, g, h) ': ts) -> PL t' (M6_8 ('(a, b, c, d, e, f, g, h) ': ts)) Source #

class Map7_8 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) where Source #

Methods

map7_8 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7). t '(a, b, c, d, e, f, g, h) -> t' h) -> PL t ss -> PL t' (M7_8 ss) Source #

Instances

Instances details

Map7_8 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map7_8 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70). t '(a, b, c, d, e, f, g, h) -> t' h) -> PL t '[] -> PL t' (M7_8 '[]) Source #
Map7_8 ts => Map7_8 ('(a, b, c, d, e, f, g, h) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map7_8 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70). t '(a0, b0, c0, d0, e0, f0, g0, h0) -> t' h0) -> PL t ('(a, b, c, d, e, f, g, h) ': ts) -> PL t' (M7_8 ('(a, b, c, d, e, f, g, h) ': ts)) Source #

class Map0_9 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) where Source #

Methods

map0_9 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8). t '(a, b, c, d, e, f, g, h, i) -> t' a) -> PL t ss -> PL t' (M0_9 ss) Source #

Instances

Instances details

Map0_9 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_9 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80). t '(a, b, c, d, e, f, g, h, i) -> t' a) -> PL t '[] -> PL t' (M0_9 '[]) Source #
Map0_9 ts => Map0_9 ('(a, b, c, d, e, f, g, h, i) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_9 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0) -> t' a0) -> PL t ('(a, b, c, d, e, f, g, h, i) ': ts) -> PL t' (M0_9 ('(a, b, c, d, e, f, g, h, i) ': ts)) Source #

class Map1_9 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) where Source #

Methods

map1_9 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8). t '(a, b, c, d, e, f, g, h, i) -> t' b) -> PL t ss -> PL t' (M1_9 ss) Source #

Instances

Instances details

Map1_9 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_9 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80). t '(a, b, c, d, e, f, g, h, i) -> t' b) -> PL t '[] -> PL t' (M1_9 '[]) Source #
Map1_9 ts => Map1_9 ('(a, b, c, d, e, f, g, h, i) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_9 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0) -> t' b0) -> PL t ('(a, b, c, d, e, f, g, h, i) ': ts) -> PL t' (M1_9 ('(a, b, c, d, e, f, g, h, i) ': ts)) Source #

class Map2_9 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) where Source #

Methods

map2_9 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8). t '(a, b, c, d, e, f, g, h, i) -> t' c) -> PL t ss -> PL t' (M2_9 ss) Source #

Instances

Instances details

Map2_9 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_9 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80). t '(a, b, c, d, e, f, g, h, i) -> t' c) -> PL t '[] -> PL t' (M2_9 '[]) Source #
Map2_9 ts => Map2_9 ('(a, b, c, d, e, f, g, h, i) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_9 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0) -> t' c0) -> PL t ('(a, b, c, d, e, f, g, h, i) ': ts) -> PL t' (M2_9 ('(a, b, c, d, e, f, g, h, i) ': ts)) Source #

class Map3_9 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) where Source #

Methods

map3_9 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8). t '(a, b, c, d, e, f, g, h, i) -> t' d) -> PL t ss -> PL t' (M3_9 ss) Source #

Instances

Instances details

Map3_9 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map3_9 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80). t '(a, b, c, d, e, f, g, h, i) -> t' d) -> PL t '[] -> PL t' (M3_9 '[]) Source #
Map3_9 ts => Map3_9 ('(a, b, c, d, e, f, g, h, i) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map3_9 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0) -> t' d0) -> PL t ('(a, b, c, d, e, f, g, h, i) ': ts) -> PL t' (M3_9 ('(a, b, c, d, e, f, g, h, i) ': ts)) Source #

class Map4_9 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) where Source #

Methods

map4_9 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8). t '(a, b, c, d, e, f, g, h, i) -> t' e) -> PL t ss -> PL t' (M4_9 ss) Source #

Instances

Instances details

Map4_9 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map4_9 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80). t '(a, b, c, d, e, f, g, h, i) -> t' e) -> PL t '[] -> PL t' (M4_9 '[]) Source #
Map4_9 ts => Map4_9 ('(a, b, c, d, e, f, g, h, i) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map4_9 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0) -> t' e0) -> PL t ('(a, b, c, d, e, f, g, h, i) ': ts) -> PL t' (M4_9 ('(a, b, c, d, e, f, g, h, i) ': ts)) Source #

class Map5_9 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) where Source #

Methods

map5_9 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8). t '(a, b, c, d, e, f, g, h, i) -> t' f) -> PL t ss -> PL t' (M5_9 ss) Source #

Instances

Instances details

Map5_9 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map5_9 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80). t '(a, b, c, d, e, f, g, h, i) -> t' f) -> PL t '[] -> PL t' (M5_9 '[]) Source #
Map5_9 ts => Map5_9 ('(a, b, c, d, e, f, g, h, i) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map5_9 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0) -> t' f0) -> PL t ('(a, b, c, d, e, f, g, h, i) ': ts) -> PL t' (M5_9 ('(a, b, c, d, e, f, g, h, i) ': ts)) Source #

class Map6_9 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) where Source #

Methods

map6_9 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8). t '(a, b, c, d, e, f, g, h, i) -> t' g) -> PL t ss -> PL t' (M6_9 ss) Source #

Instances

Instances details

Map6_9 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map6_9 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80). t '(a, b, c, d, e, f, g, h, i) -> t' g) -> PL t '[] -> PL t' (M6_9 '[]) Source #
Map6_9 ts => Map6_9 ('(a, b, c, d, e, f, g, h, i) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map6_9 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0) -> t' g0) -> PL t ('(a, b, c, d, e, f, g, h, i) ': ts) -> PL t' (M6_9 ('(a, b, c, d, e, f, g, h, i) ': ts)) Source #

class Map7_9 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) where Source #

Methods

map7_9 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8). t '(a, b, c, d, e, f, g, h, i) -> t' h) -> PL t ss -> PL t' (M7_9 ss) Source #

Instances

Instances details

Map7_9 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map7_9 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80). t '(a, b, c, d, e, f, g, h, i) -> t' h) -> PL t '[] -> PL t' (M7_9 '[]) Source #
Map7_9 ts => Map7_9 ('(a, b, c, d, e, f, g, h, i) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map7_9 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0) -> t' h0) -> PL t ('(a, b, c, d, e, f, g, h, i) ': ts) -> PL t' (M7_9 ('(a, b, c, d, e, f, g, h, i) ': ts)) Source #

class Map8_9 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) where Source #

Methods

map8_9 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8). t '(a, b, c, d, e, f, g, h, i) -> t' i) -> PL t ss -> PL t' (M8_9 ss) Source #

Instances

Instances details

Map8_9 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map8_9 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80). t '(a, b, c, d, e, f, g, h, i) -> t' i) -> PL t '[] -> PL t' (M8_9 '[]) Source #
Map8_9 ts => Map8_9 ('(a, b, c, d, e, f, g, h, i) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map8_9 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0) -> t' i0) -> PL t ('(a, b, c, d, e, f, g, h, i) ': ts) -> PL t' (M8_9 ('(a, b, c, d, e, f, g, h, i) ': ts)) Source #

class Map0_10 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) where Source #

Methods

map0_10 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8) (j :: k9). t '(a, b, c, d, e, f, g, h, i, j) -> t' a) -> PL t ss -> PL t' (M0_10 ss) Source #

Instances

Instances details

Map0_10 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_10 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80) (j :: k90). t '(a, b, c, d, e, f, g, h, i, j) -> t' a) -> PL t '[] -> PL t' (M0_10 '[]) Source #
Map0_10 ts => Map0_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map0_10 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80) (j0 :: k90). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) -> t' a0) -> PL t ('(a, b, c, d, e, f, g, h, i, j) ': ts) -> PL t' (M0_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts)) Source #

class Map1_10 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) where Source #

Methods

map1_10 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8) (j :: k9). t '(a, b, c, d, e, f, g, h, i, j) -> t' b) -> PL t ss -> PL t' (M1_10 ss) Source #

Instances

Instances details

Map1_10 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_10 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80) (j :: k90). t '(a, b, c, d, e, f, g, h, i, j) -> t' b) -> PL t '[] -> PL t' (M1_10 '[]) Source #
Map1_10 ts => Map1_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map1_10 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80) (j0 :: k90). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) -> t' b0) -> PL t ('(a, b, c, d, e, f, g, h, i, j) ': ts) -> PL t' (M1_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts)) Source #

class Map2_10 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) where Source #

Methods

map2_10 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8) (j :: k9). t '(a, b, c, d, e, f, g, h, i, j) -> t' c) -> PL t ss -> PL t' (M2_10 ss) Source #

Instances

Instances details

Map2_10 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_10 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80) (j :: k90). t '(a, b, c, d, e, f, g, h, i, j) -> t' c) -> PL t '[] -> PL t' (M2_10 '[]) Source #
Map2_10 ts => Map2_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map2_10 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80) (j0 :: k90). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) -> t' c0) -> PL t ('(a, b, c, d, e, f, g, h, i, j) ': ts) -> PL t' (M2_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts)) Source #

class Map3_10 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) where Source #

Methods

map3_10 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8) (j :: k9). t '(a, b, c, d, e, f, g, h, i, j) -> t' d) -> PL t ss -> PL t' (M3_10 ss) Source #

Instances

Instances details

Map3_10 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map3_10 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80) (j :: k90). t '(a, b, c, d, e, f, g, h, i, j) -> t' d) -> PL t '[] -> PL t' (M3_10 '[]) Source #
Map3_10 ts => Map3_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map3_10 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80) (j0 :: k90). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) -> t' d0) -> PL t ('(a, b, c, d, e, f, g, h, i, j) ': ts) -> PL t' (M3_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts)) Source #

class Map4_10 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) where Source #

Methods

map4_10 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8) (j :: k9). t '(a, b, c, d, e, f, g, h, i, j) -> t' e) -> PL t ss -> PL t' (M4_10 ss) Source #

Instances

Instances details

Map4_10 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map4_10 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80) (j :: k90). t '(a, b, c, d, e, f, g, h, i, j) -> t' e) -> PL t '[] -> PL t' (M4_10 '[]) Source #
Map4_10 ts => Map4_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map4_10 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80) (j0 :: k90). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) -> t' e0) -> PL t ('(a, b, c, d, e, f, g, h, i, j) ': ts) -> PL t' (M4_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts)) Source #

class Map5_10 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) where Source #

Methods

map5_10 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8) (j :: k9). t '(a, b, c, d, e, f, g, h, i, j) -> t' f) -> PL t ss -> PL t' (M5_10 ss) Source #

Instances

Instances details

Map5_10 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map5_10 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80) (j :: k90). t '(a, b, c, d, e, f, g, h, i, j) -> t' f) -> PL t '[] -> PL t' (M5_10 '[]) Source #
Map5_10 ts => Map5_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map5_10 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80) (j0 :: k90). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) -> t' f0) -> PL t ('(a, b, c, d, e, f, g, h, i, j) ': ts) -> PL t' (M5_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts)) Source #

class Map6_10 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) where Source #

Methods

map6_10 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8) (j :: k9). t '(a, b, c, d, e, f, g, h, i, j) -> t' g) -> PL t ss -> PL t' (M6_10 ss) Source #

Instances

Instances details

Map6_10 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map6_10 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80) (j :: k90). t '(a, b, c, d, e, f, g, h, i, j) -> t' g) -> PL t '[] -> PL t' (M6_10 '[]) Source #
Map6_10 ts => Map6_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map6_10 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80) (j0 :: k90). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) -> t' g0) -> PL t ('(a, b, c, d, e, f, g, h, i, j) ': ts) -> PL t' (M6_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts)) Source #

class Map7_10 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) where Source #

Methods

map7_10 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8) (j :: k9). t '(a, b, c, d, e, f, g, h, i, j) -> t' h) -> PL t ss -> PL t' (M7_10 ss) Source #

Instances

Instances details

Map7_10 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map7_10 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80) (j :: k90). t '(a, b, c, d, e, f, g, h, i, j) -> t' h) -> PL t '[] -> PL t' (M7_10 '[]) Source #
Map7_10 ts => Map7_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map7_10 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80) (j0 :: k90). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) -> t' h0) -> PL t ('(a, b, c, d, e, f, g, h, i, j) ': ts) -> PL t' (M7_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts)) Source #

class Map8_10 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) where Source #

Methods

map8_10 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8) (j :: k9). t '(a, b, c, d, e, f, g, h, i, j) -> t' i) -> PL t ss -> PL t' (M8_10 ss) Source #

Instances

Instances details

Map8_10 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map8_10 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80) (j :: k90). t '(a, b, c, d, e, f, g, h, i, j) -> t' i) -> PL t '[] -> PL t' (M8_10 '[]) Source #
Map8_10 ts => Map8_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map8_10 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80) (j0 :: k90). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) -> t' i0) -> PL t ('(a, b, c, d, e, f, g, h, i, j) ': ts) -> PL t' (M8_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts)) Source #

class Map9_10 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) where Source #

Methods

map9_10 :: (forall (a :: k0) (b :: k1) (c :: k2) (d :: k3) (e :: k4) (f :: k5) (g :: k6) (h :: k7) (i :: k8) (j :: k9). t '(a, b, c, d, e, f, g, h, i, j) -> t' j) -> PL t ss -> PL t' (M9_10 ss) Source #

Instances

Instances details

Map9_10 ('[] :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map9_10 :: (forall (a :: k00) (b :: k10) (c :: k20) (d :: k30) (e :: k40) (f :: k50) (g :: k60) (h :: k70) (i :: k80) (j :: k90). t '(a, b, c, d, e, f, g, h, i, j) -> t' j) -> PL t '[] -> PL t' (M9_10 '[]) Source #
Map9_10 ts => Map9_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)]) Source #
Instance details Defined in Data.HeteroParList.Tuple Methods map9_10 :: (forall (a0 :: k00) (b0 :: k10) (c0 :: k20) (d0 :: k30) (e0 :: k40) (f0 :: k50) (g0 :: k60) (h0 :: k70) (i0 :: k80) (j0 :: k90). t '(a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) -> t' j0) -> PL t ('(a, b, c, d, e, f, g, h, i, j) ': ts) -> PL t' (M9_10 ('(a, b, c, d, e, f, g, h, i, j) ': ts)) Source #