Logs: liberachat/#haskell
| 2025-11-29 12:46:18 | <mreh> | > traverseOf _1 (Right . (+1)) (1, 'a') |
| 2025-11-29 12:46:20 | <lambdabot> | Right (2,'a') |
| 2025-11-29 12:46:32 | × | Googulator53 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 12:47:36 | <[exa]> | yeah lenses might be useful |
| 2025-11-29 12:48:05 | <mreh> | [exa]: local Hoogle + Hackage would be so useful for offline, I seem to remember some tooling around that |
| 2025-11-29 12:48:16 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-11-29 12:48:32 | <[exa]> | I've got that in my todolist for years |
| 2025-11-29 12:48:56 | <[exa]> | it's supposed to "just work" yet never really cared because there's some hoogle online almost any time |
| 2025-11-29 12:49:02 | → | yin joins (~zero@user/zero) |
| 2025-11-29 12:51:52 | <mreh> | if I had to travel, I might consider it |
| 2025-11-29 12:52:03 | <mreh> | but then there's internet almost everywhere now |
| 2025-11-29 12:54:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 12:56:44 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 12:57:49 | <Leary> | Local hoogle is snappier, since it doesn't have to query some webserver on every single keypress. It's also quite trivial to set up on NixOS, not sure about other systems. |
| 2025-11-29 12:58:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 12:59:53 | ← | yarl parts (~yarl@user/yarl) (Killed buffer) |
| 2025-11-29 13:01:49 | × | xff0x quits (~xff0x@ai083123.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 2025-11-29 13:05:26 | → | Square joins (~Square@user/square) |
| 2025-11-29 13:09:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 13:11:23 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-11-29 13:14:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 13:24:38 | → | xff0x joins (~xff0x@2405:6580:b080:900:b802:6ec:1472:e908) |
| 2025-11-29 13:24:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 13:27:34 | × | deptype quits (~deptype@2406:b400:3a:9d2f:1ad9:1516:2389:208a) (Remote host closed the connection) |
| 2025-11-29 13:29:45 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-29 13:31:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 13:42:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 13:47:11 | → | califax joins (~califax@user/califx) |
| 2025-11-29 13:47:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 13:49:30 | <__monty__> | Nix makes local Hoogle as trivial as setting withHoogle to true. |
| 2025-11-29 13:56:58 | <dutchie> | seems like I have to dick around with firefox localfilelinks permissions though :/ |
| 2025-11-29 13:58:07 | × | Square quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-11-29 13:58:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 13:59:16 | <Clint> | on debian, apt install hoogle |
| 2025-11-29 14:00:30 | <dutchie> | the issue seems to be that nix-installed `hoogle serve` (via withHoogle) links to something like file:///nix/store/v3x1jakad8zvajivhn728wwflq4invfz-ghc-9.12.2-doc/share/doc/ghc/html/libraries/bytestring-0.12.2.0-b89d/Data-ByteString.html |
| 2025-11-29 14:00:42 | <dutchie> | but firefox doesn't allow file:// links from http origins |
| 2025-11-29 14:02:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 14:02:42 | × | tromp quits (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-29 14:03:45 | <__monty__> | Clint: Does it index packages installed through apt or are you responsible for running the indexing and such? That's the part that Nix makes more convenient. |
| 2025-11-29 14:04:42 | <[exa]> | ok I guess it's time to try now |
| 2025-11-29 14:04:43 | <[exa]> | :D |
| 2025-11-29 14:04:52 | <dutchie> | https://kb.mozillazine.org/Links_to_local_pages_do_not_work seems to do the trick |
| 2025-11-29 14:08:41 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-29 14:09:17 | <[exa]> | dutchie: turns out hoogle --local option enables the file:// links |
| 2025-11-29 14:09:31 | <[exa]> | no obvious way to force-disable it tho but you might find what triggers it |
| 2025-11-29 14:10:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 14:12:00 | <dutchie> | ah that does the trick, rewriting file:// to some http://localhost:8080/file/ proxy thing |
| 2025-11-29 14:15:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-29 14:15:51 | → | tromp joins (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 2025-11-29 14:16:20 | <[exa]> | anyway now that I have `hoogle serve` running, is there some easy way to point it to local database or so? |
| 2025-11-29 14:19:48 | <[exa]> | oh well https://magnus.therning.org/2024-07-13-hoogle-setup-for-local-development.html |
| 2025-11-29 14:25:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 14:30:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 14:31:10 | × | bggd quits (~bgg@2a01:e0a:fd5:f510:81e5:516f:14c0:9e92) (Remote host closed the connection) |
| 2025-11-29 14:33:10 | × | TMA quits (tma@twin.jikos.cz) (Ping timeout: 256 seconds) |
| 2025-11-29 14:35:55 | × | vgtw quits (~vgtw@user/vgtw) (Ping timeout: 240 seconds) |
| 2025-11-29 14:35:58 | → | vgtw_ joins (~vgtw@user/vgtw) |
| 2025-11-29 14:41:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 14:46:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-29 14:53:21 | × | Jackneill quits (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-29 14:53:32 | → | Jackneill joins (~Jackneill@178-164-177-218.pool.digikabel.hu) |
| 2025-11-29 14:56:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 15:00:43 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-29 15:01:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 15:02:31 | → | scubagear joins (~scubagear@190-2-131-159.hosted-by-worldstream.net) |
| 2025-11-29 15:11:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 15:12:30 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-29 15:15:39 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-29 15:16:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 15:27:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 15:30:13 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-29 15:31:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 15:32:10 | × | annamalai quits (~annamalai@2409:4042:4dbf:aad9::9e8a:ad13) (Ping timeout: 246 seconds) |
| 2025-11-29 15:32:39 | → | annamalai joins (~annamalai@117.246.94.92) |
| 2025-11-29 15:33:22 | Googulator11 | is now known as Googulator |
| 2025-11-29 15:34:55 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-29 15:41:07 | → | TMA joins (tma@twin.jikos.cz) |
| 2025-11-29 15:42:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 15:44:05 | × | pakettiale quits (~pakettial@iptv-hkibng11-58c065-228.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 2025-11-29 15:46:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 15:47:02 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-29 15:54:51 | × | polykernel quits (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-11-29 15:55:12 | → | polykernel joins (~polykerne@user/polykernel) |
| 2025-11-29 15:57:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 16:00:52 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-29 16:02:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-29 16:07:33 | × | fp1 quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-11-29 16:11:05 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 16:11:45 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 2025-11-29 16:12:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 16:18:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 16:28:31 | → | bggd joins (~bgg@2a01:e0a:fd5:f510:7613:72d0:c05e:cd65) |
| 2025-11-29 16:28:48 | × | scubagear quits (~scubagear@190-2-131-159.hosted-by-worldstream.net) (Quit: leaving) |
| 2025-11-29 16:28:49 | → | Guest71 joins (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) |
| 2025-11-29 16:30:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 16:33:49 | → | Guest49 joins (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) |
| 2025-11-29 16:34:11 | × | Guest49 quits (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) (Client Quit) |
| 2025-11-29 16:35:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-29 16:35:40 | → | Googulator84 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 16:35:40 | × | Googulator quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
All times are in UTC.