It just feels so uncomforable that we have LiftM4 and LiftM5, but not Applicative versions of them.
I would like to see these added as well. I have found myself wanting them
occasionally.
On Mon, May 27, 2019 at 1:40 AM Dannyu NDos
It just feels so uncomforable that we have LiftM4 and LiftM5, but not Applicative versions of them. _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
-- -Andrew Thaddeus Martin
On Tue, 28 May 2019, Andrew Martin wrote:
I would like to see these added as well. I have found myself wanting them occasionally.
https://hackage.haskell.org/package/utility-ht-0.0.14/docs/Control-Applicati... https://hackage.haskell.org/package/utility-ht-0.0.14/docs/Control-Applicati... ... intended to be used with qualification like App.lift4 and App.lift5.
Thanks. It's good to know somewhere where I can reach for these next time I need them. On Tue, May 28, 2019 at 3:03 PM Henning Thielemann < lemming@henning-thielemann.de> wrote:
On Tue, 28 May 2019, Andrew Martin wrote:
I would like to see these added as well. I have found myself wanting them occasionally.
https://hackage.haskell.org/package/utility-ht-0.0.14/docs/Control-Applicati...
https://hackage.haskell.org/package/utility-ht-0.0.14/docs/Control-Applicati...
... intended to be used with qualification like App.lift4 and App.lift5.
-- -Andrew Thaddeus Martin
I think it is more reasonable to adopt idiom brackets proposed in (McBride
& Paterson, 2007). For example, you can write
([ Just True || Just False ])
for
liftA2 (||) (Just True) (Just False). Oleg has written a blog post on how
to use GHC 8.6's Source Plugins to achieve idiom brackets in
http://oleg.fi/gists/posts/2018-07-06-idiom-brackets-via-source-pluging.html
Cheers,
L-T
On Mon, 27 May 2019 at 06:40, Dannyu NDos
It just feels so uncomforable that we have LiftM4 and LiftM5, but not Applicative versions of them. _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
participants (4)
-
Andrew Martin -
Dannyu NDos -
Henning Thielemann -
Liang-Ting Chen