Newest at the top
2025-03-07 20:06:58 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:a683:8cb:e9a2:d46f) (Client Quit) |
2025-03-07 20:06:43 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:a683:8cb:e9a2:d46f) ash3en |
2025-03-07 19:57:07 +0100 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
2025-03-07 19:39:14 +0100 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 248 seconds) |
2025-03-07 19:30:57 +0100 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
2025-03-07 19:26:12 +0100 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 252 seconds) |
2025-03-07 19:06:50 +0100 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
2025-03-07 18:22:34 +0100 | beastwick | (~brian@user/beastwick) beastwick |
2025-03-07 18:22:34 +0100 | beastwick | (~brian@pool-74-102-103-193.nwrknj.fios.verizon.net) (Changing host) |
2025-03-07 18:22:34 +0100 | beastwick | (~brian@pool-74-102-103-193.nwrknj.fios.verizon.net) beastwick |
2025-03-07 18:20:49 +0100 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 268 seconds) |
2025-03-07 18:04:25 +0100 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
2025-03-07 17:36:05 +0100 | mc47 | (~yecinem@p200300ee0f03e4d51c11c8d951bebe9d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-03-07 16:53:18 +0100 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 252 seconds) |
2025-03-07 16:48:14 +0100 | ft | (~ft@p508db291.dip0.t-ipconnect.de) ft |
2025-03-07 16:33:56 +0100 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
2025-03-07 16:28:21 +0100 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 252 seconds) |
2025-03-07 15:06:25 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
2025-03-07 15:04:08 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-03-07 12:57:35 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-03-07 12:57:09 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2025-03-07 12:31:37 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-03-07 12:30:46 +0100 | ^Dan | (~xxx@89.136.142.218) (Remote host closed the connection) |
2025-03-07 12:30:46 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2025-03-07 12:19:46 +0100 | ^Dan | (~xxx@89.136.142.218) |
2025-03-07 12:03:59 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 252 seconds) |
2025-03-07 11:59:26 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-03-07 11:06:33 +0100 | <Leary> | leana8959: Yes, just use `liftX :: X a -> Query a`. |
2025-03-07 10:59:33 +0100 | edog | (~edog@alcotrash.org) |
2025-03-07 10:53:14 +0100 | edog | (~edog@alcotrash.org) (Ping timeout: 252 seconds) |
2025-03-07 10:38:46 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
2025-03-07 10:35:17 +0100 | <haskellbridge> | <leana8959> Leary: That is true, so I shall query the X monad within "Query" myself then (since "Query" is "Query (ReaderT Window X a)"? |
2025-03-07 10:29:19 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-03-07 10:26:13 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds) |
2025-03-07 09:09:55 +0100 | mc47 | (~yecinem@p200300ee0f03e4d51c11c8d951bebe9d.dip0.t-ipconnect.de) |
2025-03-07 09:06:55 +0100 | catman | (~catman@user/catman) catman |
2025-03-07 09:04:35 +0100 | catman | (~catman@user/catman) (Quit: WeeChat 4.5.2) |
2025-03-07 08:35:39 +0100 | edog | (~edog@alcotrash.org) |
2025-03-07 08:35:24 +0100 | edog | (~edog@alcotrash.org) (Ping timeout: 260 seconds) |
2025-03-07 08:31:16 +0100 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
2025-03-07 08:29:38 +0100 | redgloboli | (~redglobol@user/redgloboli) (Quit: ...enter the matrix...) |
2025-03-07 08:24:28 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-03-07 07:26:30 +0100 | ft | (~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving) |
2025-03-07 03:11:52 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
2025-03-07 02:57:58 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
2025-03-07 02:31:24 +0100 | <Leary> | leana8959: `Query` is a `Monad`; you can write e.g. `do { n <- numWindows; insertPosition Newer (if n <= 1 then Above else Below) }`. |
2025-03-07 02:24:56 +0100 | <haskellbridge> | <leana8959> I'll figure that out tomorrow, it's kinda late. Thank you :) |
2025-03-07 02:24:41 +0100 | <haskellbridge> | <leana8959> Yeah, so I suppose I have do to the decision (whether above or below) and the shifting in one go, meaning that I can't reuse the code of "insertPosition" ? |
2025-03-07 02:20:18 +0100 | <geekosaur> | but everything in the manageHook is a function which is passed the StackSet that's being built and returns a modified version (in the type, this is `Endo WindowSet`) |
2025-03-07 02:18:47 +0100 | <geekosaur> | correct, if you inspect the StackSet from the manageHook (use liftX) you won't see the new window, because the manageHook is run as part of building an updated StackSet |