| 2021-04-30 00:00:29 +0200 | <int-e> | @botexercise |
| 2021-04-30 00:00:30 +0200 | <lambdabot> | Unknown command, try @list |
| 2021-04-30 00:02:22 +0200 | slack1256 | (~slack1256@200-112-64-179.baf.movistar.cl) (Ping timeout: 268 seconds) |
| 2021-04-30 00:03:33 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-04-30 00:03:41 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-04-30 00:03:45 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-30 00:04:37 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) (Ping timeout: 276 seconds) |
| 2021-04-30 00:05:42 +0200 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 2021-04-30 00:06:41 +0200 | wavemode_ | (~wavemode@097-070-075-143.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2021-04-30 00:07:42 +0200 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-04-30 00:08:06 +0200 | wavemode | (~wavemode@097-070-075-143.res.spectrum.com) |
| 2021-04-30 00:09:16 +0200 | <seven_three> | If I have a lens that takes an argument, say `myLens :: Int -> Lens' SomeData String`, is it likely that I could use a different technique other than lenses? |
| 2021-04-30 00:09:42 +0200 | frobnicator | (~frobnicat@185-227-75-147.dsl.cambrium.nl) (Ping timeout: 260 seconds) |
| 2021-04-30 00:10:26 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-30 00:11:53 +0200 | <seven_three> | s/could/should |
| 2021-04-30 00:13:40 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-30 00:14:27 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-04-30 00:15:32 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-30 00:15:44 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 00:16:13 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 00:16:14 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-30 00:16:20 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-30 00:17:27 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 00:20:42 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-30 00:22:28 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-30 00:25:16 +0200 | fendor_ | (~fendor@77.119.128.145.wireless.dyn.drei.com) |
| 2021-04-30 00:26:00 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Remote host closed the connection) |
| 2021-04-30 00:26:24 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-04-30 00:28:06 +0200 | fendor | (~fendor@77.119.129.46.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2021-04-30 00:33:08 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.47) (Ping timeout: 246 seconds) |
| 2021-04-30 00:38:03 +0200 | Guest35908 | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds) |
| 2021-04-30 00:38:20 +0200 | nvmd | (~nvmd@177.30.111.232) |
| 2021-04-30 00:39:44 +0200 | dcoutts__ | (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-04-30 00:45:34 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-04-30 00:45:59 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-30 00:46:19 +0200 | Guest87676 | (~laudiacay@67.176.215.84) |
| 2021-04-30 00:46:45 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-04-30 00:47:35 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 00:47:36 +0200 | <zzz> | DigitalKiwi: if we can have self-compiling languages why not self-karma giving bots? i one wrote a test library that tested itself |
| 2021-04-30 00:48:00 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-30 00:51:52 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-30 00:51:52 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 00:52:51 +0200 | ddellacosta | (~ddellacos@86.106.143.138) |
| 2021-04-30 00:52:55 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Quit: Leaving) |
| 2021-04-30 00:55:46 +0200 | usr25 | (~usr25@unaffiliated/usr25) (Ping timeout: 260 seconds) |
| 2021-04-30 00:56:38 +0200 | ski | 'd personally prefer it with no karma system |
| 2021-04-30 00:56:39 +0200 | <monochrom> | I wrote a test program that tests those who don't test themselves. |
| 2021-04-30 00:56:44 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-30 00:57:52 +0200 | ddellacosta | (~ddellacos@86.106.143.138) (Ping timeout: 268 seconds) |
| 2021-04-30 01:00:04 +0200 | Alleria | (~textual@2603-7000-3040-0000-159e-3a17-d3d5-238e.res6.spectrum.com) |
| 2021-04-30 01:00:28 +0200 | Alleria | Guest36107 |
| 2021-04-30 01:02:51 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) |
| 2021-04-30 01:03:10 +0200 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-30 01:04:21 +0200 | Guest36107 | (~textual@2603-7000-3040-0000-159e-3a17-d3d5-238e.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-04-30 01:07:23 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) (Ping timeout: 250 seconds) |
| 2021-04-30 01:09:49 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-30 01:10:32 +0200 | Guest87676 | (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-30 01:13:42 +0200 | neiluj | (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 2021-04-30 01:15:35 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 2021-04-30 01:15:49 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-04-30 01:16:14 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-04-30 01:16:32 +0200 | argento | (~argent0@168.227.97.34) (Ping timeout: 240 seconds) |
| 2021-04-30 01:17:39 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-04-30 01:17:53 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-30 01:18:39 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-04-30 01:22:30 +0200 | Qwerky_ | (~qwerky@37.168.128.229) |
| 2021-04-30 01:22:45 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 01:23:09 +0200 | ep1ctetus_ | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-30 01:23:15 +0200 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-04-30 01:23:32 +0200 | proofofkeags | (~proofofke@205.209.28.54) (Ping timeout: 246 seconds) |
| 2021-04-30 01:24:37 +0200 | Qwerky | (~qwerky@37.170.132.154) (Ping timeout: 252 seconds) |
| 2021-04-30 01:25:43 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-30 01:25:43 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 01:26:06 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds) |
| 2021-04-30 01:26:49 +0200 | brownxoat | (uid497520@gateway/web/irccloud.com/x-oixgpoqiqdtzpkhf) |
| 2021-04-30 01:27:28 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-04-30 01:27:35 +0200 | jgt | (~jgt@88.225.221.135) |
| 2021-04-30 01:29:00 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-04-30 01:30:07 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-30 01:30:50 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:30e1:2f2d:f07a:206a) |
| 2021-04-30 01:31:39 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:30e1:2f2d:f07a:206a) (Client Quit) |
| 2021-04-30 01:31:46 +0200 | jgt | (~jgt@88.225.221.135) (Ping timeout: 240 seconds) |
| 2021-04-30 01:31:53 +0200 | shailangsa | (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) () |
| 2021-04-30 01:35:02 +0200 | <sm[m]> | bots with karma! next you'll be saying they have souls, feelings, rights |
| 2021-04-30 01:36:26 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 01:40:35 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:61fb:ae9:64fb:f0ec) (Ping timeout: 260 seconds) |
| 2021-04-30 01:40:40 +0200 | lordcirth_ | (~lordcirth@2607:f2c0:95b3:4400:486b:2c7b:87d6:2af0) (Remote host closed the connection) |
| 2021-04-30 01:40:41 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-04-30 01:40:56 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-30 01:41:15 +0200 | <monochrom> | Bots don't want to be anthropomorphized. >:) |
| 2021-04-30 01:42:34 +0200 | <monochrom> | Years ago I did that to information. There were liberal extremists who positted "information wants to be free". Well, I'm sure as hell information doesn't want to be anthropomorphized. |
| 2021-04-30 01:43:20 +0200 | dvdp73 | (59736826@38.104.115.89.rev.vodafone.pt) (Quit: Connection closed) |
| 2021-04-30 01:45:51 +0200 | <monochrom> | https://www.smbc-comics.com/comic/agi |
| 2021-04-30 01:46:14 +0200 | horatiohb | (~horatiohb@159.203.87.174) |
| 2021-04-30 01:50:19 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-04-30 01:52:44 +0200 | lordcirth | (~lordcirth@2607:f2c0:95b3:4400:743b:c03e:fba8:e4e0) |
| 2021-04-30 01:53:45 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 252 seconds) |
| 2021-04-30 01:55:52 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
| 2021-04-30 01:56:13 +0200 | Tario | (~Tario@200.119.187.173) |
| 2021-04-30 02:00:22 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-04-30 02:02:56 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) |
| 2021-04-30 02:03:30 +0200 | Bigcheese | (~quassel@unaffiliated/bigcheese) (Ping timeout: 258 seconds) |
| 2021-04-30 02:03:31 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:6972:4f4b:800a:5969) (Ping timeout: 248 seconds) |
| 2021-04-30 02:03:56 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 02:05:47 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-04-30 02:05:47 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-04-30 02:06:14 +0200 | frobnicator | (~frobnicat@185-227-75-147.dsl.cambrium.nl) |
| 2021-04-30 02:07:10 +0200 | <DigitalKiwi> | ok so i can't find the one i want and i'm not even sure it's a smbc one anyway but lol https://pics.conservativememes.com/after-the-robot-uprising-was-put-down-we-hunted-down-42001756.png |
| 2021-04-30 02:08:38 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-04-30 02:12:42 +0200 | puke | (~vroom@217.138.252.196) (Quit: puke) |
| 2021-04-30 02:13:18 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-30 02:14:33 +0200 | <monochrom> | It's https://www.smbc-comics.com/comic/the-program |
| 2021-04-30 02:15:30 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:3bb8:341c:5ed0:c138) |
| 2021-04-30 02:15:34 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-30 02:19:53 +0200 | nf | (~n@monade.li) |
| 2021-04-30 02:19:53 +0200 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 2021-04-30 02:21:25 +0200 | <geekosaur> | every butlerian jihad has its tleilax… |
| 2021-04-30 02:21:35 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-30 02:23:17 +0200 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2021-04-30 02:26:12 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-30 02:26:14 +0200 | Tario | (~Tario@200.119.187.173) (Read error: Connection reset by peer) |
| 2021-04-30 02:30:14 +0200 | <sm[m]> | yow, good comic |
| 2021-04-30 02:30:26 +0200 | nineonin_ | (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-04-30 02:30:34 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-30 02:35:01 +0200 | bennofs__ | (~quassel@dynamic-089-014-017-218.89.14.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2021-04-30 02:35:39 +0200 | bennofs_ | (~quassel@x4dbf8c0e.dyn.telefonica.de) |
| 2021-04-30 02:35:47 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 02:36:43 +0200 | sm[m] | reviews "tleilax" and falls down a deep rabbit hole |
| 2021-04-30 02:36:51 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-cinqhqsiyvsglyzn) (Quit: Connection closed for inactivity) |
| 2021-04-30 02:37:30 +0200 | geekosaur | should've said "bene tleilax" |
| 2021-04-30 02:37:49 +0200 | <sm[m]> | I'm impressed it's on the main Wikipedia too |
| 2021-04-30 02:37:54 +0200 | <geekosaur> | not that that necessarily will help; "dune" got rather _big_ |
| 2021-04-30 02:38:47 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-30 02:39:19 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b95722c5bb32012e463b2.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2021-04-30 02:40:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-30 02:40:48 +0200 | <geekosaur> | lookslike I confused them with Ix anyway |
| 2021-04-30 02:40:58 +0200 | <geekosaur> | thought they both dealt in secret tech |
| 2021-04-30 02:41:32 +0200 | argento | (~argent0@168.227.97.34) |
| 2021-04-30 02:41:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-30 02:47:28 +0200 | Bigcheese | (~quassel@unaffiliated/bigcheese) |
| 2021-04-30 02:48:00 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-30 02:49:48 +0200 | xsperry | (~as@unaffiliated/xsperry) () |
| 2021-04-30 02:51:45 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-04-30 02:52:11 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-30 02:57:19 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 2021-04-30 02:57:41 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-30 02:59:59 +0200 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-04-30 03:01:00 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-30 03:02:02 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
| 2021-04-30 03:04:01 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-04-30 03:04:16 +0200 | <jackdk> | I have a situation where two records in the same module have a common field name. How can I identify which record type I want to extract from? |
| 2021-04-30 03:04:38 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-04-30 03:05:58 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-04-30 03:08:01 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-04-30 03:09:25 +0200 | vk3wtf_ | (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 2021-04-30 03:09:52 +0200 | pfurla | (~pfurla@185.108.105.76) |
| 2021-04-30 03:09:53 +0200 | vk3wtf | (~doc@61.68.250.44) |
| 2021-04-30 03:10:13 +0200 | ep1ctetus_ | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-04-30 03:11:10 +0200 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 2021-04-30 03:11:31 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-04-30 03:11:52 +0200 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-30 03:12:38 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-04-30 03:13:45 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-30 03:15:02 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 03:16:22 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-rueswbcyoxegdjny) |
| 2021-04-30 03:18:48 +0200 | Qwerky_ | (~qwerky@37.168.128.229) (Remote host closed the connection) |
| 2021-04-30 03:19:34 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-30 03:19:52 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-30 03:22:21 +0200 | <sm[m]> | geekosaur: ahh, that makes more sense |
| 2021-04-30 03:22:43 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-30 03:22:55 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 03:22:56 +0200 | <geekosaur> | it's been a few years since I read it and I kinda gave up on sequel-mania |
| 2021-04-30 03:22:59 +0200 | <sm[m]> | jackdk: I don't think that module will compile, eh ? |
| 2021-04-30 03:23:14 +0200 | <geekosaur> | I was thinking lens |
| 2021-04-30 03:23:39 +0200 | <geekosaur> | which can use typeclasses to do that, but in that case only one should be able to typecheck |
| 2021-04-30 03:26:06 +0200 | <geekosaur> | that, or they've done data Foo = Foo1 {record description 1} | Foo2 {record description 2}, but then there's no distinct type |
| 2021-04-30 03:28:45 +0200 | jgt | (~jgt@88.225.221.135) |
| 2021-04-30 03:28:46 +0200 | Qwerky | (~qwerky@37.168.128.229) |
| 2021-04-30 03:31:08 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-30 03:32:35 +0200 | EricYuzo | (~EricYuzo@195.140.213.38) (Remote host closed the connection) |
| 2021-04-30 03:33:17 +0200 | Qwerky | (~qwerky@37.168.128.229) (Ping timeout: 260 seconds) |
| 2021-04-30 03:33:42 +0200 | jgt | (~jgt@88.225.221.135) (Ping timeout: 265 seconds) |
| 2021-04-30 03:34:39 +0200 | <zzz> | i like this one: https://toggl.com/blog/kill-dragon-comic |
| 2021-04-30 03:35:52 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-04-30 03:37:08 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 03:37:21 +0200 | <sm[m]> | :) |
| 2021-04-30 03:39:00 +0200 | <monochrom> | The extension DuplicateRecordFields allows two types to have the same field name. However, you need types to disambiguate selectors. |
| 2021-04-30 03:39:02 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-04-30 03:39:23 +0200 | <monochrom> | Hey let me make that more punny. |
| 2021-04-30 03:39:27 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-30 03:39:32 +0200 | <monochrom> | You need types to select selectors! |
| 2021-04-30 03:39:43 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-30 03:41:35 +0200 | <jackdk> | monochrom: tyvm |
| 2021-04-30 03:41:43 +0200 | xff0x | (~xff0x@2001:1a81:524d:ea00:4bc5:b0ea:c9c9:30a8) (Ping timeout: 276 seconds) |
| 2021-04-30 03:43:04 +0200 | xff0x | (~xff0x@2001:1a81:5283:5b00:a859:aa60:21e:361d) |
| 2021-04-30 03:43:13 +0200 | <monochrom> | See the GHC user's guide for examples. There is actually a corner case that intuitively should work but doesn't. I don't understand it either, it's pretty weird. |
| 2021-04-30 03:43:21 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-04-30 03:43:50 +0200 | <monochrom> | So the example there begins with having "data S = MkS{x::Int}" and "data T = MkT{x::NotInt}". |
| 2021-04-30 03:44:06 +0200 | CrazyPython | (~crazypyth@98.122.164.118) (Ping timeout: 240 seconds) |
| 2021-04-30 03:44:12 +0200 | <monochrom> | If you say "ok2 :: S->Int; ok2 = x" it's fine. |
| 2021-04-30 03:44:32 +0200 | <monochrom> | Then if you say "bad :: S->Int; bad s = x s" it is not good enough. |
| 2021-04-30 03:44:56 +0200 | <monochrom> | That's right, eta makes a difference. |
| 2021-04-30 03:46:39 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-04-30 03:48:06 +0200 | <monochrom> | "bad" can be fixed by: "ok4 s = x (s :: S)" |
| 2021-04-30 03:48:46 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
| 2021-04-30 03:50:08 +0200 | ddellacosta | (~ddellacos@86.106.143.203) |
| 2021-04-30 03:53:05 +0200 | <zzz> | i personally avoid record extensions and favor something like the convention: data Person = Person { personName :: String , personAge :: Int } |
| 2021-04-30 03:53:29 +0200 | <zzz> | RecordWildCards is specially evil |
| 2021-04-30 03:53:44 +0200 | <jackdk> | so would I but I am writing a PR to a library and don't want to rearrange the whole interface |
| 2021-04-30 03:54:12 +0200 | ddellacosta | (~ddellacos@86.106.143.203) (Ping timeout: 240 seconds) |
| 2021-04-30 03:55:28 +0200 | <Cale> | I hate DuplicateRecordFields, I wish we could just get rid of it -- all the extensions around records lately have been pretty bad. |
| 2021-04-30 03:56:02 +0200 | <sm[m]> | zzz: I do the same but usually abbreviate the prefix, Person -> p etc. |
| 2021-04-30 03:56:24 +0200 | <Cale> | Where I work, we use the convention _typeName_fieldName |
| 2021-04-30 03:56:36 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 2021-04-30 03:56:51 +0200 | <Cale> | (and then if there's a lens, it lacks the initial underscore, but we only make lenses if we need to) |
| 2021-04-30 03:56:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-30 03:57:13 +0200 | <Cale> | It's honestly fine, haha |
| 2021-04-30 03:57:49 +0200 | <sm[m]> | woah, that's long |
| 2021-04-30 03:59:16 +0200 | <Cale> | Yeah, my initial reaction was that I didn't like it very much, but having gotten used to it, it's kind of nice in some ways |
| 2021-04-30 03:59:59 +0200 | Alleria | (~textual@2603-7000-3040-0000-159e-3a17-d3d5-238e.res6.spectrum.com) |
| 2021-04-30 04:00:18 +0200 | <zzz> | Cale: why is that better than (fieldName typeName) ? |
| 2021-04-30 04:00:24 +0200 | Alleria | Guest71082 |
| 2021-04-30 04:00:32 +0200 | <Cale> | zzz: identifiers can't have spaces in them |
| 2021-04-30 04:00:34 +0200 | <zzz> | ignore that |
| 2021-04-30 04:00:57 +0200 | <Cale> | I just mean we name our record fields for a type called TypeName with the prefix _typeName_ |
| 2021-04-30 04:01:57 +0200 | <zzz> | got it. i forgot what the context of this conversation was for a second |
| 2021-04-30 04:02:36 +0200 | <zzz> | existential middle of the night Haskell question: are case expressions useful? |
| 2021-04-30 04:02:39 +0200 | <Cale> | You never have to think very hard about what the fields will be called, and if you have tags/completion, that's quite useful |
| 2021-04-30 04:02:54 +0200 | <Cale> | Uh, of course they are, they're fundamental |
| 2021-04-30 04:03:08 +0200 | <zzz> | why? |
| 2021-04-30 04:03:09 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-30 04:03:15 +0200 | juliagoda | (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) (Quit: Leaving) |
| 2021-04-30 04:03:18 +0200 | CrazyPython | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-04-30 04:03:19 +0200 | <Cale> | At some level, if you never pattern matched on anything, there would never be any reason to evaluate any expressions. |
| 2021-04-30 04:04:15 +0200 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-04-30 04:05:07 +0200 | Guest71082 | (~textual@2603-7000-3040-0000-159e-3a17-d3d5-238e.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 2021-04-30 04:05:30 +0200 | <zzz> | i mean from the syntax perspective, aren't they interchangeable with guards? |
| 2021-04-30 04:05:30 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) (Remote host closed the connection) |
| 2021-04-30 04:05:50 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-30 04:05:54 +0200 | <Cale> | You mean with multiple equations for a function definition? |
| 2021-04-30 04:06:01 +0200 | <zzz> | yes |
| 2021-04-30 04:06:28 +0200 | <Cale> | Well, if you don't mind naming additional functions, you could get by with just that. |
| 2021-04-30 04:06:34 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-04-30 04:06:53 +0200 | <Cale> | But honestly, these days I pretty strongly avoid repeating the name of my function n times |
| 2021-04-30 04:07:32 +0200 | <Cale> | (when I can, at least) |
| 2021-04-30 04:08:13 +0200 | <Cale> | Really, that syntax gets translated into case expressions |
| 2021-04-30 04:08:30 +0200 | <zzz> | you dont need to repeat it, just add: | Value <- something |
| 2021-04-30 04:08:50 +0200 | <Cale> | Oh, pattern guards |
| 2021-04-30 04:08:56 +0200 | <jackdk> | It is a common error to use guards where cases will do |
| 2021-04-30 04:09:06 +0200 | <zzz> | why is that? |
| 2021-04-30 04:09:24 +0200 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-04-30 04:09:47 +0200 | <Cale> | I'd only consider it strange if you're doing stuff like | not (null xs) |
| 2021-04-30 04:09:55 +0200 | <Cale> | rather than just pattern matching |
| 2021-04-30 04:10:23 +0200 | <Cale> | It is a little unusual to make extensive use of pattern guards though |
| 2021-04-30 04:11:17 +0200 | <Cale> | But yeah, these syntaxes are definitely interconvertible |
| 2021-04-30 04:11:18 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-30 04:11:37 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 276 seconds) |
| 2021-04-30 04:11:44 +0200 | <Axman6> | it's hard to understate how fundamental case statements are in Haskell, they are literally the way things are evaluated. Almost everything else that seems case-y is just case sugar |
| 2021-04-30 04:11:52 +0200 | horatiohb | (~horatiohb@159.203.87.174) (Ping timeout: 240 seconds) |
| 2021-04-30 04:11:59 +0200 | <Cale> | Note also that guards are part of the syntax of case expressions |
| 2021-04-30 04:12:06 +0200 | <c_wraith> | that's not quite true. let is sort of the opposite of case |
| 2021-04-30 04:12:07 +0200 | <Cale> | (though they are sugar) |
| 2021-04-30 04:13:16 +0200 | <Cale> | c_wraith: Yeah, you can always define a new function which does the pattern matching, but you're then somewhat relying on the compiler to inline it I suppose. |
| 2021-04-30 04:14:37 +0200 | <Cale> | Once you get rid of enough of the sugar, it's possible to think of case as being the primary way that the stack is managed, and let as being the primary way that the heap is managed |
| 2021-04-30 04:14:39 +0200 | <zzz> | i hate case expressions. must be some childhood traume. i avoid them in every language |
| 2021-04-30 04:14:56 +0200 | <Cale> | case expressions in Haskell are not much like case expressions in most languages |
| 2021-04-30 04:14:57 +0200 | Axman6 | https://imgflip.com/i/57orv1 |
| 2021-04-30 04:15:04 +0200 | <Cale> | Except if you're thinking of like ML, or something |
| 2021-04-30 04:15:47 +0200 | <Axman6> | yeah, case is not switch in other languages |
| 2021-04-30 04:16:34 +0200 | slewis | (~slewis@217.146.82.202) |
| 2021-04-30 04:16:46 +0200 | <zzz> | i do like LambdaCase though i dont remembet the last time i've used it |
| 2021-04-30 04:17:00 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.47) |
| 2021-04-30 04:17:36 +0200 | <Cale> | In Haskell, entering a function doesn't put anything on the stack (unless the function wasn't yet a lambda, but that's kind of the rarer case), but entering a case expression does: you put the case expression on the stack while the scrutinee gets evaluated |
| 2021-04-30 04:18:42 +0200 | <Cale> | If you're thinking at a kind of low level, it becomes natural to write out the case expressions as you'd expect them to exist in Core -- they might get mangled a bit along the way, but it can still be helpful if you're trying to think operationally about how things are going to perform. |
| 2021-04-30 04:18:53 +0200 | <Axman6> | I don;t even know how to write Haskell without using case, like, everywhere. it's so fundamental to programming in the language. our current code base seems to have nearly 8.5k case statements |
| 2021-04-30 04:19:17 +0200 | <Cale> | Yeah, we use case everywhere as well. |
| 2021-04-30 04:19:21 +0200 | <Axman6> | (searching using the regex "(\W|\\)case\W") |
| 2021-04-30 04:19:41 +0200 | <c_wraith> | honestly, sometimes I use case on Bool |
| 2021-04-30 04:19:59 +0200 | <Axman6> | yeah, I always feel weird using if |
| 2021-04-30 04:20:42 +0200 | <Cale> | Yeah, I'm not sure I'd ever be pro-removing-if-from-Haskell, but it's a somewhat reasonable position. |
| 2021-04-30 04:20:45 +0200 | <zzz> | behold: https://paste.jrvieira.com/1619749235361 |
| 2021-04-30 04:21:10 +0200 | jao | (~jao@pdpc/supporter/professional/jao) () |
| 2021-04-30 04:21:32 +0200 | <Cale> | Why 1 <- c rather than c == 1 ? |
| 2021-04-30 04:21:50 +0200 | thunderrd | (~thunderrd@183.182.115.196) |
| 2021-04-30 04:22:00 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-04-30 04:22:18 +0200 | <zzz> | style? dunno |
| 2021-04-30 04:22:53 +0200 | <zzz> | i find it easier to read |
| 2021-04-30 04:23:07 +0200 | <zzz> | or found it, in that case |
| 2021-04-30 04:23:08 +0200 | <Cale> | You could also remove a lot of the repeated mentions of c and just have a case c of |
| 2021-04-30 04:23:09 +0200 | <Axman6> | if this were my code, I'd align the ='s toi make the pattern distinct from the result, but that's jujst me. I like vertical alignment, it makes my dyslexia less problematic |
| 2021-04-30 04:23:52 +0200 | <Axman6> | yeah step is crying out to be a case statement |
| 2021-04-30 04:24:09 +0200 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-04-30 04:24:11 +0200 | <zzz> | Axman6: i tend to agree but that was written in a hurry. that's the intcode mchine from AOC'19 |
| 2021-04-30 04:24:11 +0200 | <Axman6> | with guards when there's extra checks necessary |
| 2021-04-30 04:24:18 +0200 | <Cale> | (or case expression) |
| 2021-04-30 04:25:02 +0200 | <zzz> | the goal of showing you this mess was to entertain you |
| 2021-04-30 04:25:30 +0200 | <Cale> | It's not the worst, but yeah, there are other options |
| 2021-04-30 04:25:43 +0200 | <Axman6> | I don't really have a problem with it, but do thing step in particular would be more clear with a case statement |
| 2021-04-30 04:26:22 +0200 | pfurla | (~pfurla@185.108.105.76) (Ping timeout: 260 seconds) |
| 2021-04-30 04:26:27 +0200 | ddellacosta | (~ddellacos@86.106.143.229) |
| 2021-04-30 04:26:55 +0200 | <Cale> | It might also be fun in a case like this to make an IntMap or an Array of operations, and do a lookup to get a function to be applied to the state. |
| 2021-04-30 04:28:18 +0200 | <Cale> | Whether that would actually be better is a good question, it depends on exactly how smart GHC is being, and I have no idea if it is (or can be) especially smart about numerical patterns. |
| 2021-04-30 04:29:20 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-30 04:29:28 +0200 | <zzz> | i wander about any performance implications |
| 2021-04-30 04:29:36 +0200 | <Cale> | (It certainly could be smart when the type of number is something special like Int or Integer, but in general, the way that things are defined via fromInteger and (==) means that you'd just have to do each of the tests in order) |
| 2021-04-30 04:29:58 +0200 | theDon | (~td@muedsl-82-207-238-033.citykom.de) (Ping timeout: 252 seconds) |
| 2021-04-30 04:30:03 +0200 | <zzz> | Cale: oh that's bad |
| 2021-04-30 04:30:29 +0200 | <zzz> | can it be? |
| 2021-04-30 04:30:42 +0200 | <Axman6> | look at the compiled code |
| 2021-04-30 04:31:03 +0200 | <zzz> | that is way beyond my level |
| 2021-04-30 04:31:04 +0200 | ddellacosta | (~ddellacos@86.106.143.229) (Ping timeout: 252 seconds) |
| 2021-04-30 04:31:14 +0200 | <Axman6> | I'm not sure what case x :: Int of ... gets compiled into. I would hope it can be done efficiently but I'm not sure |
| 2021-04-30 04:31:39 +0200 | theDon | (~td@muedsl-82-207-238-113.citykom.de) |
| 2021-04-30 04:31:47 +0200 | <zzz> | hmm |
| 2021-04-30 04:31:56 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-30 04:34:15 +0200 | AkechiShiro | (~AkechiShi@2a01:e0a:5f9:9681:9dbe:b42:df17:bf9c) (Quit: WeeChat 2.9) |
| 2021-04-30 04:34:22 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-30 04:34:57 +0200 | AkechiShiro | (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) |
| 2021-04-30 04:36:14 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 245 seconds) |
| 2021-04-30 04:36:49 +0200 | kilolympus | (~kilolympu@5.151.5.177) |
| 2021-04-30 04:37:00 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-30 04:37:00 +0200 | finn_elija | Guest71844 |
| 2021-04-30 04:37:00 +0200 | FinnElija | finn_elija |
| 2021-04-30 04:38:12 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-04-30 04:40:21 +0200 | Guest71844 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-30 04:41:50 +0200 | <gnumonic> | is there a way to dump th splices from one module in a project only? |
| 2021-04-30 04:42:19 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 250 seconds) |
| 2021-04-30 04:42:54 +0200 | <zzz> | well... the (#) at line 15 is just (flip trace) from Debug.Trace and it prints everytime the function is called which makes me suspect it's looking into every pattern sequentially but still, ghc can be smart about it |
| 2021-04-30 04:44:26 +0200 | <zzz> | neat little trick, btw, that (| False = undefined) bit |
| 2021-04-30 04:46:12 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds) |
| 2021-04-30 04:48:21 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::647c) |
| 2021-04-30 04:50:44 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 2021-04-30 04:51:35 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-30 04:51:58 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-30 05:01:24 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-04-30 05:02:33 +0200 | ddellacosta | (~ddellacos@86.106.143.10) |
| 2021-04-30 05:02:40 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-30 05:06:59 +0200 | ddellacosta | (~ddellacos@86.106.143.10) (Ping timeout: 252 seconds) |
| 2021-04-30 05:15:41 +0200 | lordcirth | (~lordcirth@2607:f2c0:95b3:4400:743b:c03e:fba8:e4e0) (Ping timeout: 250 seconds) |
| 2021-04-30 05:26:04 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 252 seconds) |
| 2021-04-30 05:27:32 +0200 | electricityZZZZ | (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2021-04-30 05:29:40 +0200 | jgt | (~jgt@88.225.221.135) |
| 2021-04-30 05:33:52 +0200 | jgt | (~jgt@88.225.221.135) (Ping timeout: 240 seconds) |
| 2021-04-30 05:38:16 +0200 | ddellacosta | (~ddellacos@86.106.143.125) |
| 2021-04-30 05:39:16 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 05:42:45 +0200 | ddellacosta | (~ddellacos@86.106.143.125) (Ping timeout: 265 seconds) |
| 2021-04-30 05:43:46 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-30 05:44:52 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-30 05:46:47 +0200 | fivebox | (x@unaffiliated/fivebox) |
| 2021-04-30 05:51:42 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-04-30 05:53:47 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 06:00:19 +0200 | Alleria | (~textual@2603-7000-3040-0000-159e-3a17-d3d5-238e.res6.spectrum.com) |
| 2021-04-30 06:00:31 +0200 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-04-30 06:00:43 +0200 | Alleria | Guest27993 |
| 2021-04-30 06:01:48 +0200 | drbean_ | (~drbean@TC210-63-209-210.static.apol.com.tw) |
| 2021-04-30 06:04:12 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.47) (Ping timeout: 240 seconds) |
| 2021-04-30 06:05:22 +0200 | Guest27993 | (~textual@2603-7000-3040-0000-159e-3a17-d3d5-238e.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 2021-04-30 06:10:58 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 06:13:33 +0200 | snowflake | (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 2021-04-30 06:13:37 +0200 | snowflake_ | (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-30 06:15:26 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-30 06:17:13 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-30 06:19:43 +0200 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾) |
| 2021-04-30 06:20:20 +0200 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-04-30 06:20:38 +0200 | random | (~random@46.254.129.126) |
| 2021-04-30 06:21:59 +0200 | <random> | hey guys |
| 2021-04-30 06:22:06 +0200 | <random> | can anyone help out with servant-client |
| 2021-04-30 06:22:37 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 2021-04-30 06:22:43 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-30 06:23:42 +0200 | <random> | https://pastebin.com/U0WzMdfU |
| 2021-04-30 06:24:18 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-04-30 06:26:31 +0200 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 260 seconds) |
| 2021-04-30 06:26:49 +0200 | carlomagno | (~cararell@148.87.23.6) (Quit: Leaving.) |
| 2021-04-30 06:27:28 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds) |
| 2021-04-30 06:28:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-30 06:28:58 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-30 06:33:10 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-30 06:35:25 +0200 | coeus | (~coeus@p200300d027300600a7f01744b59f4d58.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-30 06:42:35 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-04-30 06:45:11 +0200 | MarcelineVQ | (~anja@198.254.208.159) (Ping timeout: 240 seconds) |
| 2021-04-30 06:45:24 +0200 | ddellacosta | (~ddellacos@86.106.143.242) |
| 2021-04-30 06:45:45 +0200 | shakil0302 | (677194cc@103.113.148.204) |
| 2021-04-30 06:46:09 +0200 | random | (~random@46.254.129.126) (Quit: Leaving) |
| 2021-04-30 06:46:14 +0200 | <wrunt> | Have you tried changing the type of the endpoint client functions to e.g. 'firstEndpoint :: Text -> ClientM Whatever'? If it can't do that, you may need to also add the Header to each API endpoint separately. |
| 2021-04-30 06:47:02 +0200 | MarcelineVQ | (~anja@198.254.208.159) |
| 2021-04-30 06:49:44 +0200 | ddellacosta | (~ddellacos@86.106.143.242) (Ping timeout: 246 seconds) |
| 2021-04-30 06:50:59 +0200 | bitmagie | (~Thunderbi@200116b8063e2500801a363ed7493106.dip.versatel-1u1.de) |
| 2021-04-30 06:51:25 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 2021-04-30 06:53:28 +0200 | coeus | (~coeus@p200300d02706db00f213b37d0883c9d6.dip0.t-ipconnect.de) |
| 2021-04-30 06:53:41 +0200 | shakil0302 | (677194cc@103.113.148.204) (Quit: Connection closed) |
| 2021-04-30 06:53:47 +0200 | bitmagie | (~Thunderbi@200116b8063e2500801a363ed7493106.dip.versatel-1u1.de) (Client Quit) |
| 2021-04-30 06:55:07 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-emokxuotemcxsfjh) (Quit: Connection closed for inactivity) |
| 2021-04-30 06:55:15 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-30 06:57:38 +0200 | mantovani | (~mantovani@104.131.207.121) (Ping timeout: 240 seconds) |
| 2021-04-30 06:57:38 +0200 | letmein | (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Quit: letmein) |
| 2021-04-30 06:58:09 +0200 | mantovani | (~mantovani@104.131.207.121) |
| 2021-04-30 07:06:11 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-04-30 07:09:55 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 2021-04-30 07:14:28 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-30 07:14:30 +0200 | alx741 | (~alx741@181.196.68.89) (Quit: alx741) |
| 2021-04-30 07:17:08 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-30 07:17:33 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-04-30 07:18:00 +0200 | <Axman6> | wrunt: There's actually a package for doing that, let me see if I can find it |
| 2021-04-30 07:18:21 +0200 | <Axman6> | https://hackage.haskell.org/package/servant-flatten-0.2/docs/Servant-API-Flatten.html |
| 2021-04-30 07:18:49 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 252 seconds) |
| 2021-04-30 07:19:19 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Max SendQ exceeded) |
| 2021-04-30 07:19:55 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-04-30 07:21:37 +0200 | ddellacosta | (~ddellacos@86.106.143.10) |
| 2021-04-30 07:22:09 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-30 07:22:21 +0200 | ech | (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
| 2021-04-30 07:23:15 +0200 | <wrunt> | nice |
| 2021-04-30 07:24:06 +0200 | jcarpenter2 | (~rofl@96.78.87.197) (Ping timeout: 252 seconds) |
| 2021-04-30 07:24:43 +0200 | puke | (~vroom@217.138.252.196) |
| 2021-04-30 07:25:07 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-04-30 07:25:47 +0200 | ddellacosta | (~ddellacos@86.106.143.10) (Ping timeout: 246 seconds) |
| 2021-04-30 07:26:41 +0200 | curiousgay | (~gay@178.217.208.8) (Ping timeout: 252 seconds) |
| 2021-04-30 07:27:05 +0200 | jrqc | (~rofl@96.78.87.197) |
| 2021-04-30 07:29:02 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-30 07:30:33 +0200 | jgt | (~jgt@88.225.221.135) |
| 2021-04-30 07:31:52 +0200 | chele | (~chele@5.53.222.202) |
| 2021-04-30 07:32:21 +0200 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds) |
| 2021-04-30 07:33:51 +0200 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-04-30 07:34:56 +0200 | curiousgay | (~gay@178.217.208.8) |
| 2021-04-30 07:35:07 +0200 | jgt | (~jgt@88.225.221.135) (Ping timeout: 252 seconds) |
| 2021-04-30 07:37:03 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-melwasomkqzvlite) |
| 2021-04-30 07:41:15 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 07:43:17 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-30 07:45:32 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-30 07:46:30 +0200 | DevTurks[m] | (turkdevops@gateway/shell/matrix.org/x-sbrizugrbjkmgmop) ("User left") |
| 2021-04-30 07:50:32 +0200 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2021-04-30 07:52:22 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-30 07:52:59 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 07:55:41 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-30 07:56:10 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-30 07:57:13 +0200 | argento | (~argent0@168.227.97.34) (Remote host closed the connection) |
| 2021-04-30 07:57:31 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-04-30 07:59:46 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-30 08:03:18 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-04-30 08:04:24 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-04-30 08:07:00 +0200 | michalz | (~user@185.246.204.125) |
| 2021-04-30 08:13:08 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-04-30 08:13:49 +0200 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-04-30 08:14:12 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) |
| 2021-04-30 08:15:28 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-04-30 08:15:51 +0200 | Alleria | (~textual@2603-7000-3040-0000-159e-3a17-d3d5-238e.res6.spectrum.com) |
| 2021-04-30 08:16:15 +0200 | Alleria | Guest4222 |
| 2021-04-30 08:18:12 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-04-30 08:18:20 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-30 08:19:16 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) (Ping timeout: 276 seconds) |
| 2021-04-30 08:20:34 +0200 | Guest4222 | (~textual@2603-7000-3040-0000-159e-3a17-d3d5-238e.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 2021-04-30 08:22:45 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-04-30 08:23:45 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 08:32:37 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-30 08:32:49 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 08:33:20 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-04-30 08:35:16 +0200 | zva | (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) |
| 2021-04-30 08:37:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-04-30 08:38:34 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 252 seconds) |
| 2021-04-30 08:42:18 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-30 08:42:58 +0200 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-04-30 08:46:18 +0200 | brkscnce_ | (~obaum@37.120.31.251) (Ping timeout: 240 seconds) |
| 2021-04-30 08:48:32 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-04-30 08:50:46 +0200 | mud | (~mud@unaffiliated/kadoban) (Ping timeout: 240 seconds) |
| 2021-04-30 08:52:00 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-30 08:52:21 +0200 | brkscnce_ | (~obaum@37.120.31.251) |
| 2021-04-30 08:53:07 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-04-30 08:55:18 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-04-30 08:55:18 +0200 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
| 2021-04-30 08:55:18 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-04-30 08:56:06 +0200 | monochrom | (trebla@216.138.220.146) (Ping timeout: 240 seconds) |
| 2021-04-30 08:57:49 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-30 09:00:06 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 268 seconds) |
| 2021-04-30 09:00:27 +0200 | jgt | (~jgt@88.225.221.135) |
| 2021-04-30 09:02:21 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-30 09:03:06 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-04-30 09:03:29 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-30 09:04:58 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 252 seconds) |
| 2021-04-30 09:07:21 +0200 | random | (~random@46.254.129.126) |
| 2021-04-30 09:08:06 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Remote host closed the connection) |
| 2021-04-30 09:08:42 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-30 09:13:34 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 09:16:13 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 2.8) |
| 2021-04-30 09:16:30 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-30 09:17:48 +0200 | thomasjm_ | (~AdminUser@c-76-103-226-2.hsd1.ca.comcast.net) |
| 2021-04-30 09:17:52 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-30 09:18:10 +0200 | thomasjm | (~thomasjm@c-76-103-226-2.hsd1.ca.comcast.net) |
| 2021-04-30 09:18:30 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.47) |
| 2021-04-30 09:19:47 +0200 | monochrom | (trebla@216.138.220.146) |
| 2021-04-30 09:21:20 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-04-30 09:22:41 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-30 09:24:57 +0200 | monochrom | (trebla@216.138.220.146) (Ping timeout: 260 seconds) |
| 2021-04-30 09:27:40 +0200 | thomasjm__ | (~Srain@c-76-103-226-2.hsd1.ca.comcast.net) |
| 2021-04-30 09:28:33 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-04-30 09:30:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 09:33:22 +0200 | monochrom | (~trebla@216.138.220.146) |
| 2021-04-30 09:34:26 +0200 | madjestic | (~madjestic@86-88-72-244.fixed.kpn.net) |
| 2021-04-30 09:35:18 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 246 seconds) |
| 2021-04-30 09:36:09 +0200 | <madjestic> | hey guys, is there a way to do "search in package" standard browser equivalent of Alt+s, using eww or lynx when browsing hackage.haskell.org? |
| 2021-04-30 09:36:32 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) |
| 2021-04-30 09:36:47 +0200 | <madjestic> | and by standard browser I mean chrome/chromium/ff |
| 2021-04-30 09:37:25 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-qncwqauoexuittvy) (Quit: Connection closed for inactivity) |
| 2021-04-30 09:43:23 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 09:46:05 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-30 09:46:30 +0200 | forell | (~forell@unaffiliated/forell) (Ping timeout: 246 seconds) |
| 2021-04-30 09:46:52 +0200 | forell | (~forell@unaffiliated/forell) |
| 2021-04-30 09:47:59 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-04-30 09:48:13 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-30 09:48:52 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-30 09:48:58 +0200 | thomasjm__ | (~Srain@c-76-103-226-2.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-30 09:49:37 +0200 | thomasjm_ | (~AdminUser@c-76-103-226-2.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
| 2021-04-30 09:51:19 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-30 09:53:07 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-04-30 09:53:21 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-30 09:53:50 +0200 | <tomsmeding> | madjestic: the data comes from https://hackage.haskell.org/package/base-4.15.0.0/docs/doc-index.json |
| 2021-04-30 09:53:56 +0200 | <tomsmeding> | (for each respective package) |
| 2021-04-30 09:54:22 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-30 09:54:30 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 09:58:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-30 10:01:52 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-04-30 10:02:41 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 2021-04-30 10:02:42 +0200 | <tomsmeding> | madjestic: this function does the actual searching https://github.com/haskell/haddock/blob/ghc-9.2/haddock-api/resources/html/js-src/quick-jump.tsx#L… |
| 2021-04-30 10:03:07 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-30 10:03:10 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-04-30 10:03:40 +0200 | <tomsmeding> | which uses https://www.npmjs.com/package/fuse.js |
| 2021-04-30 10:03:49 +0200 | jgt | (~jgt@88.225.221.135) (Ping timeout: 252 seconds) |
| 2021-04-30 10:04:27 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-30 10:04:57 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-30 10:05:31 +0200 | fendor_ | fendor |
| 2021-04-30 10:05:51 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds) |
| 2021-04-30 10:06:50 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-04-30 10:06:50 +0200 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
| 2021-04-30 10:06:50 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-04-30 10:09:29 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.47) (Ping timeout: 252 seconds) |
| 2021-04-30 10:09:57 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-30 10:10:26 +0200 | malumore_ | (~malumore@151.62.115.54) |
| 2021-04-30 10:13:26 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 240 seconds) |
| 2021-04-30 10:13:38 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-30 10:14:40 +0200 | jgt | (~jgt@46.154.25.63) |
| 2021-04-30 10:15:56 +0200 | gitgood | (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome) |
| 2021-04-30 10:16:27 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) |
| 2021-04-30 10:18:36 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-04-30 10:18:49 +0200 | Lycurgus | (~niemand@98.4.118.65) |
| 2021-04-30 10:19:36 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-04-30 10:19:37 +0200 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
| 2021-04-30 10:19:37 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-04-30 10:20:40 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.47) |
| 2021-04-30 10:23:04 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-30 10:23:35 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-30 10:23:52 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 240 seconds) |
| 2021-04-30 10:24:03 +0200 | aVikingTrex | (~aVikingTr@120.154.33.56) |
| 2021-04-30 10:25:26 +0200 | kuribas | (~user@ptr-25vy0i96tdwzmfpbump.18120a2.ip6.access.telenet.be) |
| 2021-04-30 10:28:25 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-30 10:28:30 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-30 10:28:39 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-04-30 10:28:40 +0200 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
| 2021-04-30 10:28:40 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-04-30 10:30:43 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:3bb8:341c:5ed0:c138) (Ping timeout: 260 seconds) |
| 2021-04-30 10:31:46 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-30 10:31:56 +0200 | ddellacosta | (~ddellacos@86.106.143.138) |
| 2021-04-30 10:32:42 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-30 10:33:11 +0200 | madjestic | (~madjestic@86-88-72-244.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2021-04-30 10:33:16 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-30 10:34:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-30 10:35:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 10:36:46 +0200 | ddellacosta | (~ddellacos@86.106.143.138) (Ping timeout: 260 seconds) |
| 2021-04-30 10:40:05 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b95722c5bb32012e463b2.dip0.t-ipconnect.de) |
| 2021-04-30 10:40:17 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.47) (Ping timeout: 252 seconds) |
| 2021-04-30 10:41:01 +0200 | thomasjm_ | (~AdminUser@c-76-103-226-2.hsd1.ca.comcast.net) |
| 2021-04-30 10:41:09 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) |
| 2021-04-30 10:41:15 +0200 | thomasjm__ | (~Srain@c-76-103-226-2.hsd1.ca.comcast.net) |
| 2021-04-30 10:41:43 +0200 | alexander | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
| 2021-04-30 10:42:13 +0200 | alexander | Guest34364 |
| 2021-04-30 10:42:28 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:a1d0:cc63:6c36:9e1d) |
| 2021-04-30 10:42:38 +0200 | yahb | (xsbot@haskell/bot/yahb) (Ping timeout: 240 seconds) |
| 2021-04-30 10:43:11 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-04-30 10:43:42 +0200 | drbean_ | (~drbean@TC210-63-209-210.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-30 10:44:08 +0200 | thomasjm_ | (~AdminUser@c-76-103-226-2.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2021-04-30 10:44:17 +0200 | thomasjm__ | (~Srain@c-76-103-226-2.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2021-04-30 10:45:14 +0200 | mniip | (mniip@freenode/staff/mniip) (Ping timeout: 608 seconds) |
| 2021-04-30 10:46:21 +0200 | tonlage | (~tonlage@5.186.126.153.cgn.fibianet.dk) |
| 2021-04-30 10:46:23 +0200 | fendor | (~fendor@77.119.128.145.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-30 10:47:57 +0200 | fendor | (~fendor@77.119.128.145.wireless.dyn.drei.com) |
| 2021-04-30 10:48:55 +0200 | plutoniix | (~q@node-uo8.pool-125-24.dynamic.totinternet.net) |
| 2021-04-30 10:55:11 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-30 10:56:28 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-melwasomkqzvlite) (Quit: Connection closed for inactivity) |
| 2021-04-30 10:56:52 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-30 10:57:00 +0200 | vilpan | (~0@212.117.1.172) |
| 2021-04-30 10:58:59 +0200 | tonlage1 | (~tonlage@5.186.126.153.cgn.fibianet.dk) |
| 2021-04-30 10:59:29 +0200 | tonlage | (~tonlage@5.186.126.153.cgn.fibianet.dk) (Quit: WeeChat 3.1) |
| 2021-04-30 10:59:45 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-04-30 11:01:32 +0200 | tonlage1 | (~tonlage@5.186.126.153.cgn.fibianet.dk) (Client Quit) |
| 2021-04-30 11:02:09 +0200 | Adam345 | (~textual@2.133.253.255) |
| 2021-04-30 11:03:12 +0200 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2021-04-30 11:03:51 +0200 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2021-04-30 11:06:21 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-04-30 11:09:43 +0200 | Lycurgus | (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-04-30 11:10:17 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 11:11:11 +0200 | aVikingTrex | (~aVikingTr@120.154.33.56) (Ping timeout: 240 seconds) |
| 2021-04-30 11:13:42 +0200 | Guest72431 | (~zmv@unaffiliated/zmv) |
| 2021-04-30 11:14:08 +0200 | ulidtko|k | (~ulidtko@194.54.80.38) |
| 2021-04-30 11:14:46 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-30 11:14:57 +0200 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-04-30 11:16:35 +0200 | Nihilist | (d4120ed2@host-212-18-14-210.customer.m-online.net) |
| 2021-04-30 11:16:41 +0200 | ulidtko|kk | (~ulidtko@31.133.98.224) (Ping timeout: 240 seconds) |
| 2021-04-30 11:17:43 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 2021-04-30 11:22:38 +0200 | mud | (~mud@unaffiliated/kadoban) |
| 2021-04-30 11:23:27 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-30 11:24:40 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-04-30 11:31:15 +0200 | forell | (~forell@unaffiliated/forell) (Ping timeout: 252 seconds) |
| 2021-04-30 11:33:45 +0200 | forell | (~forell@unaffiliated/forell) |
| 2021-04-30 11:36:15 +0200 | sz0 | (uid110435@gateway/web/irccloud.com/x-bwiuonpskoznguoq) (Quit: Connection closed for inactivity) |
| 2021-04-30 11:37:20 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-30 11:39:57 +0200 | yahb | (~yahb@haskell/bot/yahb) |
| 2021-04-30 11:40:16 +0200 | mniip | (mniip@freenode/staff/mniip) |
| 2021-04-30 11:40:30 +0200 | Adam345 | (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-04-30 11:41:23 +0200 | Nihilist | (d4120ed2@host-212-18-14-210.customer.m-online.net) (Quit: Connection closed) |
| 2021-04-30 11:42:52 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-30 11:44:15 +0200 | pera_ | (~pera_@137.221.132.212) |
| 2021-04-30 11:45:25 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 11:46:53 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) |
| 2021-04-30 11:47:41 +0200 | wonko7 | (~wonko7@62.115.229.50) (Quit: See You Space Cowboy..) |
| 2021-04-30 11:51:02 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 11:51:33 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-04-30 11:52:17 +0200 | EdwardIII | (~edwardiii@unaffiliated/edward123) ("WeeChat 3.1") |
| 2021-04-30 11:53:03 +0200 | plutoniix | (~q@node-uo8.pool-125-24.dynamic.totinternet.net) (Remote host closed the connection) |
| 2021-04-30 11:54:19 +0200 | shailangsa | (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) |
| 2021-04-30 11:55:02 +0200 | Adam345 | (~textual@2.133.253.255) |
| 2021-04-30 11:55:17 +0200 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-04-30 11:55:18 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-04-30 11:57:21 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-30 11:59:00 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-30 12:01:53 +0200 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-04-30 12:02:02 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-30 12:05:12 +0200 | ekrion | (~ffx1@181.58.39.182) |
| 2021-04-30 12:05:13 +0200 | <biglama> | Hi guys, I've written a small exception handler for HTTP request in wreq and wanted to know if the style could be improved upon : https://paste.tomsmeding.com/C7BxhvNf |
| 2021-04-30 12:05:16 +0200 | <biglama> | Thanks :) |
| 2021-04-30 12:06:37 +0200 | <[exa]> | biglama: that can be easily dosed by someone who just sends you 443 repeatedly |
| 2021-04-30 12:06:43 +0200 | <[exa]> | otherwise looks okay to me |
| 2021-04-30 12:07:41 +0200 | <biglama> | [exa]: yeah, I don't mind. It was a bit cumbersome to write the constructors so I was wondering if it could be shorter. |
| 2021-04-30 12:08:34 +0200 | <[exa]> | ah the `get` actually doesn't recurse, then it's good I guess |
| 2021-04-30 12:09:05 +0200 | <[exa]> | btw, usually you don't want to codegolf in production&reliable code :] |
| 2021-04-30 12:09:11 +0200 | thblt | (~thblt@unaffiliated/thblt) ("ERC (IRC client for Emacs 28.0.50)") |
| 2021-04-30 12:10:14 +0200 | <[exa]> | (you can be superapplicative with getRetry = liftA2 E.catch get handler) |
| 2021-04-30 12:10:21 +0200 | <biglama> | [exa]: thanks ! it's not production and not reliable, don't worry :D |
| 2021-04-30 12:10:54 +0200 | <[exa]> | (same using <$> <*>) |
| 2021-04-30 12:12:22 +0200 | <biglama> | [exa]: okay, it's a bit blurry but I get the idea. The handler function itself is as short as it can get ? |
| 2021-04-30 12:12:59 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b95722c5bb32012e463b2.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-30 12:13:05 +0200 | <biglama> | The wreq tutorial uses something like e@{StatusCodeException s _ _), which doesn't work out of the box |
| 2021-04-30 12:14:59 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-30 12:15:21 +0200 | Adam345 | (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-04-30 12:15:33 +0200 | <[exa]> | biglama: the handler needs to do a (slightly) complicated combination of pattern match and value check, there might be some way to write it very nicely using the pattern guards but I'm not really proficient at that |
| 2021-04-30 12:15:55 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) |
| 2021-04-30 12:16:29 +0200 | Adam345 | (~textual@2.133.253.255) |
| 2021-04-30 12:16:34 +0200 | <biglama> | [exa]: okay, thanks a lot ! I've been writing some haskell code for a few weeks but it's the first time I managed exceptions |
| 2021-04-30 12:16:36 +0200 | <[exa]> | structure could get close to `handler | pattern is OK, error is 443 = retry; |otherwise = throw` |
| 2021-04-30 12:17:39 +0200 | <biglama> | But I don't know how to use pattern matching with constructors though |
| 2021-04-30 12:18:47 +0200 | <[exa]> | https://wiki.haskell.org/Pattern_guard |
| 2021-04-30 12:20:27 +0200 | <biglama> | Oh :/ |
| 2021-04-30 12:22:25 +0200 | fendor | (~fendor@77.119.128.145.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-04-30 12:22:43 +0200 | lawid | (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Ping timeout: 260 seconds) |
| 2021-04-30 12:23:18 +0200 | lawid | (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 2021-04-30 12:23:47 +0200 | <biglama> | But I can't write something like : |
| 2021-04-30 12:23:50 +0200 | <biglama> | | b == (StatusCodeException r s ) |
| 2021-04-30 12:24:36 +0200 | fendor | (~fendor@77.119.128.145.wireless.dyn.drei.com) |
| 2021-04-30 12:25:23 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) (Ping timeout: 248 seconds) |
| 2021-04-30 12:27:08 +0200 | Adam345 | (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-04-30 12:28:04 +0200 | Adam345 | (~textual@2.133.253.255) |
| 2021-04-30 12:29:13 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 12:29:48 +0200 | <[exa]> | I thought something like this would work: `handle url e | HttpExceptionRequest _ (StatusCodeException r _) <- e, r^.responsestatus.statusCode == 443 = retry ; |otherwise=throw e` |
| 2021-04-30 12:30:11 +0200 | <biglama> | [exa]: what about this : https://paste.tomsmeding.com/q0FA1x4l ? |
| 2021-04-30 12:30:47 +0200 | <[exa]> | that's the `case` statement rewritten to guards, yes |
| 2021-04-30 12:31:07 +0200 | <[exa]> | I thought more about unifying the 2 throw cases |
| 2021-04-30 12:31:41 +0200 | <[exa]> | btw you can alias the whole exception instead of just `b@` |
| 2021-04-30 12:32:04 +0200 | <biglama> | Yeah but could not figure it out and it looked cleaner :p |
| 2021-04-30 12:32:57 +0200 | <biglama> | I don't really understand your " <- e, r ^.responseStatus" syntax. Can you write a comma like that ? |
| 2021-04-30 12:34:01 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-04-30 12:36:44 +0200 | <[exa]> | yeah that's the pattern guard |
| 2021-04-30 12:37:08 +0200 | <biglama> | It seems to work and looks very compact. Very nice, thanks :) |
| 2021-04-30 12:37:23 +0200 | <[exa]> | try this https://paste.tomsmeding.com/jTyTndKM |
| 2021-04-30 12:37:34 +0200 | <[exa]> | ah it worked, okay |
| 2021-04-30 12:39:46 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 2021-04-30 12:39:51 +0200 | <biglama> | This syntax kind of blows my mind |
| 2021-04-30 12:40:18 +0200 | <[exa]> | it's pretty much the same as list comprehension, except you know, for patterns |
| 2021-04-30 12:40:45 +0200 | <[exa]> | (also likely the implementation below is different) |
| 2021-04-30 12:41:45 +0200 | <biglama> | Does it have a name ? I would never have find that on google |
| 2021-04-30 12:43:56 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-30 12:44:12 +0200 | Guest72431 | notzmv |
| 2021-04-30 12:44:17 +0200 | <[exa]> | biglama: what precisely? |
| 2021-04-30 12:44:39 +0200 | <[exa]> | the syntax I used is pattern guards, see the wiki :] |
| 2021-04-30 12:46:55 +0200 | <biglama> | Indeed, dumb question :( |
| 2021-04-30 12:47:32 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-30 12:47:51 +0200 | <[exa]> | biglama: ah worry not :] |
| 2021-04-30 12:49:01 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-04-30 12:49:25 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 12:50:55 +0200 | <biglama> | One day, I'll read "haskell programming from first principles" from cover to end :D |
| 2021-04-30 12:53:25 +0200 | <hc> | biglama: why not do it right now, but in a non-strict way? |
| 2021-04-30 12:53:47 +0200 | <hc> | ;) |
| 2021-04-30 12:53:59 +0200 | <random> | hey guys, can anyone help with servant-client? |
| 2021-04-30 12:54:01 +0200 | <random> | https://pastebin.com/U0WzMdfU |
| 2021-04-30 12:54:17 +0200 | <biglama> | hc: I've looked it up for the exception part :) |
| 2021-04-30 12:54:41 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-30 12:54:51 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-30 12:55:24 +0200 | <biglama> | But I would need to read a chapter thoroughly and not jumping around |
| 2021-04-30 12:55:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 12:59:06 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-30 12:59:27 +0200 | srk | (~sorki@unaffiliated/srk) (Remote host closed the connection) |
| 2021-04-30 12:59:48 +0200 | srk | (~sorki@unaffiliated/srk) |
| 2021-04-30 13:00:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-30 13:00:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 13:01:25 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 13:01:47 +0200 | Adam345 | (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-04-30 13:03:17 +0200 | Adam345 | (~textual@2.133.253.255) |
| 2021-04-30 13:03:26 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-30 13:05:26 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-30 13:06:06 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-30 13:06:45 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 13:07:58 +0200 | <kuribas> | random: shouldn't you add headers to endpoints, instead of the API? |
| 2021-04-30 13:09:41 +0200 | <vilpan> | in case someone can easily fix a trivial doc issue on hackage: `readList` (https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#v:readList) seems to suffer from a mild case of non-determinism - "should be are expected to" :) |
| 2021-04-30 13:09:58 +0200 | <random> | kuribas: in this case we need this header to be present for all endpoints |
| 2021-04-30 13:10:07 +0200 | <random> | it wouldn't make sense to add it to individual endpoints anyways |
| 2021-04-30 13:10:22 +0200 | <random> | the specific server implementation is handling it later |
| 2021-04-30 13:11:43 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 2021-04-30 13:11:56 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-30 13:12:21 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 13:13:16 +0200 | <kuribas> | hmm, I have something like monad bind, but not quite... bindLink :: MonadLike a -> ExtraInfo -> (a -> MonadLike b) -> MonadLike b |
| 2021-04-30 13:13:57 +0200 | <kuribas> | erm wait, that will not work |
| 2021-04-30 13:15:01 +0200 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-04-30 13:17:52 +0200 | <random> | kuribas: it's very annoying because it's standard Servant syntax but still extremely hard to do in servant-client apparently |
| 2021-04-30 13:18:25 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds) |
| 2021-04-30 13:18:47 +0200 | <kuribas> | random: I never did that. If I have a lot of boilerplate, I put it in a type synonym. |
| 2021-04-30 13:19:12 +0200 | <random> | kuribas: the problem in this case is that it changes the server type signature, if you prefix each endpoint with the header |
| 2021-04-30 13:19:26 +0200 | pera_ | (~pera_@137.221.132.212) (Ping timeout: 240 seconds) |
| 2021-04-30 13:20:14 +0200 | <random> | the server is |
| 2021-04-30 13:20:19 +0200 | <random> | server headerMay = something |
| 2021-04-30 13:21:25 +0200 | <kuribas> | random: but you can extract headers even if not in the API, no? |
| 2021-04-30 13:21:44 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-30 13:21:50 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1) |
| 2021-04-30 13:22:01 +0200 | <random> | kuribas: sure, that's my plan of hacking it if I don't find a solution |
| 2021-04-30 13:22:16 +0200 | m1dnight__ | (~m1dnight@188.ip-51-91-158.eu) (Quit: WeeChat 2.4) |
| 2021-04-30 13:22:21 +0200 | <kuribas> | random: or even on Wai level |
| 2021-04-30 13:22:48 +0200 | m1dnight_ | (~m1dnight@188.ip-51-91-158.eu) |
| 2021-04-30 13:22:55 +0200 | <random> | kuribas: it would still be nice to have the header in the type signature |
| 2021-04-30 13:23:02 +0200 | <random> | of the client functions |
| 2021-04-30 13:23:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 13:23:41 +0200 | <random> | might do something like - use lookupHeader instead of specifying it in the API definition, then instead of ClientM use a custom monad that guarantees you cannot skip the header |
| 2021-04-30 13:28:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-30 13:29:21 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 13:30:17 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-30 13:33:17 +0200 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-04-30 13:34:05 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-30 13:34:27 +0200 | Alleria | (~textual@mskresolve-a.mskcc.org) |
| 2021-04-30 13:34:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-30 13:34:41 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-30 13:34:51 +0200 | Alleria | Guest85534 |
| 2021-04-30 13:35:09 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 13:35:10 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-04-30 13:35:48 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Read error: Connection reset by peer) |
| 2021-04-30 13:36:44 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-30 13:37:04 +0200 | juliagoda | (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) |
| 2021-04-30 13:41:15 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 13:45:11 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-30 13:45:23 +0200 | Adam345 | (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-04-30 13:45:26 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-30 13:46:05 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-30 13:47:34 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 13:48:56 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
| 2021-04-30 13:51:59 +0200 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-04-30 13:52:54 +0200 | tonlage | (~tonlage@5.186.126.153.cgn.fibianet.dk) |
| 2021-04-30 13:53:06 +0200 | CrazyPython | (~crazypyth@98.122.164.118) (Client Quit) |
| 2021-04-30 13:53:07 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-04-30 13:53:09 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-30 13:54:57 +0200 | rodriga | (~quassel@134.204.25.66) |
| 2021-04-30 13:55:41 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-30 13:55:43 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-30 13:57:22 +0200 | ekrion | (~ffx1@181.58.39.182) (Remote host closed the connection) |
| 2021-04-30 13:57:40 +0200 | TheScoop | (~TheScoop@unaffiliated/tryte) (Quit: _) |
| 2021-04-30 13:58:42 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-30 13:59:46 +0200 | marek | (~mmahut@fedora/pyxel) (Ping timeout: 252 seconds) |
| 2021-04-30 13:59:58 +0200 | TheScoop | (~TheScoop@unaffiliated/tryte) |
| 2021-04-30 14:00:01 +0200 | twk- | (~thewormki@unaffiliated/twk-) (Ping timeout: 250 seconds) |
| 2021-04-30 14:00:02 +0200 | Uma | (~uma@umazalakain.info) (Remote host closed the connection) |
| 2021-04-30 14:00:04 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-30 14:00:31 +0200 | Uma | (~uma@umazalakain.info) |
| 2021-04-30 14:01:39 +0200 | caubert | (~caubert@136.244.111.235) (Ping timeout: 268 seconds) |
| 2021-04-30 14:02:54 +0200 | caubert | (~caubert@136.244.111.235) |
| 2021-04-30 14:03:38 +0200 | slewis | (~slewis@217.146.82.202) (Remote host closed the connection) |
| 2021-04-30 14:04:26 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-30 14:05:14 +0200 | madjestic | (~madjestic@86-88-72-244.fixed.kpn.net) |
| 2021-04-30 14:05:17 +0200 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-04-30 14:05:19 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-30 14:05:47 +0200 | marek | (~mmahut@209.250.249.245) |
| 2021-04-30 14:06:44 +0200 | pera_ | (~pera_@94.0.111.239) |
| 2021-04-30 14:07:23 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b95722c5bb32012e463b2.dip0.t-ipconnect.de) |
| 2021-04-30 14:10:12 +0200 | vchlup_ | (~vchlup@nat.brnet.cz) (Remote host closed the connection) |
| 2021-04-30 14:11:05 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) (Read error: Connection reset by peer) |
| 2021-04-30 14:12:32 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) |
| 2021-04-30 14:13:08 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
| 2021-04-30 14:13:31 +0200 | jneira | (5127acfa@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.250) (Ping timeout: 252 seconds) |
| 2021-04-30 14:15:43 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 14:16:55 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-30 14:17:43 +0200 | xenon- | (~bc8134e3@217.29.117.252) |
| 2021-04-30 14:18:17 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Client Quit) |
| 2021-04-30 14:18:34 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-30 14:18:55 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Client Quit) |
| 2021-04-30 14:19:20 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-30 14:19:47 +0200 | kees1 | (~kees@217.146.82.202) |
| 2021-04-30 14:21:12 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 14:21:16 +0200 | madjestic | (~madjestic@86-88-72-244.fixed.kpn.net) (Quit: Lost terminal) |
| 2021-04-30 14:22:31 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-04-30 14:22:43 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) |
| 2021-04-30 14:25:06 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-04-30 14:26:12 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-04-30 14:27:03 +0200 | twk- | (~thewormki@unaffiliated/twk-) |
| 2021-04-30 14:27:49 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) (Ping timeout: 276 seconds) |
| 2021-04-30 14:28:38 +0200 | cybai | (~cybai@2400:4050:3122:900:106d:1dc5:2d33:5eba) |
| 2021-04-30 14:31:55 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-04-30 14:32:20 +0200 | thevishy | (~Nishant@117.193.32.230) |
| 2021-04-30 14:32:58 +0200 | dansho | (~dansho@ec2-13-231-153-158.ap-northeast-1.compute.amazonaws.com) |
| 2021-04-30 14:39:17 +0200 | enthropy | (~aavogt@135-23-166-92.cpe.pppoe.ca) |
| 2021-04-30 14:39:26 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Read error: Connection reset by peer) |
| 2021-04-30 14:39:49 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-30 14:40:43 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-30 14:41:47 +0200 | thecoffemaker | (~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 260 seconds) |
| 2021-04-30 14:43:55 +0200 | thecoffemaker | (~thecoffem@unaffiliated/thecoffemaker) |
| 2021-04-30 14:45:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-30 14:47:48 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 14:48:27 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-30 14:49:39 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 2.8) |
| 2021-04-30 14:50:43 +0200 | CrazyPython | (~crazypyth@98.122.164.118) () |
| 2021-04-30 14:51:59 +0200 | plutoniix | (~q@node-uo8.pool-125-24.dynamic.totinternet.net) |
| 2021-04-30 14:54:01 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-30 14:54:56 +0200 | <nut> | in an Storable instance definition, i see: sizeOf _ = (#size Complex) |
| 2021-04-30 14:55:11 +0200 | <nut> | What does (#size Complex) mean |
| 2021-04-30 14:55:31 +0200 | <nut> | there's also (#peek Complex, re) |
| 2021-04-30 14:55:55 +0200 | <geekosaur> | those are hsc2hs directives |
| 2021-04-30 14:56:31 +0200 | <nut> | I see... |
| 2021-04-30 14:56:58 +0200 | <geekosaur> | #size determines the size of a C type, and #peek copies a value from its C representation |
| 2021-04-30 14:58:50 +0200 | <nut> | where can I find the complete doc for this? I see a bunch of other directives |
| 2021-04-30 14:59:00 +0200 | <nut> | #const |
| 2021-04-30 14:59:32 +0200 | Tesseraction | (~Tesseract@unaffiliated/tesseraction) (Remote host closed the connection) |
| 2021-04-30 14:59:44 +0200 | ddellac__ | (~ddellacos@86.106.143.138) |
| 2021-04-30 15:00:11 +0200 | <nut> | hsc2hs has no docs... |
| 2021-04-30 15:00:22 +0200 | <geekosaur> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/utils.html#writing-haskell-interfaces-to-c-code… they're part of the ghc docs |
| 2021-04-30 15:00:46 +0200 | <geekosaur> | (linking to latest but I don't think hsc2hs has changed much if at all) |
| 2021-04-30 15:01:44 +0200 | <nut> | thx |
| 2021-04-30 15:02:27 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-30 15:02:48 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-30 15:02:53 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-04-30 15:03:13 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-30 15:03:58 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-04-30 15:04:07 +0200 | ddellac__ | (~ddellacos@86.106.143.138) (Ping timeout: 252 seconds) |
| 2021-04-30 15:07:50 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-30 15:09:13 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 265 seconds) |
| 2021-04-30 15:10:13 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-04-30 15:10:31 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-30 15:10:56 +0200 | yaroot | (~yaroot@138.102.13.160.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 2021-04-30 15:10:59 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-30 15:11:38 +0200 | yaroot | (~yaroot@138.102.13.160.dy.iij4u.or.jp) |
| 2021-04-30 15:15:07 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-30 15:15:39 +0200 | enthropy | (~aavogt@135-23-166-92.cpe.pppoe.ca) (Ping timeout: 268 seconds) |
| 2021-04-30 15:16:19 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:61fb:ae9:64fb:f0ec) |
| 2021-04-30 15:16:50 +0200 | zgrep | (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) (Quit: It's a quitter's world.) |
| 2021-04-30 15:17:03 +0200 | carlomagno | (~cararell@148.87.23.13) |
| 2021-04-30 15:17:47 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 15:18:20 +0200 | zgrep | (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) |
| 2021-04-30 15:19:31 +0200 | ram19890 | (~ram@49.205.84.15) |
| 2021-04-30 15:20:19 +0200 | Adam345 | (~textual@2.133.253.255) |
| 2021-04-30 15:21:33 +0200 | slack1256 | (~slack1256@181.203.70.3) |
| 2021-04-30 15:23:13 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.47) |
| 2021-04-30 15:23:41 +0200 | tonlage | (~tonlage@5.186.126.153.cgn.fibianet.dk) (Ping timeout: 240 seconds) |
| 2021-04-30 15:24:09 +0200 | slac19827 | (~slack1256@191.113.245.191) |
| 2021-04-30 15:25:45 +0200 | slac19827 | (~slack1256@191.113.245.191) (Remote host closed the connection) |
| 2021-04-30 15:26:03 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:217e:c027:1f9b:648c) |
| 2021-04-30 15:26:17 +0200 | slack1256 | (~slack1256@181.203.70.3) (Ping timeout: 252 seconds) |
| 2021-04-30 15:28:55 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-30 15:29:08 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-30 15:29:27 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
| 2021-04-30 15:30:27 +0200 | kees1 | (~kees@217.146.82.202) (Remote host closed the connection) |
| 2021-04-30 15:30:31 +0200 | plutoniix | (~q@node-uo8.pool-125-24.dynamic.totinternet.net) (Ping timeout: 252 seconds) |
| 2021-04-30 15:30:34 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-30 15:30:50 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-30 15:33:07 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 248 seconds) |
| 2021-04-30 15:33:51 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 15:37:20 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) |
| 2021-04-30 15:38:13 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-30 15:40:11 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-30 15:40:50 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-30 15:43:09 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-30 15:43:20 +0200 | <biglama> | I'm trying do decode nested JSON but the catch is the nested JSON is encoded as a string, like this : |
| 2021-04-30 15:43:20 +0200 | <biglama> | "{\"author\": \"{\\\"666\\\": \\\"Tolkien\\\"}\"}" |
| 2021-04-30 15:43:40 +0200 | <biglama> | Any idea ? Here's my attempt (minimal example but not working : https://paste.tomsmeding.com/6dkT4jXG) |
| 2021-04-30 15:43:50 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-30 15:43:52 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-04-30 15:43:57 +0200 | <biglama> | https://paste.tomsmeding.com/6dkT4jXG * |
| 2021-04-30 15:44:16 +0200 | plutoniix | (~q@node-upe.pool-125-24.dynamic.totinternet.net) |
| 2021-04-30 15:44:22 +0200 | tomsmeding | wonders how you even got nested json |
| 2021-04-30 15:44:39 +0200 | <biglama> | It's the API fault not me :( |
| 2021-04-30 15:44:41 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-30 15:44:43 +0200 | <tomsmeding> | also the outer json isn't valid, it's missing quotes around the "string" |
| 2021-04-30 15:45:11 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-30 15:45:15 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds) |
| 2021-04-30 15:45:31 +0200 | <tomsmeding> | if you make that valid, then I guess you can use aeson to decode to a ByteString (or a String, I guess), and then pass that again to aeson to decode as a Book |
| 2021-04-30 15:46:09 +0200 | <biglama> | So you can't do it a single pass ? |
| 2021-04-30 15:47:44 +0200 | <tomsmeding> | no |
| 2021-04-30 15:48:03 +0200 | <tomsmeding> | having double-encoded json is not the common case :p |
| 2021-04-30 15:48:33 +0200 | <tomsmeding> | oh wait that nested json contains _more_ nested json inside |
| 2021-04-30 15:48:42 +0200 | <tomsmeding> | holy crap who designed that API |
| 2021-04-30 15:48:56 +0200 | <biglama> | I can't say :/ |
| 2021-04-30 15:49:03 +0200 | <tomsmeding> | no matter :p |
| 2021-04-30 15:49:42 +0200 | <biglama> | Let me get the json straight, I'm lost in escaping quotes |
| 2021-04-30 15:50:10 +0200 | <tomsmeding> | what you posted here is a valid json string that, when decoded, produces something that you can parse as json again |
| 2021-04-30 15:50:27 +0200 | <tomsmeding> | you pasted that directly in your source file, but now suddenly the outer quotes are taken to be a _haskell_ string |
| 2021-04-30 15:50:50 +0200 | <tomsmeding> | I suggest putting the API response in a file and reading that in your test program :p |
| 2021-04-30 15:51:48 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 15:52:14 +0200 | plutoniix | (~q@node-upe.pool-125-24.dynamic.totinternet.net) (Ping timeout: 265 seconds) |
| 2021-04-30 15:52:39 +0200 | <biglama> | Yeah, what I posted is what the API is sending |
| 2021-04-30 15:53:10 +0200 | <biglama> | So I need an intermediary data type (reading the string as such) and a final datatype with parsing just nested json ? |
| 2021-04-30 15:53:41 +0200 | <tomsmeding> | where that intermediary data type is a string, yes |
| 2021-04-30 15:53:47 +0200 | <tomsmeding> | perhaps it should be a bytestring for aeson, not sure |
| 2021-04-30 15:54:12 +0200 | <biglama> | Bytestring, right |
| 2021-04-30 15:54:53 +0200 | <biglama> | And you can't call decode when instancing FromJSON (so decoding in a decode ... :p) ? |
| 2021-04-30 15:57:11 +0200 | <tomsmeding> | why not? |
| 2021-04-30 15:57:27 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-30 15:57:28 +0200 | <tomsmeding> | well depends on how FromJSON works I guess |
| 2021-04-30 15:57:43 +0200 | <geekosaur> | pretty sure it relies on being able to do just that |
| 2021-04-30 15:57:52 +0200 | plutoniix | (~q@node-upe.pool-125-24.dynamic.totinternet.net) |
| 2021-04-30 15:58:03 +0200 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 2021-04-30 15:58:14 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-04-30 15:58:16 +0200 | <geekosaur> | to e.g. decode the value part of an Object which is itself an Object |
| 2021-04-30 15:58:31 +0200 | <tomsmeding> | perhaps you can write a general function, 'doubleDecode :: FromJSON a => ByteString -> Maybe a', which first decodes as ByteString and then uses the FromJSON instance to decode as an 'a' |
| 2021-04-30 15:58:40 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-30 15:59:09 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-30 16:00:07 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 16:00:14 +0200 | jgt | (~jgt@46.154.25.63) (Remote host closed the connection) |
| 2021-04-30 16:01:10 +0200 | <tomsmeding> | doubleDecode bs = (decode bs :: Maybe ByteString) >>= decode |
| 2021-04-30 16:01:26 +0200 | <tomsmeding> | the type annotation shouldn't even be necessary |
| 2021-04-30 16:01:45 +0200 | jgt | (~jgt@46.154.68.68) |
| 2021-04-30 16:01:46 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-30 16:01:55 +0200 | <tomsmeding> | 'doubleDecode = decode >=> decode' using (>=>) from Control.Monad |
| 2021-04-30 16:02:13 +0200 | tomsmeding | likes that expression |
| 2021-04-30 16:02:58 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 2021-04-30 16:03:11 +0200 | <biglama> | tomsmeding: I've tried to do it in the instance like this : https://paste.tomsmeding.com/6dkT4jXG |
| 2021-04-30 16:04:08 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-04-30 16:04:50 +0200 | <biglama> | It would work even if there are other fields ? Only one of them has the nested escaped... thing |
| 2021-04-30 16:05:02 +0200 | jespada | (~jespada@87.74.37.248) (Quit: Leaving) |
| 2021-04-30 16:05:28 +0200 | tomsmeding | is not familiar enough with aeson's parser language to answer that |
| 2021-04-30 16:05:46 +0200 | <geekosaur> | you would only write an explicit instance for that one field and take the (Generics) default for the rest, as I understand it |
| 2021-04-30 16:06:49 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-04-30 16:06:56 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
| 2021-04-30 16:10:12 +0200 | alx741 | (~alx741@181.196.68.89) |
| 2021-04-30 16:12:35 +0200 | <biglama> | That's what I've been trying to do, but without success |
| 2021-04-30 16:14:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 16:14:51 +0200 | malumore_ | (~malumore@151.62.115.54) (Ping timeout: 268 seconds) |
| 2021-04-30 16:15:37 +0200 | malumore_ | (~malumore@151.62.115.54) |
| 2021-04-30 16:16:04 +0200 | enthropy | (~aavogt@135-23-166-92.cpe.pppoe.ca) |
| 2021-04-30 16:19:28 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-30 16:19:33 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-30 16:19:50 +0200 | jgt | (~jgt@46.154.68.68) (Quit: WeeChat 2.9) |
| 2021-04-30 16:20:56 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-04-30 16:24:02 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-bodjmmiexpfrqdom) |
| 2021-04-30 16:27:34 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-30 16:29:41 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-30 16:30:10 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-zoclupkfjvlkftdp) |
| 2021-04-30 16:30:18 +0200 | pringlescan | (uid192736@gateway/web/irccloud.com/x-lenvtbpxunzhzodb) |
| 2021-04-30 16:31:42 +0200 | <biglama> | Thanks guys, i'll try my luck on stack overflow :) |
| 2021-04-30 16:33:32 +0200 | vilpan | (~0@212.117.1.172) (Ping timeout: 240 seconds) |
| 2021-04-30 16:33:48 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-04-30 16:34:54 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:61fb:ae9:64fb:f0ec) (Remote host closed the connection) |
| 2021-04-30 16:35:43 +0200 | kritzefitz_ | (~kritzefit@212.86.56.80) |
| 2021-04-30 16:36:43 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-04-30 16:37:11 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:1d3:5573:40ff:23bb) |
| 2021-04-30 16:38:09 +0200 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-30 16:40:25 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-30 16:43:05 +0200 | slack1256 | (~slack1256@191.113.245.191) |
| 2021-04-30 16:43:46 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-30 16:44:39 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) |
| 2021-04-30 16:44:50 +0200 | <slack1256> | Is there a way to load the test modules on `stack`? |
| 2021-04-30 16:44:57 +0200 | <slack1256> | I mean for the repl |
| 2021-04-30 16:47:03 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 16:47:26 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 16:47:47 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-30 16:49:01 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-04-30 16:49:20 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 16:49:37 +0200 | vilpan | (~0@212.117.1.172) |
| 2021-04-30 16:49:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-04-30 16:50:28 +0200 | <slack1256> | Nevermind, `stack ide targets` is golden. |
| 2021-04-30 16:51:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-30 16:54:01 +0200 | kuribas | (~user@ptr-25vy0i96tdwzmfpbump.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-04-30 16:54:19 +0200 | _bin | (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-04-30 16:55:41 +0200 | _bin | (~bin@2600:1700:10a1:38d0:318b:dcd9:cdc4:9ce1) |
| 2021-04-30 16:56:20 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-30 16:57:55 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:1d3:5573:40ff:23bb) (Read error: No route to host) |
| 2021-04-30 16:58:46 +0200 | dansho | (~dansho@ec2-13-231-153-158.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-04-30 16:59:13 +0200 | dansho | (~dansho@ec2-13-231-153-158.ap-northeast-1.compute.amazonaws.com) |
| 2021-04-30 17:01:19 +0200 | _bin | (~bin@2600:1700:10a1:38d0:318b:dcd9:cdc4:9ce1) (Ping timeout: 260 seconds) |
| 2021-04-30 17:01:41 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-04-30 17:02:29 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 2021-04-30 17:03:35 +0200 | ram19890 | (~ram@49.205.84.15) (Quit: Konversation terminated!) |
| 2021-04-30 17:05:28 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-04-30 17:06:14 +0200 | tomkap1 | (~tomkap@217.146.82.202) |
| 2021-04-30 17:08:30 +0200 | nonnotore | (~Username@151.41.57.75) |
| 2021-04-30 17:08:57 +0200 | nonnotore | (~Username@151.41.57.75) () |
| 2021-04-30 17:09:58 +0200 | ech | (~user@gateway/tor-sasl/ech) |
| 2021-04-30 17:10:49 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-30 17:11:36 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:8450:22e8:63bf:6919) |
| 2021-04-30 17:11:41 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-04-30 17:11:51 +0200 | wavemode | (~wavemode@097-070-075-143.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-04-30 17:13:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-30 17:14:08 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-04-30 17:14:49 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-04-30 17:16:17 +0200 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-04-30 17:17:11 +0200 | cortexauth | (~nyx@132.154.78.173) |
| 2021-04-30 17:20:47 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 17:21:38 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-30 17:22:20 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Quit: leaving) |
| 2021-04-30 17:22:35 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 17:23:15 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-04-30 17:23:35 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-30 17:25:20 +0200 | Wuzzy | (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) |
| 2021-04-30 17:26:46 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-30 17:27:21 +0200 | thblt | (~thblt@unaffiliated/thblt) |
| 2021-04-30 17:27:26 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Ping timeout: 246 seconds) |
| 2021-04-30 17:30:10 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-30 17:31:05 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) |
| 2021-04-30 17:32:13 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-30 17:32:37 +0200 | cortexauth | (~nyx@132.154.78.173) (Ping timeout: 252 seconds) |
| 2021-04-30 17:32:55 +0200 | plutoniix | (~q@node-upe.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2021-04-30 17:35:40 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) (Ping timeout: 276 seconds) |
| 2021-04-30 17:36:38 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-04-30 17:37:45 +0200 | Adam345 | (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-04-30 17:38:46 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-30 17:39:26 +0200 | Adam345 | (~textual@2.133.253.255) |
| 2021-04-30 17:39:54 +0200 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-04-30 17:40:19 +0200 | eacameron | (uid256985@gateway/web/irccloud.com/x-ejaxmxdimyqjymfh) |
| 2021-04-30 17:44:05 +0200 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-04-30 17:46:41 +0200 | Deide | (~Deide@217.155.19.23) |
| 2021-04-30 17:52:05 +0200 | cortexauth | (~cortexaut@2409:4053:2e1c:481d:ad5c:b5d6:d64d:e07a) |
| 2021-04-30 17:54:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 17:55:49 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Ping timeout: 276 seconds) |
| 2021-04-30 17:59:11 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-30 17:59:32 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-04-30 17:59:45 +0200 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-04-30 18:00:06 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-30 18:01:20 +0200 | <thblt> | I'm hitting a ghci error I really don't understand: https://paste.thb.lt/1619798378.hs.html I don't get why instance (Foldable f, ToMyMonad m) => ToMyMonad (f m) overlaps here --- or maybe I just don't get the error. |
| 2021-04-30 18:02:22 +0200 | proofofkeags | (~proofofke@205.209.28.54) |
| 2021-04-30 18:03:35 +0200 | <thblt> | Ignore the weird exclamation mark, it's a bug from the paste. I'm trying to fix it. |
| 2021-04-30 18:05:12 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-30 18:05:21 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-30 18:06:28 +0200 | enthropy | (~aavogt@135-23-166-92.cpe.pppoe.ca) (Ping timeout: 268 seconds) |
| 2021-04-30 18:07:35 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-04-30 18:08:03 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-04-30 18:08:49 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-04-30 18:09:33 +0200 | kritzefitz_ | (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds) |
| 2021-04-30 18:10:47 +0200 | gitgood | (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) |
| 2021-04-30 18:12:30 +0200 | gitgood | (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Remote host closed the connection) |
| 2021-04-30 18:12:50 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-04-30 18:13:22 +0200 | gitgood | (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) |
| 2021-04-30 18:14:18 +0200 | <thblt> | It's fixed. |
| 2021-04-30 18:14:23 +0200 | <opqdonut> | thblt: they overlap because the heads of the instances `MyMonad ()` and `f m` both match `MyMonad ()` aka `Maybe ()` |
| 2021-04-30 18:15:05 +0200 | <opqdonut> | that's the way GHC instance resolution works: it wants a unique instance to match, and _then_ it tries to satisfy the prerequisites of that instance (the stuff left of the => arrow) |
| 2021-04-30 18:15:17 +0200 | <opqdonut> | if you want it to track down multiple matching instances you want OverlappingInstances or some other extension |
| 2021-04-30 18:15:43 +0200 | <opqdonut> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/instances.html the docs for this are pretty good |
| 2021-04-30 18:16:04 +0200 | <thblt> | opqdonut: thank you! |
| 2021-04-30 18:17:05 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-30 18:17:37 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 2021-04-30 18:18:12 +0200 | pera_ | (~pera_@94.0.111.239) (Ping timeout: 240 seconds) |
| 2021-04-30 18:20:58 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-30 18:27:26 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-30 18:29:16 +0200 | whatisRT- | (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-04-30 18:31:03 +0200 | whatisRT | (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) |
| 2021-04-30 18:33:17 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-04-30 18:35:28 +0200 | pera_ | (~pera_@94.0.111.239) |
| 2021-04-30 18:37:56 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-04-30 18:39:41 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-30 18:39:43 +0200 | todda7 | (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2021-04-30 18:40:00 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-30 18:40:14 +0200 | p8m_ | (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-04-30 18:40:52 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds) |
| 2021-04-30 18:40:59 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-30 18:41:45 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-30 18:43:06 +0200 | pera_ | (~pera_@94.0.111.239) (Ping timeout: 260 seconds) |
| 2021-04-30 18:43:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 18:49:35 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:a1d0:cc63:6c36:9e1d) (Ping timeout: 260 seconds) |
| 2021-04-30 18:50:26 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:217e:c027:1f9b:648c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-30 18:51:30 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-30 18:51:41 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:217e:c027:1f9b:648c) |
| 2021-04-30 18:57:18 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-jnwqiticvjjkxczt) |
| 2021-04-30 18:59:26 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-30 18:59:31 +0200 | electricityZZZZ | (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 2021-04-30 19:02:14 +0200 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 2021-04-30 19:02:38 +0200 | letmein | (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) |
| 2021-04-30 19:03:19 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-30 19:06:19 +0200 | Tesseraction | (~Tesseract@unaffiliated/tesseraction) |
| 2021-04-30 19:09:24 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-30 19:17:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-30 19:17:46 +0200 | xenon- | (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-04-30 19:19:48 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-30 19:21:31 +0200 | zva | (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-04-30 19:22:46 +0200 | _bin | (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) |
| 2021-04-30 19:24:09 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-04-30 19:24:12 +0200 | <hololeap> | thblt: this also might be a good resource for you: https://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/ |
| 2021-04-30 19:25:03 +0200 | <jpe90> | Hi everyone, I have a beginner question |
| 2021-04-30 19:25:18 +0200 | vilpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2021-04-30 19:25:21 +0200 | <jpe90> | I'm studying an example from the Hutton book (https://paste.tomsmeding.com/UfWOndmM) and I'm trying to get a step-by-step understanding of how the expression is being evaluated. |
| 2021-04-30 19:25:50 +0200 | <jpe90> | The best way that I found was to load the file in ghci, place a breakpoint in main, then repeatedly enter :step, :list to see the current expression being evaluted, :force on unevaluated variables, and then substituting in the variables into the expression in the current step. |
| 2021-04-30 19:26:13 +0200 | <jpe90> | I found that a little cumbersome to do and was wondering if there's other options for viewing intermediate values of expressions as they're being evaluated. |
| 2021-04-30 19:26:22 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-30 19:27:05 +0200 | <geekosaur> | http://hackage.haskell.org/package/ghc-vis |
| 2021-04-30 19:28:19 +0200 | Adam345 | (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-04-30 19:29:26 +0200 | Adam345 | (~textual@2.133.253.255) |
| 2021-04-30 19:30:07 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-30 19:32:31 +0200 | <jpe90> | I did see that actually! I got an error message when I tried to install it with cabal earlier about being unable to resolve dependencies, I'll go back and give that another go |
| 2021-04-30 19:33:46 +0200 | Adam345 | (~textual@2.133.253.255) (Ping timeout: 240 seconds) |
| 2021-04-30 19:34:10 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-30 19:34:35 +0200 | <hololeap> | jpe90: you may want to try building it with stack, since that keeps the dependencies "locked" to some set that works |
| 2021-04-30 19:34:55 +0200 | <hololeap> | there is a stack.yaml in the source repo: https://github.com/def-/ghc-vis |
| 2021-04-30 19:35:09 +0200 | <monochrom> | I think the key is "pkg-config package librsvg-2.0>=2.16.0, not found in the pkg-config database". This cannot be solved by stack. |
| 2021-04-30 19:35:49 +0200 | <hololeap> | hm, i didn't see that |
| 2021-04-30 19:36:21 +0200 | <monochrom> | My model of "upon the words 'error message' the brain shuts down" has one more data point. |
| 2021-04-30 19:37:14 +0200 | <hololeap> | monochrom: where are you seeing this pkg-config error? |
| 2021-04-30 19:37:28 +0200 | <monochrom> | "cabal install --dry-run ghc-vis" |
| 2021-04-30 19:38:04 +0200 | <hololeap> | oh, ok, but their system might be different (they may have that library installed) |
| 2021-04-30 19:38:36 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 2021-04-30 19:42:44 +0200 | <thblt> | hololeap: thanks! |
| 2021-04-30 19:46:55 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-30 19:48:08 +0200 | <tomsmeding> | shapr: wasn't today #haskell's birthday? |
| 2021-04-30 19:48:32 +0200 | todda7 | (~torstein@athedsl-4519432.home.otenet.gr) |
| 2021-04-30 19:49:52 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds) |
| 2021-04-30 19:50:26 +0200 | dcoutts__ | (~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2021-04-30 19:54:56 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
| 2021-04-30 19:55:29 +0200 | <monochrom> | You will need eg ubuntu's librsvg2-dev and libgtk-3-dev. |
| 2021-04-30 19:56:22 +0200 | <monochrom> | And then svgcairo's Setup.hs wants Cabal<3.1. Use --allow-newer to overrule that. |
| 2021-04-30 19:56:25 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 2021-04-30 19:56:43 +0200 | cortexauth | (~cortexaut@2409:4053:2e1c:481d:ad5c:b5d6:d64d:e07a) (Ping timeout: 276 seconds) |
| 2021-04-30 19:57:09 +0200 | luite_ | (sid387799@gateway/web/irccloud.com/x-aaiogqabznlrzlnw) |
| 2021-04-30 19:57:20 +0200 | cortexauth | (~cortexaut@2409:4053:2183:bf4d:289d:8800:8463:c0c1) |
| 2021-04-30 19:57:50 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-04-30 19:58:56 +0200 | thevishy | (~Nishant@117.193.32.230) (Quit: Leaving) |
| 2021-04-30 20:00:51 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-30 20:01:26 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-04-30 20:01:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 20:01:48 +0200 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-04-30 20:02:24 +0200 | malumore_ | (~malumore@151.62.115.54) (Ping timeout: 268 seconds) |
| 2021-04-30 20:02:25 +0200 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 2021-04-30 20:04:21 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-04-30 20:04:28 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (*.net *.split) |
| 2021-04-30 20:04:28 +0200 | _bin | (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (*.net *.split) |
| 2021-04-30 20:04:28 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (*.net *.split) |
| 2021-04-30 20:04:28 +0200 | gitgood | (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (*.net *.split) |
| 2021-04-30 20:04:28 +0200 | proofofkeags | (~proofofke@205.209.28.54) (*.net *.split) |
| 2021-04-30 20:04:28 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (*.net *.split) |
| 2021-04-30 20:04:29 +0200 | dansho | (~dansho@ec2-13-231-153-158.ap-northeast-1.compute.amazonaws.com) (*.net *.split) |
| 2021-04-30 20:04:30 +0200 | Uma | (~uma@umazalakain.info) (*.net *.split) |
| 2021-04-30 20:04:30 +0200 | Guest85534 | (~textual@mskresolve-a.mskcc.org) (*.net *.split) |
| 2021-04-30 20:04:30 +0200 | mniip | (mniip@freenode/staff/mniip) (*.net *.split) |
| 2021-04-30 20:04:30 +0200 | yahb | (~yahb@haskell/bot/yahb) (*.net *.split) |
| 2021-04-30 20:04:30 +0200 | shailangsa | (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) (*.net *.split) |
| 2021-04-30 20:04:30 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (*.net *.split) |
| 2021-04-30 20:04:31 +0200 | random | (~random@46.254.129.126) (*.net *.split) |
| 2021-04-30 20:04:31 +0200 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) (*.net *.split) |
| 2021-04-30 20:04:31 +0200 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) (*.net *.split) |
| 2021-04-30 20:04:31 +0200 | xsperry | (~as@unaffiliated/xsperry) (*.net *.split) |
| 2021-04-30 20:04:31 +0200 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (*.net *.split) |
| 2021-04-30 20:04:31 +0200 | frobnicator | (~frobnicat@185-227-75-147.dsl.cambrium.nl) (*.net *.split) |
| 2021-04-30 20:04:31 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (*.net *.split) |
| 2021-04-30 20:04:32 +0200 | is_null | (~jpic@pdpc/supporter/professional/is-null) (*.net *.split) |
| 2021-04-30 20:04:32 +0200 | mapperr | (~mapperr@vmi389916.contaboserver.net) (*.net *.split) |
| 2021-04-30 20:04:32 +0200 | hololeap | (hololeap@gateway/vpn/protonvpn/hololeap) (*.net *.split) |
| 2021-04-30 20:04:33 +0200 | tanuki_ | (~quassel@173.168.178.1) (*.net *.split) |
| 2021-04-30 20:04:33 +0200 | tomboy64 | (~tomboy64@unaffiliated/tomboy64) (*.net *.split) |
| 2021-04-30 20:04:33 +0200 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) (*.net *.split) |
| 2021-04-30 20:04:34 +0200 | lemald | (~eddie@capybara.lemald.org) (*.net *.split) |
| 2021-04-30 20:04:34 +0200 | LambdaDuck | (~anka@ksit.fixme.fi) (*.net *.split) |
| 2021-04-30 20:04:35 +0200 | sagax | (~sagax_nb@213.138.71.146) (*.net *.split) |
| 2021-04-30 20:04:35 +0200 | Arahael | (~arahael@123-243-38-74.tpgi.com.au) (*.net *.split) |
| 2021-04-30 20:04:35 +0200 | _xor | (~xor@74.215.46.133) (*.net *.split) |
| 2021-04-30 20:04:36 +0200 | urdh | (~urdh@unaffiliated/urdh) (*.net *.split) |
| 2021-04-30 20:04:36 +0200 | sudden | (~lax@unaffiliated/laxask) (*.net *.split) |
| 2021-04-30 20:04:37 +0200 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) (*.net *.split) |
| 2021-04-30 20:04:37 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (*.net *.split) |
| 2021-04-30 20:04:37 +0200 | Ekho | (~Ekho@unaffiliated/ekho) (*.net *.split) |
| 2021-04-30 20:04:39 +0200 | luite | (sid387799@gateway/web/irccloud.com/x-jstlojjciwjquony) (*.net *.split) |
| 2021-04-30 20:04:39 +0200 | mcglk | (~textual@131.191.49.120) (*.net *.split) |
| 2021-04-30 20:04:39 +0200 | luite_ | luite |
| 2021-04-30 20:05:49 +0200 | Arahael | (~arahael@123-243-38-74.tpgi.com.au) |
| 2021-04-30 20:06:25 +0200 | <jlv> | Is there any way to remove a repository in `cabal.project`, or otherwise disable Cabal from trying to manage dependencies? I want all dependencies managed by my Nix shell, for reproducibility and consistency between `nix-build` and Cabal builds. |
| 2021-04-30 20:06:52 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 254 seconds) |
| 2021-04-30 20:06:57 +0200 | Wuzzy | (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2021-04-30 20:07:10 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-30 20:07:10 +0200 | _bin | (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) |
| 2021-04-30 20:07:10 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-30 20:07:10 +0200 | gitgood | (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) |
| 2021-04-30 20:07:10 +0200 | proofofkeags | (~proofofke@205.209.28.54) |
| 2021-04-30 20:07:10 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-04-30 20:07:10 +0200 | dansho | (~dansho@ec2-13-231-153-158.ap-northeast-1.compute.amazonaws.com) |
| 2021-04-30 20:07:10 +0200 | Uma | (~uma@umazalakain.info) |
| 2021-04-30 20:07:10 +0200 | Guest85534 | (~textual@mskresolve-a.mskcc.org) |
| 2021-04-30 20:07:10 +0200 | mniip | (mniip@freenode/staff/mniip) |
| 2021-04-30 20:07:10 +0200 | yahb | (~yahb@haskell/bot/yahb) |
| 2021-04-30 20:07:10 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-30 20:07:10 +0200 | random | (~random@46.254.129.126) |
| 2021-04-30 20:07:10 +0200 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-04-30 20:07:10 +0200 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-04-30 20:07:10 +0200 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-04-30 20:07:10 +0200 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2021-04-30 20:07:10 +0200 | frobnicator | (~frobnicat@185-227-75-147.dsl.cambrium.nl) |
| 2021-04-30 20:07:10 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-04-30 20:07:10 +0200 | is_null | (~jpic@pdpc/supporter/professional/is-null) |
| 2021-04-30 20:07:10 +0200 | mapperr | (~mapperr@vmi389916.contaboserver.net) |
| 2021-04-30 20:07:10 +0200 | hololeap | (hololeap@gateway/vpn/protonvpn/hololeap) |
| 2021-04-30 20:07:10 +0200 | tanuki_ | (~quassel@173.168.178.1) |
| 2021-04-30 20:07:10 +0200 | tomboy64 | (~tomboy64@unaffiliated/tomboy64) |
| 2021-04-30 20:07:10 +0200 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 2021-04-30 20:07:10 +0200 | lemald | (~eddie@capybara.lemald.org) |
| 2021-04-30 20:07:10 +0200 | LambdaDuck | (~anka@ksit.fixme.fi) |
| 2021-04-30 20:07:10 +0200 | sagax | (~sagax_nb@213.138.71.146) |
| 2021-04-30 20:07:10 +0200 | _xor | (~xor@74.215.46.133) |
| 2021-04-30 20:07:10 +0200 | urdh | (~urdh@unaffiliated/urdh) |
| 2021-04-30 20:07:10 +0200 | sudden | (~lax@unaffiliated/laxask) |
| 2021-04-30 20:07:10 +0200 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 2021-04-30 20:07:10 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-04-30 20:07:15 +0200 | thunderrd | (~thunderrd@183.182.115.196) (Ping timeout: 265 seconds) |
| 2021-04-30 20:07:27 +0200 | <maerwald> | jlv: remove cabal.project |
| 2021-04-30 20:07:37 +0200 | sagax | (~sagax_nb@213.138.71.146) (Max SendQ exceeded) |
| 2021-04-30 20:07:37 +0200 | tanuki_ | (~quassel@173.168.178.1) (Max SendQ exceeded) |
| 2021-04-30 20:07:38 +0200 | is_null | (~jpic@pdpc/supporter/professional/is-null) (Max SendQ exceeded) |
| 2021-04-30 20:07:55 +0200 | is_null | (~jpic@pdpc/supporter/professional/is-null) |
| 2021-04-30 20:08:10 +0200 | <sclv> | v1 build works for this |
| 2021-04-30 20:08:42 +0200 | <sclv> | or use a patched ~/.cabal/config |
| 2021-04-30 20:08:50 +0200 | Guest36338 | dsal |
| 2021-04-30 20:08:54 +0200 | tanuki | (~quassel@173.168.178.1) |
| 2021-04-30 20:08:54 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-30 20:09:04 +0200 | <jlv> | maerwald: that would still leave the default hackage.haskell.org repository. |
| 2021-04-30 20:09:09 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-rueswbcyoxegdjny) (Quit: Connection closed for inactivity) |
| 2021-04-30 20:09:36 +0200 | <dsal> | Does anyone know how to get aeson to parse consecutive objects? e.g., "[1][2]" as [[1], [2]] ? I can get the first one, but then it's done. |
| 2021-04-30 20:09:58 +0200 | <sclv> | jlv oh new active repositories stuff! |
| 2021-04-30 20:09:58 +0200 | <sclv> | https://cabal.readthedocs.io/en/3.4/cabal-project.html?highlight=offline#cfg-field-active-reposito… |
| 2021-04-30 20:10:26 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
| 2021-04-30 20:11:00 +0200 | <pavonia> | tomsmeding: ChanServ says "Registered : Apr 30 22:22:56 2001 (20y 0w 4d ago)" |
| 2021-04-30 20:11:01 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b95722c5bb32012e463b2.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2021-04-30 20:11:25 +0200 | <tomsmeding> | :D |
| 2021-04-30 20:11:55 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-04-30 20:11:55 +0200 | <tomsmeding> | interesting day count, ChanServ thinks that a year is always 365 days? |
| 2021-04-30 20:12:27 +0200 | argento | (~argent0@168.227.97.29) |
| 2021-04-30 20:12:30 +0200 | <jlv> | sclv: that looks like exactly what I want! My Cabal is a little old, so I'll have to update before I can test. |
| 2021-04-30 20:12:52 +0200 | <sclv> | yeah, didn't realize that this feature was finally in, in a non hack way |
| 2021-04-30 20:13:00 +0200 | <sclv> | looking forward to using it for $WORK myself |
| 2021-04-30 20:14:40 +0200 | <Cale> | dsal: Wait, how do you get the first one? |
| 2021-04-30 20:15:14 +0200 | <sclv> | i think its incremental... |
| 2021-04-30 20:15:32 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-30 20:15:33 +0200 | <dsal> | Cale: I get the first one with `decodeWith json fromJSON "[1][2]" :: Maybe [Int]` -- but I can't seem to convince it to keep going. |
| 2021-04-30 20:16:09 +0200 | <dsal> | e.g., `(some json)` is a type error. I'm trying to find the magic path to running the parser on some input and then like, doing it again. |
| 2021-04-30 20:16:33 +0200 | <seven_three> | what do the `@` signs in this instance declaration mean? http://dpaste.com/D8PNLNSSD |
| 2021-04-30 20:17:11 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-30 20:17:52 +0200 | <Cale> | seven_three: Those are type applications, typeOf @a means "use the instance of typeOf for a" |
| 2021-04-30 20:17:56 +0200 | Ekho | (~Ekho@unaffiliated/ekho) |
| 2021-04-30 20:18:03 +0200 | <Cale> | Otherwise it would be ambiguous |
| 2021-04-30 20:18:15 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-30 20:18:26 +0200 | <Cale> | dsal: Yeah, the problem is that it doesn't seem like any of aeson's stuff lets you get the remainder of the string on success |
| 2021-04-30 20:18:42 +0200 | <Cale> | I'm a little surprised you can get a successful parse with trailing characters even |
| 2021-04-30 20:18:45 +0200 | <dsal> | OK. That's at least consistent with what I was seeing. |
| 2021-04-30 20:18:48 +0200 | jalumar | (uid392211@gateway/web/irccloud.com/x-ofkpfpmpkgpnecis) |
| 2021-04-30 20:18:52 +0200 | <seven_three> | Cale: Ok I see |
| 2021-04-30 20:19:09 +0200 | <dsal> | The default implementation of decode uses `jsonEOF` so it requires the EOF. That construct at least got me to stop at the end of a valid object. |
| 2021-04-30 20:19:18 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-30 20:19:30 +0200 | <dsal> | It looks like my input has one thing per line, so I guess I've got that going for me. |
| 2021-04-30 20:19:57 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-30 20:20:19 +0200 | thunderrd | (~thunderrd@183.182.110.252) |
| 2021-04-30 20:20:58 +0200 | <Cale> | seven_three: Are you familiar with forall in types? |
| 2021-04-30 20:22:52 +0200 | <Cale> | seven_three: You can think of "forall a." in a type as being somewhat like a function arrow, saying that in order to use this thing, the type 'a' must be provided as an argument. Usually that argument is supplied implicitly, filled in by the compiler and type inference. |
| 2021-04-30 20:22:59 +0200 | <seven_three> | Cale: I am familiar with it being implicit but I do not understand its significance |
| 2021-04-30 20:23:08 +0200 | <Cale> | Type applications let you do that explicitly |
| 2021-04-30 20:23:18 +0200 | <Cale> | ah, okay |
| 2021-04-30 20:23:26 +0200 | <shapr> | tomsmeding: yes it is! I got distracted by life things |
| 2021-04-30 20:23:34 +0200 | <shapr> | happy birthday #haskell ! twenty years old today! |
| 2021-04-30 20:23:54 +0200 | <tomsmeding> | 🎉 |
| 2021-04-30 20:23:58 +0200 | <Cale> | Oh wow |
| 2021-04-30 20:24:40 +0200 | <tomsmeding> | who brings the cake |
| 2021-04-30 20:24:45 +0200 | <seven_three> | Cale: Oh so the issue goes back to the the `TypeOf a` class because `typeOf :: String` does not use the a |
| 2021-04-30 20:25:41 +0200 | <Cale> | Yeah, and the full type of typeOf (as seen from outside the class specification) would end up being forall a. TypeOf a => String |
| 2021-04-30 20:26:13 +0200 | joncol | (~jco@c83-248-173-38.bredband.comhem.se) |
| 2021-04-30 20:26:31 +0200 | <Cale> | and yeah, since the 'a' doesn't otherwise occur in the type there, if you didn't provide it explicitly, there'd be no way to infer what it was meant to be |
| 2021-04-30 20:26:45 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-30 20:26:46 +0200 | <shapr> | my plan was to reboot IOHCC today, but I need at least one more judge, probably three more |
| 2021-04-30 20:26:55 +0200 | <shapr> | Cale: want to be a judge for IOHCC entries? |
| 2021-04-30 20:26:57 +0200 | <Cale> | So this class specification basically forces the use of type applications to be usable at all |
| 2021-04-30 20:27:04 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-30 20:27:27 +0200 | <Cale> | That might be fun, what do I have to do? |
| 2021-04-30 20:27:29 +0200 | <seven_three> | Cale: How does saying `typeOf @a` allow ghc to infer the type? |
| 2021-04-30 20:27:48 +0200 | <shapr> | Cale: you have to score submissions by wtf count, and the highest count wins. |
| 2021-04-30 20:27:52 +0200 | <Cale> | haha |
| 2021-04-30 20:27:55 +0200 | <Cale> | sure |
| 2021-04-30 20:28:16 +0200 | orion | (~orion@c-76-19-236-20.hsd1.ct.comcast.net) |
| 2021-04-30 20:28:16 +0200 | orion | (~orion@c-76-19-236-20.hsd1.ct.comcast.net) (Changing host) |
| 2021-04-30 20:28:16 +0200 | orion | (~orion@unaffiliated/orion) |
| 2021-04-30 20:28:16 +0200 | <shapr> | ok, now I need one more |
| 2021-04-30 20:28:25 +0200 | <shapr> | ski: do you want to be an IOHCC judge? |
| 2021-04-30 20:28:26 +0200 | <Cale> | seven_three: So, it's a bit confusing because we're specifying the type to be something which is yet another type variable |
| 2021-04-30 20:28:32 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-04-30 20:29:06 +0200 | <Cale> | seven_three: But it's a type variable which is bound in this context -- it's the type of the first component of the pairs we're writing an instance for |
| 2021-04-30 20:29:08 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-04-30 20:29:54 +0200 | <Cale> | seven_three: You could write something like typeOf @Char of course, which would then look up the instance for Char and use that |
| 2021-04-30 20:30:08 +0200 | shailangsa | (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) |
| 2021-04-30 20:30:14 +0200 | <Cale> | But in this case, we're going to need an instance for TypeOf a |
| 2021-04-30 20:30:18 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-30 20:30:25 +0200 | <seven_three> | ohh now I see it! |
| 2021-04-30 20:30:28 +0200 | <Cale> | and thankfully, the constraint in our instance head gives us one |
| 2021-04-30 20:31:04 +0200 | <sclv> | dsal: try running the parser explicitlyish |
| 2021-04-30 20:31:05 +0200 | <sclv> | https://hackage.haskell.org/package/attoparsec-0.13.2.5/docs/Data-Attoparsec-ByteString.html#t:Par… |
| 2021-04-30 20:32:21 +0200 | <Cale> | sclv: ohhh, right, aeson uses attoparsec under the hood, forgot about that :) |
| 2021-04-30 20:32:56 +0200 | <Cale> | That'll definitely let you do incremental parsing then |
| 2021-04-30 20:32:59 +0200 | <sclv> | meant to link to this actually, for the instance of the parser https://hackage.haskell.org/package/aeson-1.5.6.0/docs/Data-Aeson-Parser.html |
| 2021-04-30 20:33:32 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds) |
| 2021-04-30 20:35:39 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 20:35:41 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-30 20:39:13 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:217e:c027:1f9b:648c) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-30 20:40:53 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-30 20:41:04 +0200 | jess | (jess@freenode/staff/jess) () |
| 2021-04-30 20:42:44 +0200 | darjeeling_ | (~darjeelin@122.245.217.205) (Ping timeout: 246 seconds) |
| 2021-04-30 20:43:36 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-04-30 20:44:22 +0200 | malumore_ | (~malumore@151.62.115.54) |
| 2021-04-30 20:48:06 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-04-30 20:51:02 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-30 20:51:34 +0200 | letmein | (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Quit: letmein) |
| 2021-04-30 20:52:01 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-04-30 20:54:25 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-04-30 20:56:02 +0200 | darjeeling_ | (~darjeelin@115.215.40.212) |
| 2021-04-30 20:56:39 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-04-30 20:58:48 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 20:59:11 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-30 20:59:32 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-04-30 21:01:15 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-30 21:02:00 +0200 | letmein | (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) |
| 2021-04-30 21:05:20 +0200 | dan64- | (~dan64@dannyadam.com) |
| 2021-04-30 21:06:07 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-30 21:08:06 +0200 | dan64 | (~dan64@dannyadam.com) (Ping timeout: 240 seconds) |
| 2021-04-30 21:10:41 +0200 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 2021-04-30 21:12:37 +0200 | <dsal> | Ohh... That's the thing I was looking for and missing. Thanks! |
| 2021-04-30 21:12:50 +0200 | <dsal> | I forgot it's just attoparsec |
| 2021-04-30 21:15:31 +0200 | cortexauth | (~cortexaut@2409:4053:2183:bf4d:289d:8800:8463:c0c1) (Ping timeout: 250 seconds) |
| 2021-04-30 21:15:38 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-04-30 21:15:43 +0200 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-30 21:16:10 +0200 | cortexauth | (~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388) |
| 2021-04-30 21:17:34 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-04-30 21:17:40 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-30 21:20:06 +0200 | joncol | (~jco@c83-248-173-38.bredband.comhem.se) (Ping timeout: 268 seconds) |
| 2021-04-30 21:20:40 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-30 21:20:46 +0200 | malumore_ | (~malumore@151.62.115.54) (Ping timeout: 260 seconds) |
| 2021-04-30 21:21:04 +0200 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-04-30 21:22:43 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-30 21:23:09 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-30 21:23:10 +0200 | letmein | (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Ping timeout: 276 seconds) |
| 2021-04-30 21:25:57 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-04-30 21:26:36 +0200 | robotmay | (~beepboop@2001:8b0:7af0:2580:94a2:bb95:e8d4:22af) (Remote host closed the connection) |
| 2021-04-30 21:27:55 +0200 | robotmay | (~beepboop@2001:8b0:7af0:2580:df9:a82d:b905:b9d2) |
| 2021-04-30 21:29:51 +0200 | vent | (~vent@185.62.190.213) (Quit: ZNC - http://znc.in) |
| 2021-04-30 21:31:08 +0200 | <biglama> | geekosaur: tomsmeding: For my nested JSON issue, I've got an answer on SO : https://stackoverflow.com/questions/67335775/reading-nested-json-data-encoded-as-a-nested-string-w… |
| 2021-04-30 21:31:33 +0200 | <biglama> | Basically, you can call decode on the instance, I just was confused by the data type it needed |
| 2021-04-30 21:32:12 +0200 | todda7 | (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-04-30 21:33:37 +0200 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 2021-04-30 21:35:17 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-04-30 21:37:04 +0200 | <davean> | biglama: you might like http://hackage.haskell.org/package/aeson-filthy-0.1.4/docs/Data-Aeson-Filthy.html |
| 2021-04-30 21:37:18 +0200 | <davean> | biglama: make you life a lot easier perhaps! |
| 2021-04-30 21:37:42 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b95037456cb0444e0d02f.dip0.t-ipconnect.de) |
| 2021-04-30 21:38:09 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-30 21:40:01 +0200 | __minoru__shirae | (~shiraeesh@109.166.56.124) |
| 2021-04-30 21:40:05 +0200 | chele | (~chele@5.53.222.202) (Remote host closed the connection) |
| 2021-04-30 21:40:39 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.47) (Ping timeout: 252 seconds) |
| 2021-04-30 21:41:37 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-04-30 21:41:55 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-30 21:42:46 +0200 | <biglama> | davean: this looks nice but I can't install it with stack it seems :/ |
| 2021-04-30 21:45:42 +0200 | <davean> | Oh haha, stack. No idea |
| 2021-04-30 21:46:15 +0200 | <int-e> | davean: now that's a cute package name |
| 2021-04-30 21:46:44 +0200 | <davean> | int-e: yah, turns out theres a LOT of bad aeson out there. |
| 2021-04-30 21:46:52 +0200 | <davean> | er, JSON |
| 2021-04-30 21:47:08 +0200 | <int-e> | maybe both |
| 2021-04-30 21:47:18 +0200 | <davean> | int-e: Alec and I have gotten a lot of milage out of that package. |
| 2021-04-30 21:48:06 +0200 | <tomsmeding> | eww |
| 2021-04-30 21:49:11 +0200 | <biglama> | Anyway, thanks. Everyone was so helpful today, it's quite incredible :D |
| 2021-04-30 21:52:48 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-04-30 21:53:11 +0200 | <tomsmeding> | biglama: it's #haskell's 20th birthday today, maybe it inspired people :) |
| 2021-04-30 21:54:57 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 252 seconds) |
| 2021-04-30 21:55:11 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-04-30 21:55:28 +0200 | zva | (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) |
| 2021-04-30 22:03:56 +0200 | pi2 | (~pi@89-72-187-203.dynamic.chello.pl) |
| 2021-04-30 22:04:04 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-30 22:04:27 +0200 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-30 22:04:55 +0200 | pi2 | oo_miguel |
| 2021-04-30 22:05:51 +0200 | petersen | (~petersen@redhat/juhp) (Ping timeout: 265 seconds) |
| 2021-04-30 22:07:06 +0200 | Wuzzy | (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) |
| 2021-04-30 22:07:11 +0200 | oo_miguel | (~pi@89-72-187-203.dynamic.chello.pl) (Client Quit) |
| 2021-04-30 22:07:11 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2021-04-30 22:07:13 +0200 | petersen | (~petersen@redhat/juhp) |
| 2021-04-30 22:07:29 +0200 | pi2 | (~pi@89-72-187-203.dynamic.chello.pl) |
| 2021-04-30 22:07:33 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-04-30 22:07:50 +0200 | pi2 | (~pi@89-72-187-203.dynamic.chello.pl) (Client Quit) |
| 2021-04-30 22:08:04 +0200 | oo_miguel | (~pi@89-72-187-203.dynamic.chello.pl) |
| 2021-04-30 22:08:17 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-04-30 22:08:51 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-04-30 22:09:15 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-04-30 22:10:46 +0200 | maralorn | (maralornma@gateway/shell/matrix.org/x-datqfgpfnslndhmi) (Quit: issued !quit command) |
| 2021-04-30 22:12:40 +0200 | <biglama> | Happy birthday then ! |
| 2021-04-30 22:14:27 +0200 | letmein | (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) |
| 2021-04-30 22:14:31 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-30 22:14:58 +0200 | maralorn | (maralornma@gateway/shell/matrix.org/x-mkcwpfwlappvvein) |
| 2021-04-30 22:16:41 +0200 | argento | (~argent0@168.227.97.29) (Ping timeout: 240 seconds) |
| 2021-04-30 22:19:23 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-30 22:20:24 +0200 | <thblt> | If someone knows a joke about immutable cakes, the moment is right now. |
| 2021-04-30 22:20:53 +0200 | <pjb> | You can eat your cake and have it. |
| 2021-04-30 22:21:18 +0200 | <koala_man> | nice |
| 2021-04-30 22:22:06 +0200 | <pjb> | The other day, I found a April's Fool joke, but I have to wait next April 1st to tell it :-/ |
| 2021-04-30 22:22:12 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-30 22:24:35 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-04-30 22:25:51 +0200 | Mrbuck_ | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-30 22:26:28 +0200 | Mrbuck_ | (~Mrbuck@gateway/tor-sasl/mrbuck) (Client Quit) |
| 2021-04-30 22:26:41 +0200 | Mrbuck_ | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-30 22:26:58 +0200 | <hpc> | this joke doesn't work for communist cakes because they're controlled by the state :P |
| 2021-04-30 22:28:19 +0200 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-30 22:29:09 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds) |
| 2021-04-30 22:30:49 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-30 22:31:44 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 22:31:47 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-30 22:31:54 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-30 22:32:45 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 22:34:51 +0200 | rodriga | (~quassel@134.204.25.66) (Ping timeout: 265 seconds) |
| 2021-04-30 22:34:55 +0200 | isd | (zenhackmat@gateway/shell/matrix.org/x-ldodnpkwkyhiluzj) |
| 2021-04-30 22:35:05 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 246 seconds) |
| 2021-04-30 22:35:58 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-04-30 22:36:18 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-04-30 22:36:23 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-30 22:36:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 22:36:52 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-30 22:37:01 +0200 | dilinger | (~dilinger@spindle.queued.net) (Ping timeout: 245 seconds) |
| 2021-04-30 22:37:08 +0200 | dilinger | (~dilinger@spindle.queued.net) |
| 2021-04-30 22:37:13 +0200 | <isd> | Is there a way (through some combination of extensions) to derive the classes in Data.Functor.Classes? |
| 2021-04-30 22:43:08 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-30 22:44:02 +0200 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 265 seconds) |
| 2021-04-30 22:44:29 +0200 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-04-30 22:47:27 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-30 22:47:37 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 260 seconds) |
| 2021-04-30 22:48:40 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-30 22:49:26 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-04-30 22:50:56 +0200 | Mrbuck_ | mrbuck |
| 2021-04-30 22:52:04 +0200 | dmwit | (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-04-30 22:52:26 +0200 | sdrodge_ | (~sdrodge@unaffiliated/sdrodge) |
| 2021-04-30 22:53:19 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-04-30 22:54:11 +0200 | dmwit | (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) |
| 2021-04-30 22:54:14 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-30 22:54:27 +0200 | sdrodge | (~sdrodge@unaffiliated/sdrodge) (Ping timeout: 268 seconds) |
| 2021-04-30 22:55:47 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 248 seconds) |
| 2021-04-30 22:56:27 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-04-30 22:57:09 +0200 | ADG1089 | (~aditya@223.226.237.158) |
| 2021-04-30 23:01:20 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-30 23:01:31 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 252 seconds) |
| 2021-04-30 23:03:57 +0200 | <hololeap> | isd, possibly |
| 2021-04-30 23:04:12 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 240 seconds) |
| 2021-04-30 23:04:21 +0200 | <hololeap> | for instance GeneralizedNewtypeDeriving or DerivingVia |
| 2021-04-30 23:04:24 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-04-30 23:05:29 +0200 | alfianguide | (67692375@103.105.35.117) |
| 2021-04-30 23:05:48 +0200 | <alfianguide> | Hi guys, so I've been read about pointfree |
| 2021-04-30 23:09:06 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-30 23:09:12 +0200 | <monochrom> | pjb: Haha great about that cake. |
| 2021-04-30 23:09:15 +0200 | <hololeap> | alfianguide: what's your point? :p |
| 2021-04-30 23:09:23 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-04-30 23:09:45 +0200 | <monochrom> | haha |
| 2021-04-30 23:10:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-30 23:12:22 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-30 23:13:28 +0200 | <hololeap> | isd: it looks like there is also a package that will give you equivalents to the functions in Data.Functor.Classes, if your data type has a Generic instance |
| 2021-04-30 23:13:36 +0200 | <hololeap> | https://hackage.haskell.org/package/generic-data-0.1.1.0/docs/Generic-Data.html#g:15 |
| 2021-04-30 23:13:37 +0200 | proofofkeags | (~proofofke@205.209.28.54) (Ping timeout: 252 seconds) |
| 2021-04-30 23:13:40 +0200 | argento | (~argent0@168.227.97.29) |
| 2021-04-30 23:14:34 +0200 | <hololeap> | so you could use that to write e.g. instance Eq1 MyThing where liftEq = gLiftEq |
| 2021-04-30 23:14:45 +0200 | Guest85534 | (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-30 23:15:25 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 268 seconds) |
| 2021-04-30 23:15:29 +0200 | alfianguide | (67692375@103.105.35.117) (Quit: Ping timeout (120 seconds)) |
| 2021-04-30 23:16:07 +0200 | mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-04-30 23:16:30 +0200 | OscarZ | (~oscarz@95.175.104.49) |
| 2021-04-30 23:16:41 +0200 | alfianguide | (67692375@103.105.35.117) |
| 2021-04-30 23:16:41 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 240 seconds) |
| 2021-04-30 23:16:48 +0200 | <alfianguide> | So |
| 2021-04-30 23:16:52 +0200 | hiroaki | (~hiroaki@2a02:908:4b18:8c40:3267:9995:ede7:c222) |
| 2021-04-30 23:17:02 +0200 | <alfianguide> | I wonder how to pass multiple params to this pointfree style? |
| 2021-04-30 23:17:21 +0200 | <alfianguide> | I found it as just one param reduction a.k.a eta-reduction |
| 2021-04-30 23:17:31 +0200 | <tomsmeding> | @pl \x y z -> f z y x |
| 2021-04-30 23:17:31 +0200 | <lambdabot> | flip (flip . flip f) |
| 2021-04-30 23:17:39 +0200 | Guest34364 | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 248 seconds) |
| 2021-04-30 23:17:59 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-04-30 23:18:15 +0200 | <alfianguide> | Tomsmeding r u replying me? |
| 2021-04-30 23:18:20 +0200 | <tomsmeding> | kind of :p |
| 2021-04-30 23:18:41 +0200 | <tomsmeding> | you do it by using lots of (.) and flip and join |
| 2021-04-30 23:18:43 +0200 | <alfianguide> | But that's lambda isn't it? You have to write the params? |
| 2021-04-30 23:18:48 +0200 | <tomsmeding> | and by making your code unreadable |
| 2021-04-30 23:18:52 +0200 | mrchampion | (~mrchampio@38.18.109.23) (Ping timeout: 276 seconds) |
| 2021-04-30 23:18:55 +0200 | <alfianguide> | Lambdabot is that how? |
| 2021-04-30 23:18:58 +0200 | <tomsmeding> | :t flip (flip . flip f) |
| 2021-04-30 23:19:00 +0200 | <lambdabot> | (Show a, Show b1, Show b2, FromExpr c) => b2 -> b1 -> a -> c |
| 2021-04-30 23:19:09 +0200 | <tomsmeding> | (lambdabot is a bot) |
| 2021-04-30 23:19:21 +0200 | <tomsmeding> | :t \f -> flip (flip . flip f) |
| 2021-04-30 23:19:22 +0200 | <lambdabot> | (a -> b1 -> b2 -> c) -> b2 -> b1 -> a -> c |
| 2021-04-30 23:19:24 +0200 | <alfianguide> | Omg haha |
| 2021-04-30 23:19:25 +0200 | <tomsmeding> | better |
| 2021-04-30 23:19:35 +0200 | <alfianguide> | So you're invoking the pointfree converter |
| 2021-04-30 23:19:39 +0200 | <hololeap> | alfianguide: in general, that is true because of the type of (.) ; you would need something like with the type like this to use more than one param: (c -> d) -> (a -> b -> c) -> a -> b -> d |
| 2021-04-30 23:19:44 +0200 | <tomsmeding> | see also http://pointfree.io/ |
| 2021-04-30 23:20:38 +0200 | <alfianguide> | I'm sorry is there real example? |
| 2021-04-30 23:21:02 +0200 | <hololeap> | @hoogle (c -> d) -> (a -> b -> c) -> a -> b -> d |
| 2021-04-30 23:21:03 +0200 | <lambdabot> | Util (??) :: (c -> d) -> (a -> b -> c) -> a -> b -> d |
| 2021-04-30 23:21:03 +0200 | <lambdabot> | Data.Composition (.:) :: (c -> d) -> (a -> b -> c) -> a -> b -> d |
| 2021-04-30 23:21:03 +0200 | <lambdabot> | Data.Composition (.*) :: (c -> d) -> (a -> b -> c) -> a -> b -> d |
| 2021-04-30 23:21:20 +0200 | <alfianguide> | Oh my, nice bot. |
| 2021-04-30 23:21:25 +0200 | <tomsmeding> | if the pointfree conversion doesn't seem evident to you, it's probably better (in the interest of readable code) to not make your code pointfree :) |
| 2021-04-30 23:21:40 +0200 | <geekosaur> | and sometimes when it is evident to you |
| 2021-04-30 23:21:51 +0200 | <tomsmeding> | unless, of course, this is a question born out of curiosity and having fun |
| 2021-04-30 23:21:55 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-30 23:21:57 +0200 | <alfianguide> | Oh, so be it, I thought it's must be pointfree to be considered good haskell code |
| 2021-04-30 23:22:02 +0200 | <geekosaur> | nope |
| 2021-04-30 23:22:13 +0200 | <tomsmeding> | in which case, https://wiki.haskell.org/Pointfree#Combinator_discoveries |
| 2021-04-30 23:22:26 +0200 | <tomsmeding> | alfianguide: no by all means not |
| 2021-04-30 23:22:46 +0200 | <geekosaur> | even we like readable code, and pointfree tends to be unreadable by humans. the compiler likes it, but programs need to be readable by programmers to be maintainable |
| 2021-04-30 23:22:51 +0200 | alfianguide79 | (67692343@103.105.35.67) |
| 2021-04-30 23:22:53 +0200 | <tomsmeding> | sometimes, not often, having less "points" (explicit) variables makes the code more readable |
| 2021-04-30 23:23:21 +0200 | <monochrom> | I don't think the compiler likes it either. |
| 2021-04-30 23:23:27 +0200 | <alfianguide79> | Yeah that's true, I've just do eta-reduction again then. |
| 2021-04-30 23:23:47 +0200 | <alfianguide79> | And when need more params, I do it non-pointfree |
| 2021-04-30 23:23:52 +0200 | <tomsmeding> | case in point (heh): ghc eta-expands sometimes in order to make typechecking succeed or to improve performance slightly |
| 2021-04-30 23:23:57 +0200 | <hololeap> | there is a balance, ofc. sometimes pointfree is clearer because it minimizes the clutter. but if you go too far it starts adding more clutter |
| 2021-04-30 23:24:05 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-04-30 23:24:29 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-04-30 23:24:44 +0200 | <alfianguide79> | Yeah, anyway I guess @impurepics just make a joke about pointfree, but it's good to direct me to this usage. |
| 2021-04-30 23:24:54 +0200 | <monochrom> | My http://www.vex.net/~trebla/weblog/pointfree.html explains why some code fragments are pointfree. |
| 2021-04-30 23:24:56 +0200 | ADG1089 | (~aditya@223.226.237.158) (Remote host closed the connection) |
| 2021-04-30 23:25:46 +0200 | <monochrom> | The real goal is conveying structures. There are times, but not always, when pointfree conveys structures, such as when you would use pipelining in a shell script. |
| 2021-04-30 23:26:03 +0200 | alfianguide | (67692375@103.105.35.117) (Ping timeout: 240 seconds) |
| 2021-04-30 23:26:04 +0200 | <alfianguide79> | Oh yeah, that's yours? I've got that from reddit link, and read about it, but yeah, cannot do it in ghci tho. |
| 2021-04-30 23:26:41 +0200 | <monochrom> | Oh, you need "import Data.List" for some of the functions. |
| 2021-04-30 23:27:28 +0200 | <monochrom> | So I guess I'm reddit-famous now. |
| 2021-04-30 23:27:35 +0200 | <alfianguide79> | Oh yeah, didn't read the note inside parentheses, lol, I don't pay attention in little thing. |
| 2021-04-30 23:29:46 +0200 | <alfianguide79> | anyway, is traverse a next-level of map? |
| 2021-04-30 23:30:18 +0200 | motherfsck | (~motherfsc@unaffiliated/motherfsck) |
| 2021-04-30 23:30:31 +0200 | <monochrom> | Yes. |
| 2021-04-30 23:30:41 +0200 | __minoru__shirae | (~shiraeesh@109.166.56.124) (Ping timeout: 240 seconds) |
| 2021-04-30 23:30:58 +0200 | <alfianguide79> | I think of it as map in a wrapped value |
| 2021-04-30 23:31:33 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
| 2021-04-30 23:32:57 +0200 | <alfianguide79> | How do we call value inside Just ? or Nothing? or IO ? I call it wrapped value haha. |
| 2021-04-30 23:33:34 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 252 seconds) |
| 2021-04-30 23:35:55 +0200 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-30 23:36:47 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-30 23:36:58 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 23:37:05 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-04-30 23:37:24 +0200 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2021-04-30 23:37:35 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-30 23:37:41 +0200 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-04-30 23:37:49 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 23:38:25 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-30 23:38:36 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 23:39:13 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-30 23:39:17 +0200 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 2021-04-30 23:39:25 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 23:40:02 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-30 23:40:44 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-30 23:42:24 +0200 | proofofkeags | (~proofofke@205.209.28.54) |
| 2021-04-30 23:44:25 +0200 | <geekosaur> | IO doesn't wrap anything, it's an action that can produce a value |
| 2021-04-30 23:44:27 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-30 23:45:06 +0200 | todda7 | (~torstein@athedsl-4519432.home.otenet.gr) |
| 2021-04-30 23:45:36 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-04-30 23:45:39 +0200 | <int-e> | it's the burrito analogy :) |
| 2021-04-30 23:46:54 +0200 | <cdsmith> | Any way to make GHC print the whole splice with -ddump-splices? It keeps putting ellipses and leaving bits out. |
| 2021-04-30 23:47:23 +0200 | alfianguide79 | (67692343@103.105.35.67) (Ping timeout: 240 seconds) |
| 2021-04-30 23:48:45 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-04-30 23:50:03 +0200 | ulidtko|kk | (~ulidtko@194.54.80.38) |
| 2021-04-30 23:50:15 +0200 | ulidtko|k | (~ulidtko@194.54.80.38) (Ping timeout: 265 seconds) |
| 2021-04-30 23:52:02 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-30 23:52:15 +0200 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-04-30 23:53:02 +0200 | <dibblego> | I've never seen it print ellipses, even with large output — is it the terminal config? |
| 2021-04-30 23:55:40 +0200 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
