Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
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.