2025/03/07

Newest at the top

2025-03-07 20:06:58 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:a683:8cb:e9a2:d46f) (Client Quit)
2025-03-07 20:06:43 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:a683:8cb:e9a2:d46f) ash3en
2025-03-07 19:57:07 +0100redgloboli(~redglobol@user/redgloboli) redgloboli
2025-03-07 19:39:14 +0100redgloboli(~redglobol@user/redgloboli) (Ping timeout: 248 seconds)
2025-03-07 19:30:57 +0100redgloboli(~redglobol@user/redgloboli) redgloboli
2025-03-07 19:26:12 +0100redgloboli(~redglobol@user/redgloboli) (Ping timeout: 252 seconds)
2025-03-07 19:06:50 +0100redgloboli(~redglobol@user/redgloboli) redgloboli
2025-03-07 18:22:34 +0100beastwick(~brian@user/beastwick) beastwick
2025-03-07 18:22:34 +0100beastwick(~brian@pool-74-102-103-193.nwrknj.fios.verizon.net) (Changing host)
2025-03-07 18:22:34 +0100beastwick(~brian@pool-74-102-103-193.nwrknj.fios.verizon.net) beastwick
2025-03-07 18:20:49 +0100redgloboli(~redglobol@user/redgloboli) (Ping timeout: 268 seconds)
2025-03-07 18:04:25 +0100redgloboli(~redglobol@user/redgloboli) redgloboli
2025-03-07 17:36:05 +0100mc47(~yecinem@p200300ee0f03e4d51c11c8d951bebe9d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-03-07 16:53:18 +0100redgloboli(~redglobol@user/redgloboli) (Ping timeout: 252 seconds)
2025-03-07 16:48:14 +0100ft(~ft@p508db291.dip0.t-ipconnect.de) ft
2025-03-07 16:33:56 +0100redgloboli(~redglobol@user/redgloboli) redgloboli
2025-03-07 16:28:21 +0100redgloboli(~redglobol@user/redgloboli) (Ping timeout: 252 seconds)
2025-03-07 15:06:25 +0100todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-03-07 15:04:08 +0100todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-03-07 12:57:35 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-03-07 12:57:09 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-03-07 12:31:37 +0100L29Ah(~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 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-03-07 12:19:46 +0100^Dan(~xxx@89.136.142.218)
2025-03-07 12:03:59 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 252 seconds)
2025-03-07 11:59:26 +0100ash3en(~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 +0100edog(~edog@alcotrash.org)
2025-03-07 10:53:14 +0100edog(~edog@alcotrash.org) (Ping timeout: 252 seconds)
2025-03-07 10:38:46 +0100ash3en(~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 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-03-07 10:26:13 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds)
2025-03-07 09:09:55 +0100mc47(~yecinem@p200300ee0f03e4d51c11c8d951bebe9d.dip0.t-ipconnect.de)
2025-03-07 09:06:55 +0100catman(~catman@user/catman) catman
2025-03-07 09:04:35 +0100catman(~catman@user/catman) (Quit: WeeChat 4.5.2)
2025-03-07 08:35:39 +0100edog(~edog@alcotrash.org)
2025-03-07 08:35:24 +0100edog(~edog@alcotrash.org) (Ping timeout: 260 seconds)
2025-03-07 08:31:16 +0100redgloboli(~redglobol@user/redgloboli) redgloboli
2025-03-07 08:29:38 +0100redgloboli(~redglobol@user/redgloboli) (Quit: ...enter the matrix...)
2025-03-07 08:24:28 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-03-07 07:26:30 +0100ft(~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving)
2025-03-07 03:11:52 +0100Leary(~Leary@user/Leary/x-0910699) Leary
2025-03-07 02:57:58 +0100Leary(~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