Logs: freenode/#haskell
| 2021-04-10 11:24:32 | × | connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-10 11:25:34 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-10 11:25:35 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 11:25:45 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-04-10 11:26:22 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-10 11:26:27 | → | vv8 joins (~egp_@128-71-69-136.broadband.corbina.ru) |
| 2021-04-10 11:29:41 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 2021-04-10 11:33:28 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:dc4f:b380:7e26:8ca5) |
| 2021-04-10 11:33:31 | → | geekosaur joins (ac3a549c@172.58.84.156) |
| 2021-04-10 11:34:16 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-10 11:35:36 | × | raichoo quits (~raichoo@dslb-084-062-113-098.084.062.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2021-04-10 11:37:42 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-04-10 11:38:03 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-10 11:38:16 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:dc4f:b380:7e26:8ca5) (Ping timeout: 258 seconds) |
| 2021-04-10 11:38:33 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-10 11:41:32 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-10 11:41:48 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-04-10 11:45:21 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-10 11:46:01 | × | connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-10 11:47:00 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 11:47:53 | × | connrs quits (~connrs@mail.connolley.uk) (Client Quit) |
| 2021-04-10 11:48:14 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-10 11:48:52 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 11:49:18 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-10 11:49:49 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-04-10 11:49:52 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-10 11:50:16 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-10 11:50:51 | × | gavin quits (~gavin@98.154.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-04-10 11:52:37 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-10 11:52:47 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-10 11:54:04 | × | connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-10 11:54:53 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 11:55:18 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-10 11:55:38 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-10 11:58:02 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-10 11:59:59 | → | Alleria joins (~textual@2603-7000-3040-0000-aceb-3e67-a4c2-cf0c.res6.spectrum.com) |
| 2021-04-10 12:00:23 | Alleria | is now known as Guest44373 |
| 2021-04-10 12:03:23 | → | Iryon joins (~Iryon@185-12-21-77.sigma.jaslo.pl) |
| 2021-04-10 12:04:03 | × | connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-10 12:04:20 | × | Guest44373 quits (~textual@2603-7000-3040-0000-aceb-3e67-a4c2-cf0c.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-10 12:04:53 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 12:05:01 | → | zeenk joins (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) |
| 2021-04-10 12:06:13 | × | yaroot quits (~yaroot@138.102.13.160.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 2021-04-10 12:07:03 | × | connrs quits (~connrs@mail.connolley.uk) (Client Quit) |
| 2021-04-10 12:07:09 | → | yaroot joins (~yaroot@138.102.13.160.dy.iij4u.or.jp) |
| 2021-04-10 12:07:52 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 12:08:20 | → | L1Cafe joins (~L1Cafe@kydara.com) |
| 2021-04-10 12:11:10 | → | malumore_ joins (~malumore@151.62.113.35) |
| 2021-04-10 12:13:29 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-04-10 12:15:18 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-10 12:18:34 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-10 12:20:07 | × | bitmagie quits (~Thunderbi@200116b806a90200e567e65021c26bc1.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-04-10 12:23:33 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-10 12:24:10 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-10 12:24:17 | × | kmein quits (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao) |
| 2021-04-10 12:26:13 | → | kmein joins (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2021-04-10 12:26:50 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-10 12:30:48 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-10 12:31:27 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-04-10 12:34:37 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-04-10 12:35:40 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-10 12:36:37 | × | fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 268 seconds) |
| 2021-04-10 12:36:39 | × | acidjnk_new quits (~acidjnk@p200300d0c72b959964939eff718064de.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-10 12:36:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-10 12:38:11 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-10 12:40:22 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-10 12:44:26 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-10 12:45:39 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds) |
| 2021-04-10 12:46:16 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-10 12:48:52 | → | sgers1 joins (~sgers1@78.40.104.180) |
| 2021-04-10 12:49:46 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-04-10 12:50:03 | × | sgers1 quits (~sgers1@78.40.104.180) (Client Quit) |
| 2021-04-10 12:50:50 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-10 12:52:44 | → | todda7 joins (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-10 12:55:12 | → | drbean_ joins (~drbean@TC210-63-209-87.static.apol.com.tw) |
| 2021-04-10 12:57:57 | → | raichoo joins (~raichoo@dslb-084-062-113-098.084.062.pools.vodafone-ip.de) |
| 2021-04-10 12:58:03 | → | solvr joins (57e3c46d@87.227.196.109) |
| 2021-04-10 12:58:06 | <joel135> | someone here wrote https://bradparker.com/posts/lets-learn-about-lenses |
| 2021-04-10 12:58:28 | × | solvr quits (57e3c46d@87.227.196.109) (Client Quit) |
| 2021-04-10 12:58:47 | <joel135> | I am not sure how to use the "[json| {" syntax. I get a syntax error. |
| 2021-04-10 12:59:02 | <joel135> | I have imported import Data.Aeson.Lens. |
| 2021-04-10 13:01:15 | <hpc> | add {-# LANGUAGE XQuasiQuotes #-} to the start of your file |
| 2021-04-10 13:01:25 | <hpc> | that post neglects to mention that you need it |
| 2021-04-10 13:01:31 | <joel135> | ok thanks |
| 2021-04-10 13:01:32 | <hpc> | er, minus the X there |
| 2021-04-10 13:04:34 | <joel135> | now it says "Not in scope: ‘json’" and "import Data.Aeson" gives me a type error |
| 2021-04-10 13:05:24 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9599392c48d8e031de92.dip0.t-ipconnect.de) |
| 2021-04-10 13:05:29 | <joel135> | (https://paste.tomsmeding.com/SeadJwVS) |
| 2021-04-10 13:07:06 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-04-10 13:07:40 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-10 13:08:54 | → | average joins (uid473595@gateway/web/irccloud.com/x-pcrxvnrynryjlrmq) |
| 2021-04-10 13:09:28 | <hpc> | i am not sure where that json definition comes from, but the type error is because of https://hackage.haskell.org/package/aeson-1.5.6.0/docs/Data-Aeson.html#v:json not being a quasiquoter |
| 2021-04-10 13:10:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-10 13:10:46 | <hpc> | perhaps you can define someJson differently, using what you currently have in scope |
| 2021-04-10 13:10:53 | <hpc> | it won't be as terse, but it'll compile |
| 2021-04-10 13:11:01 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:fae4:d585:4c66:6341) |
| 2021-04-10 13:11:06 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:fae4:d585:4c66:6341) |
| 2021-04-10 13:11:34 | <joel135> | I wish I could remember who in this channel wrote it. |
| 2021-04-10 13:12:42 | × | fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 265 seconds) |
| 2021-04-10 13:13:09 | → | machinedgod joins (~machinedg@24.105.81.50) |
All times are in UTC.