An Abstract Description Method of Map-Reduce-Merge Using Haskell

Table 1

The signatures of three Map-Reduce-Merge primitives.

	Source 1	Source 2
Map	K11 →V11 → [(K21, V21)]	K12 →V12 → [(K22, V22)]
Reduce	K21 →[V21]→Maybe V31	K22 → [V22] →Maybe V32
Merge	(K21, V31) → (K22, V32) → (K23, V33)