Home liberachat/#haskell: Logs Calendar

Logs on 2025-10-21 (liberachat/#haskell)

00:00:35 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:00:45 Googulator72 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
00:01:12 × Googulator98 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
00:07:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
00:10:37 × Googulator72 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
00:10:38 Googulator98 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
00:14:26 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
00:14:29 peterbecich joins (~Thunderbi@172.222.148.214)
00:15:38 × Googulator98 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
00:15:46 Googulator98 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
00:23:14 halloy9957 joins (~halloy995@ip72-208-127-103.ph.ph.cox.net)
00:24:27 × gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 260 seconds)
00:24:40 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
00:24:58 gustrb joins (~gustrb@191.243.134.87)
00:25:32 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:25:51 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
00:30:52 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
00:32:27 × califax quits (~califax@user/califx) (Remote host closed the connection)
00:33:35 califax joins (~califax@user/califx)
00:41:25 × otto_s quits (~user@p5b044609.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
00:43:01 otto_s joins (~user@p5b0442c1.dip0.t-ipconnect.de)
00:52:16 × ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...)
00:58:40 × halloy9957 quits (~halloy995@ip72-208-127-103.ph.ph.cox.net) (Read error: Connection reset by peer)
01:00:37 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
01:07:02 × xff0x quits (~xff0x@2405:6580:b080:900:6316:ba02:9166:40eb) (Ping timeout: 260 seconds)
01:07:49 × SlackCoder quits (~SlackCode@208.26.91.234) (Ping timeout: 264 seconds)
01:08:42 × cheater quits (~fuck@84-115-208-145.cable.dynamic.surfer.at) (Remote host closed the connection)
01:09:06 craunts795335385 joins (~craunts@136.158.7.194)
01:12:07 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
01:15:04 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds)
01:19:57 × acidjnk quits (~acidjnk@p200300d6e7171945c42b348415052731.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
01:24:07 chromoblob joins (~chromoblo@user/chromob1ot1c)
01:24:10 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
01:33:11 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
01:38:13 × jzargo quits (~jzargo@user/jzargo) (Quit: Leaving)
01:38:37 jzargo joins (~jzargo@user/jzargo)
01:40:16 × peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds)
01:43:49 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
01:50:49 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
01:54:16 halloy9957 joins (~halloy995@ip72-208-127-103.ph.ph.cox.net)
01:54:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:59:20 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
02:00:43 × Googulator98 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
02:00:46 Googulator68 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
02:02:17 werneta joins (~werneta@71.83.160.242)
02:06:14 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
02:06:58 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds)
02:08:11 trickard___ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
02:08:34 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:09:01 × trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
02:13:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
02:14:10 trickard___ is now known as trickard
02:24:16 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:25:13 × ystael quits (~ystael@user/ystael) (Ping timeout: 256 seconds)
02:28:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
02:31:15 × td_ quits (~td@2001:9e8:19d3:4b00:581b:6633:814:8863) (Ping timeout: 244 seconds)
02:33:06 td_ joins (~td@i5387091D.versanet.de)
02:37:01 SlackCoder joins (~SlackCode@208.26.91.234)
02:40:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:40:39 × Googulator68 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
02:40:41 gorignak joins (~gorignak@user/gorignak)
02:40:48 Googulator68 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
02:44:42 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
02:52:40 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
02:53:25 × SlackCoder quits (~SlackCode@208.26.91.234) (Ping timeout: 264 seconds)
02:55:57 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:03:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
03:10:02 gorignak joins (~gorignak@user/gorignak)
03:11:33 × synchromesh quits (~john@2406:5a00:2412:2c00:75ff:6dec:5332:48f7) (Read error: Connection reset by peer)
03:12:22 synchromesh joins (~john@2406:5a00:2412:2c00:5031:98de:1fb1:99bf)
03:14:01 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:19:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
03:29:35 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:34:39 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
03:45:29 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:50:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
03:53:24 × aforemny quits (~aforemny@2001:9e8:6cc7:6800:bfb8:1818:7f09:9156) (Ping timeout: 244 seconds)
03:54:39 aforemny joins (~aforemny@2001:9e8:6ce6:9500:a1cc:7b84:9c73:3993)
03:57:11 × constxd quits (~constxd@user/constxd) (Quit: kiwi irc - hadmade client)
03:58:07 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
04:00:54 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:05:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
04:07:52 × annamalai quits (~annamalai@2409:4072:601a:bdd2::2602:e0ac) (Ping timeout: 260 seconds)
04:09:39 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:10:50 × Googulator68 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
04:11:00 Googulator68 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
04:12:52 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
04:14:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
04:15:40 Googulator83 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
04:15:40 × Googulator68 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Client Quit)
04:18:06 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
04:22:12 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
04:26:26 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:27:44 × trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
04:27:57 trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
04:28:49 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
04:33:11 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
04:37:07 × halloy9957 quits (~halloy995@ip72-208-127-103.ph.ph.cox.net) (Quit: halloy9957)
04:40:44 Googulator56 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
04:40:44 × Googulator83 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
04:44:29 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:48:10 × notzmv quits (~umar@user/notzmv) (Ping timeout: 244 seconds)
04:48:19 trickard__ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
04:49:12 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
04:49:16 × trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
04:49:31 trickard__ is now known as trickard
04:52:30 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
04:54:50 peterbecich joins (~Thunderbi@172.222.148.214)
04:57:59 × gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 244 seconds)
05:00:17 michalz joins (~michalz@185.246.207.205)
05:03:29 notzmv joins (~umar@user/notzmv)
05:07:13 × Square2 quits (~Square@user/square) (Ping timeout: 264 seconds)
05:10:29 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:10:40 Googulator55 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
05:10:50 × Googulator56 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
05:12:20 troydm joins (~troydm@user/troydm)
05:13:07 adig joins (~adi@86.123.72.40)
05:13:28 × adig quits (~adi@86.123.72.40) (Remote host closed the connection)
05:14:35 akegalj joins (~akegalj@78-3-98-78.adsl.net.t-com.hr)
05:15:32 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
05:15:48 Googulator77 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
05:16:05 × Googulator55 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
05:16:32 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
05:17:50 img joins (~img@user/img)
05:20:32 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
05:22:16 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
05:26:16 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:28:40 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
05:29:22 FirefoxDeHuk joins (~FirefoxDe@109.108.69.106)
05:29:58 img joins (~img@user/img)
05:31:17 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
05:35:18 × FirefoxDeHuk quits (~FirefoxDe@109.108.69.106) (Quit: Client closed)
05:38:04 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
05:38:28 poscat joins (~poscat@user/poscat)
05:40:02 × poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 260 seconds)
05:42:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:45:15 × peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
05:45:40 × Googulator77 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
05:45:43 Googulator89 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
05:46:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
05:49:31 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
05:55:49 × itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 264 seconds)
05:57:54 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:59:36 sord937 joins (~sord937@gateway/tor-sasl/sord937)
06:03:42 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
06:04:07 × trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
06:04:26 trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
06:04:39 FirefoxDeHuk joins (~FirefoxDe@109.108.69.106)
06:05:09 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
06:06:26 Gravifer joins (~Gravifer@user/Gravifer)
06:06:58 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
06:08:12 itaipu joins (~itaipu@168.121.97.28)
06:09:59 × FirefoxDeHuk quits (~FirefoxDe@109.108.69.106) (Quit: Client closed)
06:10:01 annamalai joins (~annamalai@157.49.204.238)
06:11:35 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:12:22 trickard_ is now known as trickard
06:14:00 Square joins (~Square4@user/square)
06:15:20 FirefoxDeHuk joins (~FirefoxDe@109.108.69.106)
06:15:55 × FirefoxDeHuk quits (~FirefoxDe@109.108.69.106) (Write error: Broken pipe)
06:16:40 × califax quits (~califax@user/califx) (Ping timeout: 272 seconds)
06:17:24 califax joins (~califax@user/califx)
06:18:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
06:19:20 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
06:22:53 × ephilalethes quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
06:24:01 × trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
06:29:32 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:33:30 × craunts795335385 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
06:34:14 trickard joins (~trickard@cpe-55-98-47-163.wireline.com.au)
06:34:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
06:39:22 kenran joins (~void@user/kenran)
06:39:36 × troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
06:41:07 × Gravifer quits (~Gravifer@user/Gravifer) (Ping timeout: 250 seconds)
06:44:52 × werneta quits (~werneta@71.83.160.242) (Quit: Lost terminal)
06:45:19 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:49:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
06:58:45 srazkvt joins (~sarah@user/srazkvt)
07:00:00 × caconym7478798 quits (~caconym@user/caconym) (Quit: bye)
07:00:41 caconym7478798 joins (~caconym@user/caconym)
07:01:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:06:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
07:06:26 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
07:12:29 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:18:12 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
07:19:24 × annamalai quits (~annamalai@157.49.204.238) (Remote host closed the connection)
07:21:32 tromp joins (~textual@2001:1c00:3487:1b00:75ad:6ea9:b519:8422)
07:21:55 annamalai joins (~annamalai@157.49.204.238)
07:24:06 gmg joins (~user@user/gehmehgeh)
07:28:06 ljdarj joins (~Thunderbi@user/ljdarj)
07:41:45 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection)
07:48:15 × tromp quits (~textual@2001:1c00:3487:1b00:75ad:6ea9:b519:8422) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:48:57 × GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds)
07:52:57 mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com)
07:53:02 × phma quits (~phma@2605:59c8:6211:ff08::6d1) (Remote host closed the connection)
07:53:27 phma joins (~phma@129.222.85.211)
07:54:04 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
07:54:22 merijn joins (~merijn@77.242.116.146)
07:59:37 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
08:01:40 × trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
08:01:54 trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
08:02:31 tromp joins (~textual@2001:1c00:3487:1b00:75ad:6ea9:b519:8422)
08:11:40 trickard_ is now known as trickard
08:22:19 × superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 240 seconds)
08:23:28 × tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 246 seconds)
08:23:57 superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net)
08:24:01 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
08:24:22 ubert1 joins (~Thunderbi@77.119.165.5.wireless.dyn.drei.com)
08:28:40 × ubert1 quits (~Thunderbi@77.119.165.5.wireless.dyn.drei.com) (Ping timeout: 245 seconds)
08:30:33 jreicher joins (~user@user/jreicher)
08:33:01 acidjnk joins (~acidjnk@p200300d6e7171998c83575bf9ad8417c.dip0.t-ipconnect.de)
08:37:53 tabaqui joins (~tabaqui@167.71.80.236)
08:40:55 chele joins (~chele@user/chele)
08:49:44 Lycurgus joins (~juan@user/Lycurgus)
08:57:38 fp1 joins (~Thunderbi@wireless-86-50-141-87.open.aalto.fi)
08:59:38 × akegalj quits (~akegalj@78-3-98-78.adsl.net.t-com.hr) (Ping timeout: 248 seconds)
09:09:26 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
09:12:02 × fp1 quits (~Thunderbi@wireless-86-50-141-87.open.aalto.fi) (Remote host closed the connection)
09:27:25 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
09:34:31 FirefoxDeHuk joins (~FirefoxDe@109.108.69.106)
09:42:13 × trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
09:42:41 trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
09:45:43 × bggd quits (~bgg@2a01:e0a:819:1510:3eb5:dbc5:9370:da5d) (Remote host closed the connection)
09:47:00 × infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 252 seconds)
09:51:21 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
09:51:48 ephilalethes joins (~noumenon@113.51-175-156.customer.lyse.net)
09:56:24 halloy7365 joins (~halloy736@2404:4400:5446:4e00:f94f:6c70:c312:9eed)
09:58:13 × trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
10:00:57 trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
10:01:09 × srazkvt quits (~sarah@user/srazkvt) (Read error: Connection reset by peer)
10:04:13 × pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 256 seconds)
10:11:27 akegalj joins (~akegalj@189-192.dsl.iskon.hr)
10:12:40 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
10:13:22 fp1 joins (~Thunderbi@130.233.55.40)
10:25:49 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds)
10:28:33 pabs3 joins (~pabs3@user/pabs3)
10:31:42 × halloy7365 quits (~halloy736@2404:4400:5446:4e00:f94f:6c70:c312:9eed) (Quit: halloy7365)
10:31:52 halloy7365 joins (~halloy736@2404:4400:5446:4e00:f94f:6c70:c312:9eed)
10:34:42 × FirefoxDeHuk quits (~FirefoxDe@109.108.69.106) (Quit: Client closed)
10:37:52 trickard__ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
10:39:00 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
10:39:16 × kenran quits (~void@user/kenran) (Ping timeout: 246 seconds)
10:39:37 × trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
10:41:22 dhil joins (~dhil@5.151.29.140)
10:45:49 × halloy7365 quits (~halloy736@2404:4400:5446:4e00:f94f:6c70:c312:9eed) (Quit: halloy7365)
10:52:45 FirefoxDeHuk joins (~FirefoxDe@109.108.69.106)
10:57:09 × jreicher quits (~user@user/jreicher) (Quit: In transit)
11:00:05 × caconym7478798 quits (~caconym@user/caconym) (Quit: bye)
11:04:08 trickard__ is now known as trickard
11:06:13 × fp1 quits (~Thunderbi@130.233.55.40) (Ping timeout: 246 seconds)
11:07:33 comerijn joins (~merijn@77.242.116.146)
11:09:10 __monty__ joins (~toonn@user/toonn)
11:10:04 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds)
11:12:46 srazkvt joins (~sarah@user/srazkvt)
11:16:07 inline joins (~inline@2a02:8071:57a1:1260:e86e:f7e5:4e37:be65)
11:19:03 × ephilalethes quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
11:25:18 xff0x joins (~xff0x@2405:6580:b080:900:258d:2e24:cf69:bc8f)
11:26:31 × srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!)
11:26:46 srazkvt joins (~sarah@user/srazkvt)
11:33:14 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
11:35:37 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
11:37:43 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
11:38:19 fp1 joins (~Thunderbi@2001:708:20:1406::1370)
11:38:26 trickard__ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
11:39:16 × inline quits (~inline@2a02:8071:57a1:1260:e86e:f7e5:4e37:be65) (Quit: Leaving)
11:40:13 × trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
11:40:17 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
11:40:44 × chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection)
11:41:18 chiselfuse joins (~chiselfus@user/chiselfuse)
11:44:20 kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
11:45:43 × dhil quits (~dhil@5.151.29.140) (Remote host closed the connection)
11:47:25 × FirefoxDeHuk quits (~FirefoxDe@109.108.69.106) (Quit: Client closed)
11:47:30 dhil joins (~dhil@5.151.29.137)
12:03:36 × srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!)
12:03:51 jreicher joins (~user@user/jreicher)
12:03:54 srazkvt joins (~sarah@user/srazkvt)
12:05:22 × trickard__ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
12:05:36 × dhil quits (~dhil@5.151.29.137) (Quit: Leaving)
12:05:37 trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
12:11:35 × fp1 quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 245 seconds)
12:12:37 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds)
12:13:46 chromoblob joins (~chromoblo@user/chromob1ot1c)
12:16:06 fp1 joins (~Thunderbi@2001:708:20:1406::10c5)
12:18:45 ephilalethes joins (~noumenon@113.51-175-156.customer.lyse.net)
12:24:19 inline joins (~inline@2a02:8071:57a1:1260:549a:508a:6fb7:b45)
12:25:49 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
12:26:09 chromoblob joins (~chromoblo@user/chromob1ot1c)
12:37:18 infinity0 joins (~infinity0@pwned.gg)
12:41:45 kubrat joins (~kubrat@149.62.205.92)
12:54:25 Googulator7 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
12:55:39 × fp1 quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
12:57:15 × Googulator89 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
12:57:45 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
12:58:00 trickard__ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
12:58:02 divlamir joins (~divlamir@user/divlamir)
12:58:49 × trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
13:04:01 × ephilalethes quits (~noumenon@113.51-175-156.customer.lyse.net) (Remote host closed the connection)
13:04:30 × jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer)
13:04:44 ephilalethes joins (~noumenon@113.51-175-156.customer.lyse.net)
13:05:30 jreicher joins (~user@user/jreicher)
13:10:20 × trickard__ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
13:10:34 trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
13:11:00 trickard_ is now known as trickard
13:15:54 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
13:25:54 × inline quits (~inline@2a02:8071:57a1:1260:549a:508a:6fb7:b45) (Ping timeout: 252 seconds)
13:30:42 × kubrat quits (~kubrat@149.62.205.92) (Quit: Client closed)
13:34:53 Googulator7 is now known as Googulator
13:40:09 craunts795335385 joins (~craunts@136.158.7.194)
13:41:30 inline joins (~inline@2a02:8071:57a1:1260:9ce:d642:4cd3:d427)
13:46:35 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds)
13:47:35 × trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
13:47:55 trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
13:49:11 × inline quits (~inline@2a02:8071:57a1:1260:9ce:d642:4cd3:d427) (Ping timeout: 250 seconds)
13:50:58 inline joins (~inline@2a02:8071:57a1:1260:fcd4:375e:a12f:527a)
13:52:32 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
13:56:06 inline_ joins (~inline@2a02:8071:57a1:1260:78f1:291c:7fe2:c513)
13:57:37 × inline quits (~inline@2a02:8071:57a1:1260:fcd4:375e:a12f:527a) (Ping timeout: 260 seconds)
13:58:51 Zemy joins (~Zemy@2600:100c:b0a1:1595:a822:fbff:fe79:491)
14:00:58 bggd joins (~bgg@2a01:e0a:819:1510:71c8:59ed:6e8d:d369)
14:01:47 × Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 265 seconds)
14:02:32 × srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!)
14:05:11 ystael joins (~ystael@user/ystael)
14:05:51 × annamalai quits (~annamalai@157.49.204.238) (Read error: Connection reset by peer)
14:06:12 annamalai joins (~annamalai@157.49.204.238)
14:07:05 × ephilalethes quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
14:11:32 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
14:14:28 × emergence quits (emergence@vm0.max-p.me) (Read error: Connection reset by peer)
14:14:51 emergence joins (thelounge@vm0.max-p.me)
14:15:06 Zemy_ joins (~Zemy@72.178.108.235)
14:17:27 × Zemy quits (~Zemy@2600:100c:b0a1:1595:a822:fbff:fe79:491) (Ping timeout: 260 seconds)
14:19:26 Versality joins (~Versality@user/Versality)
14:20:39 × Versality quits (~Versality@user/Versality) (Remote host closed the connection)
14:20:59 × tromp quits (~textual@2001:1c00:3487:1b00:75ad:6ea9:b519:8422) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:22:40 tromp joins (~textual@2001:1c00:3487:1b00:75ad:6ea9:b519:8422)
14:22:54 inline_ is now known as inline
14:25:47 × yushyin quits (8jcHYEVNqp@mail.karif.server-speed.net) (Quit: WeeChat 4.7.0)
14:25:47 × noctux1 quits (tHPc7cvDa9@user/noctux) (Quit: WeeChat 4.7.0)
14:25:47 × s4msung quits (nzzRIraTwN@user/s4msung) (Quit: s4msung)
14:26:23 noctuks joins (6ytiZUtHp5@user/noctux)
14:26:27 yushyin joins (C2iywkXWw5@mail.karif.server-speed.net)
14:26:27 s4msung joins (sdqoRqmCHs@user/s4msung)
14:29:00 Zemy joins (~Zemy@2600:100c:b0a1:1595:d810:3dff:feac:8eef)
14:29:40 Versality joins (~Versality@user/Versality)
14:31:07 × Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 256 seconds)
14:31:54 × inline quits (~inline@2a02:8071:57a1:1260:78f1:291c:7fe2:c513) (Ping timeout: 248 seconds)
14:35:48 × Versality quits (~Versality@user/Versality) (Remote host closed the connection)
14:36:35 × wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 245 seconds)
14:38:28 wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de)
14:39:42 Zemy_ joins (~Zemy@12.50.240.58)
14:41:24 trickard_ is now known as trickard
14:42:01 × Googulator quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
14:42:18 Googulator joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
14:42:18 Versality joins (~Versality@user/Versality)
14:43:07 × Zemy quits (~Zemy@2600:100c:b0a1:1595:d810:3dff:feac:8eef) (Ping timeout: 260 seconds)
14:44:52 × notzmv quits (~umar@user/notzmv) (Ping timeout: 260 seconds)
14:45:43 × wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds)
14:47:57 wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de)
14:49:19 × Versality quits (~Versality@user/Versality) (Remote host closed the connection)
14:56:32 × Googulator quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
14:56:49 Googulator joins (~Googulato@92-249-221-245.pool.digikabel.hu)
14:57:34 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
14:58:26 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
14:59:38 × Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!)
15:00:23 Fijxu joins (~Fijxu@user/fijxu)
15:00:41 Azurit joins (~Android@225.red-88-9-127.dynamicip.rima-tde.net)
15:01:46 × annamalai quits (~annamalai@157.49.204.238) (Ping timeout: 248 seconds)
15:01:52 × Azurit quits (~Android@225.red-88-9-127.dynamicip.rima-tde.net) (Remote host closed the connection)
15:01:53 <bwe> How to use type classes when the variance is a sum type? https://paste.tomsmeding.com/U0JGfS1e
15:02:56 annamalai joins (~annamalai@157.49.253.239)
15:04:13 × comerijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds)
15:07:52 × annamalai quits (~annamalai@157.49.253.239) (Read error: Connection reset by peer)
15:08:06 annamalai joins (~annamalai@2409:4072:6406:6fe8::425:f8a4)
15:09:01 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
15:09:18 pdroman joins (uid354606@id-354606.uxbridge.irccloud.com)
15:09:46 <bwe> I mean, I could create distinct data constructors like `data SiteADto = SiteADto SiteDto` and the type instances would be straightforward like `instance ToSiteContent SiteADto` and functions like `detFieldA :: proxy SiteADto -> Text`. But how can I get rid of the additional layer introduced by `SiteADto`?
15:09:47 × annamalai quits (~annamalai@2409:4072:6406:6fe8::425:f8a4) (Read error: Connection reset by peer)
15:10:06 annamalai joins (~annamalai@157.49.253.239)
15:15:36 Googulator11 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
15:16:10 × Googulator quits (~Googulato@92-249-221-245.pool.digikabel.hu) (Quit: Client closed)
15:16:43 <bwe> updated: https://paste.tomsmeding.com/ahtW4uic
15:20:02 <Leary> bwe: Why are you trying to use a typeclass for this in the first place? Just `case` on the `SiteName`.
15:23:49 <bwe> Leary: Well, I have a bunch of functions with same name for different SiteName. How would I do it in a straightforward way with case? Also for code organisation, I can put SiteA in a single file.
15:25:47 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
15:27:32 Googulator11 is now known as Googulator
15:32:50 <Leary> By making them different branches of the same function.
15:37:29 <kuribas> bwe: why does it take a proxy?
15:37:44 <kuribas> detFieldA (SiteADto dto) <= not a proxy.
15:38:45 × tromp quits (~textual@2001:1c00:3487:1b00:75ad:6ea9:b519:8422) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:38:51 <bwe> Leary: I feel it might even organise the code better, but still, having each variant completely defined under a type instance has some appeal.
15:39:11 <bwe> kuribas: I corrected it in the updated paste: https://paste.tomsmeding.com/ahtW4uic
15:39:11 <kuribas> bwe: don't you want lenses, instead of type classes?
15:39:32 × Zemy_ quits (~Zemy@12.50.240.58) (Read error: Connection reset by peer)
15:39:33 Zemy joins (~Zemy@2600:100c:b0a1:1595:d8dd:61ff:fe3f:6089)
15:39:57 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
15:40:02 <kuribas> I would avoid typeclasses, and just pattern match on the cases.
15:40:03 Zemy_ joins (~Zemy@syn-192-154-181-091.biz.spectrum.com)
15:40:26 <kuribas> Just rename your functions, instead of having the same name.
15:40:39 Googulator43 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
15:40:39 × Googulator quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
15:41:01 <bwe> kuribas: lenses to avoid the case, I get that now.
15:42:39 <bwe> kuribas: So, in the end, you advise me to branch within the function between the different implementations, correct? Of course, the implementations could live in their own functions that are defined elsewhere.
15:43:27 <kuribas> lenses to extract data.
15:43:38 <kuribas> Pattern matching if you have a closed set of alternatives.
15:43:50 inline joins (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320)
15:44:22 × Zemy quits (~Zemy@2600:100c:b0a1:1595:d8dd:61ff:fe3f:6089) (Ping timeout: 260 seconds)
15:44:59 <kuribas> Otherwise a typeclass HasFoo a => a -> Foo, where Foo is the data you want to extract (can be a sumtype).
15:45:49 × inline quits (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320) (Max SendQ exceeded)
15:46:14 inline joins (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320)
15:47:08 × inline quits (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320) (Max SendQ exceeded)
15:47:33 inline joins (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320)
15:48:33 × inline quits (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320) (Client Quit)
15:48:38 <bwe> kuribas: But in my case I've got a standardised `a`, namely `SiteDto`, over all alternatives (and the variants are differentiated inside the `SiteDto`). I am not sure whether I understand your take on typeclass. It sounds that it's working differently than my attempt, is it?
15:48:43 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
15:49:20 × akegalj quits (~akegalj@189-192.dsl.iskon.hr) (Quit: leaving)
15:49:29 <kuribas> I honestly have no idea what you are trying to do...
15:50:03 <kuribas> If you only have SiteDto, why do you need typeclasses?
15:51:09 <bwe> Basically, I have a set of functions for each SiteName that take `SiteDto` in and switch between different implementations of the functions depending on `SiteName`.
15:52:18 <bwe> kuribas: As mentioned above, I'd have this way all implementations for one variant in one place / file / module.
15:52:55 <kuribas> So siteFoo siteStuff = case siteName siteStuff of "site1" -> foo1 siteStuff; "site2" -> foo2 siteStuff; ...
15:53:03 inline joins (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320)
15:54:08 × Zemy_ quits (~Zemy@syn-192-154-181-091.biz.spectrum.com) (Read error: Connection reset by peer)
15:54:09 Zemy joins (~Zemy@2600:100c:b0a1:1595:88ce:68ff:fe2b:a820)
15:54:24 × inline quits (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320) (Max SendQ exceeded)
15:54:36 <kuribas> or build "siteConfig :: HashMap Text SiteImpl", and pass that around?
15:54:39 Zemy_ joins (~Zemy@12.50.240.58)
15:55:14 inline joins (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320)
15:56:00 <bwe> kuribas: I think I need to turn to the pattern matching / case variant. And from that experience I can move on.
15:56:06 × Zemy_ quits (~Zemy@12.50.240.58) (Read error: Connection reset by peer)
15:56:13 Zemy_ joins (~Zemy@2600:100c:b0a1:1595:c07:48ff:fee4:974)
15:56:29 inline is now known as Guest8492
15:56:47 <bwe> Well, ten functions means ten times pattern matching on SiteName, right? Any idea how to simplify this?
15:56:53 Core3629 joins (~Zemy@syn-192-154-181-091.biz.spectrum.com)
15:57:07 <kuribas> It's simple enough, no?
15:57:24 <kuribas> I don't think going typelevel strings is simpler.
15:57:31 <bwe> Me neither :).
15:58:28 × Zemy quits (~Zemy@2600:100c:b0a1:1595:88ce:68ff:fe2b:a820) (Ping timeout: 246 seconds)
15:58:49 Inline joins (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320)
15:59:15 <bwe> That's actually one advantage of type class version: I don't have to pattern match for each function anew. Well, actually I also do this in the type signatures using `proxy SiteDtoA`.
15:59:43 <bwe> So, thanks for your inputs and encouragement to keep things simple Leary and kuribas.
15:59:48 × Guest8492 quits (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320) (Ping timeout: 256 seconds)
16:00:35 <kuribas> bwe: you still need to pattern match, you just use a complex mechanism (type instance inference) for it.
16:00:56 × Zemy_ quits (~Zemy@2600:100c:b0a1:1595:c07:48ff:fee4:974) (Ping timeout: 256 seconds)
16:01:22 jmcantrell joins (~weechat@user/jmcantrell)
16:03:46 tromp joins (~textual@2001:1c00:3487:1b00:75ad:6ea9:b519:8422)
16:04:20 × Inline quits (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320) (Remote host closed the connection)
16:04:59 Inline joins (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320)
16:06:31 × Inline quits (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320) (Max SendQ exceeded)
16:07:06 Inline joins (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320)
16:07:36 <bwe> kuribas: That's so true. Are LambdaCase and ViewPattern (and how lenses) here of any help to pattern match on a record that carries `SiteName`?
16:07:51 × Inline quits (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320) (Remote host closed the connection)
16:08:13 Inline joins (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320)
16:09:39 <kuribas> Maybe.
16:10:08 <kuribas> I would keep "case siteName siteStuff of "site1" -> foo1 siteStuff; "site2" -> foo2 siteStuff; ..."
16:11:50 <kuribas> Or siteNameDispatch :: Text -> SiteFoo; siteGetFoo :: SiteDta -> SiteFoo; siteGetFoo siteDta = siteNameDispatch $ siteName siteDta
16:12:33 <Leary> bwe: You can re-order the pattern matching and function selection by collecting the site-specific functions into a record: https://play.haskell.org/saved/6BAZ0p1J
16:13:58 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
16:17:21 × kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3))
16:21:54 <bwe> Leary: That's actually a nice approach, to consider, too.
16:22:18 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
16:22:40 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
16:22:50 × Inline quits (~inline@2a02:8071:57a1:1260:9dcf:d8b:a04d:1320) (Remote host closed the connection)
16:22:51 <bwe> Instead of rolling the type instance, I am rolling a record that holds the functions. Yet still the switching is done by simple case.
16:23:10 <bwe> Leary: Thanks for coming up with that refreshing approach.
16:25:59 Googulator20 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
16:26:02 × Square quits (~Square4@user/square) (Ping timeout: 248 seconds)
16:26:04 × Googulator43 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
16:26:47 chromoblob joins (~chromoblo@user/chromob1ot1c)
16:37:41 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
16:38:02 chromoblob joins (~chromoblo@user/chromob1ot1c)
16:38:11 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds)
16:42:46 × tromp quits (~textual@2001:1c00:3487:1b00:75ad:6ea9:b519:8422) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:42:49 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
16:45:35 Googulator12 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
16:45:35 × Googulator20 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
16:56:26 notzmv joins (~umar@user/notzmv)
17:01:51 Zemy joins (~Zemy@2600:100c:b0a1:1595:f890:feff:fef8:faa8)
17:01:52 × Core3629 quits (~Zemy@syn-192-154-181-091.biz.spectrum.com) (Read error: Connection reset by peer)
17:03:38 Zemy_ joins (~Zemy@2600:100c:b0a1:1595:4c66:cfff:fe7c:60d)
17:04:07 × Zemy quits (~Zemy@2600:100c:b0a1:1595:f890:feff:fef8:faa8) (Read error: Connection reset by peer)
17:04:08 × Zemy_ quits (~Zemy@2600:100c:b0a1:1595:4c66:cfff:fe7c:60d) (Read error: Connection reset by peer)
17:04:09 Core5014 joins (~Zemy@syn-192-154-181-091.biz.spectrum.com)
17:04:32 peterbecich joins (~Thunderbi@172.222.148.214)
17:05:33 × Core5014 quits (~Zemy@syn-192-154-181-091.biz.spectrum.com) (Read error: Connection reset by peer)
17:05:40 Zemy joins (~Zemy@2600:100c:b0a1:1595:1001:67ff:feaa:8c47)
17:06:33 tromp joins (~textual@2001:1c00:3487:1b00:75ad:6ea9:b519:8422)
17:06:39 Zemy_ joins (~Zemy@12.50.240.58)
17:10:07 × Zemy quits (~Zemy@2600:100c:b0a1:1595:1001:67ff:feaa:8c47) (Ping timeout: 260 seconds)
17:13:41 Inline joins (~inline@2a02:8071:57a1:1260:5cab:dc7c:e471:f864)
17:14:29 × Inline quits (~inline@2a02:8071:57a1:1260:5cab:dc7c:e471:f864) (Remote host closed the connection)
17:16:04 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
17:16:16 × chele quits (~chele@user/chele) (Remote host closed the connection)
17:16:45 × annamalai quits (~annamalai@157.49.253.239) (Read error: Connection reset by peer)
17:16:59 annamalai joins (~annamalai@2409:4072:6406:6fe8::425:f8a4)
17:17:28 Zemy joins (~Zemy@2600:100c:b0a1:1595:bcb7:eaff:fee6:9015)
17:19:59 × Zemy_ quits (~Zemy@12.50.240.58) (Ping timeout: 256 seconds)
17:23:28 azurit joins (~azurit@225.red-88-9-127.dynamicip.rima-tde.net)
17:25:58 Googulator68 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
17:26:19 × Googulator12 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
17:28:01 Zemy_ joins (~Zemy@72.178.108.235)
17:28:34 × Zemy quits (~Zemy@2600:100c:b0a1:1595:bcb7:eaff:fee6:9015) (Read error: Connection reset by peer)
17:31:45 constxd joins (~constxd@user/constxd)
17:32:51 × azurit quits (~azurit@225.red-88-9-127.dynamicip.rima-tde.net) (Quit: Leaving)
17:33:04 azurit joins (~azurit@225.red-88-9-127.dynamicip.rima-tde.net)
17:37:49 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
17:39:06 × trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
17:39:19 trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
17:40:06 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
17:55:18 × azurit quits (~azurit@225.red-88-9-127.dynamicip.rima-tde.net) (Quit: Leaving)
17:57:40 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
18:07:41 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
18:10:09 GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano)
18:12:17 × emergence quits (thelounge@vm0.max-p.me) (Quit: emergence)
18:13:08 emergence joins (emergence@vm0.max-p.me)
18:13:34 ttybitnik joins (~ttybitnik@user/wolper)
18:13:55 × peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds)
18:22:53 × cyphase quits (~cyphase@user/cyphase) (Ping timeout: 256 seconds)
18:23:28 Zemy joins (~Zemy@2600:100c:b0a1:1595:804a:b5ff:fe46:e9b1)
18:25:30 × Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 248 seconds)
18:29:10 Zemy_ joins (~Zemy@72.178.108.235)
18:29:42 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
18:32:00 × Zemy quits (~Zemy@2600:100c:b0a1:1595:804a:b5ff:fe46:e9b1) (Ping timeout: 245 seconds)
18:47:47 <haskellbridge> <dxtr> So when I try to generate an hpc report it errors out with "can not find HUnit-1.6.2.0-b667263a1cc56634981ba9e3f7540ecc5fc44a43e42bffdacf7c731313055ffc/Test.HUnit.Base in ./.hpc". Can I make it ignore that somehow? I'd rather not have to generate the tix file again since it took... quite a while
18:49:15 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
18:49:44 cyphase joins (~cyphase@user/cyphase)
18:52:47 ec joins (~ec@gateway/tor-sasl/ec)
18:54:18 × mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 248 seconds)
18:56:39 × trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
18:56:40 target_i joins (~target_i@user/target-i/x-6023099)
18:56:52 trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
19:00:42 caconym7478798 joins (~caconym@user/caconym)
19:02:07 robobub joins (uid248673@id-248673.uxbridge.irccloud.com)
19:05:25 × Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer)
19:05:34 Zemy joins (~Zemy@2600:100c:b0a1:1595:e047:adff:fe9e:e262)
19:06:07 Zemy_ joins (~Zemy@72.178.108.235)
19:09:55 × Zemy quits (~Zemy@2600:100c:b0a1:1595:e047:adff:fe9e:e262) (Ping timeout: 246 seconds)
19:14:07 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds)
19:20:25 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
19:25:37 Googulator29 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
19:25:39 × Googulator68 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
19:26:10 Inline joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
19:33:20 × Inline quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
19:35:06 Inline joins (~inline@2a02:8071:57a1:1260:48f6:b7b:f11c:8a4)
19:36:13 × Inline quits (~inline@2a02:8071:57a1:1260:48f6:b7b:f11c:8a4) (Max SendQ exceeded)
19:36:36 Inline joins (~inline@2a02:8071:57a1:1260:48f6:b7b:f11c:8a4)
19:44:10 × Inline quits (~inline@2a02:8071:57a1:1260:48f6:b7b:f11c:8a4) (Ping timeout: 244 seconds)
19:44:25 × wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 264 seconds)
19:44:55 wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de)
19:48:04 Inline joins (~inline@2a02:8071:57a1:1260:dd0b:6340:230c:d53e)
19:48:42 × myme quits (~myme@2a01:799:d5e:5f00:3f1f:ed6a:2329:6f95) (Ping timeout: 252 seconds)
19:48:48 × trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
19:49:02 trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
19:49:43 myme joins (~myme@2a01:799:d5e:5f00:9873:acb9:2c2a:266c)
19:49:48 × Inline quits (~inline@2a02:8071:57a1:1260:dd0b:6340:230c:d53e) (Max SendQ exceeded)
19:50:28 Inline joins (~inline@2a02:8071:57a1:1260:dd0b:6340:230c:d53e)
19:55:26 × Inline quits (~inline@2a02:8071:57a1:1260:dd0b:6340:230c:d53e) (Ping timeout: 244 seconds)
19:58:59 Inline joins (~inline@2a02:8071:57a1:1260:b912:1c01:4405:a826)
19:59:58 × trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
20:00:22 trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
20:01:01 × Inline quits (~inline@2a02:8071:57a1:1260:b912:1c01:4405:a826) (Max SendQ exceeded)
20:01:49 qyrhx joins (~qyrhx@user/qyrhx)
20:02:04 Inline joins (~inline@2a02:8071:57a1:1260:b912:1c01:4405:a826)
20:03:10 × Inline quits (~inline@2a02:8071:57a1:1260:b912:1c01:4405:a826) (Max SendQ exceeded)
20:03:40 Inline joins (~inline@2a02:8071:57a1:1260:b912:1c01:4405:a826)
20:11:18 mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com)
20:18:43 inline_ joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
20:19:07 × Inline quits (~inline@2a02:8071:57a1:1260:b912:1c01:4405:a826) (Ping timeout: 260 seconds)
20:21:12 × inline_ quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
20:21:36 inline_ joins (~inline@2a02:8071:57a1:1260:456a:560e:7c06:5e0e)
20:25:46 inline__ joins (~inline@2a02:8071:57a1:1260:8199:23f4:337e:f315)
20:25:47 inline__ is now known as Inline
20:29:32 × inline_ quits (~inline@2a02:8071:57a1:1260:456a:560e:7c06:5e0e) (Ping timeout: 244 seconds)
20:30:34 × Inline quits (~inline@2a02:8071:57a1:1260:8199:23f4:337e:f315) (Ping timeout: 244 seconds)
20:30:53 Inline joins (~inline@2a02:8071:57a1:1260:e88c:ace5:f511:a98f)
20:31:29 Zemy joins (~Zemy@2600:100c:b0a1:1595:fc44:7bff:feba:3227)
20:32:42 × Inline quits (~inline@2a02:8071:57a1:1260:e88c:ace5:f511:a98f) (Remote host closed the connection)
20:33:25 Inline joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
20:34:12 × Inline quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
20:34:16 × Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 246 seconds)
20:38:38 inline_ joins (~inline@2a02:8071:57a1:1260:e88c:ace5:f511:a98f)
20:39:10 inline_ is now known as inline
20:41:17 pavonia joins (~user@user/siracusa)
20:41:54 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
20:44:19 × inline quits (~inline@2a02:8071:57a1:1260:e88c:ace5:f511:a98f) (Remote host closed the connection)
20:45:00 inline joins (~inline@2a02:8071:57a1:1260:e88c:ace5:f511:a98f)
20:45:08 × inline quits (~inline@2a02:8071:57a1:1260:e88c:ace5:f511:a98f) (Remote host closed the connection)
20:47:48 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
20:50:47 Zemy_ joins (~Zemy@mobile-107-80-206-104.mycingular.net)
20:53:33 Core3312 joins (~Zemy@2600:100c:b0a1:1595:5cdd:20ff:fe98:a80a)
20:54:19 × Zemy quits (~Zemy@2600:100c:b0a1:1595:fc44:7bff:feba:3227) (Read error: Connection reset by peer)
20:57:35 × Zemy_ quits (~Zemy@mobile-107-80-206-104.mycingular.net) (Ping timeout: 256 seconds)
21:00:48 × pdroman quits (uid354606@id-354606.uxbridge.irccloud.com) ()
21:00:52 Zemy joins (~Zemy@76.184.46.188)
21:04:01 × Core3312 quits (~Zemy@2600:100c:b0a1:1595:5cdd:20ff:fe98:a80a) (Ping timeout: 246 seconds)
21:05:41 Googulator66 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
21:05:41 × Googulator29 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
21:08:27 ru0mad joins (~ru0mad@moon.ruomad.net)
21:08:42 peterbecich joins (~Thunderbi@172.222.148.214)
21:08:55 ru0mad parts (~ru0mad@moon.ruomad.net) ()
21:18:41 inline joins (~inline@2a02:8071:57a1:1260:e4c1:a1a4:8004:a864)
21:19:27 Zemy_ joins (~Zemy@2600:100c:b0a1:1595:602b:c0ff:fe63:24e2)
21:22:02 × Zemy quits (~Zemy@76.184.46.188) (Ping timeout: 248 seconds)
21:23:47 × mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 244 seconds)
21:25:40 Googulator64 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
21:25:42 × Googulator66 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
21:27:19 Zemy joins (~Zemy@mobile-107-80-206-104.mycingular.net)
21:29:29 Core7660 joins (~Zemy@2600:100c:b0a1:1595:60a1:35ff:fefb:bd6f)
21:29:33 × michalz quits (~michalz@185.246.207.205) (Remote host closed the connection)
21:30:11 × Zemy_ quits (~Zemy@2600:100c:b0a1:1595:602b:c0ff:fe63:24e2) (Read error: Connection reset by peer)
21:31:40 × Zemy quits (~Zemy@mobile-107-80-206-104.mycingular.net) (Ping timeout: 246 seconds)
21:34:18 × peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 248 seconds)
21:34:29 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:38:04 Zemy joins (~Zemy@72.178.108.235)
21:40:47 × Core7660 quits (~Zemy@2600:100c:b0a1:1595:60a1:35ff:fefb:bd6f) (Ping timeout: 260 seconds)
21:51:40 × qyrhx quits (~qyrhx@user/qyrhx) (Quit: WeeChat 4.7.1)
21:55:25 × jreicher quits (~user@user/jreicher) (Quit: Out and about)
21:59:55 vanishingideal joins (~vanishing@user/vanishingideal)
22:01:10 inline_ joins (~inline@2a02:8071:57a1:1260:e4c1:a1a4:8004:a864)
22:01:49 inline is now known as Guest7673
22:01:49 inline_ is now known as inline
22:04:36 × Guest7673 quits (~inline@2a02:8071:57a1:1260:e4c1:a1a4:8004:a864) (Ping timeout: 244 seconds)
22:05:36 × Googulator64 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
22:05:42 Googulator39 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
22:06:32 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
22:07:00 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
22:07:22 peterbecich joins (~Thunderbi@172.222.148.214)
22:12:22 × trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
22:12:35 trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au)
22:16:49 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
22:18:26 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
22:21:24 × Googulator39 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
22:21:41 Googulator39 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
22:23:25 × peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds)
22:25:22 × craunts795335385 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
22:25:47 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
22:31:30 × ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...)
22:35:49 Sgeo joins (~Sgeo@user/sgeo)
22:45:15 weary-traveler joins (~user@user/user363627)
22:50:43 × inline quits (~inline@2a02:8071:57a1:1260:e4c1:a1a4:8004:a864) (Read error: Connection reset by peer)
22:55:31 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
22:58:02 × forell quits (~forell@user/forell) (Ping timeout: 248 seconds)
23:05:42 Googulator36 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
23:05:42 × Googulator39 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
23:06:50 × dcpagan quits (~dcpagan@gateway/tor-sasl/dcpagan) (Ping timeout: 272 seconds)
23:08:53 emmanuelux joins (~emmanuelu@user/emmanuelux)
23:16:40 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
23:17:08 forell joins (~forell@user/forell)
23:20:31 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds)
23:23:59 × tromp quits (~textual@2001:1c00:3487:1b00:75ad:6ea9:b519:8422) (Quit: My iMac has gone to sleep. ZZZzzz…)
23:24:39 jmcantrell joins (~weechat@user/jmcantrell)
23:28:47 peterbecich joins (~Thunderbi@172.222.148.214)
23:29:24 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
23:36:15 × forell quits (~forell@user/forell) (Ping timeout: 256 seconds)
23:49:28 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
23:55:49 × synchromesh quits (~john@2406:5a00:2412:2c00:5031:98de:1fb1:99bf) (Read error: Connection reset by peer)
23:57:03 synchromesh joins (~john@2406:5a00:2412:2c00:5031:98de:1fb1:99bf)
23:59:04 Square2 joins (~Square@user/square)
23:59:20 forell joins (~forell@user/forell)

All times are in UTC on 2025-10-21.