Home liberachat/#haskell: Logs Calendar

Logs on 2024-05-09 (liberachat/#haskell)

00:20:42 × oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 255 seconds)
00:23:55 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds)
00:28:19 × y04nn quits (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 260 seconds)
00:41:03 × sroso quits (~sroso@user/SrOso) (Quit: Leaving :))
00:43:04 sroso joins (~sroso@user/SrOso)
00:46:31 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
01:07:46 sprout_ joins (~quassel@84-80-106-227.fixed.kpn.net)
01:09:36 × sprout quits (~quassel@2a02-a448-3a80-0-5c1b-ee26-e387-5025.fixed6.kpn.net) (Ping timeout: 260 seconds)
01:15:16 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
01:18:05 × otto_s quits (~user@p5de2f424.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
01:19:53 otto_s joins (~user@p5b0442c9.dip0.t-ipconnect.de)
01:29:15 pavonia joins (~user@user/siracusa)
01:35:49 × xff0x quits (~xff0x@2405:6580:b080:900:75f6:4d45:97cc:c7e6) (Ping timeout: 246 seconds)
01:37:10 × puke quits (~puke@user/puke) (Quit: puke)
01:45:18 × random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 255 seconds)
01:57:35 puke joins (~puke@user/puke)
01:57:56 × puke quits (~puke@user/puke) (Max SendQ exceeded)
01:58:25 puke joins (~puke@user/puke)
01:59:26 × yin quits (~yin@user/zero) (Ping timeout: 252 seconds)
01:59:38 × puke quits (~puke@user/puke) (Max SendQ exceeded)
02:00:16 puke joins (~puke@user/puke)
02:03:16 × petrichor quits (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
02:04:05 petrichor joins (~znc-user@user/petrichor)
02:06:12 gastus_ joins (~gastus@185.6.123.240)
02:09:20 × gastus quits (~gastus@185.6.123.154) (Ping timeout: 252 seconds)
02:19:04 × td_ quits (~td@i5387090F.versanet.de) (Ping timeout: 255 seconds)
02:20:51 td_ joins (~td@i5387093C.versanet.de)
02:24:42 xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
02:26:11 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
02:42:50 × d34df00d quits (~d34df00d@2600:1702:4f1b:7c10::43) (Remote host closed the connection)
02:42:53 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds)
02:43:19 d34df00d joins (~d34df00d@2600:1702:4f1b:7c10::43)
02:44:19 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
02:45:00 xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
02:48:32 tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
02:52:16 ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net)
02:52:49 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds)
03:17:52 Square2 joins (~Square4@user/square)
03:20:53 tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
03:21:23 × Square quits (~Square@user/square) (Ping timeout: 268 seconds)
03:29:35 × jmorris quits (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
03:32:22 <Axman6> Amazing work davean <3
03:40:11 causal joins (~eric@50.35.88.207)
03:47:04 philopsos1 joins (~caecilius@user/philopsos)
03:58:26 × philopsos1 quits (~caecilius@user/philopsos) (Quit: Lost terminal)
04:00:12 aforemny_ joins (~aforemny@2001:9e8:6ccf:3a00:7430:dc9b:b924:f855)
04:00:35 machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
04:01:35 × aforemny quits (~aforemny@2001:9e8:6cea:4d00:60ab:beb:c07d:3de7) (Ping timeout: 260 seconds)
04:21:30 philopsos1 joins (~caecilius@user/philopsos)
04:25:39 rosco joins (~rosco@yp-146-6.tm.net.my)
04:38:18 × rosco quits (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal)
04:44:35 × doyougnu quits (~doyougnu@45.46.170.68) (Ping timeout: 256 seconds)
04:45:53 × cyphase quits (~cyphase@user/cyphase) (Quit: cyphase.com)
04:46:57 × phma quits (~phma@host-67-44-208-31.hnremote.net) (Read error: Connection reset by peer)
04:47:25 × arahael quits (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds)
04:48:21 qqq joins (~qqq@92.43.167.61)
04:49:38 doyougnu joins (~doyougnu@syn-045-046-170-068.res.spectrum.com)
04:52:40 × mjrosenb quits (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
04:55:40 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Quit: leaving)
04:56:06 machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
04:59:30 mjrosenb joins (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net)
04:59:31 cyphase joins (~cyphase@user/cyphase)
05:00:40 phma joins (phma@2001:5b0:211f:3048:6a1a:6f68:3864:d84f)
05:08:15 michalz joins (~michalz@185.246.207.222)
05:10:53 × michalz quits (~michalz@185.246.207.222) (Client Quit)
05:12:08 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
05:13:47 michalz joins (~michalz@185.246.207.203)
05:40:32 dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)
05:45:24 tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
05:49:23 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds)
05:50:47 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds)
05:51:11 sord937 joins (~sord937@gateway/tor-sasl/sord937)
05:51:18 × erty quits (~user@user/aeroplane) (Read error: Connection reset by peer)
06:02:46 × koolazer quits (~koo@user/koolazer) (Remote host closed the connection)
06:02:47 takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:11:12 oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
06:15:52 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
06:16:24 rvalue joins (~rvalue@user/rvalue)
06:18:04 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
06:19:21 ec joins (~ec@gateway/tor-sasl/ec)
06:26:19 × philopsos1 quits (~caecilius@user/philopsos) (Quit: Lost terminal)
06:32:17 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
06:37:55 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
06:42:35 akegalj joins (~akegalj@141-136-219-195.dsl.iskon.hr)
06:50:38 philopsos1 joins (~caecilius@user/philopsos)
07:00:18 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 268 seconds)
07:12:49 euleritian joins (~euleritia@dynamic-176-006-191-093.176.6.pool.telefonica.de)
07:17:23 Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
07:20:02 × ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds)
07:20:43 ec joins (~ec@gateway/tor-sasl/ec)
07:24:23 arahael joins (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net)
07:24:30 × arahael quits (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) (Client Quit)
07:24:45 arahael joins (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net)
07:28:07 × todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection)
07:31:43 Mach joins (~Mach@92.87.113.25)
07:36:25 danza joins (~francesco@151.47.201.204)
07:38:32 gmg joins (~user@user/gehmehgeh)
07:40:53 rosco joins (~rosco@yp-146-6.tm.net.my)
07:47:34 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:51:34 housemate joins (~housemate@125.253.110.15)
07:52:13 × arahael quits (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) (Read error: Connection reset by peer)
07:53:06 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:53:34 danza_ joins (~francesco@151.47.201.204)
07:55:08 × danza quits (~francesco@151.47.201.204) (Read error: Connection reset by peer)
07:57:26 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:57:35 acidjnk_new joins (~acidjnk@p200300d6e714dc82b86ca1b28a3c0e53.dip0.t-ipconnect.de)
08:02:25 × danza_ quits (~francesco@151.47.201.204) (Ping timeout: 255 seconds)
08:06:33 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
08:11:23 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:20:19 euphores joins (~SASL_euph@user/euphores)
08:24:03 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
08:25:39 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
08:26:45 Nixkernal joins (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch)
08:26:57 todi joins (~todi@p57803331.dip0.t-ipconnect.de)
08:27:00 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
08:27:36 ec joins (~ec@gateway/tor-sasl/ec)
08:29:49 × housemate quits (~housemate@125.253.110.15) (Remote host closed the connection)
08:30:18 housemate joins (~housemate@125.253.110.15)
08:31:59 × housemate quits (~housemate@125.253.110.15) (Remote host closed the connection)
08:32:53 × gastus_ quits (~gastus@185.6.123.240) (Remote host closed the connection)
08:36:46 × tt1231097 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: Ping timeout (120 seconds))
08:37:09 tt1231097 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
08:39:26 × todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection)
08:40:45 waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
08:42:51 × tzh quits (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz)
08:44:39 housemate joins (~housemate@125.253.110.15)
08:45:25 sawilagar joins (~sawilagar@user/sawilagar)
08:45:52 danse-nr3 joins (~danse-nr3@151.47.198.221)
08:52:05 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
08:52:58 todi joins (~todi@p57803331.dip0.t-ipconnect.de)
08:56:05 yeitrafferin joins (~user@2a04:4540:7205:9900:b1aa:36ea:fab2:4d66)
08:56:57 × todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Client Quit)
09:01:47 × housemate quits (~housemate@125.253.110.15) (Ping timeout: 268 seconds)
09:06:43 housemate joins (~housemate@125.253.110.15)
09:11:27 todi joins (~todi@p57803331.dip0.t-ipconnect.de)
09:13:04 × housemate quits (~housemate@125.253.110.15) (Remote host closed the connection)
09:14:16 housemate joins (~housemate@125.253.110.15)
09:19:52 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
09:23:10 __monty__ joins (~toonn@user/toonn)
09:23:50 × housemate quits (~housemate@125.253.110.15) (Ping timeout: 252 seconds)
09:24:29 kaptch joins (~kaptch@84.238.85.45)
09:24:36 × kaptch quits (~kaptch@84.238.85.45) (Client Quit)
09:37:20 × Square2 quits (~Square4@user/square) (Ping timeout: 260 seconds)
09:41:37 × rosco quits (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal)
09:43:59 × euleritian quits (~euleritia@dynamic-176-006-191-093.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
09:44:18 euleritian joins (~euleritia@ip-185-104-138-48.ptr.icomera.net)
09:45:26 lg188 joins (~lg188@82.18.98.230)
09:45:47 × lg188 quits (~lg188@82.18.98.230) (Client Quit)
10:12:57 <carbolymer> is there an easy way to list all exports of a haskell module?
10:14:15 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds)
10:16:00 × forell quits (~forell@user/forell) (Quit: ZNC - https://znc.in)
10:17:25 forell joins (~forell@user/forell)
10:18:35 <int-e> there's :browse in `ghci` (doesn't list class instances)
10:20:41 × chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection)
10:21:56 chiselfuse joins (~chiselfus@user/chiselfuse)
10:22:55 rdcdr joins (~rdcdr@user/rdcdr)
10:24:25 × rdcdr_ quits (~rdcdr@75-172-82-76.tukw.qwest.net) (Ping timeout: 268 seconds)
10:40:20 × danse-nr3 quits (~danse-nr3@151.47.198.221) (Ping timeout: 260 seconds)
10:51:56 kaptch joins (~kaptch@84.238.85.45)
10:57:41 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
10:57:46 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
10:59:19 × ft quits (~ft@p3e9bc1bf.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
11:00:39 Lord_of_Life_ is now known as Lord_of_Life
11:00:56 ft joins (~ft@p508dba4c.dip0.t-ipconnect.de)
11:13:41 danza joins (~francesco@151.47.200.87)
11:15:47 × forell quits (~forell@user/forell) (Quit: ZNC - https://znc.in)
11:15:56 xff0x joins (~xff0x@2405:6580:b080:900:2714:5816:85fc:7cc)
11:21:19 × danza quits (~francesco@151.47.200.87) (Ping timeout: 255 seconds)
11:21:29 danse-nr3 joins (~danse-nr3@151.47.200.87)
11:24:09 × danse-nr3 quits (~danse-nr3@151.47.200.87) (Remote host closed the connection)
11:24:23 × todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
11:24:34 danse-nr3 joins (~danse-nr3@151.47.200.87)
11:29:45 todi joins (~todi@p57803331.dip0.t-ipconnect.de)
11:37:57 × danse-nr3 quits (~danse-nr3@151.47.200.87) (Ping timeout: 255 seconds)
11:38:31 danse-nr3 joins (~danse-nr3@151.47.221.246)
11:43:52 × euphores quits (~SASL_euph@user/euphores) (Read error: Connection reset by peer)
11:46:00 mima joins (~mmh@aftr-62-216-211-24.dynamic.mnet-online.de)
11:54:16 euphores joins (~SASL_euph@user/euphores)
11:55:58 × Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal)
11:57:01 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:57:32 × euleritian quits (~euleritia@ip-185-104-138-48.ptr.icomera.net) (Ping timeout: 268 seconds)
11:58:36 euleritian joins (~euleritia@dynamic-176-006-182-073.176.6.pool.telefonica.de)
12:00:51 × ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 260 seconds)
12:03:53 × poscat quits (~poscat@user/poscat) (Quit: Bye)
12:06:08 poscat joins (~poscat@user/poscat)
12:06:51 forell joins (~forell@user/forell)
12:06:56 visilii_ joins (~visilii@188.254.126.249)
12:10:24 × visilii quits (~visilii@213.24.125.148) (Ping timeout: 260 seconds)
12:14:44 × sroso quits (~sroso@user/SrOso) (Quit: Leaving :))
12:21:16 × euleritian quits (~euleritia@dynamic-176-006-182-073.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
12:21:32 euleritian joins (~euleritia@dynamic-176-006-182-073.176.6.pool.telefonica.de)
12:22:29 × euleritian quits (~euleritia@dynamic-176-006-182-073.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
12:23:37 euleritian joins (~euleritia@ip-185-104-138-29.ptr.icomera.net)
12:35:32 × johnw quits (~johnw@69.62.242.138) (Read error: Connection reset by peer)
12:39:00 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
12:41:26 johnw joins (~johnw@69.62.242.138)
12:48:34 random-jellyfish joins (~developer@user/random-jellyfish)
13:13:11 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
13:18:48 tri joins (~tri@ool-18bbef1a.static.optonline.net)
13:18:52 × eugenrh quits (~eugenrh@user/eugenrh) (Quit: WeeChat 3.7.1)
13:19:43 eugenrh joins (~eugenrh@user/eugenrh)
13:22:27 titibandit joins (~titibandi@user/titibandit)
13:22:53 × tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds)
13:26:22 × titibandit quits (~titibandi@user/titibandit) (Client Quit)
13:27:33 titibandit joins (~titibandi@user/titibandit)
13:50:05 × danse-nr3 quits (~danse-nr3@151.47.221.246) (Ping timeout: 268 seconds)
13:53:00 × vulpine quits (xfnw@user/meow/xfnw) (Quit: Connection reset by purr)
13:57:02 vulpine joins (xfnw@user/meow/xfnw)
13:57:10 × random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 268 seconds)
14:03:58 yin joins (~yin@user/zero)
14:07:31 danse-nr3 joins (~danse-nr3@151.47.221.246)
14:08:15 × danse-nr3 quits (~danse-nr3@151.47.221.246) (Remote host closed the connection)
14:08:40 danse-nr3 joins (~danse-nr3@151.47.221.246)
14:09:11 arahael joins (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net)
14:18:34 × kaptch quits (~kaptch@84.238.85.45) (Quit: Lost terminal)
14:26:18 dos__^^ joins (~user@user/dos/x-1723657)
14:30:46 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
14:31:37 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
14:33:28 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:38:07 × euleritian quits (~euleritia@ip-185-104-138-29.ptr.icomera.net) (Ping timeout: 260 seconds)
14:38:27 cfricke joins (~cfricke@user/cfricke)
14:38:47 euleritian joins (~euleritia@dynamic-176-002-128-182.176.2.pool.telefonica.de)
14:39:15 × cfricke quits (~cfricke@user/cfricke) (Client Quit)
14:43:08 × dos__^^ quits (~user@user/dos/x-1723657) (Remote host closed the connection)
14:47:11 × puke quits (~puke@user/puke) (Quit: puke)
14:49:35 × Moyst quits (~moyst@user/moyst) (Ping timeout: 268 seconds)
14:50:28 puke joins (~puke@user/puke)
14:53:20 Moyst joins (~moyst@user/moyst)
14:54:59 × puke quits (~puke@user/puke) (Client Quit)
14:55:38 puke joins (~puke@user/puke)
14:56:44 tri joins (~tri@ool-18bbef1a.static.optonline.net)
14:57:27 × ocra8 quits (ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
15:03:32 raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
15:06:40 <raehik> How do I shut GHC up about a "redundant" Control.Applicative.liftA2 import, which I need for old GHCs but is exported in base in newer ones?
15:09:03 <mauke> import Prelude hiding (liftA2), lol
15:09:57 <int-e> older GHCs won't like that either though
15:10:34 <mauke> warning: Module ‘Prelude’ does not export ‘liftA2’.
15:10:35 <mauke> boo
15:11:46 <int-e> Join the dark side: {-# LANGUAGE CPP #-}
15:11:50 <mauke> import Control.Applicative as A; ... A.liftA2
15:12:25 dos__^^ joins (~user@user/dos/x-1723657)
15:12:25 <mauke> or live with the warnings in older ghcs
15:13:09 × akegalj quits (~akegalj@141-136-219-195.dsl.iskon.hr) (Quit: leaving)
15:16:17 <int-e> Oh, how about... import Prelude (<list of used items here>)
15:16:33 <int-e> (not including liftA2)
15:16:48 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
15:17:34 ocra8 joins (~ocra8@user/ocra8)
15:22:33 machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
15:23:21 titiband` joins (~titibandi@user/titibandit)
15:24:16 × titibandit quits (~titibandi@user/titibandit) (Ping timeout: 246 seconds)
15:24:32 × tri quits (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection)
15:27:56 × ocra8 quits (~ocra8@user/ocra8) (Ping timeout: 252 seconds)
15:31:41 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 240 seconds)
15:32:51 <Lears> raehik: `import Prelude hiding (liftA2)`, then in *.cabal `if impl(ghc < ...) ghc-options: -Wno-dodgy-imports'
15:33:46 <Lears> I don't know why we don't just have -Wno-redundant-imports though.
15:37:09 <raehik> thanks all. bah I'll just live with it then xd
15:37:32 <raehik> in modules where I'm already using CPP I'm smashing that guard button but not in an unsullied module
15:37:43 ocra8 joins (ocra8@user/ocra8)
15:38:05 × danse-nr3 quits (~danse-nr3@151.47.221.246) (Ping timeout: 240 seconds)
15:38:15 <raehik> oh wait `import as A` will work just fine. thanks mauke !
15:39:02 danse-nr3 joins (~danse-nr3@151.43.251.174)
15:41:21 × Mach quits (~Mach@92.87.113.25) (Ping timeout: 256 seconds)
15:56:46 hugo- is now known as hugo
15:58:06 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
15:59:17 × titiband` quits (~titibandi@user/titibandit) (Ping timeout: 252 seconds)
16:03:30 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
16:03:51 × Nixkernal quits (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
16:04:00 rvalue joins (~rvalue@user/rvalue)
16:07:22 econo_ joins (uid147250@id-147250.tinside.irccloud.com)
16:08:25 Nixkernal joins (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch)
16:19:46 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
16:20:23 tzh joins (~tzh@c-73-164-206-160.hsd1.or.comcast.net)
16:22:03 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:25:28 wheatengineer joins (~frederik@p200300f63f29ac00ba4bc61c516d3d89.dip0.t-ipconnect.de)
16:26:08 L29Ah joins (~L29Ah@wikipedia/L29Ah)
16:27:20 euphores joins (~SASL_euph@user/euphores)
16:32:45 × danse-nr3 quits (~danse-nr3@151.43.251.174) (Remote host closed the connection)
16:33:08 danse-nr3 joins (~danse-nr3@151.43.251.174)
16:34:58 Sgeo joins (~Sgeo@user/sgeo)
16:36:53 iteratee joins (~kyle@162.218.222.207)
16:42:46 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:44:26 <iteratee> I have an odd request. I'm looking for someone that would be willing to do a code review swap.
16:45:05 <iteratee> I have a side project and I would benefit from a code reviewer. I would be willing to do the same for someone else's side project in exchange.
16:46:43 <iteratee> Also, if I could find the right library to target with a PR, there are things it may be valuable for me to open source.
16:47:48 <iteratee> I have a reference counting library for ResourceT, to allow for shared resources to be released before the end of the `runResourceT`.
16:53:32 × wheatengineer quits (~frederik@p200300f63f29ac00ba4bc61c516d3d89.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
16:54:05 × ocra8 quits (ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
17:05:34 ocra8 joins (ocra8@user/ocra8)
17:06:11 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds)
17:06:16 billchenchina joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
17:07:40 × billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection)
17:07:54 billchenchina joins (~billchenc@2408:824e:d27:b541:7431:a838:4fce:b614)
17:11:05 × philopsos quits (~caecilius@user/philopsos) (Ping timeout: 272 seconds)
17:11:23 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds)
17:13:39 × billchenchina quits (~billchenc@2408:824e:d27:b541:7431:a838:4fce:b614) (Read error: Connection reset by peer)
17:13:54 billchenchina joins (~billchenc@2408:824e:d27:b541:7431:a838:4fce:b614)
17:17:22 julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752)
17:24:27 billchenchina- joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
17:27:27 × billchenchina quits (~billchenc@2408:824e:d27:b541:7431:a838:4fce:b614) (Ping timeout: 268 seconds)
17:34:26 × danse-nr3 quits (~danse-nr3@151.43.251.174) (Ping timeout: 252 seconds)
17:35:11 × ocra8 quits (ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
17:36:18 × julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
17:39:45 L29Ah joins (~L29Ah@wikipedia/L29Ah)
17:48:27 wheatengineer joins (~frederik@p200300f63f29ac00ba4bc61c516d3d89.dip0.t-ipconnect.de)
17:55:07 julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752)
18:06:53 waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
18:09:22 × billchenchina- quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection)
18:21:32 × wheatengineer quits (~frederik@p200300f63f29ac00ba4bc61c516d3d89.dip0.t-ipconnect.de) (Quit: Leaving)
18:26:48 philopsos1 joins (~caecilius@user/philopsos)
18:28:37 justsomeguy joins (~justsomeg@user/justsomeguy)
18:28:58 <justsomeguy> Why does my Functor instance not work here? https://termbin.com/bj6x
18:30:32 <justsomeguy> I feel like I'm missing something important about defining typeclasses.
18:30:36 <ncf> you're mapping the wrong component
18:31:33 <int-e> the type you'd need here is fmap :: (a -> c) -> BahEither b a -> BahEither b c
18:32:18 <int-e> But you've implemented fmap :: (b -> c) -> BahEither b a -> BahEither c a
18:34:41 <ski> {-# LANGUAGE InstanceSigs #-}
18:36:35 <justsomeguy> Is it possible to write fmap for both data constructors (PLeft a and PRight b)?
18:36:52 <ncf> are you looking for Bifunctor
18:37:02 <justsomeguy> I notice that fmap works on Left and Right on the Either type.
18:37:30 <ski> because `Either a b', where `Left' takes an `a' and `Right' takes a `b'
18:37:46 <int-e> > fmap succ (Left 1)
18:37:47 <lambdabot> Left 1
18:37:56 <int-e> > fmap succ (Right 1)
18:37:57 <lambdabot> Right 2
18:38:02 <dolio> Do you mean it has cases for both Left and Right?
18:38:06 <ski> you have `BahEither b a', where `PLeft' takes an `a', and `PRight' takes a `b' .. so the opposite way around
18:38:11 <dolio> It has to do that because the type of the Left changes.
18:39:58 <ski> in general, `fmap :: (a -> c) -> (f a -> f c)'. you have `Functor (BahEither b)' meaning that `f = `BahEither b', so you get `fmap :: (a -> c) -> (BahEither b a -> BahEither b c)'
18:40:34 <justsomeguy> I'm not gonna lie, this is going over my head
18:40:42 <ski> (but then your actual code for `fmap' doesn't currently implement that correctly, hence the type error)
18:41:01 <ski> long story short, you're not correctly implementing the expected type signature
18:41:55 <ski> (if you enable `InstanceSigs' as suggested above, you can write that type signature for `fmap' directly into that `instance' declaration for `Functor')
18:44:16 <EvanR> justsomeguy, what you call "not working" I call working great. I.e. the type system stopped you from doing the objectively wrong thing
18:44:35 <EvanR> imagine if you had a type system for every goal
18:44:49 × euleritian quits (~euleritia@dynamic-176-002-128-182.176.2.pool.telefonica.de) (Ping timeout: 272 seconds)
18:46:06 titiband` joins (~titiband`@user/titibandit)
18:47:02 × julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
18:47:39 <justsomeguy> Oh... the instance in base for Functor (Either a) only works on one constructor, too.
18:48:34 <ncf> there's only one possible instance
18:48:55 <ncf> you obviously cannot apply a function a -> b to a field that doesn't have type a
18:49:29 euleritian joins (~euleritia@dynamic-176-002-128-182.176.2.pool.telefonica.de)
18:49:57 × titiband` quits (~titiband`@user/titibandit) (Remote host closed the connection)
18:50:14 <justsomeguy> OK. Why does (fmap (+10) (Left 1), fmap (+10) (Right 3)) work? Because it has an instance of Bifunctor?
18:50:21 <ski> justsomeguy : <https://termbin.com/nxth>
18:50:36 titiband` joins (~titiband`@user/titibandit)
18:50:58 <ski> (i didn't fix your code, i just added the correct type signature, for clarity)
18:50:59 <ncf> you're not using the Bifunctor instance there, just Functor (Either a)
18:51:18 <ski> justsomeguy : `fmap' means `Functor', not `Bifunctor'
18:51:39 <ski> @type fmap
18:51:40 <lambdabot> Functor f => (a -> b) -> f a -> f b
18:51:47 <ski> no `Bifunctor' there ^
18:51:56 <kaol> Putting them inside a 2-tuple won't have anything to do with Bifunctor either.
18:52:24 ocra8 joins (ocra8@user/ocra8)
18:52:24 <justsomeguy> Alright, I was misreading the result of (fmap (+10) (Left 1)), and that was confusing because I thought I could fmap both constructors. But it wasn't.
18:53:09 <EvanR> > fmap even (99, "foo")
18:53:11 <lambdabot> error:
18:53:11 <lambdabot> • Could not deduce (Integral [Char]) arising from a use of ‘even’
18:53:11 <lambdabot> from the context: Num a
18:53:17 <EvanR> dammit
18:53:24 <EvanR> > fmap even ("foo", 99)
18:53:25 <lambdabot> ("foo",False)
18:53:35 <EvanR> fmapping both wouldn't make sense
18:54:34 <EvanR> with dynamic types anything can be anythinged, but we have static types which must be respected!
18:54:54 <EvanR> I mean let the static types guide you
18:54:58 <justsomeguy> :D
18:55:32 <justsomeguy> Thanks everyone for your help, I was pretty slow on the uptake there.
18:57:46 titiband` is now known as titibandit
18:59:12 <justsomeguy> Also I just found out I can do deriving Functor!
19:04:15 × Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection)
19:04:26 Axman6 joins (~Axman6@user/axman6)
19:07:15 <kaol> It's one of my favorite GHC features.
19:08:07 <justsomeguy> I wish I could meet you all in person. It's a great group of people in this channel.
19:08:27 justsomeguy looks up Haskell meetups in Tampa
19:12:36 ski recalls meeting some denizens of this channel, years ago
19:13:21 <ski> (there was a unicycle involved, as well)
19:14:52 × Nixkernal quits (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
19:15:11 Nixkernal joins (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch)
19:17:05 × sam113101 quits (~sam@24.157.253.231) (Remote host closed the connection)
19:17:30 sam113101 joins (~sam@24.157.253.231)
19:19:52 tri_ joins (~tri@ool-18bbef1a.static.optonline.net)
19:20:45 × yeitrafferin quits (~user@2a04:4540:7205:9900:b1aa:36ea:fab2:4d66) (Quit: Leaving)
19:21:16 × philopsos1 quits (~caecilius@user/philopsos) (Quit: Lost terminal)
19:24:16 tram joins (~tram@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4)
19:24:36 × tri_ quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds)
19:25:12 <probie> What kind of unicycle?
19:25:22 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
19:25:25 Sgeo_ joins (~Sgeo@user/sgeo)
19:25:57 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:26:16 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds)
19:26:20 × ocra8 quits (ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
19:29:32 × barak quits (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 260 seconds)
19:30:47 × euleritian quits (~euleritia@dynamic-176-002-128-182.176.2.pool.telefonica.de) (Ping timeout: 268 seconds)
19:31:05 philopsos1 joins (~caecilius@user/philopsos)
19:32:37 euleritian joins (~euleritia@dynamic-176-000-205-183.176.0.pool.telefonica.de)
19:44:31 Square joins (~Square@user/square)
19:45:43 <ski> i don't recall brand
19:46:15 <ski> i just recall trying it, briefly, along with John Hughes, and some others
19:48:49 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:53:13 × micro quits (~micro@user/micro) (Ping timeout: 272 seconds)
19:55:55 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
19:59:29 ocra8 joins (ocra8@user/ocra8)
20:01:11 <kaol> Not bad, my recommendations library runs 3 times faster than when I started already. Maybe I'll yet make it do the 25m dataset in 32GB RAM.
20:02:53 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
20:04:10 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
20:05:25 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 256 seconds)
20:09:13 philopsos1 joins (~caecilius@user/philopsos)
20:09:39 micro joins (~micro@user/micro)
20:17:34 × dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
20:19:59 tri joins (~tri@ool-18bbef1a.static.optonline.net)
20:21:05 × tram quits (~tram@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4) (Quit: Leaving.)
20:23:40 × euleritian quits (~euleritia@dynamic-176-000-205-183.176.0.pool.telefonica.de) (Ping timeout: 260 seconds)
20:24:05 × tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds)
20:25:04 euleritian joins (~euleritia@dynamic-176-007-193-218.176.7.pool.telefonica.de)
20:35:45 julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752)
20:35:46 × julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
20:37:19 L29Ah joins (~L29Ah@wikipedia/L29Ah)
20:46:09 zetef joins (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4)
20:53:25 × yin quits (~yin@user/zero) (Ping timeout: 268 seconds)
20:54:28 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 260 seconds)
20:57:42 sawilagar joins (~sawilagar@user/sawilagar)
21:00:13 tri joins (~tri@ool-18bbef1a.static.optonline.net)
21:01:43 greenflower joins (~greenflow@43.254.176.139)
21:03:17 × titibandit quits (~titiband`@user/titibandit) (Ping timeout: 268 seconds)
21:04:30 × tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds)
21:06:09 tram joins (~tram@athedsl-225869.home.otenet.gr)
21:07:01 julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752)
21:11:17 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
21:12:30 × zetef quits (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) (Remote host closed the connection)
21:13:40 × connrs quits (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in)
21:18:03 × michalz quits (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in)
21:19:24 × ocra8 quits (ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
21:19:49 × greenflower quits (~greenflow@43.254.176.139) (Quit: Client closed)
21:25:38 ocra8 joins (ocra8@user/ocra8)
21:26:32 connrs joins (~connrs@user/connrs)
21:28:11 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
21:30:05 × julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
21:34:15 yin joins (~yin@user/zero)
21:35:30 julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752)
21:41:22 × ocra8 quits (ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
21:41:22 × tram quits (~tram@athedsl-225869.home.otenet.gr) (Read error: Connection reset by peer)
21:50:06 × julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
21:55:19 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
21:59:24 ocra8 joins (ocra8@user/ocra8)
22:00:19 × causal quits (~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
22:05:33 × euleritian quits (~euleritia@dynamic-176-007-193-218.176.7.pool.telefonica.de) (Ping timeout: 256 seconds)
22:09:26 × yin quits (~yin@user/zero) (Ping timeout: 252 seconds)
22:15:56 agent314 joins (~quassel@static-198-54-134-186.cust.tzulo.com)
22:18:40 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:19:50 Guest75 joins (~Guest75@47.150.101.89)
22:19:53 Guest75 parts (~Guest75@47.150.101.89) ()
22:23:45 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
22:30:15 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
22:34:58 yin joins (~yin@user/zero)
22:42:34 × mima quits (~mmh@aftr-62-216-211-24.dynamic.mnet-online.de) (Ping timeout: 268 seconds)
22:43:46 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
22:46:12 × mei quits (~mei@user/mei) (Remote host closed the connection)
22:48:38 mei joins (~mei@user/mei)
22:58:28 ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
22:59:13 × yin quits (~yin@user/zero) (Ping timeout: 268 seconds)
22:59:37 × gawen quits (~gawen@user/gawen) (Quit: cya)
23:01:07 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer)
23:01:25 ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
23:05:15 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
23:06:41 gawen joins (~gawen@user/gawen)
23:15:00 × oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 255 seconds)
23:16:59 philopsos1 joins (~caecilius@user/philopsos)
23:24:14 × acidjnk_new quits (~acidjnk@p200300d6e714dc82b86ca1b28a3c0e53.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
23:30:07 machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
23:30:14 × ocra8 quits (ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
23:32:13 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
23:40:57 ocra8 joins (ocra8@user/ocra8)
23:42:29 × kimiamania quits (~76637481@user/kimiamania) (Quit: PegeLinux)
23:42:38 agent314_ joins (~quassel@103.75.11.77)
23:43:10 kimiamania joins (~76637481@user/kimiamania)
23:45:03 × agent314 quits (~quassel@static-198-54-134-186.cust.tzulo.com) (Ping timeout: 260 seconds)
23:46:55 × ocra8 quits (ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
23:47:17 ocra8 joins (ocra8@user/ocra8)
23:48:46 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
23:54:11 mud joins (~mud@user/kadoban)
23:55:30 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds)

All times are in UTC on 2024-05-09.