[Haskell-cafe] Documenting strictness properties for Data.Map.Strict

[Bas van Dijk]

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.

Bas