Logs: liberachat/#haskell
| 2021-06-30 09:49:56 | <Taneb> | deriving Generic needs the DeriveGeneric extension and that's it's own thing. |
| 2021-06-30 09:50:04 | × | cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2021-06-30 09:50:07 | <jumper149> | Taneb: What if it's a newtype and GeneralizedNewtypeDeriving is enabled? |
| 2021-06-30 09:50:22 | → | cheater joins (~Username@user/cheater) |
| 2021-06-30 09:50:41 | → | kmein joins (~weechat@user/kmein) |
| 2021-06-30 09:50:59 | <jumper149> | That would mean, that the instances are different, right? |
| 2021-06-30 09:51:01 | <dminuoso> | jumper149: That'd work too, then. |
| 2021-06-30 09:51:38 | <jumper149> | Yes it would work, but the instance is different, because the Constructor gets stripped, doesnt it? |
| 2021-06-30 09:52:00 | <dminuoso> | If both GeneralizedNewtypeDeriving and DeriveAnyClass are enabled.. I have no clue. |
| 2021-06-30 09:52:36 | <dminuoso> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/deriving_strategies.html#extension-DerivingStrategies |
| 2021-06-30 09:52:38 | <dminuoso> | It's documented |
| 2021-06-30 09:52:59 | <dminuoso> | Funny, I would have expected GND to win, but apparently DAC does. |
| 2021-06-30 09:53:27 | <dminuoso> | jumper149: Yeah. with GND you just hoist an existing instance from the inner thing to the outer newtype. |
| 2021-06-30 09:53:57 | <dminuoso> | The other assumes the typeclass has sufficient default methods (which FromJSON/ToJSON have, if you also have Generic) |
| 2021-06-30 09:55:22 | → | en30 joins (~en30@p6356230-ipngn31101marunouchi.tokyo.ocn.ne.jp) |
| 2021-06-30 09:55:27 | <jumper149> | dminuoso: I'm happy that DAC wins :) That means I don't have to refactor a shit ton of deriving statements x) |
| 2021-06-30 09:56:59 | × | TheCommieDuck quits (~mark@2a00:23c6:d280:3700:572a:c2f0:ddc5:b769) (Quit: WeeChat 3.1) |
| 2021-06-30 09:57:48 | → | dunj3 joins (~dunj3@p200300f61714a6027bbd4f06e8da6b8b.dip0.t-ipconnect.de) |
| 2021-06-30 09:58:21 | <Profpatsch> | jumper149: Best to use the explicit “deriving stock/anyclass/newtype/via” syntax I think |
| 2021-06-30 09:58:40 | <Profpatsch> | Then there is no confusion (also fro the reader) |
| 2021-06-30 09:59:03 | <jumper149> | Profpatsch: I agree! |
| 2021-06-30 10:00:41 | <tdammers> | yeah, I would say that it's a good habit to always use deriving strategies when you enable more than one of the deriving extensions |
| 2021-06-30 10:03:03 | <jumper149> | -XExplicitDerivingStrategies would be cool ;) |
| 2021-06-30 10:03:27 | <Profpatsch> | we could probably have an hlint check |
| 2021-06-30 10:03:37 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-06-30 10:04:58 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-06-30 10:05:45 | × | xsperry quits (~as@user/xsperry) (Remote host closed the connection) |
| 2021-06-30 10:06:39 | → | henninb joins (~henninb@63.226.174.157) |
| 2021-06-30 10:07:57 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-30 10:09:20 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 256 seconds) |
| 2021-06-30 10:09:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-30 10:10:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 10:12:10 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-06-30 10:12:48 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-30 10:13:20 | <boxscape> | or just get rid of everything aside from deriving via ;) https://www.parsonsmatt.org/2020/11/10/simplifying_deriving.html |
| 2021-06-30 10:13:36 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-06-30 10:13:50 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-30 10:15:48 | <yushyin> | not the worst idea |
| 2021-06-30 10:15:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-30 10:16:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 10:21:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-30 10:22:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 10:23:55 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-30 10:25:03 | → | stevenxl joins (~stevenlei@174.128.182.51) |
| 2021-06-30 10:27:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-30 10:27:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 10:27:56 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-06-30 10:28:28 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-30 10:30:22 | × | stevenxl quits (~stevenlei@174.128.182.51) (Ping timeout: 272 seconds) |
| 2021-06-30 10:33:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-30 10:33:07 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-30 10:33:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 10:37:50 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-06-30 10:38:58 | × | azeem quits (~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-06-30 10:39:04 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-30 10:39:12 | → | azeem joins (~azeem@176.201.12.132) |
| 2021-06-30 10:39:34 | × | azeem quits (~azeem@176.201.12.132) (Read error: Connection reset by peer) |
| 2021-06-30 10:39:55 | → | azeem joins (~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it) |
| 2021-06-30 10:40:24 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-30 10:41:54 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-30 10:44:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-30 10:45:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 10:45:34 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-06-30 10:48:24 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-30 10:48:49 | → | xsperry joins (~as@user/xsperry) |
| 2021-06-30 10:51:02 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-06-30 10:52:20 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-06-30 10:52:20 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2021-06-30 10:52:43 | → | jonathanx joins (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) |
| 2021-06-30 10:55:04 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-06-30 10:56:44 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-30 11:00:18 | → | dunj4 joins (~dunj3@p200300f61714a6405bb7680713e8c72a.dip0.t-ipconnect.de) |
| 2021-06-30 11:01:34 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-30 11:02:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-30 11:02:28 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-30 11:02:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 11:03:10 | × | dunj3 quits (~dunj3@p200300f61714a6027bbd4f06e8da6b8b.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-06-30 11:08:15 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 2021-06-30 11:10:12 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-06-30 11:13:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-30 11:13:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 11:13:56 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-06-30 11:14:09 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-30 11:24:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-30 11:24:24 | × | jumper149 quits (~jumper149@80.240.31.34) (Ping timeout: 265 seconds) |
| 2021-06-30 11:25:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 11:25:30 | × | jonathanx quits (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2021-06-30 11:40:09 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-06-30 11:41:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-30 11:41:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 11:45:14 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-30 11:47:08 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds) |
| 2021-06-30 11:50:10 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-30 11:58:08 | × | acidjnk quits (~acidjnk@p200300d0c72b95720002fc1121ac54e4.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-06-30 12:01:10 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: No route to host) |
| 2021-06-30 12:02:06 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-30 12:06:25 | → | acidjnk joins (~acidjnk@p200300d0c72b95402d92a822f50d83dc.dip0.t-ipconnect.de) |
| 2021-06-30 12:06:34 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-06-30 12:10:42 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 240 seconds) |
| 2021-06-30 12:10:52 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
All times are in UTC.