Newest at the top
2024-07-07 03:06:45 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
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 02:54:29 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-07-07 02:38:31 +0200 | gmg | (~user@user/gehmehgeh) (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:28:29 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
2024-07-07 01:50:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-07-07 01:31:14 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
2024-07-07 01:29:03 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb093425c6d62513a139.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-07-07 01:25:02 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
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:08:50 +0200 | <hololeap> | oh, maybe gmapM is what I'm looking for |
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: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:02:12 +0200 | <monochrom> | I wonder if GHC.Generics is more suitable for your questions. |
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 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 00:46:19 +0200 | Square | (~Square@user/square) |
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:37:27 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
2024-07-07 00:35:51 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:e656:c92a:8e45:f003) |
2024-07-07 00:35:48 +0200 | <hololeap> | I'm stuck at getting the BarT DataType from the Bar Constr |
2024-07-07 00:34:57 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:bee8:7ef6:2b1b:f311) |
2024-07-07 00:34:48 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
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: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:31:55 +0200 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
2024-07-07 00:23:50 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-07-07 00:08:26 +0200 | raym | (~ray@user/raym) |
2024-07-07 00:06:39 +0200 | gentauro | (~gentauro@user/gentauro) |
2024-07-07 00:06:09 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 00:01:08 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2024-07-06 23:58:45 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
2024-07-06 23:56:15 +0200 | nhar | (~noah@user/nhar) (Ping timeout: 255 seconds) |
2024-07-06 23:51:48 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-07-06 23:51:34 +0200 | raym | (~ray@user/raym) (Ping timeout: 264 seconds) |
2024-07-06 23:38:22 +0200 | <mauke> | which is why different options and panes behave inconsistently |
2024-07-06 23:38:03 +0200 | <mauke> | it feels less like a comprehensive UI vision and more like "our UI is whatever the components we use render as" |
2024-07-06 23:37:45 +0200 | <geekosaur> | yeh, I reported that |
2024-07-06 23:36:42 +0200 | <mauke> | oh, it doesn't? do some string mangling on the HTML first, then |
2024-07-06 23:36:31 +0200 | <mauke> | got something HTML-like from the network? throw it in this QHTML component and hope it renders right |
2024-07-06 23:36:24 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2024-07-06 23:36:09 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
2024-07-06 23:35:52 +0200 | <mauke> | the impression I got was that it was basically just a few Qt standard components smashed together |
2024-07-06 23:32:04 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
2024-07-06 23:31:58 +0200 | <geekosaur> | I'm hoping I don't have to delve into this stuff myself as I'm not particularly conversant with either C++ or KDE |
2024-07-06 23:30:57 +0200 | <geekosaur> | it doesn't fully support matrix verification but correctly falls back to the mechanisms it does support |
2024-07-06 23:30:36 +0200 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-07-06 23:30:20 +0200 | <geekosaur> | I do note it's using openssl instead of trying to roll its own crypto |
2024-07-06 23:30:03 +0200 | <geekosaur> | and I'm running nightlies and reporting bugs like that |