Newest at the top
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:44:46 +0200 | <hololeap> | https://github.com/gentoo-haskell/haskell-updater/blob/master/Distribution/Gentoo/CmdLine.hs#L37-L99 |
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: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: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:40:47 +0200 | <tomsmeding> | Can you do the check _there_ instead of crashing? |
2024-07-07 15:40:39 +0200 | <tomsmeding> | would something crash? What would? |
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: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: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:34:17 +0200 | ubert | (~Thunderbi@p200300ecdf008f0f0a6872e022c3958c.dip0.t-ipconnect.de) |
2024-07-07 15:33:57 +0200 | ubert | (~Thunderbi@p200300ecdf008f0f0a6872e022c3958c.dip0.t-ipconnect.de) (Remote host closed the connection) |
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:31:30 +0200 | <tomsmeding> | or something else is off |
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:30:33 +0200 | <tomsmeding> | thereby making this whole generics/whatever dance redundant |
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: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: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:23:47 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 15:13:32 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-07-07 15:12:57 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.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:05:49 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 15:01:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-07 14:58:29 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-07 14:58:29 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-07 14:58:29 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-07 14:46:03 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
2024-07-07 14:43:53 +0200 | <hololeap> | maybe I can rig something up with TypeFamilies |
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:38:50 +0200 | <hololeap> | (or at the very least, "--mode=reinstall-atoms is not supported by X") |
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:37:27 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 264 seconds) |
2024-07-07 14:37:17 +0200 | <hololeap> | here's the ADT: https://bpa.st/FNXQ |
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:36:12 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
2024-07-07 14:34:58 +0200 | <hololeap> | this is what the Rep looks like: https://bpa.st/DE3Q |
2024-07-07 14:33:58 +0200 | puke | (~puke@user/puke) |
2024-07-07 14:33:50 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2024-07-07 14:31:59 +0200 | <tomsmeding> | so yeah, KnownSymbol it is |
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:30:29 +0200 | <tomsmeding> | (but I'm not sure I've tried that particular trick) |
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: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:09:33 +0200 | qqe | (~qqq@92.43.167.61) |
2024-07-07 13:43:13 +0200 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) (Quit: hwpplayer1) |
2024-07-07 13:28:41 +0200 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) |
2024-07-07 13:24:20 +0200 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) (Read error: Connection reset by peer) |
2024-07-07 13:19:37 +0200 | mrmr155334346 | (~mrmr@user/mrmr) |