Skip to content

Simplify foldWithDefault functions.

Andreas Klebinger requested to merge wip/andreask/un_strake into master

I'm not sure they are worth having at all, but even if we want those I see no reason why defining those via foldr/l should be worse.

Please have a look @strake in case I missed something important here that made the old definition better.

Edited by Andreas Klebinger

Merge request reports

Loading