2024-07-07 00:01:08 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2024-07-07 00:06:09 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 00:06:39 +0200 | gentauro | (~gentauro@user/gentauro) |
2024-07-07 00:08:26 +0200 | raym | (~ray@user/raym) |
2024-07-07 00:23:50 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-07-07 00:31:55 +0200 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
2024-07-07 00:33:58 +0200 | <hololeap> | I'm trying to find a way to use Data to check if one constructor is an ancestor of another in a big tree-like ADT, for instance: data FooT = Bar BarT | Baz BazT; data BarT = Thing1 | Thing2; data BazT = ... |
2024-07-07 00:34:44 +0200 | <hololeap> | so in that example, I might want to check if Bar is an ancestor of Thing1 |
2024-07-07 00:34:48 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
2024-07-07 00:34:57 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:bee8:7ef6:2b1b:f311) |
2024-07-07 00:35:48 +0200 | <hololeap> | I'm stuck at getting the BarT DataType from the Bar Constr |
2024-07-07 00:35:51 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:e656:c92a:8e45:f003) |
2024-07-07 00:37:27 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
2024-07-07 00:39:59 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:bee8:7ef6:2b1b:f311) (Ping timeout: 256 seconds) |
2024-07-07 00:46:19 +0200 | Square | (~Square@user/square) |
2024-07-07 00:59:46 +0200 | <hololeap> | is it possible to get the DataTypes of a constructor's fields with Data.Data? I'm not seeing how |
2024-07-07 01:01:36 +0200 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) (Quit: Bye for now. Now, don't cry. Please don't cry.) |
2024-07-07 01:02:12 +0200 | <monochrom> | I wonder if GHC.Generics is more suitable for your questions. |
2024-07-07 01:05:08 +0200 | <hololeap> | I was under the impression that to use GHC.Generics, you have to have some instantiated data. here, I'm actually trying to build a value of this ADT using some user-supplied data |
2024-07-07 01:06:17 +0200 | <hololeap> | I could do it manually of course, but thought having a way to build it automatically would cut down on boilerplate |
2024-07-07 01:08:50 +0200 | <hololeap> | oh, maybe gmapM is what I'm looking for |
2024-07-07 01:11:10 +0200 | <hololeap> | or gmapQ... it seems like I'm looking in the right place now |
2024-07-07 01:25:02 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
2024-07-07 01:29:03 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb093425c6d62513a139.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-07-07 01:31:14 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
2024-07-07 01:50:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-07-07 02:28:29 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
2024-07-07 02:29:08 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:e656:c92a:8e45:f003) (Quit: Leaving) |
2024-07-07 02:38:31 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-07-07 02:54:29 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-07-07 03:03:07 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 272 seconds) |
2024-07-07 03:06:45 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
2024-07-07 03:13:01 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
2024-07-07 03:14:38 +0200 | rvalue- | (~rvalue@user/rvalue) |
2024-07-07 03:15:13 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
2024-07-07 03:18:43 +0200 | rvalue- | rvalue |
2024-07-07 03:25:37 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-07-07 03:26:59 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
2024-07-07 03:31:26 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2024-07-07 03:32:29 +0200 | ftzm9 | (~ftzm@085080243169.dynamic.telenor.dk) |
2024-07-07 03:33:31 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 03:34:05 +0200 | ftzm | (~ftzm@085080238199.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
2024-07-07 03:34:05 +0200 | ftzm9 | ftzm |
2024-07-07 03:38:03 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
2024-07-07 03:48:13 +0200 | swamp_ | (~zmt00@user/zmt00) |
2024-07-07 03:48:46 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-07-07 03:48:48 +0200 | dagi78319 | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
2024-07-07 03:49:36 +0200 | fluffyballoon_ | (45ce440a48@2a03:6000:1812:100::e2) |
2024-07-07 03:49:40 +0200 | lain`_ | (lain`@user/lain/x-9874679) |
2024-07-07 03:49:53 +0200 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
2024-07-07 03:49:53 +0200 | pmk_ | (6afe4476a1@2a03:6000:1812:100::26d) |
2024-07-07 03:49:53 +0200 | eso_ | (a0662dfd5e@2a03:6000:1812:100::1266) |
2024-07-07 03:49:54 +0200 | kuruczgy_ | (55b66dd3ae@2a03:6000:1812:100::127f) |
2024-07-07 03:49:54 +0200 | raghavgururajan_ | (ea769b8000@2a03:6000:1812:100::242) |
2024-07-07 03:49:54 +0200 | titibandit_ | (e33ffbab65@user/titibandit) |
2024-07-07 03:49:54 +0200 | jakzale_ | (6291399afa@user/jakzale) |
2024-07-07 03:49:54 +0200 | brettgilio_ | (a35ba67324@2a03:6000:1812:100::260) |
2024-07-07 03:49:54 +0200 | sm2n_ | (ae95cb1267@user/sm2n) |
2024-07-07 03:49:55 +0200 | ursa-major_ | (114efe6c39@2a03:6000:1812:100::11f3) |
2024-07-07 03:49:55 +0200 | b0o_ | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
2024-07-07 03:49:55 +0200 | alethkit_ | (23bd17ddc6@sourcehut/user/alethkit) |
2024-07-07 03:49:55 +0200 | JoelMcCracken_ | (5ea8252fbb@2a03:6000:1812:100::10e3) |
2024-07-07 03:49:57 +0200 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Read error: Connection reset by peer) |
2024-07-07 03:49:58 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Read error: Connection reset by peer) |
2024-07-07 03:49:58 +0200 | jakzale | (6291399afa@user/jakzale) (Read error: Connection reset by peer) |
2024-07-07 03:49:58 +0200 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (Read error: Connection reset by peer) |
2024-07-07 03:49:58 +0200 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Read error: Connection reset by peer) |
2024-07-07 03:49:59 +0200 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Remote host closed the connection) |
2024-07-07 03:49:59 +0200 | tjbc | (~tjbc@user/fliife) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-07-07 03:50:00 +0200 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Read error: Connection reset by peer) |
2024-07-07 03:50:00 +0200 | jakzale_ | jakzale |
2024-07-07 03:50:02 +0200 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) (Read error: Connection reset by peer) |
2024-07-07 03:50:02 +0200 | sm2n | (ae95cb1267@user/sm2n) (Read error: Connection reset by peer) |
2024-07-07 03:50:02 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
2024-07-07 03:50:02 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Read error: Connection reset by peer) |
2024-07-07 03:50:03 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Read error: Connection reset by peer) |
2024-07-07 03:50:03 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Read error: Connection reset by peer) |
2024-07-07 03:50:03 +0200 | xstill_ | (xstill@fimu/xstill) (Read error: Connection reset by peer) |
2024-07-07 03:50:03 +0200 | fluffyballoon_ | fluffyballoon |
2024-07-07 03:50:03 +0200 | catties | (~catties@user/meow/catties) (Quit: n_n) |
2024-07-07 03:50:05 +0200 | eso_ | eso |
2024-07-07 03:50:05 +0200 | dumptruckman_ | (~dumptruck@69-164-210-35.ip.linodeusercontent.com) |
2024-07-07 03:50:09 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Ping timeout: 268 seconds) |
2024-07-07 03:50:18 +0200 | dumptruckman | (~dumptruck@69-164-210-35.ip.linodeusercontent.com) (Read error: Connection reset by peer) |
2024-07-07 03:50:18 +0200 | dumptruckman_ | dumptruckman |
2024-07-07 03:50:20 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Read error: Connection reset by peer) |
2024-07-07 03:50:21 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Read error: Connection reset by peer) |
2024-07-07 03:50:21 +0200 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) |
2024-07-07 03:50:22 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Remote host closed the connection) |
2024-07-07 03:50:22 +0200 | JoelMcCracken_ | JoelMcCracken |
2024-07-07 03:50:43 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
2024-07-07 03:50:44 +0200 | catties | (~catties@user/meow/catties) |
2024-07-07 03:50:44 +0200 | titibandit | (e33ffbab65@user/titibandit) (Read error: Connection reset by peer) |
2024-07-07 03:50:44 +0200 | titibandit_ | titibandit |
2024-07-07 03:50:45 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
2024-07-07 03:50:45 +0200 | hololeap | (~quassel@user/hololeap) (Remote host closed the connection) |
2024-07-07 03:50:45 +0200 | kuruczgy_ | kuruczgy |
2024-07-07 03:50:46 +0200 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
2024-07-07 03:50:46 +0200 | tjbc | (~tjbc@user/fliife) |
2024-07-07 03:50:46 +0200 | xerox | (~edi@user/edi) (Ping timeout: 268 seconds) |
2024-07-07 03:50:46 +0200 | Vajb | (~Vajb@n84f8idehd0ucclhxoj-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds) |
2024-07-07 03:50:46 +0200 | noctuks | (cnRVbgraeY@user/noctux) (Ping timeout: 268 seconds) |
2024-07-07 03:50:46 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
2024-07-07 03:51:06 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Read error: Connection reset by peer) |
2024-07-07 03:51:07 +0200 | b0o_ | b0o |
2024-07-07 03:51:07 +0200 | xerox | (~edi@user/edi) |
2024-07-07 03:51:07 +0200 | noctuks | (IEHAXjvqp6@user/noctux) |
2024-07-07 03:51:12 +0200 | alethkit_ | alethkit |
2024-07-07 03:51:23 +0200 | lain` | (lain`@user/lain/x-9874679) (Ping timeout: 268 seconds) |
2024-07-07 03:51:24 +0200 | nullie | (~nullie@nuremberg.nullie.name) (Ping timeout: 268 seconds) |
2024-07-07 03:51:24 +0200 | Ekho | (~Ekho@user/ekho) (Ping timeout: 268 seconds) |
2024-07-07 03:51:24 +0200 | Typedfern | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
2024-07-07 03:51:25 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 268 seconds) |
2024-07-07 03:51:25 +0200 | dminuoso | (~weechat@user/dminuoso) (Ping timeout: 268 seconds) |
2024-07-07 03:51:25 +0200 | erisco_ | erisco |
2024-07-07 03:51:26 +0200 | lain`_ | lain` |
2024-07-07 03:51:49 +0200 | hololeap | (~quassel@user/hololeap) |
2024-07-07 03:51:49 +0200 | brettgilio_ | brettgilio |
2024-07-07 03:51:50 +0200 | weechat2 | (~weechat@user/dminuoso) |
2024-07-07 03:51:52 +0200 | Typedfern | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) |
2024-07-07 03:52:00 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
2024-07-07 03:52:00 +0200 | nullie | (~nullie@2a01:4f8:c2c:6177::1) |
2024-07-07 03:52:01 +0200 | xstill_ | (xstill@fimu/xstill) |
2024-07-07 03:53:02 +0200 | sm2n_ | sm2n |
2024-07-07 03:54:04 +0200 | ursa-major_ | ursa-major |
2024-07-07 03:59:02 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
2024-07-07 03:59:35 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
2024-07-07 04:05:03 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2024-07-07 04:05:33 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
2024-07-07 04:06:45 +0200 | Ekho | (~Ekho@user/ekho) |
2024-07-07 04:15:14 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
2024-07-07 04:26:35 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
2024-07-07 04:31:03 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 256 seconds) |
2024-07-07 04:33:41 +0200 | mikess | (~mikess@user/mikess) |
2024-07-07 04:34:50 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
2024-07-07 04:35:43 +0200 | td_ | (~td@i53870914.versanet.de) (Ping timeout: 246 seconds) |
2024-07-07 04:37:42 +0200 | td_ | (~td@i53870903.versanet.de) |
2024-07-07 04:42:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-07 04:42:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
2024-07-07 04:48:45 +0200 | Abaddon | (~Apollyon@user/Apollyon) |
2024-07-07 04:52:29 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 240 seconds) |
2024-07-07 04:52:53 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
2024-07-07 04:55:51 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 05:00:49 +0200 | tabaqui | (~root@87.200.123.114) (Quit: WeeChat 4.2.2) |
2024-07-07 05:03:45 +0200 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) |
2024-07-07 05:05:45 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
2024-07-07 05:07:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-07-07 05:12:55 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc4:ed00:8551:e69c:b7dd:ec64) |
2024-07-07 05:13:17 +0200 | aforemny | (~aforemny@i59F516F8.versanet.de) (Ping timeout: 240 seconds) |
2024-07-07 05:23:15 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 268 seconds) |
2024-07-07 05:49:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-07-07 05:54:21 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
2024-07-07 05:58:35 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
2024-07-07 05:59:30 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2024-07-07 06:13:10 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
2024-07-07 06:15:57 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
2024-07-07 06:25:56 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-07-07 06:26:27 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-07-07 06:40:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-07-07 06:44:55 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
2024-07-07 06:46:39 +0200 | pavonia | (~user@user/siracusa) |
2024-07-07 06:52:40 +0200 | Abaddon | (~Apollyon@user/Apollyon) (Ping timeout: 268 seconds) |
2024-07-07 07:06:15 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 268 seconds) |
2024-07-07 07:07:01 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
2024-07-07 07:11:27 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Read error: Connection reset by peer) |
2024-07-07 07:19:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-07 07:22:12 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 255 seconds) |
2024-07-07 07:23:34 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
2024-07-07 07:24:58 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Quit: dysthesis) |
2024-07-07 07:28:44 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
2024-07-07 07:44:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-07-07 07:45:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-07 07:45:52 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
2024-07-07 07:46:43 +0200 | sefidel | (~sefidel@user/sefidel) |
2024-07-07 07:52:35 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 260 seconds) |
2024-07-07 07:53:39 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 264 seconds) |
2024-07-07 07:53:55 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
2024-07-07 07:59:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-07-07 08:01:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-07 08:07:56 +0200 | phma | (~phma@host-67-44-208-74.hnremote.net) (Read error: Connection reset by peer) |
2024-07-07 08:09:00 +0200 | phma | (phma@2001:5b0:212a:e8b8:9807:a029:7b5e:a865) |
2024-07-07 08:16:37 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-07-07 08:18:26 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-07-07 08:19:25 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-07-07 08:23:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
2024-07-07 08:28:07 +0200 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) |
2024-07-07 08:33:11 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
2024-07-07 08:38:10 +0200 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
2024-07-07 08:56:49 +0200 | <tomsmeding> | hololeap: GHC.Generics has both `from` _and_ `to` ;) |
2024-07-07 08:58:05 +0200 | <tomsmeding> | essentially what it gives you is a normalised kind-of-sum-of-products (but not quite) representation of a data _type_, with some additional metadata on the type level; people typically induct on this type-level structure using a type class |
2024-07-07 08:58:31 +0200 | <tomsmeding> | whether you use this to take, transform, or produce data is up to you |
2024-07-07 09:00:07 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
2024-07-07 09:00:26 +0200 | <tomsmeding> | my favourite method for getting familiar with what GHC.Generics really does, is doing `:k! Rep T` on some data types T in ghci, and doing `from x` for some values x |
2024-07-07 09:00:29 +0200 | <tomsmeding> | and seeing what comes out |
2024-07-07 09:01:00 +0200 | <tomsmeding> | the structure is sufficiently simple, and the metadata is sufficiently wordy, that you probably almost need no documentation at all any more at that point (if you're conversant with -XDataKinds) |
2024-07-07 09:03:07 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
2024-07-07 09:04:11 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb1245269f140bd925b3.dip0.t-ipconnect.de) |
2024-07-07 09:04:45 +0200 | qqe | (~qqq@92.43.167.61) (Remote host closed the connection) |
2024-07-07 09:19:46 +0200 | lewisje | (~lewisje@74.215.19.22) (Read error: Connection reset by peer) |
2024-07-07 09:21:08 +0200 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Quit: Ping timeout (120 seconds)) |
2024-07-07 09:21:35 +0200 | lewisje | (~lewisje@74.215.19.22) |
2024-07-07 09:22:18 +0200 | rosco | (~rosco@175.136.155.137) |
2024-07-07 09:23:20 +0200 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
2024-07-07 09:25:34 +0200 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-07-07 09:25:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-07 09:29:15 +0200 | sprout | (~quassel@2a02-a448-3a80-0-6981-debe-91f4-8f74.fixed6.kpn.net) (Ping timeout: 256 seconds) |
2024-07-07 09:30:10 +0200 | sprout | (~quassel@2a02-a448-3a80-0-45f5-cd70-d2c3-af5d.fixed6.kpn.net) |
2024-07-07 10:09:53 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-07 10:09:53 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-07 10:09:53 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-07 10:20:12 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
2024-07-07 10:24:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-07-07 10:25:31 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-07-07 10:30:14 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-07-07 10:30:58 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-07-07 10:33:45 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
2024-07-07 10:35:05 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-07-07 10:35:14 +0200 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) |
2024-07-07 10:35:32 +0200 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-07-07 10:35:49 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-07-07 10:48:25 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 10:52:48 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
2024-07-07 10:57:29 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
2024-07-07 10:58:02 +0200 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) |
2024-07-07 11:04:17 +0200 | destituion | (~destituio@2a02:2121:6bc:1a95:cb10:e092:4032:88f5) (Ping timeout: 268 seconds) |
2024-07-07 11:04:53 +0200 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) (Ping timeout: 268 seconds) |
2024-07-07 11:07:11 +0200 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) |
2024-07-07 11:13:19 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 272 seconds) |
2024-07-07 11:16:14 +0200 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) (Remote host closed the connection) |
2024-07-07 11:16:22 +0200 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) |
2024-07-07 11:18:18 +0200 | rosco | (~rosco@175.136.155.137) (Remote host closed the connection) |
2024-07-07 11:26:56 +0200 | lol__ | jcarpenter2 |
2024-07-07 11:31:02 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-07-07 11:40:09 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-07 11:40:09 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-07 11:40:09 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-07 11:50:31 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
2024-07-07 11:50:54 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-07-07 11:54:42 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-07 11:59:39 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
2024-07-07 12:01:14 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-07-07 12:08:03 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
2024-07-07 12:12:04 +0200 | Guest74 | (~Guest74@2001:569:fae8:6c00:c5eb:bd43:343:ea44) |
2024-07-07 12:13:51 +0200 | Guest74 | (~Guest74@2001:569:fae8:6c00:c5eb:bd43:343:ea44) (Client Quit) |
2024-07-07 12:14:28 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
2024-07-07 12:33:00 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-07-07 12:34:10 +0200 | gmg | (~user@user/gehmehgeh) |
2024-07-07 12:37:07 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
2024-07-07 12:37:23 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2024-07-07 12:45:58 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-07-07 12:46:02 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
2024-07-07 12:58:40 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-07-07 13:02:16 +0200 | mrmr155334346 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
2024-07-07 13:07:14 +0200 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) |
2024-07-07 13:11:18 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
2024-07-07 13:13:03 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-07-07 13:17:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-07 13:19:37 +0200 | mrmr155334346 | (~mrmr@user/mrmr) |
2024-07-07 13:24:20 +0200 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) (Read error: Connection reset by peer) |
2024-07-07 13:28:41 +0200 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) |
2024-07-07 13:43:13 +0200 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) (Quit: hwpplayer1) |
2024-07-07 14:09:33 +0200 | qqe | (~qqq@92.43.167.61) |
2024-07-07 14:28:42 +0200 | <hololeap> | tomsmeding: I took a look at Generics again last night, and it seems like it might actually be a good fit, although all the information I need seems to be at the type level and I'm not sure what the best way would be to bring it down to the value level |
2024-07-07 14:30:17 +0200 | <tomsmeding> | hololeap: if you want info that's in a type-level string (i.e. a Symbol), and you're doing the induction via type classes, I wouldn't be surprised if you can just assert KnownSymbol on those |
2024-07-07 14:30:29 +0200 | <tomsmeding> | (but I'm not sure I've tried that particular trick) |
2024-07-07 14:31:50 +0200 | <tomsmeding> | ah there is even e.g. the Constructor class that asserts some stuff |
2024-07-07 14:31:59 +0200 | <tomsmeding> | so yeah, KnownSymbol it is |
2024-07-07 14:33:50 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2024-07-07 14:33:58 +0200 | puke | (~puke@user/puke) |
2024-07-07 14:34:58 +0200 | <hololeap> | this is what the Rep looks like: https://bpa.st/DE3Q |
2024-07-07 14:36:12 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
2024-07-07 14:36:17 +0200 | <hololeap> | so I need some way to determine that e.g. ReinstallAtomsMode is an decendant of Portage, but not of the other constructors of PkgManager |
2024-07-07 14:37:17 +0200 | <hololeap> | here's the ADT: https://bpa.st/FNXQ |
2024-07-07 14:37:27 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 264 seconds) |
2024-07-07 14:38:12 +0200 | <hololeap> | I want to use this structure to automatically say "--mode=reinstall-atoms is only supported by the Portage package manager" |
2024-07-07 14:38:50 +0200 | <hololeap> | (or at the very least, "--mode=reinstall-atoms is not supported by X") |
2024-07-07 14:42:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-07 14:43:53 +0200 | <hololeap> | maybe I can rig something up with TypeFamilies |
2024-07-07 14:46:03 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
2024-07-07 14:58:29 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-07 14:58:29 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-07 14:58:29 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-07 15:01:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-07 15:05:49 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 15:10:56 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
2024-07-07 15:12:57 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
2024-07-07 15:13:32 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-07-07 15:23:47 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 15:29:34 +0200 | <tomsmeding> | hololeap: once you have this information (that ReinstallAtomsMode is only a descendant of Portage and not of other things), what are you going to do with that information? |
2024-07-07 15:29:57 +0200 | <tomsmeding> | is the idea that there is some partial function `ReinstallAtomsMode -> PkgManage` and you want to prevent it from failing? |
2024-07-07 15:30:08 +0200 | <tomsmeding> | because if so, that sounds like that function should just return a Maybe :p |
2024-07-07 15:30:33 +0200 | <tomsmeding> | thereby making this whole generics/whatever dance redundant |
2024-07-07 15:31:26 +0200 | <tomsmeding> | the moment you're asking for "does this field occur somewhere in this data type", it sounds to me like the data structures are the wrong way round |
2024-07-07 15:31:30 +0200 | <tomsmeding> | or something else is off |
2024-07-07 15:32:03 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
2024-07-07 15:33:57 +0200 | ubert | (~Thunderbi@p200300ecdf008f0f0a6872e022c3958c.dip0.t-ipconnect.de) (Remote host closed the connection) |
2024-07-07 15:34:17 +0200 | ubert | (~Thunderbi@p200300ecdf008f0f0a6872e022c3958c.dip0.t-ipconnect.de) |
2024-07-07 15:37:14 +0200 | <hololeap> | tomsmeding: it's because the user is capable of doing --package-manager=paludis --mode=reinstall-atoms and they need to be told that it's unsupported |
2024-07-07 15:39:07 +0200 | <hololeap> | currently I have a big case statement that checks for any incompatible options, but it's big and annoying and error prone |
2024-07-07 15:40:33 +0200 | <tomsmeding> | hololeap: okay sure, but what would happen if you'd just remove that case statement? |
2024-07-07 15:40:39 +0200 | <tomsmeding> | would something crash? What would? |
2024-07-07 15:40:47 +0200 | <tomsmeding> | Can you do the check _there_ instead of crashing? |
2024-07-07 15:41:24 +0200 | <tomsmeding> | at the risk of cargo-culting, I'm trying to find out if this is a case where parse-don't-validate is applicable |
2024-07-07 15:42:29 +0200 | <hololeap> | that's actually what I was following. I have a model of all the possible command line combinations, and I'm trying to "parse" it into the ADT that encodes all the valid mode combinations |
2024-07-07 15:43:07 +0200 | <tomsmeding> | but then you need more than just the fact that ReinstallAtomsMode occurs within Portage, right? You also need a function that makes you a Portage given a ReinstallAtomsMode |
2024-07-07 15:44:46 +0200 | <hololeap> | https://github.com/gentoo-haskell/haskell-updater/blob/master/Distribution/Gentoo/CmdLine.hs#L37-L99 |
2024-07-07 15:45:06 +0200 | <hololeap> | https://github.com/gentoo-haskell/haskell-updater/blob/master/Distribution/Gentoo/Types/HUMode.hs |
2024-07-07 15:46:29 +0200 | <tomsmeding> | I see, so you're doing exactly what I was suggesting, in a way |
2024-07-07 15:46:51 +0200 | <hololeap> | the "reinstall-atoms" mode is something that only makes sense with the portage package manager, since it has the features to implement it. it's a special mode that I made with portage's features in mind |
2024-07-07 15:47:49 +0200 | <tomsmeding> | have I been unnecessarily hung up on the phrasing of your original question, where you asked for how to "check if" instead of how to make a data type given one of the fields? |
2024-07-07 15:48:00 +0200 | <tomsmeding> | s/make a/make a value of a/ |
2024-07-07 15:48:08 +0200 | <hololeap> | maybe :p |
2024-07-07 15:48:41 +0200 | <tomsmeding> | in any case this whole thing is only really relevant for ReinstallAtomsMode, right? The others are orthogonal |
2024-07-07 15:50:55 +0200 | <hololeap> | mostly, yes. however there is also a --target=... option which has a couple that are only valid with --mode=reinstall-atoms |
2024-07-07 15:51:01 +0200 | <tomsmeding> | right, I see |
2024-07-07 15:53:01 +0200 | <hololeap> | and I was planning on adding a couple more for that mode, so the case statement is getting unruley. I suppose the best thing to do would be to make reinstall-atoms mode a separate command with its own options |
2024-07-07 15:54:29 +0200 | <tomsmeding> | hololeap: am I correct that a "target" (whether it's a Target, a CustomTargets, or a ReinstallAtomsTarget) is always eventually a part of the "mode" (be it RunMode or ReinstallAtomsMode)? |
2024-07-07 15:55:10 +0200 | <tomsmeding> | if so, perhaps you can have a separate function first that tries to combine the cmdLineMode and the cmdLineTarget into `Either RunMode ReinstallAtomsMode` |
2024-07-07 15:55:34 +0200 | <tomsmeding> | then you cut down on the combinatorial explosion |
2024-07-07 15:57:03 +0200 | <hololeap> | yeah, that makes sense |
2024-07-07 15:57:37 +0200 | <tomsmeding> | to me that feels like a more appropriate solution here than trying to infer semantical structure from the data types |
2024-07-07 15:58:15 +0200 | <tomsmeding> | it's just a feeling that I have, but I suspect that the equivalence here (that ReinstallAtomsMode is a field of Portage precisely because it's valid with Portage) is somewhat accidental |
2024-07-07 15:58:26 +0200 | <tomsmeding> | what if there's another data type in between? |
2024-07-07 15:58:47 +0200 | <tomsmeding> | then suddenly the generics/Data/whatever magic would have to do inter-datatype analysis |
2024-07-07 15:58:59 +0200 | <tomsmeding> | even though semantically, nothing really changed |
2024-07-07 16:00:05 +0200 | poscat | (~poscat@user/poscat) (Quit: Bye) |
2024-07-07 16:00:15 +0200 | <hololeap> | I kinda want to try the magical solution, just for the challenge, but you make good points :) |
2024-07-07 16:00:21 +0200 | poscat | (~poscat@user/poscat) |
2024-07-07 16:00:30 +0200 | <tomsmeding> | there's sensibility, and then there's fun :p |
2024-07-07 16:02:23 +0200 | <tomsmeding> | still, what would the magical solution even do, precisely? |
2024-07-07 16:02:43 +0200 | <tomsmeding> | you'd still need to provide a mapping from PkgManager to the constructors of Mode.PkgManager |
2024-07-07 16:03:41 +0200 | <tomsmeding> | one could write a function that creates a D from some T if there's only one constructor of D that has a field of type T (possibly nested in Either), and furthermore that constructor of D has no other fields |
2024-07-07 16:03:51 +0200 | <tomsmeding> | that's a bit of Generics magic there |
2024-07-07 16:04:17 +0200 | <tomsmeding> | but that really only replaces a very marginal bit of your code :p |
2024-07-07 16:12:37 +0200 | wlhn | (~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) (Quit: Leaving) |
2024-07-07 16:35:14 +0200 | qqe | (~qqq@92.43.167.61) (Quit: leaving) |
2024-07-07 16:35:33 +0200 | leah2 | (~leah@vuxu.org) |
2024-07-07 16:37:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-07-07 16:45:11 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 272 seconds) |
2024-07-07 16:45:36 +0200 | __monty__ | (~toonn@user/toonn) |
2024-07-07 17:15:25 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-07 17:15:25 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-07 17:15:25 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-07 17:16:31 +0200 | ubert1 | (~Thunderbi@p200300ecdf008f0dcbf843fa6f22da0d.dip0.t-ipconnect.de) |
2024-07-07 17:17:22 +0200 | ubert | (~Thunderbi@p200300ecdf008f0f0a6872e022c3958c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-07-07 17:17:22 +0200 | ubert1 | ubert |
2024-07-07 17:19:03 +0200 | Square | (~Square@user/square) |
2024-07-07 17:40:54 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-07-07 17:42:39 +0200 | mikess | (~mikess@user/mikess) |
2024-07-07 17:57:38 +0200 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-07-07 17:59:50 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-07-07 18:01:35 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
2024-07-07 18:03:04 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-07 18:03:05 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-07 18:03:05 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-07 18:16:10 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
2024-07-07 18:17:12 +0200 | raghavgururajan_ | (ea769b8000@2a03:6000:1812:100::242) (Changing host) |
2024-07-07 18:17:12 +0200 | raghavgururajan_ | (ea769b8000@user/raghavgururajan) |
2024-07-07 18:17:19 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-07-07 18:17:48 +0200 | raghavgururajan_ | raghavgururajan |
2024-07-07 18:18:21 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-07-07 18:20:13 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
2024-07-07 18:20:22 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
2024-07-07 18:21:34 +0200 | yobson | (~yobson@cpc91230-cmbg18-2-0-cust906.5-4.cable.virginm.net) |
2024-07-07 18:23:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-07 18:28:39 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
2024-07-07 18:28:40 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-07-07 18:29:24 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection) |
2024-07-07 18:31:14 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2024-07-07 18:31:47 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) (Ping timeout: 264 seconds) |
2024-07-07 18:32:04 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) |
2024-07-07 18:41:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-07 18:43:20 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 18:44:15 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 272 seconds) |
2024-07-07 18:46:50 +0200 | mud | (~mud@user/kadoban) |
2024-07-07 18:50:58 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
2024-07-07 18:56:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-07 18:58:50 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-07-07 18:59:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-07 19:10:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-07 19:32:56 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
2024-07-07 19:37:53 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-07-07 19:37:58 +0200 | <hololeap> | tomsmeding: this is a lot cleaner and I feel better about maintaining it: https://github.com/hololeap/haskell-updater/commit/b9147e65149c2dcc7e52126a60a4bc6b0c02201a |
2024-07-07 19:41:32 +0200 | <hololeap> | it makes sense that the best structure for building the type mimics the shape of the type itself |
2024-07-07 19:42:42 +0200 | <hololeap> | I still want to get my hands dirty with some generics, but maybe some other time :p |
2024-07-07 19:49:44 +0200 | <monochrom> | Conversely, I should learn Data.Data properly too. :) |
2024-07-07 19:50:10 +0200 | <hololeap> | I couldn't figure out the bit I was stuck on with Data.Data, btw |
2024-07-07 19:56:21 +0200 | yobson | (~yobson@cpc91230-cmbg18-2-0-cust906.5-4.cable.virginm.net) (Remote host closed the connection) |
2024-07-07 20:03:46 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 20:04:46 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
2024-07-07 20:10:20 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
2024-07-07 20:10:58 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 20:19:01 +0200 | <[exa]> | kinda wondering-- there are some reasonable tools for manipulating monad stacks nowadays. Is there anything cool to somehow manipulate the "compose stacks" of functors that are glued into higher-kinded data? |
2024-07-07 20:20:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2024-07-07 20:20:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-07-07 20:22:58 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
2024-07-07 20:27:43 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-07-07 20:31:39 +0200 | <tomsmeding> | hololeap: looks great! Building mimicing the structure of the output type makes some sense, but not necessarily always; it's nice when it does, though :) |
2024-07-07 20:35:46 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-07 20:35:46 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-07 20:35:46 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-07 20:40:47 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 272 seconds) |
2024-07-07 20:45:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-07 20:47:56 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-07 20:47:56 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-07 20:47:56 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-07 20:49:43 +0200 | kuribas | (~user@ptr-17d51emtzrmz5rsjtv0.18120a2.ip6.access.telenet.be) |
2024-07-07 20:50:04 +0200 | [exa] | finds a package with Barbies |
2024-07-07 20:51:36 +0200 | <kuribas> | I am interested in joining Munihac. I could use my hasqlator library as a talk of project. |
2024-07-07 20:51:49 +0200 | <kuribas> | I wonder what is eligible for projects? |
2024-07-07 20:52:08 +0200 | <kuribas> | Would porting my library to postgresql qualify? |
2024-07-07 21:05:36 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 21:06:45 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
2024-07-07 21:08:13 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
2024-07-07 21:10:46 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 246 seconds) |
2024-07-07 21:13:15 +0200 | <[exa]> | kuribas: there's a normal CfC here https://munihac.de/2024.html#cfc I guess you can just submit a proposa and you'll see |
2024-07-07 21:16:22 +0200 | <[exa]> | afaik the most crucial eligibility criterium for the projects is how accessible they are for a random haskell person around. That usually comprises sensible docs and a clear motivation for a usecase that people can easily accept as their own. |
2024-07-07 21:16:48 +0200 | <kuribas> | hmm, I might need to update my documentation before I submit then... |
2024-07-07 21:17:20 +0200 | <kuribas> | I think it would be a nice project, because it's fairly easy, and a good exercise in composability. |
2024-07-07 21:17:59 +0200 | kuribas | (~user@ptr-17d51emtzrmz5rsjtv0.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
2024-07-07 21:21:28 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
2024-07-07 21:26:43 +0200 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) |
2024-07-07 21:28:27 +0200 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) (Ping timeout: 252 seconds) |
2024-07-07 21:28:27 +0200 | migas977 | migas97 |
2024-07-07 21:29:33 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) (Ping timeout: 255 seconds) |
2024-07-07 21:29:57 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-07-07 21:31:19 +0200 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) |
2024-07-07 21:31:19 +0200 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) (Changing host) |
2024-07-07 21:31:19 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) |
2024-07-07 21:31:27 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
2024-07-07 21:32:05 +0200 | euleritian | (~euleritia@dynamic-176-003-015-111.176.3.pool.telefonica.de) |
2024-07-07 21:34:41 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-07 21:38:03 +0200 | corona4 | (~corona4@2a01:14:123:fc60:95be:9605:ef34:c900) |
2024-07-07 21:39:45 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
2024-07-07 21:39:50 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-07-07 21:40:19 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-07-07 21:42:49 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
2024-07-07 21:46:14 +0200 | corona4 | (~corona4@2a01:14:123:fc60:95be:9605:ef34:c900) (Quit: Client closed) |
2024-07-07 21:49:48 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-07-07 22:04:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-07 22:17:34 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 256 seconds) |
2024-07-07 22:19:55 +0200 | iteratee | (~kyle@162.218.222.207) |
2024-07-07 22:21:12 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-07 22:21:12 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-07 22:21:12 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-07 22:25:39 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
2024-07-07 22:39:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-07 22:46:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-07-07 22:49:09 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
2024-07-07 22:50:51 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 22:54:34 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 264 seconds) |
2024-07-07 22:55:32 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
2024-07-07 22:58:26 +0200 | zmt00 | (~zmt00@user/zmt00) |
2024-07-07 23:00:29 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
2024-07-07 23:03:12 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
2024-07-07 23:05:19 +0200 | infinity0 | (~infinity0@pwned.gg) |
2024-07-07 23:18:10 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
2024-07-07 23:22:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-07 23:29:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-07-07 23:39:20 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-07-07 23:41:17 +0200 | emm | (~emm@user/edmeme) |
2024-07-07 23:44:51 +0200 | pavonia | (~user@user/siracusa) |
2024-07-07 23:50:21 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |