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

On 18 November 2011 06:44, Johan Tibell 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