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) |