Logs: freenode/#haskell
| 2021-04-30 18:28:26 | <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 18:28:32 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-04-30 18:29:06 | <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 18:29:08 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-04-30 18:29:54 | <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 18:30:08 | → | shailangsa joins (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) |
| 2021-04-30 18:30:14 | <Cale> | But in this case, we're going to need an instance for TypeOf a |
| 2021-04-30 18:30:18 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-30 18:30:25 | <seven_three> | ohh now I see it! |
| 2021-04-30 18:30:28 | <Cale> | and thankfully, the constraint in our instance head gives us one |
| 2021-04-30 18:31:04 | <sclv> | dsal: try running the parser explicitlyish |
| 2021-04-30 18:31:05 | <sclv> | https://hackage.haskell.org/package/attoparsec-0.13.2.5/docs/Data-Attoparsec-ByteString.html#t:Parser |
| 2021-04-30 18:32:21 | <Cale> | sclv: ohhh, right, aeson uses attoparsec under the hood, forgot about that :) |
| 2021-04-30 18:32:56 | <Cale> | That'll definitely let you do incremental parsing then |
| 2021-04-30 18:32:59 | <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 18:33:32 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds) |
| 2021-04-30 18:35:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 18:35:41 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-30 18:39:13 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:217e:c027:1f9b:648c) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-30 18:40:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-30 18:41:04 | × | jess quits (jess@freenode/staff/jess) () |
| 2021-04-30 18:42:44 | × | darjeeling_ quits (~darjeelin@122.245.217.205) (Ping timeout: 246 seconds) |
| 2021-04-30 18:43:36 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-04-30 18:44:22 | → | malumore_ joins (~malumore@151.62.115.54) |
| 2021-04-30 18:48:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-04-30 18:51:02 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-30 18:51:34 | × | letmein quits (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Quit: letmein) |
| 2021-04-30 18:52:01 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-04-30 18:54:25 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-04-30 18:56:02 | → | darjeeling_ joins (~darjeelin@115.215.40.212) |
| 2021-04-30 18:56:39 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-04-30 18:58:48 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 18:59:11 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-30 18:59:32 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-04-30 19:01:15 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-30 19:02:00 | → | letmein joins (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) |
| 2021-04-30 19:05:20 | → | dan64- joins (~dan64@dannyadam.com) |
| 2021-04-30 19:06:07 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-30 19:08:06 | × | dan64 quits (~dan64@dannyadam.com) (Ping timeout: 240 seconds) |
| 2021-04-30 19:10:41 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 2021-04-30 19:12:37 | <dsal> | Ohh... That's the thing I was looking for and missing. Thanks! |
| 2021-04-30 19:12:50 | <dsal> | I forgot it's just attoparsec |
| 2021-04-30 19:15:31 | × | cortexauth quits (~cortexaut@2409:4053:2183:bf4d:289d:8800:8463:c0c1) (Ping timeout: 250 seconds) |
| 2021-04-30 19:15:38 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-04-30 19:15:43 | × | jpe90 quits (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-30 19:16:10 | → | cortexauth joins (~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388) |
| 2021-04-30 19:17:34 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-04-30 19:17:40 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-30 19:20:06 | × | joncol quits (~jco@c83-248-173-38.bredband.comhem.se) (Ping timeout: 268 seconds) |
| 2021-04-30 19:20:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-30 19:20:46 | × | malumore_ quits (~malumore@151.62.115.54) (Ping timeout: 260 seconds) |
| 2021-04-30 19:21:04 | → | biglama joins (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-04-30 19:22:43 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-30 19:23:09 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-30 19:23:10 | × | letmein quits (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Ping timeout: 276 seconds) |
| 2021-04-30 19:25:57 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-04-30 19:26:36 | × | robotmay quits (~beepboop@2001:8b0:7af0:2580:94a2:bb95:e8d4:22af) (Remote host closed the connection) |
| 2021-04-30 19:27:55 | → | robotmay joins (~beepboop@2001:8b0:7af0:2580:df9:a82d:b905:b9d2) |
| 2021-04-30 19:29:51 | × | vent quits (~vent@185.62.190.213) (Quit: ZNC - http://znc.in) |
| 2021-04-30 19:31:08 | <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-with-aeson/67338143#67338143 |
| 2021-04-30 19:31:33 | <biglama> | Basically, you can call decode on the instance, I just was confused by the data type it needed |
| 2021-04-30 19:32:12 | × | todda7 quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-04-30 19:33:37 | → | jpe90 joins (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 2021-04-30 19:35:17 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-04-30 19:37:04 | <davean> | biglama: you might like http://hackage.haskell.org/package/aeson-filthy-0.1.4/docs/Data-Aeson-Filthy.html |
| 2021-04-30 19:37:18 | <davean> | biglama: make you life a lot easier perhaps! |
| 2021-04-30 19:37:42 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b95037456cb0444e0d02f.dip0.t-ipconnect.de) |
| 2021-04-30 19:38:09 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-30 19:40:01 | → | __minoru__shirae joins (~shiraeesh@109.166.56.124) |
| 2021-04-30 19:40:05 | × | chele quits (~chele@5.53.222.202) (Remote host closed the connection) |
| 2021-04-30 19:40:39 | × | minoru_shiraeesh quits (~shiraeesh@5.101.59.47) (Ping timeout: 252 seconds) |
| 2021-04-30 19:41:37 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-04-30 19:41:55 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-30 19:42:46 | <biglama> | davean: this looks nice but I can't install it with stack it seems :/ |
| 2021-04-30 19:45:42 | <davean> | Oh haha, stack. No idea |
| 2021-04-30 19:46:15 | <int-e> | davean: now that's a cute package name |
| 2021-04-30 19:46:44 | <davean> | int-e: yah, turns out theres a LOT of bad aeson out there. |
| 2021-04-30 19:46:52 | <davean> | er, JSON |
| 2021-04-30 19:47:08 | <int-e> | maybe both |
| 2021-04-30 19:47:18 | <davean> | int-e: Alec and I have gotten a lot of milage out of that package. |
| 2021-04-30 19:48:06 | <tomsmeding> | eww |
| 2021-04-30 19:49:11 | <biglama> | Anyway, thanks. Everyone was so helpful today, it's quite incredible :D |
| 2021-04-30 19:52:48 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-04-30 19:53:11 | <tomsmeding> | biglama: it's #haskell's 20th birthday today, maybe it inspired people :) |
| 2021-04-30 19:54:57 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 252 seconds) |
| 2021-04-30 19:55:11 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-04-30 19:55:28 | → | zva joins (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) |
| 2021-04-30 20:03:56 | → | pi2 joins (~pi@89-72-187-203.dynamic.chello.pl) |
| 2021-04-30 20:04:04 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-30 20:04:27 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-30 20:04:55 | pi2 | is now known as oo_miguel |
| 2021-04-30 20:05:51 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 265 seconds) |
| 2021-04-30 20:07:06 | → | Wuzzy joins (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) |
| 2021-04-30 20:07:11 | × | oo_miguel quits (~pi@89-72-187-203.dynamic.chello.pl) (Client Quit) |
| 2021-04-30 20:07:11 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2021-04-30 20:07:13 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-30 20:07:29 | → | pi2 joins (~pi@89-72-187-203.dynamic.chello.pl) |
| 2021-04-30 20:07:33 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-30 20:07:50 | × | pi2 quits (~pi@89-72-187-203.dynamic.chello.pl) (Client Quit) |
| 2021-04-30 20:08:04 | → | oo_miguel joins (~pi@89-72-187-203.dynamic.chello.pl) |
All times are in UTC.