Logs: liberachat/#haskell
| 2021-08-16 02:25:37 | × | roboguy_ quits (~roboguy_@136.37.123.186) (Ping timeout: 248 seconds) |
| 2021-08-16 02:26:58 | × | Guest1510 quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 256 seconds) |
| 2021-08-16 02:36:50 | × | haowenl quits (~Thunderbi@066-215-230-039.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-08-16 02:38:10 | <aegon> | huh... i'm trying to use rec to post and get back a jsonResponse but i cant find out how to actually get a type out of the JSON reponse |
| 2021-08-16 02:38:13 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-16 02:40:42 | <aegon> | mayb espec to the rescue |
| 2021-08-16 02:44:40 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-08-16 02:44:54 | <aegon> | spec for rec saved me |
| 2021-08-16 02:46:32 | → | haowenl joins (~Thunderbi@066-215-230-039.res.spectrum.com) |
| 2021-08-16 02:47:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-16 02:47:55 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-08-16 02:49:35 | → | falafel joins (~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a) |
| 2021-08-16 03:00:16 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:44a2:1ae4:c5d5:7cfc) |
| 2021-08-16 03:02:01 | × | alx741 quits (~alx741@186.178.108.32) (Quit: alx741) |
| 2021-08-16 03:03:06 | → | haowenl1 joins (~Thunderbi@066-215-230-039.res.spectrum.com) |
| 2021-08-16 03:04:59 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:44a2:1ae4:c5d5:7cfc) (Ping timeout: 252 seconds) |
| 2021-08-16 03:07:07 | × | haowenl quits (~Thunderbi@066-215-230-039.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2021-08-16 03:07:07 | haowenl1 | is now known as haowenl |
| 2021-08-16 03:10:17 | → | fvr joins (uid503686@id-503686.highgate.irccloud.com) |
| 2021-08-16 03:10:32 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-08-16 03:14:16 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2021-08-16 03:17:36 | × | ham quits (~ham4@user/ham) (Ping timeout: 268 seconds) |
| 2021-08-16 03:22:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-16 03:24:21 | <aegon> | is there a trick to auto deriving ToJSON from fields that also use TH to make lens accessors or is the go-to manual instancing |
| 2021-08-16 03:25:10 | → | pfurla_ joins (~pfurla@ool-3f8fcb0f.dyn.optonline.net) |
| 2021-08-16 03:28:44 | × | pfurla quits (~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2021-08-16 03:29:12 | → | oldsk00l joins (~znc@ec2-3-64-54-200.eu-central-1.compute.amazonaws.com) |
| 2021-08-16 03:43:30 | × | benin036932 quits (~benin@183.82.205.178) (Ping timeout: 268 seconds) |
| 2021-08-16 03:47:37 | × | danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Read error: Connection reset by peer) |
| 2021-08-16 03:47:40 | → | Jameson joins (~Jameson@41.210.143.200) |
| 2021-08-16 03:49:50 | <aegon> | nifty |
| 2021-08-16 03:50:04 | → | danso joins (~danso@23-233-111-52.cpe.pppoe.ca) |
| 2021-08-16 03:52:54 | × | falafel quits (~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a) (Ping timeout: 258 seconds) |
| 2021-08-16 03:54:16 | × | Jameson quits (~Jameson@41.210.143.200) (Quit: Client closed) |
| 2021-08-16 03:57:27 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-08-16 04:00:59 | → | falafel joins (~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a) |
| 2021-08-16 04:01:49 | <dsal> | aegon: There's generic ToJSON. |
| 2021-08-16 04:03:25 | <aegon> | dsal: sorry i didn't follow up here, I found a options dict for that as well as a template haskell method that takes the same options, i've been doing extra work for no reason :! |
| 2021-08-16 04:03:44 | × | _bin quits (~bin@user/bin/x-1583188) (Quit: ZNC - https://znc.in) |
| 2021-08-16 04:03:56 | → | _bin joins (~bin@user/bin/x-1583188) |
| 2021-08-16 04:05:09 | <aegon> | passing in drop 1 to fieldLabelModifier does the trick, I'm digging to see if there are options to makeLenses though, seems strange to try to work everything around lenses required _ |
| 2021-08-16 04:07:16 | <aegon> | yeah makeLensesFor, feel like i should use that instaed, good to know there are a bunch of options |
| 2021-08-16 04:07:23 | <dsal> | You'd need a list of all the lenses. |
| 2021-08-16 04:08:55 | <dsal> | And that'd only work for very simple types. I'm not sure they do similar enough things. |
| 2021-08-16 04:14:17 | × | adam1 quits (~adam@2001-b011-4007-2102-c141-6d4e-8529-c8c5.dynamic-ip6.hinet.net) (Ping timeout: 252 seconds) |
| 2021-08-16 04:15:54 | × | urdh quits (~urdh@user/urdh) (Ping timeout: 258 seconds) |
| 2021-08-16 04:16:16 | → | benin036932 joins (~benin@183.82.25.247) |
| 2021-08-16 04:18:09 | → | urdh joins (~urdh@user/urdh) |
| 2021-08-16 04:26:14 | → | mei joins (~mei@user/mei) |
| 2021-08-16 04:32:02 | × | haowenl quits (~Thunderbi@066-215-230-039.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-08-16 04:34:55 | × | aegon quits (~mike@174.127.249.180) (Remote host closed the connection) |
| 2021-08-16 04:42:37 | × | fvr quits (uid503686@id-503686.highgate.irccloud.com) (*.net *.split) |
| 2021-08-16 04:42:38 | × | xff0x quits (~xff0x@2001:1a81:5326:b600:845d:acc9:3c7f:1b89) (*.net *.split) |
| 2021-08-16 04:42:38 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split) |
| 2021-08-16 04:42:38 | × | pavonia quits (~user@user/siracusa) (*.net *.split) |
| 2021-08-16 04:42:38 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (*.net *.split) |
| 2021-08-16 04:42:38 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:5f5:523b:3c0:9fe) (*.net *.split) |
| 2021-08-16 04:42:38 | × | fabfianda quits (~fabfianda@37.183.255.57) (*.net *.split) |
| 2021-08-16 04:42:38 | × | _\_ quits (~o@user/ding) (*.net *.split) |
| 2021-08-16 04:42:38 | × | jakalx quits (~jakalx@base.jakalx.net) (*.net *.split) |
| 2021-08-16 04:42:38 | × | Arsen quits (~arsen@managarm/dev/Arsen) (*.net *.split) |
| 2021-08-16 04:42:38 | × | derelict quits (~derelict@user/derelict) (*.net *.split) |
| 2021-08-16 04:42:38 | × | thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 2021-08-16 04:42:38 | × | idf quits (~idf@198.23.223.146) (*.net *.split) |
| 2021-08-16 04:42:38 | × | yushyin quits (PW3hWJBC9s@karif.server-speed.net) (*.net *.split) |
| 2021-08-16 04:42:38 | × | ell quits (~ellie@user/ellie) (*.net *.split) |
| 2021-08-16 04:42:38 | × | Unode quits (~Unode@194.94.44.220) (*.net *.split) |
| 2021-08-16 04:42:38 | × | dmwit quits (~dmwit@pool-108-28-26-143.washdc.fios.verizon.net) (*.net *.split) |
| 2021-08-16 04:42:38 | × | zyklotomic quits (~ethan@2604:a880:800:10::79f:8001) (*.net *.split) |
| 2021-08-16 04:42:38 | × | zfnmxt quits (~zfnmxtzfn@2001:470:69fc:105::2b32) (*.net *.split) |
| 2021-08-16 04:42:38 | × | peddie quits (~peddie@2001:470:69fc:105::25d) (*.net *.split) |
| 2021-08-16 04:42:38 | × | hsiktas[m] quits (~hsiktasma@2001:470:69fc:105::30d4) (*.net *.split) |
| 2021-08-16 04:42:38 | × | the-coot[m] quits (~the-cootm@2001:470:69fc:105::95f) (*.net *.split) |
| 2021-08-16 04:42:38 | × | hyiltiz quits (~quassel@31.220.5.250) (*.net *.split) |
| 2021-08-16 04:42:38 | × | soft quits (~soft-matr@2001:470:69fc:105::c75) (*.net *.split) |
| 2021-08-16 04:42:38 | × | landonf quits (landonf@mac68k.info) (*.net *.split) |
| 2021-08-16 04:42:38 | × | joeyh quits (joeyh@kitenet.net) (*.net *.split) |
| 2021-08-16 04:42:38 | × | zmt00 quits (~zmt00@user/zmt00) (*.net *.split) |
| 2021-08-16 04:42:38 | × | jess quits (~jess@libera/staff/jess) (*.net *.split) |
| 2021-08-16 04:42:38 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (*.net *.split) |
| 2021-08-16 04:42:38 | × | piele quits (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2021-08-16 04:42:38 | × | cfebs quits (~cfebs@user/cfebs) (*.net *.split) |
| 2021-08-16 04:42:38 | × | anderson quits (~ande@134.209.221.71) (*.net *.split) |
| 2021-08-16 04:42:38 | × | ft quits (~ft@shell.chaostreff-dortmund.de) (*.net *.split) |
| 2021-08-16 04:42:38 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2021-08-16 04:42:38 | × | pierrot quits (~pi@user/pierrot) (*.net *.split) |
| 2021-08-16 04:42:38 | × | dexterfoo quits (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split) |
| 2021-08-16 04:42:38 | × | amirouche quits (~amirouche@user/amirouche) (*.net *.split) |
| 2021-08-16 04:42:38 | × | oxytocat quits (~alloca@user/suppi) (*.net *.split) |
| 2021-08-16 04:42:38 | × | tristanC quits (~tristanC@user/tristanc) (*.net *.split) |
| 2021-08-16 04:42:38 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split) |
| 2021-08-16 04:42:38 | × | Ferdirand quits (~somebody@2001:4c78:2012:5000::2) (*.net *.split) |
| 2021-08-16 04:42:38 | × | catern quits (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (*.net *.split) |
| 2021-08-16 04:42:38 | × | bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
| 2021-08-16 04:42:38 | × | feetwind quits (~mike@user/feetwind) (*.net *.split) |
| 2021-08-16 04:42:38 | × | tdammers quits (~tdammers@77.109.72.213.res.static.edpnet.net) (*.net *.split) |
| 2021-08-16 04:42:38 | × | AWizzArd quits (~code@user/awizzard) (*.net *.split) |
| 2021-08-16 04:42:38 | × | drakonis quits (drakonis@user/drakonis) (*.net *.split) |
| 2021-08-16 04:42:38 | × | mikolaj_ quits (~mikolaj@purple.well-typed.com) (*.net *.split) |
| 2021-08-16 04:42:38 | × | relrod quits (~relrod@redhat/ansible.staff.relrod) (*.net *.split) |
All times are in UTC.