Home liberachat/#haskell: Logs Calendar

Logs on 2023-09-27 (liberachat/#haskell)

00:01:49 → emmanuelux joins (~emmanuelu@user/emmanuelux)
00:04:03 → ubert1 joins (~Thunderbi@77.119.223.36.wireless.dyn.drei.com)
00:04:15 × xff0x quits (~xff0x@2405:6580:b080:900:ee82:be9d:3e7c:9aae) (Ping timeout: 240 seconds)
00:04:58 × ubert quits (~Thunderbi@178.115.46.247.wireless.dyn.drei.com) (Ping timeout: 255 seconds)
00:04:58 ubert1 is now known as ubert
00:05:12 → bienjensu joins (~user@user/bienjensu)
00:06:16 → xff0x joins (~xff0x@178.255.149.135)
00:06:58 × Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
00:13:35 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds)
00:16:35 × xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 240 seconds)
00:18:34 → xff0x joins (~xff0x@2405:6580:b080:900:41ff:c0f:cf6a:f335)
00:20:24 × hexology quits (~hexology@user/hexology) (Remote host closed the connection)
00:20:43 → hexology joins (~hexology@user/hexology)
00:21:02 × hexology quits (~hexology@user/hexology) (Remote host closed the connection)
00:21:43 × qqq quits (~qqq@92.43.167.61) (Ping timeout: 240 seconds)
00:21:45 → hexology joins (~hexology@user/hexology)
00:23:37 → qqq joins (~qqq@92.43.167.61)
00:24:27 × bienjensu quits (~user@user/bienjensu) (Remote host closed the connection)
00:26:11 → bienjensu joins (~user@user/bienjensu)
00:27:27 → bilegeek joins (~bilegeek@2600:1008:b0ad:cc36:cdcb:d721:4a07:b641)
00:32:18 × hexology quits (~hexology@user/hexology) (Remote host closed the connection)
00:32:37 → hexology joins (~hexology@user/hexology)
00:33:37 → emmanuelux joins (~emmanuelu@user/emmanuelux)
00:34:00 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
00:34:25 × Typedfern quits (~Typedfern@81.red-83-37-27.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
00:35:35 → emmanuelux joins (~emmanuelu@user/emmanuelux)
00:35:58 → ryanbooker joins (uid4340@id-4340.hampstead.irccloud.com)
00:38:13 × hexology quits (~hexology@user/hexology) (Remote host closed the connection)
00:38:58 → hexology joins (~hexology@user/hexology)
00:39:44 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Client Quit)
00:43:47 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds)
00:44:06 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
00:53:13 → Typedfern joins (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net)
00:59:48 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
00:59:48 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
00:59:48 → wroathe joins (~wroathe@user/wroathe)
01:03:52 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
01:06:19 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 245 seconds)
01:08:31 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
01:08:39 → nicosm joins (~nicosm@host98.181-4-190.telecom.net.ar)
01:09:44 → jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
01:10:14 × ystael quits (~ystael@user/ystael) (Ping timeout: 258 seconds)
01:33:04 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f492:4050:8c5d:37a2) (Remote host closed the connection)
01:34:16 × nicosm quits (~nicosm@host98.181-4-190.telecom.net.ar) (Remote host closed the connection)
01:39:13 × otto_s quits (~user@p5b04494d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
01:41:05 → otto_s joins (~user@p5b044302.dip0.t-ipconnect.de)
01:47:49 → nicosm joins (~nicosm@host98.181-4-190.telecom.net.ar)
01:49:24 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
01:49:46 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:75c5:121e:d99d:dd28)
01:53:52 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
02:03:52 × nicosm quits (~nicosm@host98.181-4-190.telecom.net.ar) (Remote host closed the connection)
02:08:00 → hugo joins (znc@verdigris.lysator.liu.se)
02:09:39 × xff0x quits (~xff0x@2405:6580:b080:900:41ff:c0f:cf6a:f335) (Ping timeout: 245 seconds)
02:10:16 → pavonia joins (~user@user/siracusa)
02:10:48 × td_ quits (~td@i53870926.versanet.de) (Ping timeout: 258 seconds)
02:11:26 → space100022 joins (~space1000@user/space1000)
02:12:30 → td_ joins (~td@i53870923.versanet.de)
02:21:48 × jargon quits (~jargon@184.101.67.95) (Remote host closed the connection)
02:22:57 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds)
02:25:07 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
02:44:57 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
02:47:10 × fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
02:47:23 × qqq quits (~qqq@92.43.167.61) (Read error: Connection reset by peer)
02:52:06 → qqq joins (~qqq@92.43.167.61)
03:00:50 → xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
03:01:31 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds)
03:01:43 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds)
03:03:42 × ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 258 seconds)
03:05:38 → ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net)
03:26:18 → hugo joins (znc@verdigris.lysator.liu.se)
03:27:22 × bilegeek quits (~bilegeek@2600:1008:b0ad:cc36:cdcb:d721:4a07:b641) (Quit: Leaving)
03:55:23 → gmg joins (~user@user/gehmehgeh)
03:55:24 × space100022 quits (~space1000@user/space1000) (Ping timeout: 240 seconds)
03:57:11 × gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds)
03:58:59 → hgolden_ joins (~hgolden@2603-8000-9d00-3ed1-cee1-c701-fc94-6966.res6.spectrum.com)
03:59:13 × hgolden quits (~hgolden@2603-8000-9d00-3ed1-fcc0-fa4b-2157-39f4.res6.spectrum.com) (Ping timeout: 240 seconds)
04:00:23 × aforemny_ quits (~aforemny@2001:9e8:6cf7:2600:8cfd:3e44:4f1a:c0ee) (Ping timeout: 255 seconds)
04:00:32 → aforemny joins (~aforemny@i59F516DA.versanet.de)
04:09:21 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
04:12:22 × terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
04:13:55 → terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::)
04:33:07 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
04:34:21 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
04:39:29 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
04:55:27 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
04:59:39 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
05:00:07 → acidjnk_new joins (~acidjnk@p200300d6e7072f4340109536a6857484.dip0.t-ipconnect.de)
05:05:37 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
05:10:31 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
05:16:43 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
05:17:18 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
05:24:17 × thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
05:25:22 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
05:27:34 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
05:29:13 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds)
05:32:06 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
05:33:35 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
05:33:58 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
05:38:35 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
05:41:32 × tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
05:43:24 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
05:44:51 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
05:48:18 → Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
05:51:22 → sm joins (~sm@plaintextaccounting/sm)
05:54:30 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
06:03:25 → michalz joins (~michalz@185.246.204.105)
06:04:25 × qqq quits (~qqq@92.43.167.61) (Quit: leaving)
06:07:08 → CiaoSen joins (~Jura@2a05:5800:29b:6b00:664b:f0ff:fe37:9ef)
06:07:40 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
06:12:09 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
06:15:18 → lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
06:17:17 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
06:17:40 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
06:18:43 × shapr quits (~user@2600:1700:c640:3100:3cbf:7898:1195:ccad) (Ping timeout: 240 seconds)
06:20:31 → hugo joins (znc@verdigris.lysator.liu.se)
06:22:15 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
06:22:25 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
06:31:31 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
06:32:18 → danza joins (~francesco@151.35.214.2)
06:32:42 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:2fe5:7197:b580:702)
06:32:42 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
06:36:51 → Inst joins (~Inst@120.244.192.250)
06:39:05 × todi quits (~todi@p4fd1a856.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
06:48:27 × Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Quit: Leaving)
06:52:15 × ubert quits (~Thunderbi@77.119.223.36.wireless.dyn.drei.com) (Ping timeout: 244 seconds)
06:56:00 × danza quits (~francesco@151.35.214.2) (Ping timeout: 258 seconds)
06:56:31 → danza joins (~francesco@151.35.214.2)
07:00:13 × danza quits (~francesco@151.35.214.2) (Read error: Connection reset by peer)
07:00:31 → danza joins (~francesco@151.37.151.250)
07:02:13 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
07:02:34 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
07:08:33 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
07:08:51 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
07:11:09 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
07:12:41 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
07:15:50 → hugo joins (znc@verdigris.lysator.liu.se)
07:16:16 → mc47 joins (~mc47@xmonad/TheMC47)
07:16:38 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
07:18:00 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
07:20:12 × danza quits (~francesco@151.37.151.250) (Ping timeout: 248 seconds)
07:21:21 × sabino quits (~sabino@user/sabino) (Quit: Lambda _ -> x)
07:21:31 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
07:21:43 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
07:33:35 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
07:35:52 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
07:36:30 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
07:36:57 → chele joins (~chele@user/chele)
07:39:00 → dcoutts joins (~duncan@94.119.64.0)
07:41:47 × Inst quits (~Inst@120.244.192.250) (Read error: Connection reset by peer)
07:41:50 → oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
07:47:26 → cfricke joins (~cfricke@user/cfricke)
07:47:37 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:50:27 → hugo- joins (znc@verdigris.lysator.liu.se)
07:52:42 → danse-nr3 joins (~francesco@151.37.151.250)
07:53:58 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:75c5:121e:d99d:dd28) (Remote host closed the connection)
07:57:03 → sm joins (~sm@plaintextaccounting/sm)
07:57:26 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
07:57:44 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:59:34 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
07:59:42 → mc47 joins (~mc47@xmonad/TheMC47)
08:00:41 → vpan joins (~vpan@212.117.1.172)
08:01:24 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:03:13 × dcoutts quits (~duncan@94.119.64.0) (Ping timeout: 240 seconds)
08:06:05 → Inst joins (~Inst@120.244.192.250)
08:12:41 → mmhat joins (~mmh@p200300f1c74e6facee086bfffe095315.dip0.t-ipconnect.de)
08:16:40 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
08:17:05 × mmhat quits (~mmh@p200300f1c74e6facee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
08:22:29 → dcoutts joins (~duncan@pat-125-253.wlan.net.ed.ac.uk)
08:24:29 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:75c5:121e:d99d:dd28)
08:24:34 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
08:25:32 × ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
08:30:56 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:38:13 × dcoutts quits (~duncan@pat-125-253.wlan.net.ed.ac.uk) (Ping timeout: 240 seconds)
08:39:11 → dcoutts joins (~duncan@pat-125-253.wlan.net.ed.ac.uk)
08:40:13 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds)
08:40:27 → xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
08:40:38 × vglfr quits (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Read error: Connection reset by peer)
08:40:58 → vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr)
08:49:16 → Pickchea joins (~private@user/pickchea)
08:49:47 × vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 252 seconds)
08:49:58 → vglfr joins (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua)
09:01:12 → lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
09:07:01 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
09:07:10 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
09:07:27 × Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds)
09:10:17 → privacy joins (~privacy@47.219.84.6)
09:12:13 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
09:16:44 × vpan quits (~vpan@212.117.1.172) (Ping timeout: 245 seconds)
09:17:59 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
09:18:07 → dhil joins (~dhil@2001:8e0:2014:3100:b35e:6470:ff2b:e5d8)
09:22:26 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 260 seconds)
09:24:03 → Inst joins (~Inst@120.244.192.250)
09:25:51 → xff0x_ joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
09:26:48 × NinjaTrappeur quits (~ninja@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.0.4)
09:27:46 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds)
09:29:20 × acidjnk_new quits (~acidjnk@p200300d6e7072f4340109536a6857484.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
09:29:59 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
09:30:05 → NinjaTrappeur joins (~ninja@about/aquilenet/vodoo/NinjaTrappeur)
09:34:31 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
09:34:54 × privacy quits (~privacy@47.219.84.6) (Changing host)
09:34:54 → privacy joins (~privacy@user/privacy)
09:37:07 × privacy quits (~privacy@user/privacy) (Quit: Leaving)
09:37:39 → privacy joins (~privacy@user/privacy)
09:41:44 → shryke joins (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd)
09:47:30 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
09:52:47 → xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
09:53:24 → arahael joins (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net)
09:53:42 → rickbonavigo joins (~rickbonav@ip27-236-73-80.pool-bba.aruba.it)
09:54:07 × xff0x_ quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds)
09:54:13 → kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
09:54:59 × [exa] quits (~exa@user/exa/x-3587197) (Remote host closed the connection)
09:59:36 → acidjnk_new joins (~acidjnk@p200300d6e7072f4311b541924395f0e5.dip0.t-ipconnect.de)
10:00:50 × rickbonavigo quits (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Quit: ZNC 1.8.2 - https://znc.in)
10:00:55 × CiaoSen quits (~Jura@2a05:5800:29b:6b00:664b:f0ff:fe37:9ef) (Ping timeout: 264 seconds)
10:01:16 → rickbonavigo joins (~rickbonav@ip27-236-73-80.pool-bba.aruba.it)
10:03:52 × rickbonavigo quits (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Client Quit)
10:04:14 → rickbonavigo joins (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
10:04:38 → chomwitt joins (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1)
10:04:38 → hseg joins (~gesh@77.137.68.224)
10:06:36 × rickbonavigo quits (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit)
10:06:44 × ft quits (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving)
10:06:55 → rickbonavigo joins (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
10:07:23 <hseg> Any standard monoid instance with a distinguished element Bot st a <> b = Bot for a,b /= mempty?
10:07:43 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds)
10:08:09 <hseg> (idea is that I have multiple fallback options for a functionality, only one of which may be configured at a time)
10:09:16 × rickbonavigo quits (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit)
10:09:34 → rickbonavigo joins (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
10:10:53 × rickbonavigo quits (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit)
10:11:12 → rickbonavigo joins (~rickbonav@ip27-236-73-80.pool-bba.aruba.it)
10:11:55 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 252 seconds)
10:12:38 × rickbonavigo quits (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Client Quit)
10:12:58 → rickbonavigo joins (~rickbonav@ip27-236-73-80.pool-bba.aruba.it)
10:13:44 <hseg> ie sth like http://ix.io/4Hy7
10:14:51 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 252 seconds)
10:16:57 <kuribas> First?
10:16:57 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
10:17:04 <kuribas> :t First
10:17:05 <lambdabot> Maybe a -> First a
10:17:49 <kuribas> oh you want to fail if there are more...
10:18:04 <hseg> exactly
10:18:15 <hseg> perhaps I'm being ridiculous here
10:19:26 <kuribas> I don't think there is such a standard monoid.
10:19:43 <kuribas> But it's easy to define
10:19:43 <ncf> this reminds me of NixOS' mergeOneOption
10:20:05 <ncf> and the closely related mergeEqualOption, which would allow a <> b | a == b = a
10:20:15 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
10:20:56 × rickbonavigo quits (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Quit: ZNC 1.8.2 - https://znc.in)
10:20:57 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
10:21:00 <hseg> frankly, dislike the code I'm refactoring here, but there's a limit to how much i can throw out
10:21:11 → rickbonavigo joins (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
10:21:56 → Inst joins (~Inst@120.244.192.250)
10:23:09 × rickbonavigo quits (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit)
10:23:24 → rickbonavigo joins (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
10:23:26 <[Leary]> hseg: I guess you could have `newtype Absorbing a = Absorbing (Maybe a); instance Semigroup (Absorbing a) where _ <> _ = Absorbing Nothing`, then your monoid is ~ `Maybe (Absorbing a)`.
10:23:44 <[Leary]> But I haven't seen this anywhere.
10:24:28 <hseg> yeah. This is basically Max for FreeBounded a = Bot | An a | Top
10:24:38 <hseg> s/Max/Min
10:25:14 <hseg> (ie a flat domain in domain-theoretic terms)
10:25:19 <ncf> none-one-tons
10:25:29 <hseg> ooh, like that name
10:25:37 <ncf> (from https://personal.cis.strath.ac.uk/conor.mcbride/PlentyO-CR.pdf)
10:26:57 <ncf> does FreeBounded mean this is the free bounded monoid on a set? what's a bounded monoid?
10:27:12 <hseg> free bounded order
10:27:19 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
10:27:25 <hseg> ie you're throwing in a top and bottom
10:27:45 <ncf> ah, right
10:28:05 × rickbonavigo quits (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit)
10:28:17 → rickbonavigo joins (~rickbonav@ip27-236-73-80.pool-bba.aruba.it)
10:33:21 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 258 seconds)
10:34:14 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds)
10:35:09 × privacy quits (~privacy@user/privacy) (Quit: Leaving)
10:37:12 ← L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
10:44:17 → ubert joins (~Thunderbi@2001:871:263:926a:cc51:e766:20bc:649c)
10:47:48 × rickbonavigo quits (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Quit: ZNC 1.8.2 - https://znc.in)
10:48:03 → hugo- joins (znc@verdigris.lysator.liu.se)
10:49:12 → azimut joins (~azimut@gateway/tor-sasl/azimut)
10:51:19 → rickbonavigo joins (~rickbonav@ip27-236-73-80.pool-bba.aruba.it)
10:51:31 × dhil quits (~dhil@2001:8e0:2014:3100:b35e:6470:ff2b:e5d8) (Ping timeout: 252 seconds)
10:53:03 <hseg> ... am doubting whether this code is worth it, trying to find a better solution
10:58:34 <ncf> what's the problem?
10:59:20 <hseg> am looking for a script to manage oauth2 tokens, dislike mailctl's implementation
11:00:07 <hseg> (it's broken in one way, for which I've filed an unmerged PR, and is code-aesthetically displeasing in multiple ways, making me uncomfortable trusting it)
11:00:08 × rickbonavigo quits (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Quit: ZNC 1.8.2 - https://znc.in)
11:00:25 → rickbonavigo joins (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
11:00:48 → danse-nr3_ joins (~francesco@151.35.199.58)
11:00:50 × danse-nr3 quits (~francesco@151.37.151.250) (Read error: Connection reset by peer)
11:02:42 → hiyori joins (~hiyori@user/hiyori)
11:03:35 → dhil joins (~dhil@2001:8e0:2014:3100:d77a:88d:bf12:3925)
11:04:20 × rickbonavigo quits (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit)
11:04:32 → rickbonavigo joins (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
11:07:50 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
11:09:00 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds)
11:11:02 → xff0x joins (~xff0x@2405:6580:b080:900:e0b7:57fc:bb76:e3a2)
11:17:56 × danse-nr3_ quits (~francesco@151.35.199.58) (Ping timeout: 260 seconds)
11:22:54 × meinside quits (uid24933@helmsley.irccloud.com) (Quit: Connection closed for inactivity)
11:23:13 → hugo- joins (znc@verdigris.lysator.liu.se)
11:26:54 → danse-nr3_ joins (~francesco@151.35.199.58)
11:27:08 → Lycurgus joins (~juan@user/Lycurgus)
11:31:37 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
11:32:15 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
11:34:24 × Nixkernal quits (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
11:34:44 → Nixkernal joins (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch)
11:37:13 × danse-nr3_ quits (~francesco@151.35.199.58) (Ping timeout: 240 seconds)
11:39:55 → hugo- joins (znc@verdigris.lysator.liu.se)
11:41:23 × dcoutts quits (~duncan@pat-125-253.wlan.net.ed.ac.uk) (Ping timeout: 252 seconds)
11:41:33 → vpan joins (~vpan@212.117.1.172)
11:41:56 vpan is now known as Guest6424
11:46:08 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
11:51:28 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds)
11:54:30 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
12:01:03 → __monty__ joins (~toonn@user/toonn)
12:01:41 × acidjnk_new quits (~acidjnk@p200300d6e7072f4311b541924395f0e5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
12:03:56 → hugo- joins (znc@verdigris.lysator.liu.se)
12:07:07 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
12:08:04 × bienjensu quits (~user@user/bienjensu) (Remote host closed the connection)
12:11:08 × xff0x quits (~xff0x@2405:6580:b080:900:e0b7:57fc:bb76:e3a2) (Quit: xff0x)
12:11:29 → xff0x joins (~xff0x@2405:6580:b080:900:e0b7:57fc:bb76:e3a2)
12:12:04 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 244 seconds)
12:12:45 → Inst joins (~Inst@120.244.192.250)
12:13:00 <Inst> hmmm
12:13:09 <Inst> Haskell for me is really disappointing when I don't have the skills to do GHC dev
12:13:13 <Inst> -XPolymorphicMain
12:13:22 <Inst> class IsMain where
12:13:47 <Inst> class IsMain a where
12:14:05 <Inst> toIO :: a b -> IO b
12:16:13 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
12:18:09 × Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss)
12:19:33 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
12:21:49 → danse-nr3_ joins (~francesco@151.35.199.58)
12:24:43 <Inst> instance IsMain IO where
12:24:52 <Inst> toIO = id
12:30:51 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
12:39:09 × stites quits (~stites@130.44.147.204) (Ping timeout: 252 seconds)
12:43:24 → stites joins (~stites@2607:fb90:ade1:40bc:7260:fcae:b31c:7cc)
12:46:10 × __monty__ quits (~toonn@user/toonn) (Ping timeout: 244 seconds)
12:48:45 → __monty__ joins (~toonn@user/toonn)
12:49:23 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
12:50:38 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
13:06:27 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
13:08:55 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
13:13:43 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
13:19:15 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
13:19:15 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
13:19:15 → wroathe joins (~wroathe@user/wroathe)
13:19:37 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
13:22:28 → jmdaemon joins (~jmdaemon@user/jmdaemon)
13:23:36 × rickbonavigo quits (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Quit: ZNC 1.8.2 - https://znc.in)
13:23:48 → rickbonavigo joins (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
13:25:16 → dcoutts joins (~duncan@pat-125-253.wlan.net.ed.ac.uk)
13:28:44 → acidjnk_new joins (~acidjnk@p200300d6e7072f4311b541924395f0e5.dip0.t-ipconnect.de)
13:32:51 → bontaq joins (~user@ool-45707d2c.dyn.optonline.net)
13:34:26 × arahael quits (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds)
13:38:05 <Axman6> that seems not very useful
13:38:58 <Axman6> only monads which are basically just IO can have a useful instance; maybe Writer but that's about it
13:40:23 × stites quits (~stites@2607:fb90:ade1:40bc:7260:fcae:b31c:7cc) (Read error: Connection reset by peer)
13:40:43 → stites joins (~stites@130.44.147.204)
13:41:54 → Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
13:43:53 → ystael joins (~ystael@user/ystael)
13:45:41 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
13:47:59 → waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
13:48:49 × hiyori quits (~hiyori@user/hiyori) (Quit: Ping timeout (120 seconds))
13:50:57 × Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection)
13:52:58 → eggplant_ joins (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80)
13:54:43 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds)
13:55:43 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:75c5:121e:d99d:dd28) (Ping timeout: 240 seconds)
13:58:35 × hseg quits (~gesh@77.137.68.224) (Ping timeout: 240 seconds)
14:00:24 <dolio> Haskell is "really disappointing" when there isn't another language extension entirely so that you can write a slightly shorter main function?
14:01:33 <kuribas> should use lisp then
14:01:44 <kuribas> you can completely redefine the syntax!
14:02:31 → CiaoSen joins (~Jura@2a05:5800:29b:6b00:664b:f0ff:fe37:9ef)
14:02:49 <danse-nr3_> not the syntax, probably
14:04:51 → gatekempt joins (~gatekempt@user/gatekempt)
14:08:39 → hiyori joins (~hiyori@user/hiyori)
14:11:20 × hiyori quits (~hiyori@user/hiyori) (Client Quit)
14:11:41 <dolio> You can in Racket.
14:11:48 <dolio> I think it's a lot of work, though.
14:12:14 × waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 258 seconds)
14:13:06 × ubert quits (~Thunderbi@2001:871:263:926a:cc51:e766:20bc:649c) (Remote host closed the connection)
14:13:26 → ubert joins (~Thunderbi@2001:871:263:926a:b9b0:15b4:d989:38ff)
14:20:53 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 252 seconds)
14:23:33 → Inst joins (~Inst@120.244.192.250)
14:24:29 → shapr joins (~user@2600:1700:c640:3100:1deb:a641:b3ec:34e6)
14:25:03 <Inst> It's more that I have a ton of crackpot language extension ideas
14:25:06 <Inst> that are useless to me
14:25:10 <Inst> because I can't implement them
14:25:53 <Inst> and it's more in the vein of Gabriella Gonzalez's https://www.youtube.com/watch?v=fNpsgTIpODA
14:26:07 → thegeekinside joins (~thegeekin@189.217.90.224)
14:26:25 <Inst> that is to say, if you look at the NeoHaskell project, one promising possibility (and I don't think Nick necessarily likes this) is to fulfill Gabriella Gonzalez's suggestion
14:26:40 <Inst> i.e, the end user is locked into an eDSL or a family of eDSLs, in other words, a framework
14:26:46 <Inst> the eDSL / family is implemented in Haskell
14:26:57 <Inst> the end user gets what they want, i.e, extremely low complexity, simple projects, etc
14:27:50 <Inst> There is a chance the best possible outcome for NeoHaskell is for it to be a partial project that fails, but one that generates useful lessons for another attempt
14:28:24 <Inst> so with polymorphic main, what you can do is that the user just sees main :: MyEDSLMonadTrans ()
14:28:33 <Inst> they don't have to know about IO, etc
14:28:34 <Inst> it's all hidden
14:29:46 → Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
14:30:26 × anderson quits (~anderson@user/anderson) (Quit: bye)
14:30:31 <Inst> I think with NeoHaskell, it's possible to implement Elm values without neuroses, i.e, when language founders tells you to just use Haskell because foo feature isn't in NeoHaskell, that's not Elm committing suicide with tons of users migrating off, it's just telling you to build the relevant Haskell module, then import it
14:30:47 → anderson joins (~anderson@user/anderson)
14:33:39 × Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Client Quit)
14:33:58 → Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
14:34:15 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:2fe5:7197:b580:702) (Quit: WeeChat 2.8)
14:37:43 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds)
14:37:46 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds)
14:37:59 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
14:38:22 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
14:41:19 Guest6424 is now known as vpan
14:44:07 → hiyori joins (~hiyori@user/hiyori)
14:45:08 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
14:45:16 × anderson quits (~anderson@user/anderson) (Quit: bye)
14:46:44 × dhil quits (~dhil@2001:8e0:2014:3100:d77a:88d:bf12:3925) (Ping timeout: 245 seconds)
14:48:50 <glguy> Turning on the extension works take more characters than the code it saves
14:49:37 <glguy> You'd need a language pragma to turn it on but it would save 5 characters of typing after main=
14:51:10 <glguy> If you wanted an environment that didn't expect the user to use IO, you'd just provide modules with no IO operations and expose start::T a->IO a to be used when defining main
14:51:15 → hugo- joins (znc@verdigris.lysator.liu.se)
14:52:16 <glguy> There savings works out with something like OverloadedStrings where you get to omit as many fromString calls as you have literals
14:53:43 × Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 264 seconds)
14:59:28 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds)
14:59:46 → anderson joins (~anderson@user/anderson)
15:00:18 → ori_sky joins (~ori_sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17)
15:00:19 × son0p quits (~ff@181.136.122.143) (Ping timeout: 264 seconds)
15:00:41 → danse-nr3__ joins (~francesco@151.35.147.243)
15:01:08 ori_sky is now known as orisky
15:01:12 × orisky quits (~ori_sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) (Client Quit)
15:01:31 → ori_sky joins (~ori_sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17)
15:01:39 × ori_sky quits (~ori_sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) (Client Quit)
15:01:58 → ori__sky joins (~ori__sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17)
15:03:11 × danse-nr3_ quits (~francesco@151.35.199.58) (Ping timeout: 246 seconds)
15:08:12 × chomwitt quits (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
15:09:04 → hugo- joins (znc@verdigris.lysator.liu.se)
15:10:45 <Inst> glguy: In reality, I'm thinking more about the possibility of having multiple languages within the GHC ecosystem, i.e, it could be implicitly on with other languages
15:10:58 → pyooque joins (~puke@user/puke)
15:10:58 puke is now known as Guest4444
15:10:58 × Guest4444 quits (~puke@user/puke) (Killed (molybdenum.libera.chat (Nickname regained by services)))
15:10:58 pyooque is now known as puke
15:12:05 <ori__sky> hello, I'm having an issue with lenses in my code and wondered if someone could assist -- https://paste.tomsmeding.com/CEf30rDa has the error I'm seeing, as well as the code in question (I've tried to include just the relevant code but let me know if anything further is needed). the issue here is, `duration` should result in a DiffTime, but for
15:12:05 <ori__sky> some reason it appears to be expecting a UTCTime, despite the type of _userCooldownDuration being DiffTime, so I'm kind of at a loss here
15:12:23 × puke quits (~puke@user/puke) (Max SendQ exceeded)
15:12:32 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
15:12:40 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
15:12:52 → puke joins (~puke@user/puke)
15:14:00 <glguy> ori__sky: it looks like the following code is trying to use the result of that line as a UTCTime
15:14:33 <ori__sky> I'm using userCDTime in that following line, but userCDLength is what's using the duration lens, and I'm not using the result of that anywhere
15:15:36 <ncf> i smell monomorphism
15:15:52 <ncf> what's preuse?
15:16:43 × danse-nr3__ quits (~francesco@151.35.147.243) (Ping timeout: 240 seconds)
15:17:09 <ori__sky> `ix usr` is indexing into the HashMap but the key might not exist, in which case `preuse` results in `Nothing`, from my understanding at least
15:18:13 <ori__sky> maybe I should read up on it more, I might be misunderstanding that
15:18:15 <ncf> oh it's from lens
15:18:20 × kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
15:18:46 <ori__sky> oh yeah it is, it's not my function
15:19:46 <ncf> the error message hints at a functional dependency problem
15:19:56 <ncf> is HasDuration yours?
15:20:52 <ncf> i guess that's a class generated by makeClassy or whatever
15:21:08 <ncf> makeFields
15:21:21 × CAT_S quits (apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer)
15:23:55 <ncf> what happens if you swap the userCDTime and userCDLength lines?
15:24:05 × eggplant_ quits (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection)
15:24:20 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80)
15:24:43 × ori__sky quits (~ori__sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) (Ping timeout: 245 seconds)
15:24:55 → ori__sky joins (~ori__sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17)
15:25:08 <ori__sky> apologies, got disconnected
15:25:58 <ncf> so, things to try:
15:26:03 <ncf> what happens if you don't use ($) ?
15:26:14 <ncf> what happens if you swap the userCDTime and userCDLength lines?
15:29:24 × Inst quits (~Inst@120.244.192.250) (Remote host closed the connection)
15:29:45 → Inst joins (~Inst@120.244.192.250)
15:31:17 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
15:34:00 <ori__sky> doing the latter results in the same error, doing the former however gives me a whole host of different errors, I can post them but it seems like isn't right because `use` is meant to take the lens from what I understand (with `preuse` being `use . pre`)
15:34:25 × thegeekinside quits (~thegeekin@189.217.90.224) (Remote host closed the connection)
15:35:27 <ncf> to be clear i meant to inline ($): preuse (actCD . global), preuse (actCD . users . ix usr . time), ...
15:35:38 → tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net)
15:38:11 <ori__sky> ahh I misunderstood, have just tried now but still seeing the same error
15:39:34 <ncf> then i'm out of ideas :) if you can make your code self-contained i can investigate further
15:40:45 <ori__sky> hm, yeah, I'll see what I can do, might take me a bit of time
15:40:50 <EvanR> minimal reproducible example ftw
15:41:23 → CAT_S joins (apic@brezn3.muc.ccc.de)
15:42:40 <ncf> (the lazy way out is to post your entire project)
15:43:14 × sympt quits (~sympt@user/sympt) (Quit: Ping timeout (120 seconds))
15:43:22 <ori__sky> I would do that but right now I can't (don't want to) make the entire thing public just because it has specific names of twitch channels hardcoded as well as an oauth token lmao
15:44:10 → sympt joins (~sympt@user/sympt)
15:45:01 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4)
15:48:24 → danse-nr3__ joins (~francesco@151.35.147.243)
15:49:28 → Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
15:49:53 → dostoyevsky2 joins (~sck@user/dostoyevsky2)
15:50:34 <ori__sky> oh, hold on. I have figured it out
15:51:20 <ori__sky> that line `let actCD = channelEnvs . ix chan . actionCooldowns . ix aName` seems to be causing the problem; if I write out the entire combination of lenses when getting the duration, it *does* work
15:52:38 <ori__sky> maybe an issue arising from the fact that I'm using  it in two contexts where maybe it's inferring a different type for actCD
15:54:18 <dostoyevsky2> Someone was asking in ##programming about adding an `is' keyword to a NeoHaskell, whether that would be a good idea... I was wondering how open Haskell is in general to introducing new keywords, or even redefining existing operators
15:55:21 <exarkun> Why?
15:55:47 <dolio> `is` at least used to be a commonly used variable name.
15:56:00 × hiyori quits (~hiyori@user/hiyori) (Quit: Client closed)
15:56:13 <dostoyevsky2> > > the keyword I'm looking for is "is", as a synonym for = to stop people from being confused by = means const and to get people into a declarative mindset
15:56:15 <lambdabot> <hint>:1:1: error: parse error on input ‘>’
15:56:26 <exarkun> I think GHC adds new keywords all the time. All you have to do is get a language extension accepted.
15:57:02 → hiyori joins (~hiyori@user/hiyori)
15:57:04 <EvanR> wtf is NeoHaskell
15:57:15 <exarkun> some pseudo-vaporware everyone is talking about this week
15:57:26 <exarkun> to make Haskell appeal to the masses
15:57:33 <Inst> quasi-vaporware i think
15:57:36 <dolio> Oh, so make it worse in a bunch of ways?
15:57:53 <Inst> the way I'm thinking of it is basically "If Simple Haskell were a Language"
15:58:03 <EvanR> wake me up when it's Haskell vaporwave
15:58:05 <Inst> and could import into "Real Haskell"
15:58:13 <dostoyevsky2> Inst: so you made it here ;-)
15:58:14 <exarkun> "Replace = in some places with `is`" seems consistent with the other ideas I've read
15:58:29 <monochrom> No, GHC avoids adding new keywords, even with extensions. Example: Part of the reason ExistentialTypes reuses "forall" instead of introducing "exists" is because of that.
15:58:36 <Inst> I think we need some more traditional Haskellers watching NeoHaskell, if only to:
15:58:42 <Inst> #1, steal ideas when if it fails
15:58:48 <Inst> #2, stop the project from going completely off the rails
15:59:00 <exarkun> Inst: why not just ignore it and let it go off the rails if it wants to
15:59:06 <Inst> because I like it
15:59:11 <EvanR> I'm not sure what the problem with = is for there to be a replacement
15:59:20 <Inst> I'm more trying to get the author to go release his purported "fast android Haskell app" lib
15:59:23 <exarkun> Inst: why should anyone _else_ burn a bunch of energy saving it just because you like it
15:59:31 <Inst> and retrofitting Haskell's CPython so it works
15:59:44 <Inst> if you're interested in the project, burn energy, it's fun, if not, don't
15:59:57 <EvanR> generate entropy
16:00:05 <exarkun> you've showed up in every haskell channel I'm in trying to engage people with neohaskell
16:00:15 <exarkun> I successfully ignore you for a while but I failed my will save this time
16:01:18 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection)
16:01:21 <monochrom> I'm just annoyed at the lack of novelty in the name "NeoHaskell". Recall Javascript, C#, Ultra HD.
16:02:05 <Inst> I'd rather have called it Neo, but there's apparently some niche lang that already has that name, actually, two
16:02:14 <Inst> sorry exarkun
16:02:30 <EvanR> DarkHaskell
16:02:30 × CAT_S quits (apic@brezn3.muc.ccc.de) (Ping timeout: 244 seconds)
16:02:39 <monochrom> Well "Neo" is even worse in lack of novelty.
16:02:42 <Clint> so it's just haskell plus a library plus a build tool?
16:02:50 <EvanR> haskell with a dark theme
16:02:51 <yushyin> how about NotHaskell
16:03:33 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:03:35 <yushyin> then it can also do whatever it wants syntax-wise
16:03:36 <monochrom> Learn from the Agda people and the Idris people. Choose a completely independent name.
16:03:50 <ddellacosta> EvanR: my Haskell automatically shifts when dusks hits, it gets warmer, more yellow/reddish
16:03:51 <EvanR> Frege was a waste of a name
16:03:56 <Inst> I think the association with Haskell, at least at this stage, has drawn eyeballs
16:04:04 <monochrom> Don't learn from the Javascript, then Typescript, then Purescript people.
16:04:23 <EvanR> scriptscript
16:06:09 <EvanR> dostoyevsky2, haskell already lets you define what operators do via type classes
16:06:16 <Inst> Clint: It's more an attempt to make Haskell approachable and ready for lower-skilled production programmers, I think
16:06:29 <Inst> Haskell also lets you rampantly declare your own operators
16:06:41 <EvanR> yeah maybe NeoHaskell will remove that ability
16:06:49 <EvanR> new languages tend to hate that
16:06:50 <ddellacosta> I mean, I think it's fundamentally naive to think it would go any way other than Elm
16:06:52 <Inst> The way I'm hoping is that you'd need to import operators from Haskell
16:07:01 <glguy> You'll never be able to stop people from writing unreadable or unmaintainable code
16:07:11 <monochrom> Clint: At this point since it's hypothetical it's Haskell minus libary minus build tool minus implementation minus semantics minus even Haskell. :)
16:07:14 → thegeekinside joins (~thegeekin@189.217.90.224)
16:07:24 <Inst> ^^^ @monochrom
16:07:29 <EvanR> monochrom, all of that is easily offset by fanbase hype
16:07:37 <EvanR> elixir
16:07:38 <Inst> it's only existed for like 3 days!
16:07:43 <ddellacosta> it doesn't exist
16:07:48 → CAT_S joins (apic@brezn3.muc.ccc.de)
16:07:48 <exarkun> ^^
16:07:51 <Inst> it's only not existed for like 3 days!
16:07:57 <ddellacosta> hahaha touche
16:08:06 <monochrom> At any rate, /ignore is a great tool.
16:08:13 <Inst> :(
16:08:19 <monochrom> Except I can't because I have op duties.
16:08:25 <monochrom> But most of you can!
16:08:27 <Inst> I'm sorry, monochrom
16:08:56 <EvanR> I kind of like the idea of an influencer creating a new terrible programming language with more success than someone in their basement slaving away for 5 months and no one ever sees the results, and it dies
16:09:10 <EvanR> as long as it dies either way we're good
16:10:12 <EvanR> maybe new programming languages should have a built-in self destruct just in case
16:10:15 × puke quits (~puke@user/puke) (Ping timeout: 240 seconds)
16:10:29 <monochrom> And yeah Elm and Typescript already exist for popularism and/or lower-skill.
16:10:57 <Inst> Elm afaik has terrible governance problems and tons of people ran off when the leadership blocked access to features their libs were depending on
16:11:21 <monochrom> Oh well the not-invented-here problem. Everyone thinks they should invent one more language.
16:11:23 <Inst> The more important thing I'm trying to push for
16:11:27 <monochrom> @quote monochrom downloaded
16:11:27 <lambdabot> monochrom says: I was trying to design a sensible language... then I downloaded ghc.
16:11:32 <Inst> is two-way lib compat because this seems as though, at the very least
16:11:36 <Inst> it'll be on GHC
16:12:01 <EvanR> will it be a syntax reskin like coffeescript
16:12:07 <EvanR> that'll be stupid
16:12:10 <Inst> but w/e, forget it, let me watch the damn thing on my own, it's not really worth talking about until it's no longer vaporware
16:13:19 <haskellbridge> <e​ldritchcookie> compdata has the HFunctor typeclass i wanted to make a HApplicative type class but i have no idea which type the opration should have to support lifting 2 3 4 5 etc natural tranformations of type forall i. f1 i -> f2 i -> f3 i
16:13:25 <monochrom> We can discuss reserving more/fewer words fine. But it's already answered.
16:13:59 <monochrom> SML reserved "as". Haskell changed it to "@". You can see the trend, Haskell actually tries to reserve fewer.
16:14:14 <monochrom> And GHC extensions, I have also gave an example.
16:14:19 <mauke> import qualified ... as
16:14:38 <mauke> maybe that should be import qualified Data.Text @ T
16:14:40 <glguy> import ... qualified as ...
16:14:47 <monochrom> See the Haskell Report again. That "as" actually isn't reserved.
16:14:52 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
16:15:23 <mauke> in that sense, Perl doesn't have any "reserved words"
16:15:24 <haskellbridge> <e​ldritchcookie> do people on IRC cannot see matrix messages or was i just ignored?
16:15:26 <monochrom> They pulled it off because "import ..." disambiguates without needed to reserve "as".
16:15:29 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
16:15:45 <monochrom> > let as is = is + 1 in as 4
16:15:47 <lambdabot> 5
16:15:58 <mauke> e​ldritchcookie: yes
16:15:59 <monochrom> In that sense, "as" is still not a reserved word.
16:16:02 <glguy> eldrichcookie: I see your message, but it looked like a statement. What response did you expect?
16:16:04 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
16:16:26 <monochrom> > let as if = if + 1 in as 4"
16:16:27 <lambdabot> <hint>:1:11: error: parse error on input ‘=’
16:16:28 <Inst> in theory, even import could not be a reserved word
16:16:37 <haskellbridge> <e​ldritchcookie> oh sorry, which type should the operation have?
16:16:42 <Inst> with the caveat that you'd have to make some other declaration before trying to define import
16:16:42 <monochrom> And In that sense, Haskell still has some reserved words.
16:17:15 × chele quits (~chele@user/chele) (Remote host closed the connection)
16:17:53 × ori__sky quits (~ori__sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) (Quit: Client closed)
16:18:13 <haskellbridge> <j​ade> is there an ergonomic way for a language to disambiguate so thoroughly as to completely avoid reserved keywords
16:19:02 <haskellbridge> <e​ldritchcookie> no but you could do like F# and have a way to declare names which are keyword
16:19:08 <glguy> eldritcookie, I guess you'd want to compare: liftA and liftA2c
16:19:18 <mauke> be like perl4 and require sigils on all user-defined entities
16:19:29 <monochrom> SML reserves "as" because it's our "@". f (xs as x::xt) = ...
16:19:58 <mauke> was it C# that lets you use any word as an identifier if you use a @ prefix?
16:19:59 <glguy> eldritchcookie, so you'd have: hlifta2 :: (f :-> g :-> h) -> n f :-> n g :-> n h
16:20:24 <mauke> int @if = 42;
16:20:36 <EvanR> jade: to let anything potentially mean anything is counterproductive to useful language
16:20:42 × nyc quits (~nyc@user/nyc) (Ping timeout: 260 seconds)
16:20:43 <EvanR> reserved words are power
16:21:36 <Inst> but tbh, I want to talk about NH a bit more, to defend myself, my three goals with NH are: "get the guy to release CPython updates, and his fast Android lib in Haskell framework"
16:21:39 <glguy> jade, you could use some other lexical syntax for what would have been reserved words. Maybe they have to be wrapped in <> to have what would have been reserved meaning
16:21:49 <Inst> "make sure that NH is locked, and if you want more powerful programming, you need to learn Haskell and FFI / import from Haskell"
16:22:03 <Inst> "make sure that NH libs are callable from Haskell"
16:22:12 <Inst> so that's understandable from a Haskeller point of view?
16:22:13 <monochrom> Is "the guy" here at all?
16:22:29 <EvanR> this channel probably doesn't have enough of an audience
16:22:37 <mauke> is he in the room with us right now
16:22:56 <EvanR> Inst is channeling
16:23:15 <glguy> mauke, let's join hands
16:23:29 <monochrom> eww :)
16:23:43 <glguy> monochrom: virtually, of course
16:23:56 <EvanR> elbows
16:24:42 <EvanR> Inst, your goals?
16:24:47 <mauke> Hand (Hand a) -> Hand a
16:25:01 <mauke> hth, hand
16:25:10 <monochrom> haha
16:25:13 <glguy> Yes, hands are a monad
16:25:25 <glguy> my hands are pure *nod*
16:26:57 <haskellbridge> <j​ade> you can indeed bind hands
16:27:12 <EvanR> are Feet comonads?
16:27:29 <monochrom> Only if you can Feet a -> Feet (Feet a)
16:27:37 <EvanR> I've seen cartoons like that
16:28:01 <monochrom> AFAIK the only closest thing is the Alien exomorph doing Mouth a -> Mouth (Mouth a)
16:28:17 <mauke> I like your feet around your feet
16:28:26 <mauke> https://www.youtube.com/watch?v=C3GpJzMZiXY
16:29:23 <monochrom> No, that one is like Feet -| Pants or Pants -| Feet :)
16:29:56 <monochrom> And then Feet (Pants (Feet)) is the monad or comonad.
16:30:48 <haskellbridge> <t​ewuzij> What r u even coding abt feet and hand?
16:31:00 <Clint> don't encourage them
16:31:07 <monochrom> Err sorry, Feet (Pants) or Pants (Feet). Feet (Pants (Feet)) is some other nice thing.
16:31:08 <EvanR> kung fu algebra
16:32:15 <danse-nr3__> never saw kung fu with pants before
16:33:20 <haskellbridge> <e​ldritchcookie> glguy: hliftA2 id doesn't typecheck?
16:33:43 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
16:34:09 <glguy> eldritchbookie, probably not in this higher-order context, no
16:34:39 <glguy> eldritchcookie, you're kind of making up new stuff, so you'll have to figure out what translates and what doesn't
16:35:56 × CiaoSen quits (~Jura@2a05:5800:29b:6b00:664b:f0ff:fe37:9ef) (Ping timeout: 255 seconds)
16:36:50 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
16:38:58 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80)
16:41:31 × vpan quits (~vpan@212.117.1.172) (Quit: Leaving.)
16:45:37 → euleritian joins (~euleritia@77.22.252.18)
16:47:36 × euleritian quits (~euleritia@77.22.252.18) (Read error: Connection reset by peer)
16:47:58 × dcoutts quits (~duncan@pat-125-253.wlan.net.ed.ac.uk) (Ping timeout: 244 seconds)
16:48:49 → euleritian joins (~euleritia@77.22.252.18)
16:53:08 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:56:09 → [exa] joins (~exa@user/exa/x-3587197)
16:59:55 → Lycurgus joins (~juan@user/Lycurgus)
17:01:23 → hugo- joins (znc@verdigris.lysator.liu.se)
17:06:05 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
17:06:36 <haskellbridge> <e​ldritchcookie> ok i am just so close https://play.haskell.org/saved/mnh0vxX3
17:07:10 × euleritian quits (~euleritia@77.22.252.18) (Ping timeout: 252 seconds)
17:07:30 <haskellbridge> <e​ldritchcookie> why does it think my i in the coerce signature isn't the i in the method signature?
17:09:15 → son0p joins (~ff@181.136.122.143)
17:09:29 <haskellbridge> <e​ldritchcookie> my understanding of rank 2 types is that the caller must provide a polymorphic function as the callee chooses the type
17:10:41 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
17:12:05 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:12:24 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 258 seconds)
17:12:59 × Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss)
17:13:32 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection)
17:13:44 → chomwitt joins (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1)
17:13:49 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80)
17:15:16 <haskellbridge> <e​ldritchcookie> yay coerce doesn't work but applying the constructor works
17:15:17 → dcoutts joins (~duncan@88.211.110.163)
17:15:28 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
17:16:33 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
17:16:57 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
17:19:46 × smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
17:24:19 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection)
17:29:07 → hugo- joins (znc@verdigris.lysator.liu.se)
17:36:18 → sm joins (~sm@plaintextaccounting/sm)
17:38:24 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds)
17:39:00 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
17:39:01 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
17:39:01 → wroathe joins (~wroathe@user/wroathe)
17:42:52 → euleritian joins (~euleritia@77.22.252.18)
17:44:06 × ubert quits (~Thunderbi@2001:871:263:926a:b9b0:15b4:d989:38ff) (Ping timeout: 260 seconds)
17:46:39 → Inst_ joins (~Inst@120.244.192.250)
17:46:41 Inst_ is now known as Inst
17:46:52 × euleritian quits (~euleritia@77.22.252.18) (Ping timeout: 244 seconds)
17:47:42 → euleritian joins (~euleritia@77.22.252.18)
17:48:53 <Inst> About Cabal, is there a command that only causes Cabal to do a build plan?
17:50:39 × dcoutts quits (~duncan@88.211.110.163) (Ping timeout: 240 seconds)
17:51:25 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
17:51:29 <haskellbridge> <s​m> build --dry-run
17:51:47 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80)
17:52:02 × euleritian quits (~euleritia@77.22.252.18) (Ping timeout: 244 seconds)
17:52:36 <Inst> thanks @sm
17:52:55 <haskellbridge> <s​m> np
17:55:05 → hugo joins (znc@verdigris.lysator.liu.se)
17:56:45 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
18:00:42 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds)
18:03:43 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds)
18:05:23 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Read error: Connection reset by peer)
18:09:05 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
18:10:14 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
18:11:53 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80)
18:12:09 × danse-nr3__ quits (~francesco@151.35.147.243) (Ping timeout: 255 seconds)
18:18:43 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds)
18:21:23 → waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
18:25:42 → ubert joins (~Thunderbi@91.141.39.180.wireless.dyn.drei.com)
18:26:24 → hugo- joins (znc@verdigris.lysator.liu.se)
18:26:30 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
18:35:30 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection)
18:36:11 hugo- is now known as hugo
18:39:20 → lg188 joins (~lg188@82.18.98.230)
18:47:34 × waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 245 seconds)
18:51:05 × Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection)
18:55:16 × Inst quits (~Inst@120.244.192.250) (Read error: Connection reset by peer)
18:55:34 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
18:59:35 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
19:07:15 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80)
19:07:32 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
19:13:32 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds)
19:15:39 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
19:15:46 × bontaq quits (~user@ool-45707d2c.dyn.optonline.net) (Remote host closed the connection)
19:16:35 → jmdaemon joins (~jmdaemon@user/jmdaemon)
19:18:56 <shapr> What version of GHC has the wasm backend?
19:19:03 <shapr> Would ghc 9.6.2 be sufficient?
19:21:12 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 258 seconds)
19:21:42 → renpose joins (~renpose@user/renpose)
19:24:07 × hiyori quits (~hiyori@user/hiyori) (Quit: Client closed)
19:25:52 <renpose> new to Servant and read about the named routes approach, is there a way to inject the field names into the route? I had a stab at https://paste.tomsmeding.com/1KDNqcU1 but am struggling to mending that
19:26:39 <renpose> do i just add more type families lol
19:27:28 → hugo joins (znc@verdigris.lysator.liu.se)
19:28:00 <renpose> I feel like i need to do something like AsServerT .. but not so sure
19:28:34 × shapr quits (~user@2600:1700:c640:3100:1deb:a641:b3ec:34e6) (Remote host closed the connection)
19:28:44 <monochrom> shapr: I think yes. But 9.6.3 is recently out too.
19:28:50 <renpose> ah, that small example should give me routes /public/count and /private/secret
19:31:11 <renpose> i guess i can also do `data Root mode = Root { private :: mode :- "private" :> NamedRoutes Private, public :: mode :- "public" :> NamedRoutes Public }` but my question is how to get rid of that duplication
19:33:37 × phma quits (~phma@host-67-44-208-139.hnremote.net) (Read error: Connection reset by peer)
19:33:55 × _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 264 seconds)
19:34:11 <renpose> oh no i mean AsApi not AsServerT
19:34:29 → phma joins (~phma@2001:5b0:2172:8a38:8e65:9c01:9923:6726)
19:36:24 × swamp_ quits (~zmt00@user/zmt00) (Quit: Leaving)
19:36:49 → pavonia joins (~user@user/siracusa)
19:38:42 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
19:39:31 → todi joins (~todi@p4fd1a856.dip0.t-ipconnect.de)
19:40:42 → _d0t joins (~{-d0t-}@user/-d0t-/x-7915216)
19:45:13 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
19:46:36 → Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
19:49:26 → waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
19:49:34 × stites quits (~stites@130.44.147.204) (Ping timeout: 258 seconds)
19:51:39 → stites joins (~stites@2607:fb91:de2:d846:f12a:627c:15b7:9d9c)
20:01:35 → jmdaemon joins (~jmdaemon@user/jmdaemon)
20:04:04 → Pickchea joins (~private@user/pickchea)
20:04:29 × stites quits (~stites@2607:fb91:de2:d846:f12a:627c:15b7:9d9c) (Read error: Connection reset by peer)
20:04:47 → stites joins (~stites@c-71-232-14-73.hsd1.ma.comcast.net)
20:06:12 → dhil joins (~dhil@2001:8e0:2014:3100:f6cc:7091:d257:79e0)
20:06:34 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
20:10:11 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
20:10:38 → shapr joins (~user@2600:1700:c640:3100:1e6f:a11f:46ec:704a)
20:11:43 × waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
20:12:52 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
20:13:52 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
20:19:52 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
20:20:40 → hugo joins (znc@verdigris.lysator.liu.se)
20:30:29 <dmj`> renpose: type SomeRoute (route :: Symbol) (routeType :: Type) = mode :- route :> NamedRoutes routeType ?
20:33:49 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds)
20:34:02 × dhil quits (~dhil@2001:8e0:2014:3100:f6cc:7091:d257:79e0) (Ping timeout: 258 seconds)
20:34:53 × taktoa[c] quits (sid282096@tinside.irccloud.com) (Ping timeout: 252 seconds)
20:34:55 → jmdaemon joins (~jmdaemon@user/jmdaemon)
20:36:33 × pepeiborra quits (sid443799@ilkley.irccloud.com) (Ping timeout: 252 seconds)
20:37:23 × haasn quits (sid579015@hampstead.irccloud.com) (Read error: Connection reset by peer)
20:37:32 → haasn joins (sid579015@id-579015.hampstead.irccloud.com)
20:38:12 × evertedsphere quits (sid434122@hampstead.irccloud.com) (Ping timeout: 252 seconds)
20:38:28 <renpose> Not sure I understand. and then `data Private mode = Private { secret :: SomeRoute "secret" (Get ...) }` (and fix mode) ?
20:38:55 ← L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
20:39:02 → taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com)
20:39:15 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
20:39:17 × buhman quits (sid411355@user/buhman) (Ping timeout: 252 seconds)
20:39:23 <renpose> if so then it's not really much different from `data Private mode = Private { secret :: "secret" :> Get ... }` except being able to tell where the route prefix came from hmm
20:39:42 → pepeiborra joins (sid443799@id-443799.ilkley.irccloud.com)
20:40:49 → buhman joins (sid411355@user/buhman)
20:41:23 → evertedsphere joins (sid434122@id-434122.hampstead.irccloud.com)
20:42:18 <dmj`> type PrivateRoute = SomeRoute "private" Private; data Root mode = Root { private :: PrivateRoute, ... }
20:47:49 × renpose quits (~renpose@user/renpose) (Quit: Client closed)
20:49:33 → renpose joins (~renpose@user/renpose)
20:50:44 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
20:50:55 <renpose> All the same, my goal was to eliminate duplicating it.
20:51:33 <renpose> https://paste.tomsmeding.com/7LIQ5HUo is going nowhere haha but it highlights the problematic of matching `serveRoot` with `rootServer`
20:52:30 × michalz quits (~michalz@185.246.204.105) (Remote host closed the connection)
20:52:37 <renpose> I believe i need to change the generics typeclass, the leaves don't get prefixed and it (the current injecting) should be at some other level maybe.
20:52:57 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
20:54:17 <renpose> fwiw it's what i'm using currently is similar to your suggestion, i try to change it
20:55:00 → pieguy128_ joins (~pieguy128@65.92.163.232)
20:55:04 × pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-46-67-70-100-188.dsl.bell.ca) (Ping timeout: 255 seconds)
21:04:46 × ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 260 seconds)
21:05:28 → ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net)
21:09:18 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
21:11:35 → danza joins (~francesco@151.35.186.191)
21:12:13 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
21:13:03 × micro quits (~micro@user/micro) (Ping timeout: 240 seconds)
21:14:07 × Jackneill quits (~Jackneill@20014C4E1E0E9600C465D2876F556952.dsl.pool.telekom.hu) (Ping timeout: 260 seconds)
21:15:45 → micro joins (~micro@user/micro)
21:17:47 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
21:20:29 → hugo joins (znc@verdigris.lysator.liu.se)
21:24:43 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
21:26:43 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
21:28:58 × acidjnk_new quits (~acidjnk@p200300d6e7072f4311b541924395f0e5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
21:34:47 × renpose quits (~renpose@user/renpose) (Quit: Client closed)
21:38:00 → hugo joins (znc@verdigris.lysator.liu.se)
21:39:21 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
21:39:39 × zer0bitz quits (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer)
21:39:55 → zer0bitz joins (~zer0bitz@user/zer0bitz)
21:44:09 × son0p quits (~ff@181.136.122.143) (Quit: Bye)
21:48:43 × danza quits (~francesco@151.35.186.191) (Ping timeout: 240 seconds)
21:53:02 → gooba joins (~gooba@90-231-13-185-no3430.tbcn.telia.com)
22:03:43 → whodevil joins (~whodevil@c-67-189-53-21.hsd1.or.comcast.net)
22:06:30 × whodevil quits (~whodevil@c-67-189-53-21.hsd1.or.comcast.net) (Changing host)
22:06:30 → whodevil joins (~whodevil@user/whodevil)
22:08:40 → son0p joins (~ff@181.136.122.143)
22:11:36 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:15:55 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds)
22:16:18 × gatekempt quits (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…)
22:20:48 → renpose joins (~renpose@user/renpose)
22:21:45 → wroathe joins (~wroathe@user/wroathe)
22:22:20 → Sgeo joins (~Sgeo@user/sgeo)
22:23:05 × chomwitt quits (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds)
22:28:43 → dcoutts joins (~duncan@88.211.110.163)
22:31:23 → ft joins (~ft@p3e9bc680.dip0.t-ipconnect.de)
22:31:48 × renpose quits (~renpose@user/renpose) (Quit: Client closed)
22:33:26 → dbeard joins (~dbeard@97-120-206-43.ptld.qwest.net)
22:37:31 → renpose joins (~renpose@user/renpose)
22:37:34 → captnemo joins (~captnemo@193.32.127.239)
22:44:35 × ubert quits (~Thunderbi@91.141.39.180.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
22:46:36 × marienz quits (~marienz@libera/staff/marienz) (Ping timeout: 620 seconds)
22:50:15 × stites quits (~stites@c-71-232-14-73.hsd1.ma.comcast.net) (Read error: Connection reset by peer)
22:51:05 → stites joins (~stites@2607:fb91:ded:da55:9cd2:abea:590d:a683)
22:53:43 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds)
22:53:49 → marienz joins (~marienz@libera/staff/marienz)
22:56:10 × stites quits (~stites@2607:fb91:ded:da55:9cd2:abea:590d:a683) (Read error: Connection reset by peer)
22:56:30 → stites joins (~stites@130.44.147.204)
22:57:38 × renpose quits (~renpose@user/renpose) (Ping timeout: 245 seconds)
22:58:26 × stites quits (~stites@130.44.147.204) (Read error: Connection reset by peer)
22:58:41 → stites joins (~stites@130.44.147.204)
23:00:36 × captnemo quits (~captnemo@193.32.127.239) (Quit: WeeChat 4.0.4)
23:01:41 → sm joins (~sm@plaintextaccounting/sm)
23:05:28 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
23:08:02 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
23:08:15 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds)
23:10:04 × Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
23:28:07 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
23:30:19 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds)
23:30:53 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
23:31:42 × shapr quits (~user@2600:1700:c640:3100:1e6f:a11f:46ec:704a) (Remote host closed the connection)
23:39:47 × dbeard quits (~dbeard@97-120-206-43.ptld.qwest.net) (Quit: Konversation terminated!)
23:42:57 → eggplant_ joins (~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6)
23:43:36 → gooba_ joins (~gooba@90-231-13-185-no3430.tbcn.telia.com)
23:43:37 × gooba_ quits (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection)
23:43:40 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds)
23:44:55 × dcoutts quits (~duncan@88.211.110.163) (Ping timeout: 244 seconds)
23:45:43 → hugo joins (znc@verdigris.lysator.liu.se)
23:45:44 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Ping timeout: 246 seconds)
23:50:33 → puke joins (~puke@user/puke)
23:55:51 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)

All times are in UTC on 2023-09-27.