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