Logs: liberachat/#xmonad
| 2022-08-31 17:24:33 | → | wonko_ joins (~wjc@2a0e:1c80:2::130) |
| 2022-08-31 17:35:39 | × | diep quits (~diep@2a01:cb11:2d7:4a00:a13f:e40c:c4e8:736c) (Quit: diep) |
| 2022-08-31 17:36:27 | → | diep joins (~diep@2a01:cb11:2d7:4a00:a13f:e40c:c4e8:736c) |
| 2022-08-31 17:40:31 | × | diep quits (~diep@2a01:cb11:2d7:4a00:a13f:e40c:c4e8:736c) (Client Quit) |
| 2022-08-31 17:55:56 | × | jeeeun quits (~jeeeun@78.40.148.178) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-31 17:56:58 | × | wonko_ quits (~wjc@2a0e:1c80:2::130) (Ping timeout: 244 seconds) |
| 2022-08-31 17:58:54 | → | jeeeun joins (~jeeeun@78.40.148.178) |
| 2022-08-31 18:06:46 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2022-08-31 18:27:50 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 2022-08-31 18:39:20 | × | benin0 quits (~benin@117.207.69.221) (Ping timeout: 255 seconds) |
| 2022-08-31 18:47:34 | → | benin0 joins (~benin@59.92.178.116) |
| 2022-08-31 18:57:04 | → | Ehllie joins (~Thunderbi@2a01:110f:4308:a900:f2aa:769c:9b96:63fa) |
| 2022-08-31 19:01:52 | <[Leary]> | Oh dear. My session log is full of <<loop>>. |
| 2022-08-31 19:02:14 | <[Leary]> | Makes me rather glad ghc can catch those. >.> |
| 2022-08-31 19:07:38 | × | Ehllie quits (~Thunderbi@2a01:110f:4308:a900:f2aa:769c:9b96:63fa) (Remote host closed the connection) |
| 2022-08-31 20:03:16 | → | wonko_ joins (~wjc@2a0e:1c80:2::130) |
| 2022-08-31 20:47:53 | × | logzet quits (~quassel@2001:9e8:e525:a800:dabb:c1ff:fed3:a1b9) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-08-31 20:57:06 | × | hrberg quits (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 260 seconds) |
| 2022-08-31 21:44:50 | × | wonko_ quits (~wjc@2a0e:1c80:2::130) (Ping timeout: 268 seconds) |
| 2022-08-31 23:14:54 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-08-31 23:20:11 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-31 23:36:26 | × | catman quits (~catman@user/catman) (Remote host closed the connection) |
| 2022-08-31 23:37:09 | → | catman joins (~catman@user/catman) |
| 2022-08-31 23:37:37 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 268 seconds) |
| 2022-08-31 23:39:47 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-08-31 23:48:55 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-09-01 00:34:59 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 268 seconds) |
| 2022-09-01 00:38:13 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-09-01 01:07:40 | × | catman quits (~catman@user/catman) (Remote host closed the connection) |
| 2022-09-01 01:16:48 | × | jeeeun quits (~jeeeun@78.40.148.178) (Quit: Ping timeout (120 seconds)) |
| 2022-09-01 01:17:02 | → | jeeeun joins (~jeeeun@78.40.148.178) |
| 2022-09-01 01:26:35 | → | catman joins (~catman@user/catman) |
| 2022-09-01 02:04:37 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 252 seconds) |
| 2022-09-01 02:18:30 | × | catman quits (~catman@user/catman) (Remote host closed the connection) |
| 2022-09-01 02:23:28 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-09-01 02:26:56 | → | dpn` joins (~dpn@203-206-161-39.perm.iinet.net.au) |
| 2022-09-01 02:28:26 | <dpn`> | moin - for some reason I can't import this operator. Other ones from the same module work fine. https://hackage.haskell.org/package/xmonad-contrib-0.17.0/docs/src/XMonad.Hooks.ManageHelpers.html#%5E%3F |
| 2022-09-01 02:30:45 | <dpn`> | also how would I do a logical AND on Query results? something like: (stringProperty "WM_WINDOW_ROLE" ^? "join?action=join" && stringProperty "Foo" ^? "bar") --> doFloat |
| 2022-09-01 02:43:14 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-01 02:44:30 | <dpn`> | ahh... found <&&> |
| 2022-09-01 02:45:27 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-09-01 02:45:56 | × | td_ quits (~td@94.134.91.66) (Ping timeout: 260 seconds) |
| 2022-09-01 02:47:51 | → | td_ joins (~td@94.134.91.37) |
| 2022-09-01 02:50:57 | → | catman joins (~catman@user/catman) |
| 2022-09-01 05:19:29 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
| 2022-09-01 05:27:38 | <Solid> | dpn`: be aware that ^?, ~?, and $? are kind of the wrong way around in 0.17.0 |
| 2022-09-01 05:27:54 | <Solid> | (this has been fixed in HEAD and will land in 0.17.1 this weekend) |
| 2022-09-01 05:31:53 | <dpn`> | Solid: do you mean in terms of parameter application order? |
| 2022-09-01 05:32:08 | <dpn`> | er... insofar as that means anything in haskell :P |
| 2022-09-01 05:34:30 | <Solid> | dpn`: `x ^? y` means "is y a prefix of x" instead of "is x a prefix of y" in 0.17.0 |
| 2022-09-01 05:34:45 | <Solid> | which is... not optimal :> |
| 2022-09-01 05:35:18 | <Solid> | wait, that's the other way around |
| 2022-09-01 05:35:20 | <Solid> | argh |
| 2022-09-01 05:36:15 | <Solid> | the point is that one often uses these operators in the sense of `appName ~? "text"` or `className $? "text"` |
| 2022-09-01 05:36:48 | <Solid> | which means that `q ~? x` should really mean that x is a prefix of q and not the other way around |
| 2022-09-01 05:36:48 | <dpn`> | thanks Solid - with you now :) |
| 2022-09-01 05:37:30 | <Solid> | sorry, haven't had any caffeine today, so my thoughts are still a bit chaotic :) |
| 2022-09-01 05:39:03 | <dpn`> | haha... all day for me :P |
| 2022-09-01 05:39:48 | <dpn`> | but tldr what's the point of the operator if it saves a few chars off isPrefixOf and doesn't do anything about the conventions of param application order |
| 2022-09-01 05:40:04 | <dpn`> | explains some confused posts I was reading earlier ;) |
| 2022-09-01 05:40:47 | <dpn`> | I have no idea why I can't use the operator in my code, but can make it work with =? for now |
| 2022-09-01 05:42:24 | <Solid> | The thing is that users are scared of writing Haskell and since stuff like `appName` and `className` are actually queries they would have to lift e.g. `isPrefixOf` |
| 2022-09-01 05:43:17 | <Solid> | and then write "fmap appName (x `isPrefixOf`) --> blah" or something like that |
| 2022-09-01 05:43:44 | <Solid> | so these new operators have the same shape as =? (which is just a lifted version of equality!) |
| 2022-09-01 05:44:07 | <Solid> | I have no idea why I can't use the operator in my code << what's not working? |
| 2022-09-01 05:44:17 | <dpn`> | i spent too long avoiding reading the classes available for Query... ngl. I work outside of FP land too much |
| 2022-09-01 05:44:32 | <dpn`> | tweaking my config is a good excuse to keep some of my FP skills around :P |
| 2022-09-01 05:45:19 | <dpn`> | Solid: Module ‘XMonad.Hooks.ManageHelpers’ does not export ‘(^?)’ |29 | import XMonad.Hooks.ManageHelpers((^?)) | |
| 2022-09-01 05:46:04 | <Solid> | dpn`: Are you on an older version of xmonad(-contrib) perhaps? |
| 2022-09-01 05:47:41 | <dpn`> | Solid: I'm using the local stack with get repo checkouts. I can see the operator in the contrib checking local to where I'm building. Actually I'm an idiot... maybe it's just vim using the wrong contrib for type checking |
| 2022-09-01 05:48:15 | <dpn`> | yep.. that built fine. I'm a fool :) |
| 2022-09-01 05:48:35 | <dpn`> | Solid: thanks for the rubber ducking haha |
| 2022-09-01 05:48:44 | <Solid> | :D |
| 2022-09-01 05:48:56 | <Solid> | you're welcome :) |
| 2022-09-01 06:17:28 | → | Ehllie joins (~Thunderbi@user-94-254-227-37.play-internet.pl) |
| 2022-09-01 06:21:29 | × | Ehllie quits (~Thunderbi@user-94-254-227-37.play-internet.pl) (Client Quit) |
| 2022-09-01 06:22:49 | → | Ehllie1 joins (~Thunderbi@user-94-254-227-37.play-internet.pl) |
| 2022-09-01 06:22:49 | × | Ehllie1 quits (~Thunderbi@user-94-254-227-37.play-internet.pl) (Client Quit) |
| 2022-09-01 06:25:24 | → | alternateved joins (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-09-01 06:33:45 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-01 07:02:19 | → | Ehllie joins (~Thunderbi@217-67-208-66.itsa.net.pl) |
| 2022-09-01 07:12:19 | → | wonko_ joins (~wjc@2a0e:1c80:2::130) |
| 2022-09-01 07:45:05 | × | benin0 quits (~benin@59.92.178.116) (Quit: Ping timeout (120 seconds)) |
| 2022-09-01 07:45:26 | → | benin0 joins (~benin@59.92.178.116) |
| 2022-09-01 07:55:10 | × | alternateved quits (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-09-01 08:06:59 | × | Linux quits (~kernel@user/OpenSource) (Ping timeout: 248 seconds) |
| 2022-09-01 08:30:06 | → | OpenSource joins (~kernel@user/OpenSource) |
| 2022-09-01 08:32:25 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2022-09-01 08:38:09 | OpenSource | is now known as Linux |
| 2022-09-01 08:58:20 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 2022-09-01 09:00:06 | × | jchia[m]1 quits (~jchiamatr@2001:470:69fc:105::c50b) (Quit: You have been kicked for being idle) |
| 2022-09-01 09:08:44 | × | wonko_ quits (~wjc@2a0e:1c80:2::130) (Ping timeout: 255 seconds) |
| 2022-09-01 09:14:29 | × | Ehllie quits (~Thunderbi@217-67-208-66.itsa.net.pl) (Quit: Ehllie) |
| 2022-09-01 09:14:43 | → | Ehllie joins (~Thunderbi@217-67-208-66.itsa.net.pl) |
| 2022-09-01 09:29:22 | × | Ehllie quits (~Thunderbi@217-67-208-66.itsa.net.pl) (Remote host closed the connection) |
| 2022-09-01 09:34:12 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2022-09-01 09:35:43 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 2022-09-01 11:13:46 | → | Ehllie joins (~Thunderbi@217-67-208-66.itsa.net.pl) |
| 2022-09-01 11:44:53 | × | benin0 quits (~benin@59.92.178.116) (Ping timeout: 255 seconds) |
| 2022-09-01 11:46:53 | → | azureorange404[m joins (~azureoran@2001:470:69fc:105::2:7589) |
All times are in UTC.