| 2022-07-21 00:25:13 +0200 | kaskal | (~kaskal@089144220061.atnat0029.highway.webapn.at) |
| 2022-07-21 00:57:49 +0200 | kaskal- | (~kaskal@089144220061.atnat0029.highway.webapn.at) |
| 2022-07-21 00:58:44 +0200 | kaskal | (~kaskal@089144220061.atnat0029.highway.webapn.at) (Ping timeout: 272 seconds) |
| 2022-07-21 01:10:03 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:ce0a:91e7:ff12:4713) (Ping timeout: 276 seconds) |
| 2022-07-21 01:17:53 +0200 | catman | (~catman@user/catman) (Quit: WeeChat 3.6) |
| 2022-07-21 01:18:18 +0200 | catman | (~catman@user/catman) |
| 2022-07-21 01:49:02 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-21 02:39:52 +0200 | kaskal- | (~kaskal@089144220061.atnat0029.highway.webapn.at) (Quit: ZNC - https://znc.in) |
| 2022-07-21 02:41:20 +0200 | kaskal | (~kaskal@2001:4bb8:2c0:3963:7278:d0d4:9479:4919) |
| 2022-07-21 03:16:58 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-07-21 03:25:42 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-21 03:30:30 +0200 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-07-21 03:33:27 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 272 seconds) |
| 2022-07-21 03:53:34 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-21 04:04:48 +0200 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 268 seconds) |
| 2022-07-21 04:23:06 +0200 | banc | (banc@gateway/vpn/airvpn/banc) |
| 2022-07-21 04:48:23 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-21 04:50:51 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-07-21 04:54:35 +0200 | td_ | (~td@muedsl-82-207-238-080.citykom.de) (Ping timeout: 260 seconds) |
| 2022-07-21 04:56:21 +0200 | td_ | (~td@muedsl-82-207-238-040.citykom.de) |
| 2022-07-21 05:05:51 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-21 05:24:58 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 240 seconds) |
| 2022-07-21 06:11:50 +0200 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2022-07-21 08:21:59 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-e5e0-6cbe-f350-bd2b.pool6.digikabel.hu) |
| 2022-07-21 08:24:08 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) |
| 2022-07-21 08:39:59 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-e5e0-6cbe-f350-bd2b.pool6.digikabel.hu) (Quit: WeeChat 3.6) |
| 2022-07-21 08:44:01 +0200 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-07-21 09:13:21 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-21 09:29:55 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-07-21 10:11:13 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-4d3d-ba11-3857-5d63.pool6.digikabel.hu) |
| 2022-07-21 10:51:29 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-21 11:04:40 +0200 | Ocelot | (~ocelot@50-78-208-189-static.hfc.comcastbusiness.net) (Quit: Leaving) |
| 2022-07-21 11:26:39 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) |
| 2022-07-21 11:29:02 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) (Ping timeout: 255 seconds) |
| 2022-07-21 12:04:55 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-21 12:12:47 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-07-21 12:17:02 +0200 | benemorius | (~benemoriu@2001:470:4bb0:919::1:56) (Ping timeout: 272 seconds) |
| 2022-07-21 12:23:00 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-07-21 12:23:22 +0200 | benemorius | (~benemoriu@rrcs-24-153-227-174.sw.biz.rr.com) |
| 2022-07-21 12:33:50 +0200 | benemorius | (~benemoriu@rrcs-24-153-227-174.sw.biz.rr.com) (Ping timeout: 255 seconds) |
| 2022-07-21 12:41:06 +0200 | benemorius | (~benemoriu@2001:470:4bb0:919::1:56) |
| 2022-07-21 12:58:27 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-4d3d-ba11-3857-5d63.pool6.digikabel.hu) (Ping timeout: 244 seconds) |
| 2022-07-21 13:55:23 +0200 | hexo_ | (~hexo@2a02-ab04-2843-9500-c503-ec78-dbed-e319.dynamic.v6.chello.sk) (Ping timeout: 272 seconds) |
| 2022-07-21 13:55:45 +0200 | hexo_ | (~hexo@188-167-252-189.dynamic.chello.sk) |
| 2022-07-21 14:01:53 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-3e27-23b2-a101-5a33.pool6.digikabel.hu) |
| 2022-07-21 14:19:48 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-07-21 14:19:58 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-3e27-23b2-a101-5a33.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-07-21 15:10:50 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) (Ping timeout: 240 seconds) |
| 2022-07-21 15:24:39 +0200 | scardina1 | (~supreme@customer-212-237-101-39.ip4.gigabit.dk) |
| 2022-07-21 15:26:44 +0200 | scardinal | (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (Ping timeout: 244 seconds) |
| 2022-07-21 15:44:50 +0200 | scardina1 | scardinal |
| 2022-07-21 16:09:24 +0200 | benin0 | (~benin@183.82.24.82) |
| 2022-07-21 16:18:31 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-f6ba-82af-30e2-2b10.pool6.digikabel.hu) |
| 2022-07-21 16:22:46 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-07-21 16:25:06 +0200 | benin00 | (~benin@183.82.24.116) |
| 2022-07-21 16:27:16 +0200 | benin0 | (~benin@183.82.24.82) (Ping timeout: 268 seconds) |
| 2022-07-21 16:27:17 +0200 | benin00 | benin0 |
| 2022-07-21 16:37:57 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-07-21 17:12:42 +0200 | Hash | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Quit: ZNC - https://znc.in) |
| 2022-07-21 17:16:48 +0200 | Hash | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) |
| 2022-07-21 17:21:50 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-f6ba-82af-30e2-2b10.pool6.digikabel.hu) (Ping timeout: 255 seconds) |
| 2022-07-21 17:39:37 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-21 17:44:11 +0200 | <valarMorghulis[m> | Is there a way to get current workspace name in xmonad.hs |
| 2022-07-21 17:44:27 +0200 | <valarMorghulis[m> | Using StackSet or something |
| 2022-07-21 17:46:41 +0200 | <geekosaur> | gets (W.currentTag . windowset) |
| 2022-07-21 17:46:56 +0200 | <geekosaur> | (import qualified XMonad.StackSet as W) |
| 2022-07-21 17:51:52 +0200 | the-third-realm[ | (~the-third@2001:470:69fc:105::1:c326) |
| 2022-07-21 17:55:05 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 18:07:02 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:73ad:509c:ee84:62f2) |
| 2022-07-21 18:16:21 +0200 | <valarMorghulis[m> | I wanted to have different windoe spawn for different workspaces, therefore i implemented this function... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/74edaa493bd55c785ef35427a8993635e653…) |
| 2022-07-21 18:18:23 +0200 | <geekosaur> | don't you want `elem "Code"`? |
| 2022-07-21 18:18:33 +0200 | <geekosaur> | I don't see why you would wrap it in another list |
| 2022-07-21 18:20:25 +0200 | <geekosaur> | (also I wonder if you actually want `isInfixOf`, looking at that code) |
| 2022-07-21 18:20:40 +0200 | <geekosaur> | @index isInfixOf |
| 2022-07-21 18:20:40 +0200 | <lambdabot> | GHC.OldList, Data.List, Data.ByteString, Data.ByteString.Char8, Distribution.Simple.Utils |
| 2022-07-21 18:23:50 +0200 | <valarMorghulis[m> | <geekosaur> "I don't see why you would wrap..." <- I want to pass a list of workspace names and check if the current workspace is in that list |
| 2022-07-21 18:24:01 +0200 | <valarMorghulis[m> | Thats the reason I used list |
| 2022-07-21 18:25:18 +0200 | benin0 | (~benin@183.82.24.116) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-21 18:26:34 +0200 | <geekosaur> | ah. so you need to use flip somewhere, or rephrase the `elem` as a right-applied section |
| 2022-07-21 18:29:20 +0200 | <valarMorghulis[m> | You mean like this? `<+> manageWorkspace ( ["Code"] 'elem' ) (insertPosition End Newer) (insertPosition Master Newer)` |
| 2022-07-21 18:29:58 +0200 | <geekosaur> | with the other quotes, but ["Code"] needs to be on the right (it's the second / right parameter of `elem`) |
| 2022-07-21 18:31:17 +0200 | <geekosaur> | ``` (`elem` ["Code"]) ``` or `flip elem ["Code"]` |
| 2022-07-21 18:42:46 +0200 | Digit | (~user@user/digit) |
| 2022-07-21 18:44:08 +0200 | <valarMorghulis[m> | Even hard coding it to the fn doesn't work... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/024270325c6041811cfc54568038dfaa6179…) |
| 2022-07-21 18:44:31 +0200 | <valarMorghulis[m> | <geekosaur> "gets (W.currentTag . windowset)" <- Does this return a string? |
| 2022-07-21 18:49:05 +0200 | <geekosaur> | yes |
| 2022-07-21 18:49:46 +0200 | <geekosaur> | elem there needs to be in backticks since it's a function used as infix |
| 2022-07-21 18:50:31 +0200 | <geekosaur> | > "abc" `elem` ["abc", "fgh", "wxz"] |
| 2022-07-21 18:50:32 +0200 | <lambdabot> | True |
| 2022-07-21 18:50:53 +0200 | <geekosaur> | hm, matrix might not render that |
| 2022-07-21 18:53:00 +0200 | <geekosaur> | https://play-haskell.tomsmeding.com/play/paste/I1hwYjId/1 |
| 2022-07-21 18:53:24 +0200 | <geekosaur> | sadly I can't use xmonad functions in the playground |
| 2022-07-21 18:56:47 +0200 | <geekosaur> | oh, that paste is mangled, presumably also by matrix |
| 2022-07-21 18:57:01 +0200 | <geekosaur> | there are downsides to matrix trying to be fancy |
| 2022-07-21 19:00:47 +0200 | <geekosaur> | sigh, I need to edit my update script to build the ghci libs as well, so I don't have to wait for it when I `cabal repl` 😕 |
| 2022-07-21 19:03:05 +0200 | <geekosaur> | oh, how are you getting `i` there? it needs to be in the X monad and I hope it's not failing that and using list instead |
| 2022-07-21 19:03:29 +0200 | <geekosaur> | gets $ W.currentTag . windowset |
| 2022-07-21 19:03:30 +0200 | <geekosaur> | :: MonadState XState m => m WorkspaceId |
| 2022-07-21 19:05:06 +0200 | <geekosaur> | hm, except that should also fail to typecheck because it won't have MonadState |
| 2022-07-21 19:16:57 +0200 | jao | (~jao@92.233.85.247) |
| 2022-07-21 19:21:14 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:73ad:509c:ee84:62f2) (Ping timeout: 268 seconds) |
| 2022-07-21 19:22:11 +0200 | <valarMorghulis[m> | <geekosaur> "> "abc" `elem` ["abc", "fgh", "..." <- It's in backticks, but it's not visible in here due to the highlighting |
| 2022-07-21 19:23:27 +0200 | <valarMorghulis[m> | `elem i ["code", "term"]` doesn't work either |
| 2022-07-21 19:23:38 +0200 | <valarMorghulis[m> | Gives the same error |
| 2022-07-21 19:24:24 +0200 | <geekosaur> | can you show a bit more code so I can see where `i` is coming from more directly? |
| 2022-07-21 19:24:43 +0200 | <valarMorghulis[m> | <geekosaur> "oh, how are you getting `i..." <- Ooh |
| 2022-07-21 19:24:49 +0200 | <geekosaur> | right, your original paste shows `where i = gets … |
| 2022-07-21 19:24:51 +0200 | <valarMorghulis[m> | geekosaur: Okay |
| 2022-07-21 19:25:10 +0200 | <geekosaur> | that won't work, it needs to be inside a `do` and use `<-` (or use (>>=)) |
| 2022-07-21 19:25:53 +0200 | <valarMorghulis[m> | geekosaur: ```... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/3fa378fc3055b882177cb3f9b5417f567336…) |
| 2022-07-21 19:26:16 +0200 | <valarMorghulis[m> | geekosaur: Oo I see |
| 2022-07-21 19:26:17 +0200 | <geekosaur> | but I'd have expected that to throw a different error because it needs `MonadState XState` and a list won't have that |
| 2022-07-21 19:26:47 +0200 | <geekosaur> | so this needs to be in X, not pure |
| 2022-07-21 19:27:11 +0200 | <geekosaur> | and if that causes you issues in a `manageHook` then you need to look into `liftX` |
| 2022-07-21 19:29:08 +0200 | <valarMorghulis[m> | geekosaur: Is this what you meant? |
| 2022-07-21 19:29:10 +0200 | <valarMorghulis[m> | manageWorkspace :: (WorkspaceId -> Bool) -> ManageHook -> ManageHook -> ManageHook... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/d84829d5b2a9d699c86b334ba762793375f8…) |
| 2022-07-21 19:29:29 +0200 | <geekosaur> | still wrong |
| 2022-07-21 19:31:29 +0200 | <valarMorghulis[m> | Ok, ig this is beyond my scope |
| 2022-07-21 19:34:25 +0200 | <geekosaur> | https://paste.tomsmeding.com/Z1OklRzk |
| 2022-07-21 19:35:08 +0200 | <geekosaur> | which I just typechecked locally and it's valid |
| 2022-07-21 19:47:07 +0200 | <geekosaur> | presuming you've been introduced to monads, `ManageHook` is `Query Bool` and `Query a` is `ReaderT Window X a` |
| 2022-07-21 19:48:00 +0200 | <geekosaur> | (`liftX` isn't strictly necessary but helps reduce oddball error messages; `lift` would work just as well) |
| 2022-07-21 19:48:22 +0200 | Digit | attempts issue openbox's Restart with command xmonad, ... faking confidence it will work, and that he'll restore his dustry fledgling haskell-fu to be able to have xmonad.hs offer keybinds to switch to both openbox and herbstluftwm ... ~ blahblahprocrastinating on pushing the button to find out if i remain here, or am restarting my wm session... |
| 2022-07-21 19:49:20 +0200 | <geekosaur> | I'd consider it a bug if a Restart action crashed your session (unless something was seriously wrong with your xmonad config) |
| 2022-07-21 19:49:59 +0200 | <Digit> | woot! still here. that worked. :) now i'm back in xmonad! mmmm. it's been years. good sign i'm mending well, getting back to xmonad. :) |
| 2022-07-21 19:50:18 +0200 | <geekosaur> | and you can, if you want to switch window managers in xmonad, use `restart "otherWindowManager" False` |
| 2022-07-21 19:50:46 +0200 | <geekosaur> | (`True` would attempt to pass it state, but non-xmonad won't understand that state) |
| 2022-07-21 21:00:57 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-21 21:07:18 +0200 | ml| | (~ml|@user/ml/x-5298235) (Ping timeout: 240 seconds) |
| 2022-07-21 21:21:45 +0200 | ml| | (~ml|@user/ml/x-5298235) |
| 2022-07-21 21:23:41 +0200 | <valarMorghulis[m> | <geekosaur> "https://paste.tomsmeding.com/..." <- Thank you soo much for taking your time out for helping me |
| 2022-07-21 21:23:48 +0200 | <valarMorghulis[m> | It does work now |
| 2022-07-21 21:24:30 +0200 | <valarMorghulis[m> | <geekosaur> "presuming you've been introduced..." <- I've a fair bit of knowledge about monads, but this is kinda going over my head now |
| 2022-07-21 21:25:31 +0200 | <valarMorghulis[m> | `Just` looks pretty complicated to me |
| 2022-07-21 21:25:31 +0200 | <valarMorghulis[m> | I've just started haskell 2 months ago. Hope I'll get better at this soon |
| 2022-07-21 21:25:41 +0200 | <geekosaur> | about monads, or about IO? you need a little more for a monad stack (and this is arguably a double stack, but that shouldn't matter too much) |
| 2022-07-21 21:28:13 +0200 | <valarMorghulis[m> | And the code I wrote with `where` looks really similar to this, I don't get how these are dif, but it works |
| 2022-07-21 21:29:00 +0200 | <geekosaur> | <- does something different from = |
| 2022-07-21 21:29:35 +0200 | <geekosaur> | specifically it uses `>>=` to run an action and bind its result |
| 2022-07-21 21:30:00 +0200 | <valarMorghulis[m> | geekosaur: Aah ya, until now I didnt bother worrying about it cz they worked almost same, I gotta check more on these |
| 2022-07-21 21:30:26 +0200 | <geekosaur> | if you haven't discovered >>= or <- then you haven't really worked with monads |
| 2022-07-21 21:30:36 +0200 | <geekosaur> | @where iotut |
| 2022-07-21 21:30:36 +0200 | <lambdabot> | https://www.vex.net/~trebla/haskell/IO.xhtml |
| 2022-07-21 21:30:54 +0200 | <geekosaur> | with a few changes this is also applicable to xmonad and X in place of IO |
| 2022-07-21 21:31:03 +0200 | <geekosaur> | (and Query in place of X) |
| 2022-07-21 21:31:13 +0200 | <valarMorghulis[m> | geekosaur: I've worked with >>= but don't underatnd it fully |
| 2022-07-21 21:31:23 +0200 | <geekosaur> | oh also I misspoke earlier, ManageHook is Query (Endo WindowSet) |
| 2022-07-21 21:31:44 +0200 | <valarMorghulis[m> | And I've used <- this a lot, but I used it as = in a do block |
| 2022-07-21 21:31:49 +0200 | <valarMorghulis[m> | I've been doing things wrong |
| 2022-07-21 21:31:50 +0200 | <valarMorghulis[m> | I see |
| 2022-07-21 21:31:57 +0200 | <geekosaur> | it's more complicated than = |
| 2022-07-21 21:32:32 +0200 | <geekosaur> | you can still do let … = in a do block, for pure stuff. but non-pure stuff (running actions) needs <- |
| 2022-07-21 21:33:46 +0200 | <valarMorghulis[m> | I see, ig I'll start going through a guide to get my basics in haskell strong |
| 2022-07-21 21:58:47 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:df58:8e7a:3d48:e2d2) |
| 2022-07-21 22:51:21 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:df58:8e7a:3d48:e2d2) (Ping timeout: 276 seconds) |
| 2022-07-21 23:31:49 +0200 | Digit | (~user@user/digit) (Remote host closed the connection) |