Logs: liberachat/#haskell
| 2021-06-02 13:42:46 | × | benin quits (~benin@183.82.205.186) (Ping timeout: 272 seconds) |
| 2021-06-02 13:46:27 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) (Remote host closed the connection) |
| 2021-06-02 13:48:40 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-06-02 13:49:56 | → | marienz joins (~marienz@libera/staff/marienz) |
| 2021-06-02 13:51:00 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2021-06-02 13:55:40 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-06-02 13:57:51 | <dminuoso> | Alternatively you can use <*> + Backwards |
| 2021-06-02 13:57:57 | <dminuoso> | A bit overkill, I admit. |
| 2021-06-02 13:58:30 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-02 14:02:16 | <c_wraith> | that's way beyond a *bit* overkill |
| 2021-06-02 14:03:14 | <c_wraith> | it would work nicely if I wanted that every single time. But when I just want reverse application once, that's an amazing amount of overhead. |
| 2021-06-02 14:05:17 | × | exarkun quits (~exarkun@user/exarkun) (Read error: Connection reset by peer) |
| 2021-06-02 14:05:47 | → | exarkun joins (~exarkun@user/exarkun) |
| 2021-06-02 14:09:31 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-dev) |
| 2021-06-02 14:10:00 | → | benin joins (~benin@183.82.205.186) |
| 2021-06-02 14:11:03 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-02 14:11:23 | → | xff0x joins (~xff0x@217.110.198.158) |
| 2021-06-02 14:19:12 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-06-02 14:19:26 | × | hexfive quits (~eric@50.35.83.177) (Client Quit) |
| 2021-06-02 14:19:30 | × | xff0x quits (~xff0x@217.110.198.158) (Ping timeout: 245 seconds) |
| 2021-06-02 14:19:52 | → | FreeVariable joins (~Thunderbi@wifi-unifr-140-170.unifr.ch) |
| 2021-06-02 14:20:56 | × | ixlun quits (~matthew@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-06-02 14:21:49 | ← | bigLama parts (~user@static-176-165-167-17.ftth.abo.bbox.fr) (ERC (IRC client for Emacs 28.0.50)) |
| 2021-06-02 14:21:57 | → | xff0x joins (~xff0x@217.110.198.158) |
| 2021-06-02 14:22:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-02 14:22:22 | → | bigLama joins (~user@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-06-02 14:24:40 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-02 14:27:23 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-02 14:28:07 | <dminuoso> | c_wraith: Hey, |
| 2021-06-02 14:28:13 | <dminuoso> | Sorry, hit enter too early |
| 2021-06-02 14:30:05 | <dminuoso> | But hey, can you find some comfort in the irony of the Applicative definition for BackwardsÖ |
| 2021-06-02 14:30:06 | <dminuoso> | Backwards f <*> Backwards a = Backwards (a <**> f) |
| 2021-06-02 14:31:16 | <c_wraith> | haha |
| 2021-06-02 14:37:02 | → | dtman34 joins (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) |
| 2021-06-02 14:40:34 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-02 14:40:48 | → | chomwitt joins (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) |
| 2021-06-02 14:41:43 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-06-02 14:43:36 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-02 14:45:28 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-02 14:46:06 | × | ikex quits (~ash@user/ikex) (Ping timeout: 272 seconds) |
| 2021-06-02 14:46:12 | × | drewolson quits (~drewolson@64.227.24.16) (Changing host) |
| 2021-06-02 14:46:12 | → | drewolson joins (~drewolson@user/drewolson) |
| 2021-06-02 14:46:26 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-06-02 14:46:49 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-02 14:50:21 | → | Iryon joins (~Iryon@2a02:a31a:a045:3500:c000:ef2e:b473:4083) |
| 2021-06-02 14:51:48 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Ping timeout: 272 seconds) |
| 2021-06-02 14:56:56 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-02 14:57:17 | → | Soft joins (~soft-matr@2001:470:69fc:105::c75) |
| 2021-06-02 14:57:48 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-06-02 14:58:29 | <kuribas> | :t Backwards |
| 2021-06-02 14:58:30 | <lambdabot> | error: |
| 2021-06-02 14:58:30 | <lambdabot> | • Data constructor not in scope: Backwards |
| 2021-06-02 14:58:30 | <lambdabot> | • Perhaps you meant variable ‘backwards’ (imported from Control.Lens) |
| 2021-06-02 14:59:38 | <c_wraith> | https://hackage.haskell.org/package/transformers-0.5.6.2/docs/Control-Applicative-Backwards.html |
| 2021-06-02 15:00:45 | → | arjun joins (~user@user/arjun) |
| 2021-06-02 15:00:47 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-06-02 15:08:34 | <ski> | @type Control.Applicative.Backwards.Backwards |
| 2021-06-02 15:08:35 | <lambdabot> | forall k (f :: k -> *) (a :: k). f a -> Control.Applicative.Backwards.Backwards f a |
| 2021-06-02 15:10:08 | <c_wraith> | Huh. I really don't see that getting much benefit from being polykinded, but at least it won't hurt anything |
| 2021-06-02 15:12:25 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Remote host closed the connection) |
| 2021-06-02 15:12:37 | × | hexo quits (~hexo@2a02-ab04-2843-9500-c95c-a376-1418-c3e1.dynamic.v6.chello.sk) (Changing host) |
| 2021-06-02 15:12:38 | → | hexo joins (~hexo@user/hexo) |
| 2021-06-02 15:13:14 | × | arjun quits (~user@user/arjun) (Remote host closed the connection) |
| 2021-06-02 15:15:14 | × | haskman quits (~haskman@223.190.0.187) (Quit: Going to sleep. ZZZzzz…) |
| 2021-06-02 15:16:30 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 272 seconds) |
| 2021-06-02 15:17:24 | → | Topsi joins (~Tobias@dyndsl-095-033-027-146.ewe-ip-backbone.de) |
| 2021-06-02 15:20:39 | → | haskman joins (~haskman@223.190.0.187) |
| 2021-06-02 15:21:23 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:524:105d:d218:2c77) |
| 2021-06-02 15:22:06 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-02 15:24:23 | × | ccntrq quits (~ccntrq@business-90-187-183-141.pool2.vodafone-ip.de) (Remote host closed the connection) |
| 2021-06-02 15:24:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-02 15:26:18 | × | k3nny quits (~k3nny@user/k3nny) (Quit: Leaving) |
| 2021-06-02 15:27:56 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-06-02 15:28:39 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:ca30:4180:833e:bce9) (Quit: WeeChat 2.8) |
| 2021-06-02 15:30:26 | × | xff0x quits (~xff0x@217.110.198.158) (Ping timeout: 272 seconds) |
| 2021-06-02 15:30:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 2021-06-02 15:32:19 | → | benin5 joins (benin@gateway/vpn/protonvpn/benin) |
| 2021-06-02 15:32:36 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-02 15:34:20 | → | bfrk joins (~Thunderbi@200116b845fca000f97ff890167a6943.dip.versatel-1u1.de) |
| 2021-06-02 15:34:30 | × | benin quits (~benin@183.82.205.186) (Ping timeout: 264 seconds) |
| 2021-06-02 15:34:31 | benin5 | is now known as benin |
| 2021-06-02 15:34:37 | → | lbseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-06-02 15:36:02 | → | o1lo01ol_ joins (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-02 15:36:25 | → | chddr joins (~Thunderbi@31.148.23.125) |
| 2021-06-02 15:38:14 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Remote host closed the connection) |
| 2021-06-02 15:39:16 | × | sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 244 seconds) |
| 2021-06-02 15:39:18 | × | nschoe quits (~quassel@2a01:e0a:8e:a190:184d:3a8c:7727:6c6d) (Ping timeout: 264 seconds) |
| 2021-06-02 15:39:53 | × | o1lo01ol1o quits (~o1lo01ol1@mobile-107-107-58-49.mycingular.net) (Ping timeout: 264 seconds) |
| 2021-06-02 15:40:37 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-02 15:43:32 | → | o1lo01ol1o joins (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-02 15:43:32 | × | o1lo01ol_ quits (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 2021-06-02 15:43:55 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-06-02 15:45:15 | → | benin1 joins (~benin@183.82.205.186) |
| 2021-06-02 15:46:49 | → | _xft0 joins (~root@185.234.208.208.r.toneticgroup.pl) |
| 2021-06-02 15:46:51 | × | rk04 quits (~rk04@user/rajk) (Quit: Client closed) |
| 2021-06-02 15:47:00 | × | benin quits (benin@gateway/vpn/protonvpn/benin) (Ping timeout: 245 seconds) |
| 2021-06-02 15:47:01 | benin1 | is now known as benin |
| 2021-06-02 15:47:37 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-06-02 15:48:10 | × | chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) (Ping timeout: 272 seconds) |
| 2021-06-02 15:51:08 | → | nectar joins (~nectar@117.222.64.74) |
All times are in UTC.