Logs: liberachat/#haskell
| 2025-11-26 10:18:55 | × | kuribas quits (~user@2a02:1808:46:f9fd:cc8e:177f:5505:a947) (Ping timeout: 264 seconds) |
| 2025-11-26 10:29:08 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 10:29:22 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 10:35:40 | → | acidjnk joins (~acidjnk@p200300d6e7171972bd6f1b8d24aa8879.dip0.t-ipconnect.de) |
| 2025-11-26 10:36:27 | × | rembo10_ quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 10:41:27 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 10:41:41 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 10:44:21 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-11-26 10:51:44 | → | X-Scale joins (~ARM@6.67.114.89.rev.vodafone.pt) |
| 2025-11-26 10:52:15 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 10:55:00 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 10:55:44 | → | poscat joins (~poscat@user/poscat) |
| 2025-11-26 10:56:42 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 10:57:09 | → | poscat joins (~poscat@user/poscat) |
| 2025-11-26 10:57:44 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-26 11:00:15 | × | ubert quits (~Thunderbi@91.141.74.115.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2025-11-26 11:01:37 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-26 11:01:58 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 2025-11-26 11:03:28 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 11:04:10 | → | poscat joins (~poscat@user/poscat) |
| 2025-11-26 11:10:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 11:12:28 | × | AlexZenon quits (~alzenon@178.34.162.165) (Read error: Connection reset by peer) |
| 2025-11-26 11:12:40 | → | AlexZenon_2 joins (~alzenon@178.34.162.165) |
| 2025-11-26 11:12:41 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-11-26 11:16:09 | AlexZenon_2 | is now known as AlexZenon |
| 2025-11-26 11:17:17 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 11:17:42 | → | poscat joins (~poscat@user/poscat) |
| 2025-11-26 11:18:36 | → | xelxebar_ joins (~xelxebar@42.203.199.104.bc.googleusercontent.com) |
| 2025-11-26 11:19:13 | × | xelxebar quits (~xelxebar@42.203.199.104.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2025-11-26 11:21:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-26 11:22:35 | × | Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2025-11-26 11:24:23 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-26 11:24:52 | <[exa]> | is there a sensible way in optparse-applicative to have an infoOption that somewhat automatically formats a Doc instead of just printing out a String? |
| 2025-11-26 11:25:20 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 11:28:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 11:31:01 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
| 2025-11-26 11:32:00 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 2025-11-26 11:32:48 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-11-26 11:35:21 | → | AlexZenon_2 joins (~alzenon@178.34.162.165) |
| 2025-11-26 11:36:37 | × | AlexZenon quits (~alzenon@178.34.162.165) (Ping timeout: 264 seconds) |
| 2025-11-26 11:39:11 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 11:39:25 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 11:41:07 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-26 11:43:07 | AlexZenon_2 | is now known as AlexZenon |
| 2025-11-26 11:43:37 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 11:49:54 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 11:51:21 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 2025-11-26 11:52:36 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-26 12:02:39 | × | Inline quits (~inlinE@2001-4dd7-868d-0-f98f-ba9-5de-6875.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 2025-11-26 12:04:41 | → | Inline joins (~inlinE@2001-4dd7-868d-0-5b5f-55ca-c6c5-f53a.ipv6dyn.netcologne.de) |
| 2025-11-26 12:10:16 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 255 seconds) |
| 2025-11-26 12:11:07 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-11-26 12:21:42 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 12:23:52 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-11-26 12:27:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-26 12:29:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-26 12:32:23 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-26 12:39:44 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-26 12:41:37 | → | michalz_ joins (~michalz@185.246.207.221) |
| 2025-11-26 12:42:50 | × | michalz quits (~michalz@185.246.207.197) (Ping timeout: 244 seconds) |
| 2025-11-26 12:46:05 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 12:47:37 | → | rls129 joins (~rls129@150.107.206.33) |
| 2025-11-26 12:47:51 | ← | rls129 parts (~rls129@150.107.206.33) () |
| 2025-11-26 12:49:45 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 12:50:18 | → | poscat joins (~poscat@user/poscat) |
| 2025-11-26 12:53:13 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-26 12:53:24 | → | weary-traveler joins (~user@user/user363627) |
| 2025-11-26 12:53:55 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2025-11-26 12:56:49 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2025-11-26 12:59:13 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 13:04:57 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 13:09:24 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-26 13:13:18 | <dminuoso> | [exa]: What do you mean by "formats a Doc", ? |
| 2025-11-26 13:14:00 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-11-26 13:14:41 | <[exa]> | dminuoso: optparse has internal prettyprinter https://hackage-content.haskell.org/package/optparse-applicative-0.19.0.0/docs/Options-Applicative-Help-Pretty.html#t:Doc |
| 2025-11-26 13:15:18 | <[exa]> | so I thought I could give it info with some structure that would get rendered properly or so |
| 2025-11-26 13:15:52 | <dminuoso> | Yeah but what does "infoOption" have to do with a pretty printer? |
| 2025-11-26 13:16:13 | <dminuoso> | It seems like you're being really asking about some other primitive of optparse-applicative that you feed an infoOption to. |
| 2025-11-26 13:16:36 | <dminuoso> | infoOption itself doesnt do anything, its just a parser failure containing a `String` internally. |
| 2025-11-26 13:17:08 | <[exa]> | yeah I want to format that string from a Doc because I have something with nesting etc there |
| 2025-11-26 13:17:31 | <dminuoso> | Okay.. so whats stopping you? |
| 2025-11-26 13:17:52 | <dminuoso> | infoOption :: String -> Mod OptionFields (a -> a) -> Parser (a -> a) |
| 2025-11-26 13:17:55 | <[exa]> | the Doc renderers usually have some options (render width) so I'd love to inherit the global ones |
| 2025-11-26 13:17:55 | <dminuoso> | It takes a string. |
| 2025-11-26 13:18:13 | <[exa]> | and I can render my doc manually (there's prettyString) but it ain't gonna get these opts |
| 2025-11-26 13:18:25 | <dminuoso> | [exa]: Again, you are being awfully silent on what primimtive is triggering the renderer you are talking about. |
| 2025-11-26 13:19:18 | <[exa]> | ok so essentially I now have: infoOption (prettyString ..complex thing..) $ long "blabla" ... |
| 2025-11-26 13:19:37 | <[exa]> | the prettyString needs arguments (ribbon width, terminal width) that I have to supply as constants now |
| 2025-11-26 13:19:54 | <[exa]> | I'd like to render with the same as optparse-applicative renders with |
| 2025-11-26 13:19:59 | <[exa]> | for consistency etc |
| 2025-11-26 13:20:01 | <dminuoso> | A-ha. And you want access to the renderer used in `execParser` eventually? |
| 2025-11-26 13:20:14 | <[exa]> | so I hoped there would be something handy for rendering the stuff right |
| 2025-11-26 13:22:33 | <[exa]> | in particular there's prefColumns in ParserPrefs, would love to inherit that somehow |
| 2025-11-26 13:22:56 | <[exa]> | like I see it's not a great deal probably, I assumed it would get defaulted on runtime but it doesn't seem so |
| 2025-11-26 13:23:01 | <dminuoso> | [exa]: Anyway, all that infoOption does is just stuff an `InfoMsg` into the right place. You can see in the source code of src/Options/Applicative/Extra.hs - which is the only place this is ever discriminated upon - that there is no alternative. |
| 2025-11-26 13:23:02 | <[exa]> | :< |
| 2025-11-26 13:23:29 | <dminuoso> | You would have to to extend the ParseError data type with a new constructor `InfoDoc Doc` |
| 2025-11-26 13:24:41 | <[exa]> | oic it's actually hardcoded there |
| 2025-11-26 13:25:03 | <[exa]> | gah, okay. if I hit this one more time I send a PR. |
| 2025-11-26 13:27:01 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
All times are in UTC.