2025/01/15

Newest at the top

2025-01-15 08:20:46 +0100 <c_wraith> maerwald: you could write one by hand.
2025-01-15 08:18:04 +0100p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n
2025-01-15 08:17:26 +0100dtman34(~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34
2025-01-15 08:16:01 +0100p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in)
2025-01-15 08:15:29 +0100 <haskellbridge> <maerwald> it seems the only way to create a Fold1 is through repeated, iterated and cycled
2025-01-15 08:13:56 +0100dtman34(~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
2025-01-15 08:13:24 +0100 <haskellbridge> <maerwald> why there is no 'folding1' in lens?
2025-01-15 08:11:29 +0100ystael(~ystael@user/ystael) ystael
2025-01-15 08:11:26 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-15 08:11:15 +0100ystael(~ystael@user/ystael) (Ping timeout: 265 seconds)
2025-01-15 08:10:54 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-01-15 08:05:00 +0100 <Leary> I think they should just end up in the store. To find them, you can follow a link from your own haddocks or go spelunking.
2025-01-15 08:04:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-15 08:02:37 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-15 08:01:30 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-01-15 07:59:47 +0100dtman34(~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34
2025-01-15 07:59:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-15 07:57:59 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-15 07:57:47 +0100euleritian(~euleritia@dynamic-176-003-081-004.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2025-01-15 07:57:47 +0100euleritian(~euleritia@dynamic-176-003-081-004.176.3.pool.telefonica.de)
2025-01-15 07:57:13 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-01-15 07:57:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-15 07:56:36 +0100dtman34(~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
2025-01-15 07:56:12 +0100acidjnk_new(~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk
2025-01-15 07:54:24 +0100 <Axman6> I can find the docs for my package but not the deps
2025-01-15 07:53:34 +0100 <Axman6> I have documentation: true but I can't tell where the docs should end up
2025-01-15 07:52:55 +0100CiaoSen(~Jura@2a05:5800:2dd:5300:ca4b:d6ff:fec1:99da) CiaoSen
2025-01-15 07:51:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-15 07:49:59 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-15 07:46:43 +0100 <jackdk> Axman6: what if you put `documentation: True` in `cabal.project{,.local}`?
2025-01-15 07:45:08 +0100 <Leary> Axman6: If you're using nix, it can build you a hoogle indexing haddocks for a project and its transitive deps.
2025-01-15 07:42:23 +0100dtman34(~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34
2025-01-15 07:42:02 +0100 <Axman6> Is there an easy way to build local haddock docs for a/all dependencies of my project? I'm using a newer version than is on hackage and it seems to have changed a lot. I've tried using `cabal haddock-project` but it doesn't include my project's direct deps (but for some reason includes a bunch of packages shipped with GHC)
2025-01-15 07:41:26 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-01-15 07:40:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-15 07:38:39 +0100dtman34(~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
2025-01-15 07:34:41 +0100foul_owl(~kerry@193.42.0.126) foul_owl
2025-01-15 07:33:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-15 07:32:19 +0100paul_j(~user@8.190.187.81.in-addr.arpa) paul_j
2025-01-15 07:31:55 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-01-15 07:31:32 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-01-15 07:30:57 +0100Square(~Square@user/square) (Ping timeout: 244 seconds)
2025-01-15 07:30:02 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-15 07:29:45 +0100euleritian(~euleritia@dynamic-176-002-193-014.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
2025-01-15 07:26:58 +0100Square2(~Square4@user/square) Square
2025-01-15 07:26:48 +0100Square(~Square@user/square) Square
2025-01-15 07:26:31 +0100Square(~Square@user/square) (Remote host closed the connection)
2025-01-15 07:23:19 +0100druchan(uid567859@id-567859.lymington.irccloud.com)
2025-01-15 07:22:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-15 07:21:35 +0100euleritian(~euleritia@dynamic-176-002-193-014.176.2.pool.telefonica.de)