Logs on 2022-09-01 (liberachat/#xmonad)
| 00:34:59 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 268 seconds) |
| 00:38:13 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 01:07:40 | × | catman quits (~catman@user/catman) (Remote host closed the connection) |
| 01:16:48 | × | jeeeun quits (~jeeeun@78.40.148.178) (Quit: Ping timeout (120 seconds)) |
| 01:17:02 | → | jeeeun joins (~jeeeun@78.40.148.178) |
| 01:26:35 | → | catman joins (~catman@user/catman) |
| 02:04:37 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 252 seconds) |
| 02:18:30 | × | catman quits (~catman@user/catman) (Remote host closed the connection) |
| 02:23:28 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 02:26:56 | → | dpn` joins (~dpn@203-206-161-39.perm.iinet.net.au) |
| 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 |
| 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 |
| 02:43:14 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 02:44:30 | <dpn`> | ahh... found <&&> |
| 02:45:27 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 02:45:56 | × | td_ quits (~td@94.134.91.66) (Ping timeout: 260 seconds) |
| 02:47:51 | → | td_ joins (~td@94.134.91.37) |
| 02:50:57 | → | catman joins (~catman@user/catman) |
| 05:19:29 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
| 05:27:38 | <Solid> | dpn`: be aware that ^?, ~?, and $? are kind of the wrong way around in 0.17.0 |
| 05:27:54 | <Solid> | (this has been fixed in HEAD and will land in 0.17.1 this weekend) |
| 05:31:53 | <dpn`> | Solid: do you mean in terms of parameter application order? |
| 05:32:08 | <dpn`> | er... insofar as that means anything in haskell :P |
| 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 |
| 05:34:45 | <Solid> | which is... not optimal :> |
| 05:35:18 | <Solid> | wait, that's the other way around |
| 05:35:20 | <Solid> | argh |
| 05:36:15 | <Solid> | the point is that one often uses these operators in the sense of `appName ~? "text"` or `className $? "text"` |
| 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 |
| 05:36:48 | <dpn`> | thanks Solid - with you now :) |
| 05:37:30 | <Solid> | sorry, haven't had any caffeine today, so my thoughts are still a bit chaotic :) |
| 05:39:03 | <dpn`> | haha... all day for me :P |
| 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 |
| 05:40:04 | <dpn`> | explains some confused posts I was reading earlier ;) |
| 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 |
| 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` |
| 05:43:17 | <Solid> | and then write "fmap appName (x `isPrefixOf`) --> blah" or something like that |
| 05:43:44 | <Solid> | so these new operators have the same shape as =? (which is just a lifted version of equality!) |
| 05:44:07 | <Solid> | I have no idea why I can't use the operator in my code << what's not working? |
| 05:44:17 | <dpn`> | i spent too long avoiding reading the classes available for Query... ngl. I work outside of FP land too much |
| 05:44:32 | <dpn`> | tweaking my config is a good excuse to keep some of my FP skills around :P |
| 05:45:19 | <dpn`> | Solid: Module ‘XMonad.Hooks.ManageHelpers’ does not export ‘(^?)’ |29 | import XMonad.Hooks.ManageHelpers((^?)) | |
| 05:46:04 | <Solid> | dpn`: Are you on an older version of xmonad(-contrib) perhaps? |
| 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 |
| 05:48:15 | <dpn`> | yep.. that built fine. I'm a fool :) |
| 05:48:35 | <dpn`> | Solid: thanks for the rubber ducking haha |
| 05:48:44 | <Solid> | :D |
| 05:48:56 | <Solid> | you're welcome :) |
| 06:17:28 | → | Ehllie joins (~Thunderbi@user-94-254-227-37.play-internet.pl) |
| 06:21:29 | × | Ehllie quits (~Thunderbi@user-94-254-227-37.play-internet.pl) (Client Quit) |
| 06:22:49 | → | Ehllie1 joins (~Thunderbi@user-94-254-227-37.play-internet.pl) |
| 06:22:49 | × | Ehllie1 quits (~Thunderbi@user-94-254-227-37.play-internet.pl) (Client Quit) |
| 06:25:24 | → | alternateved joins (~user@staticline-31-183-146-203.toya.net.pl) |
| 06:33:45 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 07:02:19 | → | Ehllie joins (~Thunderbi@217-67-208-66.itsa.net.pl) |
| 07:12:19 | → | wonko_ joins (~wjc@2a0e:1c80:2::130) |
| 07:45:05 | × | benin0 quits (~benin@59.92.178.116) (Quit: Ping timeout (120 seconds)) |
| 07:45:26 | → | benin0 joins (~benin@59.92.178.116) |
| 07:55:10 | × | alternateved quits (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 08:06:59 | × | Linux quits (~kernel@user/OpenSource) (Ping timeout: 248 seconds) |
| 08:30:06 | → | OpenSource joins (~kernel@user/OpenSource) |
| 08:32:25 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 08:38:09 | OpenSource | is now known as Linux |
| 08:58:20 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 09:00:06 | × | jchia[m]1 quits (~jchiamatr@2001:470:69fc:105::c50b) (Quit: You have been kicked for being idle) |
| 09:08:44 | × | wonko_ quits (~wjc@2a0e:1c80:2::130) (Ping timeout: 255 seconds) |
| 09:14:29 | × | Ehllie quits (~Thunderbi@217-67-208-66.itsa.net.pl) (Quit: Ehllie) |
| 09:14:43 | → | Ehllie joins (~Thunderbi@217-67-208-66.itsa.net.pl) |
| 09:29:22 | × | Ehllie quits (~Thunderbi@217-67-208-66.itsa.net.pl) (Remote host closed the connection) |
| 09:34:12 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 09:35:43 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 11:13:46 | → | Ehllie joins (~Thunderbi@217-67-208-66.itsa.net.pl) |
| 11:44:53 | × | benin0 quits (~benin@59.92.178.116) (Ping timeout: 255 seconds) |
| 11:46:53 | → | azureorange404[m joins (~azureoran@2001:470:69fc:105::2:7589) |
| 11:56:41 | → | c0c0 joins (~coco@212-51-146-199.fiber7.init7.net) |
| 12:23:38 | → | benin0 joins (~benin@117.193.64.161) |
| 12:25:01 | × | c0c0 quits (~coco@212-51-146-199.fiber7.init7.net) (Ping timeout: 252 seconds) |
| 12:27:03 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 12:30:17 | → | c0c0 joins (~coco@85.195.206.136) |
| 12:34:11 | × | Ehllie quits (~Thunderbi@217-67-208-66.itsa.net.pl) (Ping timeout: 252 seconds) |
| 12:52:51 | × | cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (Ping timeout: 248 seconds) |
| 12:53:58 | → | cdepillabout[m] joins (~cdepillab@2001:470:69fc:105::3d3) |
| 13:53:35 | × | nomadxxxx3 quits (~lanomadx@208.91.67.142) (Ping timeout: 268 seconds) |
| 13:57:18 | → | nomadxx3 joins (~lanomadx@69.167.45.126) |
| 14:12:03 | × | haskl quits (~haskl@user/haskl) (Ping timeout: 268 seconds) |
| 14:22:55 | → | haskl joins (~haskl@user/haskl) |
| 14:26:07 | × | benin0 quits (~benin@117.193.64.161) (Ping timeout: 244 seconds) |
| 14:44:01 | → | benin0 joins (~benin@117.193.64.161) |
| 15:42:07 | × | c0c0 quits (~coco@85.195.206.136) (Quit: WeeChat 3.5) |
| 15:58:58 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 16:33:27 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 16:57:25 | → | Ehllie joins (~Thunderbi@83.31.196.9) |
| 17:03:56 | × | Ehllie quits (~Thunderbi@83.31.196.9) (Ping timeout: 255 seconds) |
| 17:06:29 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 17:08:12 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 17:36:44 | × | benin0 quits (~benin@117.193.64.161) (Quit: The Lounge - https://thelounge.chat) |
| 18:01:15 | → | logzet joins (~quassel@2001:9e8:e539:a000:dabb:c1ff:fed3:a1b9) |
| 18:55:39 | → | Ehllie joins (~Thunderbi@83.31.196.9) |
| 18:57:12 | → | Ehllie1 joins (~Thunderbi@83.31.196.9) |
| 18:57:12 | × | Ehllie quits (~Thunderbi@83.31.196.9) (Read error: Connection reset by peer) |
| 18:57:13 | Ehllie1 | is now known as Ehllie |
| 19:02:13 | × | Ehllie quits (~Thunderbi@83.31.196.9) (Read error: Connection reset by peer) |
| 19:02:22 | → | Ehllie joins (~Thunderbi@83.31.196.9) |
| 19:20:37 | × | Ehllie quits (~Thunderbi@83.31.196.9) (Ping timeout: 244 seconds) |
| 20:14:51 | → | Ehllie joins (~Thunderbi@83.31.196.9) |
| 20:23:17 | × | Ehllie quits (~Thunderbi@83.31.196.9) (Ping timeout: 255 seconds) |
| 21:07:14 | → | Ehllie joins (~Thunderbi@83.31.196.9) |
| 21:12:00 | × | Ehllie quits (~Thunderbi@83.31.196.9) (Ping timeout: 268 seconds) |
| 21:37:35 | × | steve_ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 21:55:21 | → | samhh_ joins (7569f027cf@2604:bf00:561:2000::e4) |
| 21:55:40 | → | matijja` joins (~matijja@193.77.181.201) |
| 21:55:55 | → | alethkit_ joins (23bd17ddc6@2604:bf00:561:2000::3ce) |
| 21:55:59 | → | lazyrat joins (~lazycat@user/lazycat) |
| 21:56:06 | → | telser_ joins (~quassel@user/telser) |
| 21:56:24 | → | PotatoGim_ joins (sid99505@id-99505.lymington.irccloud.com) |
| 21:56:48 | → | pl_ joins (sid98063@id-98063.helmsley.irccloud.com) |
| 21:57:17 | → | rieper|net joins (~riepernet@webmirror.geo.uni-leipzig.de) |
| 21:57:25 | × | pl_ quits (sid98063@id-98063.helmsley.irccloud.com) (Client Quit) |
| 21:57:57 | → | pl_ joins (sid98063@id-98063.helmsley.irccloud.com) |
| 21:58:00 | → | bsima- joins (~bsima@2604:a880:400:d0::19f1:7001) |
| 21:58:09 | → | laman1 joins (~laman@rego.ai) |
| 21:58:18 | → | Mion joins (~Urist@archlinux/op/MrElendig) |
| 21:58:48 | → | _qw_ joins (~eqw@31.134.178.99) |
| 21:58:56 | × | lazycat quits (~lazycat@user/lazycat) (Ping timeout: 244 seconds) |
| 21:58:56 | × | xmonadtrack quits (~xmonadtra@xmonad/geekosaur) (Ping timeout: 244 seconds) |
| 21:58:56 | × | x88x88x quits (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Ping timeout: 244 seconds) |
| 21:58:56 | × | alethkit quits (23bd17ddc6@2604:bf00:561:2000::3ce) (Ping timeout: 244 seconds) |
| 21:58:56 | × | samhh quits (7569f027cf@2604:bf00:561:2000::e4) (Ping timeout: 244 seconds) |
| 21:58:57 | × | PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 244 seconds) |
| 21:58:57 | × | MrElendig quits (~Urist@archlinux/op/MrElendig) (Ping timeout: 244 seconds) |
| 21:58:57 | × | Rockj quits (~rockj@chromie.geekrevolution.net) (Ping timeout: 244 seconds) |
| 21:58:57 | × | ^[ quits (~user@user//x-8473491) (Ping timeout: 244 seconds) |
| 21:58:57 | × | laman quits (~laman@rego.ai) (Ping timeout: 244 seconds) |
| 21:58:57 | × | matijja quits (~matijja@193.77.181.201) (Ping timeout: 244 seconds) |
| 21:58:58 | × | davean quits (~davean@davean.sciesnet.net) (Ping timeout: 244 seconds) |
| 21:58:58 | × | bsima quits (~bsima@143.198.118.179) (Ping timeout: 244 seconds) |
| 21:58:58 | × | _qw quits (~eqw@31.134.178.99) (Ping timeout: 244 seconds) |
| 21:58:58 | × | pl quits (sid98063@id-98063.helmsley.irccloud.com) (Ping timeout: 244 seconds) |
| 21:58:58 | × | rieper quits (~riepernet@webmirror.geo.uni-leipzig.de) (Ping timeout: 244 seconds) |
| 21:58:59 | × | telser quits (~quassel@user/telser) (Ping timeout: 244 seconds) |
| 21:58:59 | alethkit_ | is now known as alethkit |
| 21:58:59 | samhh_ | is now known as samhh |
| 21:59:05 | pl_ | is now known as pl |
| 22:01:10 | → | oxide joins (~lambda@user/oxide) |
| 22:02:19 | → | x88x88x joins (~x88x88x@149.28.53.172) |
| 22:09:44 | → | davean joins (~davean@davean.sciesnet.net) |
| 22:10:04 | → | Rockj joins (~rockj@chromie.geekrevolution.net) |
| 22:13:45 | → | xmonadtrack joins (~xmonadtra@069-135-003-034.biz.spectrum.com) |
| 22:13:45 | × | xmonadtrack quits (~xmonadtra@069-135-003-034.biz.spectrum.com) (Changing host) |
| 22:13:45 | → | xmonadtrack joins (~xmonadtra@xmonad/geekosaur) |
| 22:54:18 | × | logzet quits (~quassel@2001:9e8:e539:a000:dabb:c1ff:fed3:a1b9) (Ping timeout: 240 seconds) |
| 23:03:54 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 23:05:44 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 23:08:09 | → | ft joins (~ft@p4fc2a0f5.dip0.t-ipconnect.de) |
| 23:47:24 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 23:48:55 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 23:51:28 | → | ^[ joins (~user@user//x-8473491) |
All times are in UTC on 2022-09-01.