| 2025-11-26 00:00:04 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-26 00:03:24 +0100 | dontdieych | (~dontdieyc@132.226.169.184) (Ping timeout: 260 seconds) |
| 2025-11-26 00:05:25 +0100 | Frostillicus | (~Frostilli@71.174.119.69) (Ping timeout: 264 seconds) |
| 2025-11-26 00:06:44 +0100 | dontdieych | (~dontdieyc@132.226.169.184) dontdieych |
| 2025-11-26 00:07:45 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-26 00:09:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 00:10:59 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-26 00:13:49 +0100 | dyniec | (~dyniec@dybiec.info) (Remote host closed the connection) |
| 2025-11-26 00:13:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-26 00:14:26 +0100 | dyniec | (~dyniec@dybiec.info) |
| 2025-11-26 00:23:15 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 00:24:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 00:26:20 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-26 00:28:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-26 00:38:32 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2025-11-26 00:40:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 00:44:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 00:50:07 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-26 00:52:07 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-26 00:55:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 00:57:44 +0100 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-26 00:58:11 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-11-26 00:59:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 01:09:35 +0100 | hseg | (~gesh@46.120.21.70) (Quit: WeeChat 4.7.1) |
| 2025-11-26 01:10:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 01:15:28 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-26 01:17:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 01:19:53 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 01:21:43 +0100 | Googulator33 | Googulator |
| 2025-11-26 01:27:26 +0100 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 256 seconds) |
| 2025-11-26 01:28:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 01:33:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 01:35:36 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-11-26 01:35:44 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 01:35:50 +0100 | Googulator99 | (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) |
| 2025-11-26 01:37:37 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-26 01:37:48 +0100 | <int-e> | haddock, please tell me where https://hackage.haskell.org/package/xhtml-3000.4.0.0/docs/Text-XHtml-Transitional.html#t:Builder is reexported from? pretty please? |
| 2025-11-26 01:38:56 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-11-26 01:39:27 +0100 | <int-e> | (it's https://hackage-content.haskell.org/package/bytestring-0.12.2.0/docs/Data-ByteString-Builder.html#… ) |
| 2025-11-26 01:42:25 +0100 | trickard__ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-11-26 01:44:25 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-26 01:44:54 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-26 01:48:07 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-11-26 01:49:32 +0100 | Googulator99 | Googulator |
| 2025-11-26 01:50:03 +0100 | ham | (~ham@user/ham) ham |
| 2025-11-26 01:52:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 01:53:25 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-26 01:56:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-26 01:59:38 +0100 | <geekosaur> | ask that one in #haddock, I think |
| 2025-11-26 02:01:45 +0100 | Catty | (~catties@user/meow/catties) (Remote host closed the connection) |
| 2025-11-26 02:05:41 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 02:05:46 +0100 | Googulator77 | (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) |
| 2025-11-26 02:07:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 02:08:30 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-11-26 02:09:05 +0100 | <jackdk> | int-e: I find it helpful to go to the module source and look for re-exports that way. It's a weakness of the haddock output format |
| 2025-11-26 02:09:21 +0100 | <int-e> | jackdk: Yeah that's what I did. |
| 2025-11-26 02:12:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 02:15:54 +0100 | catties | (~catties@user/meow/catties) catties |
| 2025-11-26 02:16:35 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3f6a:7752:62cb:f27d) (Ping timeout: 250 seconds) |
| 2025-11-26 02:18:19 +0100 | defragger | (~random@i6DFADED8.versanet.de) (Ping timeout: 264 seconds) |
| 2025-11-26 02:19:03 +0100 | catties | Catty |
| 2025-11-26 02:19:59 +0100 | Googulator77 | Googulator |
| 2025-11-26 02:19:59 +0100 | defragger | (~random@i6DFADEE5.versanet.de) defragger |
| 2025-11-26 02:22:14 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-26 02:23:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 02:24:49 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-26 02:26:24 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-26 02:26:53 +0100 | xff0x | (~xff0x@2405:6580:b080:900:ec9c:aeb8:e7c2:da00) |
| 2025-11-26 02:27:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-26 02:29:57 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-26 02:32:35 +0100 | Square3 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-11-26 02:38:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 02:43:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-26 02:54:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 02:58:31 +0100 | acidjnk | (~acidjnk@p200300d6e7171998508fe3f98c6641fe.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-26 02:58:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 02:59:18 +0100 | omidmash0 | (~omidmash@user/omidmash) omidmash |
| 2025-11-26 03:00:20 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-26 03:01:33 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-11-26 03:01:33 +0100 | omidmash0 | omidmash |
| 2025-11-26 03:09:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 03:12:30 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 244 seconds) |
| 2025-11-26 03:14:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-26 03:16:39 +0100 | eron | (~eron@152.250.226.25) lidenbrock |
| 2025-11-26 03:20:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2025-11-26 03:25:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 03:29:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 03:32:35 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 03:32:53 +0100 | eron | (~eron@152.250.226.25) (Quit: Client closed) |
| 2025-11-26 03:33:01 +0100 | <dibblego> | also what I do ^^ |
| 2025-11-26 03:37:11 +0100 | <monochrom> | I think haddock has never been responsible for origin of exports. However, GHCi tells you that by the :info command. |
| 2025-11-26 03:37:29 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-11-26 03:37:56 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-11-26 03:40:02 +0100 | trickard__ | trickard |
| 2025-11-26 03:40:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 03:42:38 +0100 | <int-e> | monochrom: Right. But it turns out that `ghci` is inconvenient when you're collecting dependencies to allow a program to build, since the installed libraries aren't registered "publicly" and `cabal repl` will not work easily because the package you're preparing can't be built. |
| 2025-11-26 03:45:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-26 03:53:39 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 250 seconds) |
| 2025-11-26 03:55:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 04:02:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-26 04:03:32 +0100 | europhobic | (~europhobi@109.166.129.14) (Quit: Leaving) |
| 2025-11-26 04:10:30 +0100 | <jackdk> | `cabal repl -b xhtml` might work here, outside of your project |
| 2025-11-26 04:14:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 04:15:35 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2025-11-26 04:15:58 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 04:16:19 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-11-26 04:18:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 04:19:49 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2025-11-26 04:20:35 +0100 | <geekosaur> | q&d cheat: tell ghci to use the store's package db |
| 2025-11-26 04:20:53 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-26 04:22:00 +0100 | <geekosaur> | might not be precise since one of the reasons cabal hides the store and tells ghc to use explicit packages from it is ghc's likely to pick inappropriate packages and come up with something unbuildable, but if you aren't actually building and just looking up types (and where theyr'e imported from) it should usually be good enough |
| 2025-11-26 04:22:21 +0100 | <geekosaur> | assumming ghci doesn't go ahead an pick a version of the package that doesn't have the import |
| 2025-11-26 04:29:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 04:29:48 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 04:33:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 04:34:08 +0100 | td_ | (~td@i5387092E.versanet.de) (Ping timeout: 240 seconds) |
| 2025-11-26 04:36:16 +0100 | td_ | (~td@i53870917.versanet.de) td_ |
| 2025-11-26 04:37:48 +0100 | vardhan | (~vardhan@122.172.81.48) |
| 2025-11-26 04:43:28 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-26 04:43:47 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-26 04:44:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 04:44:59 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 04:49:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-26 04:58:07 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-26 05:00:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 05:01:17 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-26 05:04:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 05:04:55 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-11-26 05:12:56 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-11-26 05:14:34 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 05:15:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 05:19:46 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 246 seconds) |
| 2025-11-26 05:20:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-26 05:31:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 05:34:18 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-11-26 05:35:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 05:37:20 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2025-11-26 05:46:12 +0100 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 05:46:26 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-11-26 05:46:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 05:50:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 05:52:20 +0100 | trickard_ | trickard |
| 2025-11-26 05:59:43 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 06:02:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 06:06:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 06:12:16 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 06:17:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 06:20:12 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 06:21:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 06:23:22 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-26 06:26:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-26 06:27:39 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::e122) sp1ff |
| 2025-11-26 06:30:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-11-26 06:32:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 06:37:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-26 06:38:26 +0100 | falafel | (~falafel@gateway/vpn/pia/falafel) falafel |
| 2025-11-26 06:41:55 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 240 seconds) |
| 2025-11-26 06:42:44 +0100 | mange | (~mange@user/mange) (Remote host closed the connection) |
| 2025-11-26 06:47:32 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2025-11-26 06:48:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 06:51:35 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 240 seconds) |
| 2025-11-26 06:55:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-26 06:56:13 +0100 | michalz | (~michalz@185.246.207.215) |
| 2025-11-26 07:05:19 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-26 07:06:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 07:10:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 07:12:07 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-26 07:13:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 07:14:18 +0100 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 244 seconds) |
| 2025-11-26 07:14:58 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-11-26 07:17:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 07:28:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 07:29:41 +0100 | trickard__ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 07:29:55 +0100 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-26 07:32:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-26 07:43:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 07:44:11 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-26 07:44:35 +0100 | FANTOM | (~fantom@212.228.181.156) (Ping timeout: 240 seconds) |
| 2025-11-26 07:48:06 +0100 | michalz | (~michalz@185.246.207.215) (Read error: Connection reset by peer) |
| 2025-11-26 07:48:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-26 07:49:39 +0100 | michalz | (~michalz@185.246.207.197) |
| 2025-11-26 07:53:53 +0100 | trickard__ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 07:54:07 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 07:59:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 08:03:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 08:07:04 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-11-26 08:09:35 +0100 | Square3 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-11-26 08:13:00 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-26 08:14:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 08:17:20 +0100 | trickard_ | trickard |
| 2025-11-26 08:19:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-26 08:20:48 +0100 | tromp | (~textual@2001:1c00:3487:1b00:c5b7:b8d9:7db7:74e1) |
| 2025-11-26 08:21:24 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-26 08:29:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 08:36:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-26 08:36:35 +0100 | annamalai | (~annamalai@157.32.140.105) (Ping timeout: 240 seconds) |
| 2025-11-26 08:37:59 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-26 08:42:35 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-26 08:48:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 08:52:31 +0100 | vardhan | (~vardhan@122.172.81.48) (Ping timeout: 264 seconds) |
| 2025-11-26 08:52:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 08:53:48 +0100 | FANTOM | (~fantom@212.228.181.156) |
| 2025-11-26 08:54:39 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-26 09:03:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 09:05:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-26 09:08:11 +0100 | annamalai | (~annamalai@157.32.143.204) annamalai |
| 2025-11-26 09:08:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-26 09:17:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 09:18:40 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 09:23:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2025-11-26 09:24:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-26 09:26:00 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-26 09:30:07 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-26 09:30:47 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-26 09:30:47 +0100 | chele | (~chele@user/chele) chele |
| 2025-11-26 09:34:10 +0100 | vardhan | (~vardhan@122.172.87.77) |
| 2025-11-26 09:35:10 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 2025-11-26 09:48:32 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2025-11-26 09:58:29 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-26 10:00:24 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-26 10:00:29 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 10:00:43 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 10:00:44 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-26 10:03:28 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 10:07:50 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 2025-11-26 10:08:36 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-26 10:11:32 +0100 | kuribas | (~user@2a02:1808:46:f9fd:cc8e:177f:5505:a947) kuribas |
| 2025-11-26 10:16:55 +0100 | connrs | (~connrs@user/connrs) (Ping timeout: 240 seconds) |
| 2025-11-26 10:32:24 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 252 seconds) |
| 2025-11-26 10:36:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 10:39:04 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-11-26 10:39:04 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-11-26 10:39:04 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-26 10:47:41 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-26 10:49:27 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 10:52:19 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-26 10:56:46 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-26 11:00:28 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 11:03:05 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-11-26 11:03:25 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-11-26 11:08:04 +0100 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2025-11-26 11:09:40 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-11-26 11:10:32 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-11-26 11:10:51 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-26 11:12:05 +0100 | tromp | (~textual@2001:1c00:3487:1b00:c5b7:b8d9:7db7:74e1) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-26 11:16:58 +0100 | chewybread | (~chewybrea@user/chewybread) (Remote host closed the connection) |
| 2025-11-26 11:18:48 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 11:18:55 +0100 | kuribas | (~user@2a02:1808:46:f9fd:cc8e:177f:5505:a947) (Ping timeout: 264 seconds) |
| 2025-11-26 11:29:08 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 11:29:22 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 11:35:40 +0100 | acidjnk | (~acidjnk@p200300d6e7171972bd6f1b8d24aa8879.dip0.t-ipconnect.de) acidjnk |
| 2025-11-26 11:36:27 +0100 | rembo10_ | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 11:41:27 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 11:41:41 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 11:44:21 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-11-26 11:51:44 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-26 11:52:15 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 11:55:00 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 11:55:44 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-26 11:56:42 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 11:57:09 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-26 11:57:44 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 12:00:15 +0100 | ubert | (~Thunderbi@91.141.74.115.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2025-11-26 12:01:37 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-26 12:01:58 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 12:03:28 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 12:04:10 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-26 12:10:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 12:12:28 +0100 | AlexZenon | (~alzenon@178.34.162.165) (Read error: Connection reset by peer) |
| 2025-11-26 12:12:40 +0100 | AlexZenon_2 | (~alzenon@178.34.162.165) |
| 2025-11-26 12:12:41 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-26 12:16:09 +0100 | AlexZenon_2 | AlexZenon |
| 2025-11-26 12:17:17 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 12:17:42 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-26 12:18:36 +0100 | xelxebar_ | (~xelxebar@42.203.199.104.bc.googleusercontent.com) xelxebar |
| 2025-11-26 12:19:13 +0100 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2025-11-26 12:21:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-26 12:22:35 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2025-11-26 12:24:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 12:24:52 +0100 | <[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 12:25:20 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 12:28:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 12:31:01 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-11-26 12:32:00 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 2025-11-26 12:32:48 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-26 12:35:21 +0100 | AlexZenon_2 | (~alzenon@178.34.162.165) |
| 2025-11-26 12:36:37 +0100 | AlexZenon | (~alzenon@178.34.162.165) (Ping timeout: 264 seconds) |
| 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:39:25 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 12:41:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 12:43:07 +0100 | AlexZenon_2 | AlexZenon |
| 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:49:54 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 12:51:21 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 12:52:36 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 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 13:04:41 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-5b5f-55ca-c6c5-f53a.ipv6dyn.netcologne.de) Inline |
| 2025-11-26 13:10:16 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 255 seconds) |
| 2025-11-26 13:11:07 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-26 13:21:42 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 13:23:52 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 13:27:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 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:32:23 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-26 13:39:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 13:41:37 +0100 | michalz_ | (~michalz@185.246.207.221) |
| 2025-11-26 13:42:50 +0100 | michalz | (~michalz@185.246.207.197) (Ping timeout: 244 seconds) |
| 2025-11-26 13:46:05 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 13:47:37 +0100 | rls129 | (~rls129@150.107.206.33) |
| 2025-11-26 13:47:51 +0100 | rls129 | (~rls129@150.107.206.33) () |
| 2025-11-26 13:49:45 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 13:50:18 +0100 | poscat | (~poscat@user/poscat) poscat |
| 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:53:24 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-26 13:53:55 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2025-11-26 13:56:49 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2025-11-26 13:59:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 14:04:57 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 14:09:24 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 14:13:18 +0100 | <dminuoso> | [exa]: What do you mean by "formats a Doc", ? |
| 2025-11-26 14:14:00 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 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: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:15:52 +0100 | <dminuoso> | Yeah but what does "infoOption" have to do with a pretty printer? |
| 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:16:36 +0100 | <dminuoso> | infoOption itself doesnt do anything, its just a parser failure containing a `String` internally. |
| 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:17:31 +0100 | <dminuoso> | Okay.. so whats stopping you? |
| 2025-11-26 14:17:52 +0100 | <dminuoso> | infoOption :: String -> Mod OptionFields (a -> a) -> Parser (a -> a) |
| 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:55 +0100 | <dminuoso> | It takes a string. |
| 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: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:19:18 +0100 | <[exa]> | ok so essentially I now have: infoOption (prettyString ..complex thing..) $ long "blabla" ... |
| 2025-11-26 14:19:37 +0100 | <[exa]> | the prettyString needs arguments (ribbon width, terminal width) that I have to supply as constants now |
| 2025-11-26 14:19:54 +0100 | <[exa]> | I'd like to render with the same as optparse-applicative renders with |
| 2025-11-26 14:19:59 +0100 | <[exa]> | for consistency etc |
| 2025-11-26 14:20:01 +0100 | <dminuoso> | A-ha. And you want access to the renderer used in `execParser` eventually? |
| 2025-11-26 14:20:14 +0100 | <[exa]> | so I hoped there would be something handy for rendering the stuff right |
| 2025-11-26 14:22:33 +0100 | <[exa]> | in particular there's prefColumns in ParserPrefs, would love to inherit that somehow |
| 2025-11-26 14:22:56 +0100 | <[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 14:23:01 +0100 | <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 14:23:02 +0100 | <[exa]> | :< |
| 2025-11-26 14:23:29 +0100 | <dminuoso> | You would have to to extend the ParseError data type with a new constructor `InfoDoc Doc` |
| 2025-11-26 14:24:41 +0100 | <[exa]> | oic it's actually hardcoded there |
| 2025-11-26 14:25:03 +0100 | <[exa]> | gah, okay. if I hit this one more time I send a PR. |
| 2025-11-26 14:27:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-26 14:29:20 +0100 | falafel | (~falafel@gateway/vpn/pia/falafel) (Ping timeout: 244 seconds) |
| 2025-11-26 14:29:28 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 14:32:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 14:34:34 +0100 | trickard_ | trickard |
| 2025-11-26 14:48:16 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 14:49:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 14:56:15 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 14:56:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 15:03:44 +0100 | annamalai | (~annamalai@157.32.143.204) (Read error: Connection reset by peer) |
| 2025-11-26 15:03:59 +0100 | annamalai | (~annamalai@2409:4042:2d87:3c71::9e8a:460b) annamalai |
| 2025-11-26 15:07:54 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 15:08:07 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 15:10:28 +0100 | trickard_ | trickard |
| 2025-11-26 15:10:49 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-26 15:15:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 15:18:03 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 15:18:58 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-26 15:20:23 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-26 15:26:06 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 15:28:15 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-11-26 15:28:38 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-26 15:29:18 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 15:29:25 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-26 15:38:45 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2025-11-26 15:39:58 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-26 15:40:06 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 15:40:20 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 15:40:44 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 15:41:14 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 15:41:27 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 15:47:35 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 240 seconds) |
| 2025-11-26 15:50:59 +0100 | Googulator | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-26 15:54:08 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 15:54:41 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 15:57:45 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-26 16:04:14 +0100 | trickard_ | trickard |
| 2025-11-26 16:05:35 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-26 16:05:41 +0100 | Googulator | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 16:08:27 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2025-11-26 16:08:42 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Client Quit) |
| 2025-11-26 16:13:31 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 264 seconds) |
| 2025-11-26 16:17:11 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-11-26 16:18:58 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 16:23:02 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-26 16:28:15 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-11-26 16:31:55 +0100 | <bwe> | `h a b = uncurry f <$> g a b` -- how do I write this point-free? |
| 2025-11-26 16:33:23 +0100 | <lucabtz> | i had a similar problem days ago |
| 2025-11-26 16:33:36 +0100 | <lucabtz> | (didnt find a solution) |
| 2025-11-26 16:33:57 +0100 | <[exa]> | https://hackage.haskell.org/package/composition-1.0.2.2/docs/Data-Composition.html#v:.: |
| 2025-11-26 16:34:22 +0100 | <[exa]> | should be something like `h = fmap uncurry f .: g` |
| 2025-11-26 16:35:50 +0100 | <bwe> | I had the feeling that the right application of `.` and <$> with parentheses does the job? |
| 2025-11-26 16:36:18 +0100 | <lucabtz> | `h = fmap uncurry f .: g` this looks different to me but maybe im messing up precedences |
| 2025-11-26 16:36:18 +0100 | <[exa]> | nah you need to pull 2 arguments through, a single (.) ain't gonna do it |
| 2025-11-26 16:36:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-26 16:36:48 +0100 | <lucabtz> | i though the original is like fmap (uncurry f) (g a b) |
| 2025-11-26 16:37:13 +0100 | <[exa]> | lucabtz: yeah I forgot the parentheses, true |
| 2025-11-26 16:38:00 +0100 | <mauke> | @pl h a b = uncurry f <$> g a b |
| 2025-11-26 16:38:00 +0100 | <lambdabot> | h = ((uncurry f <$>) .) . g |
| 2025-11-26 16:38:48 +0100 | <[exa]> | mauke: I'd say that's on the far side of pointfree :D |
| 2025-11-26 16:38:53 +0100 | <mauke> | @pl h a b = fmap (uncurry f) (g a b) |
| 2025-11-26 16:38:53 +0100 | <lambdabot> | h = (fmap (uncurry f) .) . g |
| 2025-11-26 16:39:09 +0100 | <Leary> | bwe: you don't |
| 2025-11-26 16:39:25 +0100 | <[exa]> | underrated answer ^ |
| 2025-11-26 16:40:39 +0100 | <haskellbridge> | <Zemyla> I'm thinking about how more than one pointfree expansion I've seen has had the boobs operator: ((.) . (.)) |
| 2025-11-26 16:41:15 +0100 | <mauke> | that's .: |
| 2025-11-26 16:42:10 +0100 | <haskellbridge> | <Zemyla> Well, yeah, but @pl doesn't use that. |
| 2025-11-26 16:42:14 +0100 | <__monty__> | And it's called the bird operator, just FYI. |
| 2025-11-26 16:42:22 +0100 | <mauke> | it is? |
| 2025-11-26 16:42:29 +0100 | <lucabtz> | i think boobs operator is a clearer name |
| 2025-11-26 16:43:57 +0100 | <__monty__> | Sorry it's *a* bird operator, specifically the blackbird operator. |
| 2025-11-26 16:44:29 +0100 | <mauke> | ah, that makes more sense |
| 2025-11-26 16:44:39 +0100 | mauke | mocks a mockingbird |
| 2025-11-26 16:45:54 +0100 | <haskellbridge> | <Morj> How hard would it be to add the "composition" package operators to pointfree.io ? |
| 2025-11-26 16:46:27 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-26 17:03:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 17:05:42 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2025-11-26 17:15:35 +0100 | infinity0 | (~infinity0@pwned.gg) (Quit: WeeChat 4.6.3) |
| 2025-11-26 17:26:59 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-26 17:30:21 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-26 17:31:07 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-26 17:32:07 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-26 17:32:53 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-26 17:33:31 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 2025-11-26 17:45:41 +0100 | Googulator17 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-26 17:45:43 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 17:46:15 +0100 | vardhan | (~vardhan@122.172.87.77) (Ping timeout: 240 seconds) |
| 2025-11-26 17:51:42 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-26 17:56:21 +0100 | <xerox> | santabot: when is your countdown starting |
| 2025-11-26 17:56:55 +0100 | <xerox> | oops my bad, wrong terminal |
| 2025-11-26 17:59:12 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-26 18:06:16 +0100 | confusedalex | (~confuseda@user/confusedalex) (Ping timeout: 246 seconds) |
| 2025-11-26 18:11:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 18:11:19 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-11-26 18:12:36 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-26 18:15:01 +0100 | byorgey | (~byorgey@user/byorgey) (Ping timeout: 264 seconds) |
| 2025-11-26 18:15:32 +0100 | Googulator17 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 18:15:45 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-26 18:15:49 +0100 | Googulator17 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-26 18:16:52 +0100 | hamster | (~ham@user/ham) ham |
| 2025-11-26 18:18:44 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 18:18:48 +0100 | SoF5 | (~skius@user/skius) skius |
| 2025-11-26 18:18:56 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 18:18:59 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | michalz_ | (~michalz@185.246.207.221) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | FANTOM | (~fantom@212.228.181.156) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | haskellbridge | (~hackager@96.28.224.214) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | rembo10 | (~rembo10@main.remulis.com) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | defragger | (~random@i6DFADEE5.versanet.de) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | SoF | (~skius@user/skius) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | xelxebar_ | (~xelxebar@42.203.199.104.bc.googleusercontent.com) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | yin | (~zero@user/zero) (Ping timeout: 240 seconds) |
| 2025-11-26 18:19:00 +0100 | SoF5 | SoF |
| 2025-11-26 18:19:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-26 18:19:32 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-11-26 18:19:35 +0100 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) xelxebar |
| 2025-11-26 18:19:51 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 18:19:55 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-26 18:19:56 +0100 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-11-26 18:20:42 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-11-26 18:21:08 +0100 | michalz | (~michalz@185.246.207.193) |
| 2025-11-26 18:21:15 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-11-26 18:21:15 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-26 18:21:48 +0100 | takuan_dozo | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-26 18:22:10 +0100 | typedfern_ | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) |
| 2025-11-26 18:22:15 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-11-26 18:22:44 +0100 | ham | (~ham@user/ham) (Ping timeout: 240 seconds) |
| 2025-11-26 18:22:44 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 240 seconds) |
| 2025-11-26 18:22:44 +0100 | typedfern__ | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2025-11-26 18:22:44 +0100 | FANTOM | (~fantom@212.228.181.156) |
| 2025-11-26 18:22:44 +0100 | byorgey_ | (~byorgey@155.138.238.211) |
| 2025-11-26 18:22:44 +0100 | byorgey_ | (~byorgey@155.138.238.211) (Changing host) |
| 2025-11-26 18:22:44 +0100 | byorgey_ | (~byorgey@user/byorgey) byorgey |
| 2025-11-26 18:22:52 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2025-11-26 18:22:52 +0100 | ChanServ | +v haskellbridge |
| 2025-11-26 18:23:18 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-26 18:26:25 +0100 | dontdieych | (~dontdieyc@132.226.169.184) (Ping timeout: 264 seconds) |
| 2025-11-26 18:28:40 +0100 | dontdieych | (~dontdieyc@132.226.169.184) dontdieych |
| 2025-11-26 18:29:32 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-11-26 18:29:36 +0100 | ff | (~user@207.194.126.6) |
| 2025-11-26 18:29:40 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-26 18:30:45 +0100 | defragger | (~random@i6DFADEE5.versanet.de) defragger |
| 2025-11-26 18:31:54 +0100 | ff | (~user@207.194.126.6) (Remote host closed the connection) |
| 2025-11-26 18:32:14 +0100 | yin | (~zero@user/zero) zero |
| 2025-11-26 18:33:55 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-26 18:37:29 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-11-26 18:39:02 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-11-26 18:40:57 +0100 | wickedjargon | (~user@207.194.126.6) wickedjargon |
| 2025-11-26 18:46:49 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Ping timeout: 264 seconds) |
| 2025-11-26 18:47:39 +0100 | pointlessslippe- | (~pointless@62.106.85.17) |
| 2025-11-26 18:50:02 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 18:50:16 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 18:51:01 +0100 | forell | (~forell@user/forell) (Ping timeout: 264 seconds) |
| 2025-11-26 18:52:07 +0100 | forell | (~forell@user/forell) forell |
| 2025-11-26 19:00:00 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.7.1) |
| 2025-11-26 19:00:06 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-26 19:01:25 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-11-26 19:01:49 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-11-26 19:02:17 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-26 19:08:11 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-26 19:12:58 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-11-26 19:15:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 19:21:21 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) ft |
| 2025-11-26 19:22:52 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-11-26 19:24:54 +0100 | wickedjargon | (~user@207.194.126.6) (Read error: Connection reset by peer) |
| 2025-11-26 19:25:54 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-11-26 19:28:09 +0100 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-11-26 19:31:49 +0100 | takuan_dozo | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 264 seconds) |
| 2025-11-26 19:33:11 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |