* Johan Tibell <johan.tib...@gmail.com> [2011-11-17 21:21:47-0800] > Hi all, > > Data.Map is getting split into Data.Map.Lazy and Data.Map.Strict (with > Data.Map re-exporting the lazy API). I want to better document the > strictness properties of the two new modules. Right now the > documentation for Data.Map.Strict reads: > > Strictness properties > ===================== > > * All functions are strict in both key and value arguments. Examples: > > insertWith (+) k undefined m == undefined > delete undefined m == undefined > > * Keys and values are evaluated to WHNF before they are stored in the > map. Examples: > > map (\ v -> undefined) == undefined > mapKeys (\ k -> undefined) == undefined
Is it mentioned anywhere that Map is spine-strict? An important property, although may be non-trivial to formulate while keeping the implementation abstract. -- Roman I. Cheplyaka :: http://ro-che.info/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
