Newest at the top
| 2025-11-26 14:18:25 +0100 | <dminuoso> | [exa]: Again, you are being awfully silent on what primimtive is triggering the renderer you are talking about. |
| 2025-11-26 14:18:13 +0100 | <[exa]> | and I can render my doc manually (there's prettyString) but it ain't gonna get these opts |
| 2025-11-26 14:17:55 +0100 | <dminuoso> | It takes a string. |
| 2025-11-26 14:17:55 +0100 | <[exa]> | the Doc renderers usually have some options (render width) so I'd love to inherit the global ones |
| 2025-11-26 14:17:52 +0100 | <dminuoso> | infoOption :: String -> Mod OptionFields (a -> a) -> Parser (a -> a) |
| 2025-11-26 14:17:31 +0100 | <dminuoso> | Okay.. so whats stopping you? |
| 2025-11-26 14:17:08 +0100 | <[exa]> | yeah I want to format that string from a Doc because I have something with nesting etc there |
| 2025-11-26 14:16:36 +0100 | <dminuoso> | infoOption itself doesnt do anything, its just a parser failure containing a `String` internally. |
| 2025-11-26 14:16:13 +0100 | <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 14:15:52 +0100 | <dminuoso> | Yeah but what does "infoOption" have to do with a pretty printer? |
| 2025-11-26 14:15:18 +0100 | <[exa]> | so I thought I could give it info with some structure that would get rendered properly or so |
| 2025-11-26 14:14:41 +0100 | <[exa]> | dminuoso: optparse has internal prettyprinter https://hackage-content.haskell.org/package/optparse-applicative-0.19.0.0/docs/Options-Applicative… |
| 2025-11-26 14:14:00 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-11-26 14:13:18 +0100 | <dminuoso> | [exa]: What do you mean by "formats a Doc", ? |
| 2025-11-26 14:09:24 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 14:04:57 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 13:59:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 13:56:49 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2025-11-26 13:53:55 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2025-11-26 13:53:24 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-26 13:53:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-26 13:50:18 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-26 13:49:45 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 13:47:51 +0100 | rls129 | (~rls129@150.107.206.33) () |
| 2025-11-26 13:47:37 +0100 | rls129 | (~rls129@150.107.206.33) |
| 2025-11-26 13:46:05 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 13:42:50 +0100 | michalz | (~michalz@185.246.207.197) (Ping timeout: 244 seconds) |
| 2025-11-26 13:41:37 +0100 | michalz_ | (~michalz@185.246.207.221) |
| 2025-11-26 13:39:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 13:32:23 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-26 13:29:25 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-26 13:27:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-26 13:23:52 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 13:21:42 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 13:11:07 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-26 13:10:16 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 255 seconds) |
| 2025-11-26 13:04:41 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-5b5f-55ca-c6c5-f53a.ipv6dyn.netcologne.de) Inline |
| 2025-11-26 13:02:39 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-f98f-ba9-5de-6875.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 2025-11-26 12:52:36 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-26 12:51:21 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 12:49:54 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 12:43:37 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 12:43:07 +0100 | AlexZenon_2 | AlexZenon |
| 2025-11-26 12:41:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 12:39:25 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 12:39:11 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 12:36:37 +0100 | AlexZenon | (~alzenon@178.34.162.165) (Ping timeout: 264 seconds) |
| 2025-11-26 12:35:21 +0100 | AlexZenon_2 | (~alzenon@178.34.162.165) |
| 2025-11-26 12:32:48 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-26 12:32:00 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |