3 Sep
2021
3 Sep
'21
11:21 a.m.
Yes, shallow (but it looks through newtypes). To do it more deeply would require some way to mark where to stop. On Fri, Sep 3, 2021, 7:14 AM Henning Thielemann < lemming@henning-thielemann.de> wrote:
On Fri, 3 Sep 2021, David Feuer wrote:
Occasionally, it's useful to make things lazier. The utility-ht package has long offered
forcePair :: (a,b) -> (a,b) forcePair ~(a,b) = (a,b)
right :-)
But that only works for pairs! If you want to work with records/tuples much more generally, now you can do so conveniently with the lazify package. Please take a look and let me know what you like and dislike, and whether there's anything more you want.
It's shallow lazify, right?