[Haskell-cafe] Documenting strictness properties for Data.Map.Strict
Bas van Dijk
v.dijk.bas at gmail.com
Fri Nov 18 12:19:35 CET 2011
On 18 November 2011 06:44, Johan Tibell <johan.tibell at gmail.com> wrote:
> Here are some examples:
> insertWith (+) k undefined m == undefined
> delete undefined m == undefined
> map (\ v -> undefined) == undefined
> mapKeys (\ k -> undefined) == undefined
> Any ideas for further improvements?
I would use '_|_' instead of 'undefined'.
Then again, this does require the reader to know what '_|_' means. But
note we already use this symbol in the base library.
More information about the Haskell-Cafe