map-exts: Extensions for Data.Map

[ bsd3, data-structures, library, program ] [ Propose Tags ]

Please see

[Skip to Readme]
Versions [faq],,,
Dependencies base (>=4.7 && <5), bytestring, cassava, containers [details]
License BSD-3-Clause
Copyright 2016 Elsen, Inc
Author Charles Cooper
Category Data Structures
Home page
Uploaded by coopercm at Thu Apr 14 21:46:04 UTC 2016
Distributions NixOS:
Executables titanic-example, example
Downloads 928 total (71 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2016-04-14 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees

Readme for map-exts-

[back to package description]


This module contains some extensions to Data.Map. Some of them are convenience functions.

It also contains functions to support a split-apply-combine workflow, by representing labeled, multi-dimensional data as multiply nested Maps. For instance, a two dimensional matrix with one axis indexed by 'Name's and the other axis labeled by 'Job's, we would represent such a structure with a Lookup2 Name Job Double. Such a structure is not terribly efficient (it takes O(n log(n)) space and O(log(n)) time for insert/update/delete operations with high constant factor owing to all the pointer manipulation), but it is expressive.

split : groupMapBy apply : fmap combine : foldr/foldMap reshape : transpose

Say we had a dataFrame :: (Lookup2 Name Job Age). We could group by Job by running transpose on it. If we wanted to find the average Age in a job, we could define

mean :: Map k v -> Int
mean xs = foldr (+) 0 xs / Map.size xs

type Name = String
type Job  = String
type Age  = Double
averageAgeInJob :: Lookup2 Name Job Age -> Map Job Age
averageAgeInJob dataFrame = fmap mean $ transpose dataFrame

This illustrates applying an aggregation over a particular index by reshaping with transpose, defining a fold, and then focusing it inside the structure using fmap.