Logs: liberachat/#haskell
| 2025-09-03 14:00:28 | <__monty__> | Re my filtering question from yesterday. Pandoc has a Walkable class that gets very close to what I was thinking of. I don't think it quite corresponds to Witherable or Filterable, those don't seem to capture the recursive quality I was looking for. |
| 2025-09-03 14:02:06 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-09-03 14:05:20 | × | rustisafungus quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2025-09-03 14:07:56 | → | rustisafungus joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-03 14:08:34 | trickard_ | is now known as trickard |
| 2025-09-03 14:08:56 | → | ystael joins (~ystael@user/ystael) |
| 2025-09-03 14:09:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2025-09-03 14:10:49 | → | ubert joins (~Thunderbi@178.165.187.121.wireless.dyn.drei.com) |
| 2025-09-03 14:13:44 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-09-03 14:14:57 | → | tromp joins (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) |
| 2025-09-03 14:16:06 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-03 14:16:59 | × | mari56772 quits (~mari-este@user/mari-estel) (Ping timeout: 248 seconds) |
| 2025-09-03 14:18:18 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-03 14:18:31 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-09-03 14:22:35 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-03 14:33:43 | × | tromp quits (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-03 14:39:50 | → | ziyn joins (~ziyn@113.190.226.190) |
| 2025-09-03 14:42:24 | × | ziyn quits (~ziyn@113.190.226.190) (Remote host closed the connection) |
| 2025-09-03 14:48:40 | × | fp quits (~Thunderbi@wireless-86-50-140-30.open.aalto.fi) (Ping timeout: 245 seconds) |
| 2025-09-03 14:50:09 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-03 14:56:29 | cawfee | is now known as pongers |
| 2025-09-03 14:59:03 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-03 14:59:17 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-09-03 15:01:05 | → | tromp joins (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) |
| 2025-09-03 15:03:13 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-09-03 15:09:12 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
| 2025-09-03 15:09:12 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
| 2025-09-03 15:09:12 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-03 15:10:16 | × | rustisafungus quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2025-09-03 15:12:35 | → | rustisafungus joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-03 15:14:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-09-03 15:16:20 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-03 15:18:47 | → | califax joins (~califax@user/califx) |
| 2025-09-03 15:18:52 | → | Guest58 joins (~Guest58@host-79-54-98-191.retail.telecomitalia.it) |
| 2025-09-03 15:19:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-03 15:20:59 | × | Guest58 quits (~Guest58@host-79-54-98-191.retail.telecomitalia.it) (Client Quit) |
| 2025-09-03 15:26:52 | trickard_ | is now known as trickard |
| 2025-09-03 15:29:12 | × | rustisafungus quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2025-09-03 15:32:47 | → | mochie joins (~username@93.124.228.5) |
| 2025-09-03 15:34:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-03 15:34:45 | ← | mochie parts (~username@93.124.228.5) () |
| 2025-09-03 15:36:03 | × | Everything quits (~Everythin@46.211.101.199) (Read error: Connection reset by peer) |
| 2025-09-03 15:39:35 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-03 15:42:00 | → | Everything joins (~Everythin@217.147.163.184) |
| 2025-09-03 15:42:25 | → | califax joins (~califax@user/califx) |
| 2025-09-03 15:42:30 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-03 15:42:51 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-03 15:42:59 | × | Natch quits (~natch@c-92-34-15-120.bbcust.telenor.se) (Remote host closed the connection) |
| 2025-09-03 15:43:49 | → | tromp joins (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) |
| 2025-09-03 15:45:05 | → | cherryramatisdev joins (~cherryram@user/cherryramatisdev) |
| 2025-09-03 15:46:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-03 15:47:35 | ← | akegalj parts (~akegalj@95.168.107.22) () |
| 2025-09-03 15:50:03 | → | Natch joins (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2025-09-03 15:52:34 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-03 15:58:41 | → | califax joins (~califax@user/califx) |
| 2025-09-03 15:58:58 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2025-09-03 16:01:17 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-03 16:02:45 | → | califax joins (~califax@user/califx) |
| 2025-09-03 16:12:19 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 2025-09-03 16:12:45 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-09-03 16:13:06 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-03 16:13:21 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 250 seconds) |
| 2025-09-03 16:13:26 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-09-03 16:14:33 | → | rustisafungus joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-03 16:16:04 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 2025-09-03 16:20:06 | rvalue- | is now known as rvalue |
| 2025-09-03 16:28:19 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 2025-09-03 16:29:40 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-03 16:29:54 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-09-03 16:30:28 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-03 16:32:20 | × | cherryramatisdev quits (~cherryram@user/cherryramatisdev) (Quit: WeeChat 4.7.1) |
| 2025-09-03 16:32:39 | → | califax joins (~califax@user/califx) |
| 2025-09-03 16:32:44 | → | cherryramatisdev joins (~cherryram@user/cherryramatisdev) |
| 2025-09-03 16:34:00 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-03 16:43:07 | × | tromp quits (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) (Ping timeout: 248 seconds) |
| 2025-09-03 16:45:14 | → | califax joins (~califax@user/califx) |
| 2025-09-03 16:47:12 | → | jespada_ joins (~jespada@2800:a4:2229:b100:543a:9848:ff52:5c0e) |
| 2025-09-03 16:48:27 | × | jespada quits (~jespada@2800:a4:2229:b100:e0a4:75ef:98aa:50af) (Ping timeout: 248 seconds) |
| 2025-09-03 16:50:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-03 16:54:20 | trickard_ | is now known as trickard |
| 2025-09-03 16:59:00 | → | mari71727 joins (~mari-este@user/mari-estel) |
| 2025-09-03 16:59:22 | × | mari-estel quits (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-09-03 17:00:39 | → | sindu joins (~sindu@176.75.108.200) |
| 2025-09-03 17:01:59 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-09-03 17:03:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-03 17:04:26 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-09-03 17:06:02 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-09-03 17:08:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-03 17:10:43 | <lyxia> | __monty__: Have you seen uniplate https://hackage.haskell.org/package/uniplate-1.6.13/docs/Data-Generics-Uniplate-Operations.html |
| 2025-09-03 17:13:49 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-09-03 17:14:35 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 265 seconds) |
| 2025-09-03 17:16:42 | <__monty__> | lyxia: Hmm, that does look a lot like Pandoc's Walkable. |
| 2025-09-03 17:16:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-03 17:17:16 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-09-03 17:17:39 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-09-03 17:19:15 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-03 17:20:52 | <__monty__> | That might be as close as I can get to "generic recursive filtering." |
| 2025-09-03 17:21:01 | <__monty__> | Thank you! |
| 2025-09-03 17:23:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-03 17:24:48 | × | rustisafungus quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
All times are in UTC.