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 |