Logs: liberachat/#xmonad
| 2024-12-17 03:51:03 | → | td_ joins (~td@i5387092E.versanet.de) |
| 2024-12-17 03:58:10 | × | catman quits (~catman@user/catman) (Quit: WeeChat 4.5.0) |
| 2024-12-17 03:59:34 | × | ChubaDuba quits (~ChubaDuba@5.165.254.132) (Quit: WeeChat 4.4.2) |
| 2024-12-17 04:02:02 | → | ChubaDuba joins (~ChubaDuba@5.165.254.132) |
| 2024-12-17 04:07:56 | × | lally quits (sid388228@id-388228.uxbridge.irccloud.com) (Ping timeout: 264 seconds) |
| 2024-12-17 04:08:32 | → | lally joins (sid388228@id-388228.uxbridge.irccloud.com) |
| 2024-12-17 04:22:27 | → | catman joins (~catman@user/catman) |
| 2024-12-17 04:23:10 | → | OftenFaded joins (OftenFaded@user/tisktisk) |
| 2024-12-17 06:04:38 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-17 06:06:41 | → | alp joins (~alp@2001:861:8ca0:4940:fa1a:8b8c:4a0d:e62b) |
| 2024-12-17 08:19:06 | → | yaslam_ joins (~yaslam@user/yaslam) |
| 2024-12-17 08:19:32 | × | yaslam_ quits (~yaslam@user/yaslam) (Remote host closed the connection) |
| 2024-12-17 08:19:59 | → | yaslam_ joins (~yaslam@user/yaslam) |
| 2024-12-17 08:23:18 | × | yaslam_ quits (~yaslam@user/yaslam) (Remote host closed the connection) |
| 2024-12-17 08:38:50 | → | yaslam_ joins (~yaslam@user/yaslam) |
| 2024-12-17 08:42:45 | × | yaslam_ quits (~yaslam@user/yaslam) (Remote host closed the connection) |
| 2024-12-17 08:46:43 | × | yaslam quits (~yaslam@user/yaslam) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-12-17 08:48:04 | → | yaslam joins (~yaslam@user/yaslam) |
| 2024-12-17 08:50:51 | × | yaslam quits (~yaslam@user/yaslam) (Client Quit) |
| 2024-12-17 08:52:09 | → | yaslam joins (~yaslam@user/yaslam) |
| 2024-12-17 09:40:15 | × | catman quits (~catman@user/catman) (Read error: Connection reset by peer) |
| 2024-12-17 09:49:10 | → | catman joins (~catman@user/catman) |
| 2024-12-17 10:15:18 | × | OftenFaded quits (OftenFaded@user/tisktisk) (Quit: Client closed) |
| 2024-12-17 11:12:57 | × | deepy quits (deepy@user/deepy) (Read error: Connection reset by peer) |
| 2024-12-17 11:16:07 | → | deepy joins (deepy@user/deepy) |
| 2024-12-17 13:27:30 | <Profpatsch> | fwiw I think there should be existential wrappers |
| 2024-12-17 13:27:43 | <Profpatsch> | most of it boils down to the layout class anyway |
| 2024-12-17 13:29:57 | <geekosaur> | there actually is one, internally. but you can't parameterize layouts in your config if it's existentially wrapped there |
| 2024-12-17 13:31:47 | <geekosaur> | so your XConfig has to expose the layout type, but xmonad's core uses XConfig Layout where Layout is an existential wrapper (https://github.com/xmonad/xmonad/blob/master/src/XMonad/Core.hs#L250) |
| 2024-12-17 15:14:55 | × | Digit quits (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-12-17 15:20:17 | × | alp quits (~alp@2001:861:8ca0:4940:fa1a:8b8c:4a0d:e62b) (Ping timeout: 248 seconds) |
| 2024-12-17 15:20:35 | → | Digit joins (~user@user/digit) |
| 2024-12-17 15:37:10 | → | rekahsoft joins (~rekahsoft@76.69.85.220) |
| 2024-12-17 17:38:10 | → | alp joins (~alp@2001:861:8ca0:4940:d540:2405:ba2e:e0d1) |
| 2024-12-17 18:45:09 | × | catman quits (~catman@user/catman) (Ping timeout: 248 seconds) |
| 2024-12-17 18:46:13 | → | catman joins (~catman@user/catman) |
| 2024-12-17 18:52:12 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 2024-12-17 18:56:44 | × | alp quits (~alp@2001:861:8ca0:4940:d540:2405:ba2e:e0d1) (Ping timeout: 272 seconds) |
| 2024-12-17 19:56:03 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2024-12-17 20:03:34 | × | ChubaDuba quits (~ChubaDuba@5.165.254.132) (Ping timeout: 244 seconds) |
| 2024-12-17 20:13:59 | → | alp joins (~alp@2001:861:8ca0:4940:116b:e777:775e:985b) |
| 2024-12-17 20:37:54 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-12-17 22:05:04 | × | catman quits (~catman@user/catman) (Quit: WeeChat 4.5.0) |
| 2024-12-17 22:38:23 | → | catman joins (~catman@user/catman) |
| 2024-12-17 22:48:06 | × | catman quits (~catman@user/catman) (Ping timeout: 276 seconds) |
| 2024-12-17 22:49:42 | → | catman joins (~catman@user/catman) |
| 2024-12-17 23:32:42 | × | catman quits (~catman@user/catman) (Quit: WeeChat 4.5.0) |
| 2024-12-17 23:34:45 | → | catman joins (~catman@user/catman) |
| 2024-12-17 23:58:21 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2024-12-18 00:55:09 | × | alp quits (~alp@2001:861:8ca0:4940:116b:e777:775e:985b) (Ping timeout: 252 seconds) |
| 2024-12-18 01:09:51 | × | deepy quits (deepy@user/deepy) (Read error: Connection reset by peer) |
| 2024-12-18 01:13:02 | → | deepy joins (deepy@user/deepy) |
| 2024-12-18 01:21:19 | → | yaslam_ joins (~yaslam@user/yaslam) |
| 2024-12-18 01:21:39 | × | yaslam quits (~yaslam@user/yaslam) (Ping timeout: 265 seconds) |
| 2024-12-18 01:31:31 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-12-18 01:58:54 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-12-18 01:59:23 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-12-18 01:59:49 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-12-18 02:49:24 | <beastwick> | howdy again |
| 2024-12-18 02:49:33 | <geekosaur> | o/ |
| 2024-12-18 02:50:28 | <beastwick> | I am trying to use two libraries, physicalscreens and onscreen. My goal is run a function that affects the opposite screen while focus is on the current screen. |
| 2024-12-18 02:50:39 | <beastwick> | what I have is wrong, but I think I am close |
| 2024-12-18 02:50:51 | <beastwick> | , ((mod4Mask .|. controlMask, xK_e), onScreen viewEmptyWorkspace FocusCurrent getNeighbor) |
| 2024-12-18 02:51:18 | <beastwick> | this doesn't work, but I think I have the right idea |
| 2024-12-18 02:51:24 | <beastwick> | types don't match up sadly |
| 2024-12-18 02:55:49 | <beastwick> | Variable not in scope: getNeighbor :: ScreenId, not sure if more would pop up after solving that |
| 2024-12-18 02:56:24 | <geekosaur> | more will, and I see no getNeighbor in xmonad or -contrib |
| 2024-12-18 02:56:36 | <beastwick> | https://hackage.haskell.org/package/xmonad-contrib-0.18.1/docs/src/XMonad.Actions.PhysicalScreens.html#getNeighbour |
| 2024-12-18 02:56:48 | <geekosaur> | also you need onScreen' since viewEmptyWorkspace :: X () |
| 2024-12-18 02:57:30 | <geekosaur> | oh, I see, isn't in stackage (I'm using hoogle as a shortcut) |
| 2024-12-18 02:58:28 | <beastwick> | no problem |
| 2024-12-18 02:58:33 | <geekosaur> | uh, I'm looking at that page and there is no getNeighbour |
| 2024-12-18 02:58:46 | <beastwick> | weird |
| 2024-12-18 02:59:15 | <geekosaur> | ohhh, you're poking in the source. it's not exported |
| 2024-12-18 02:59:19 | <geekosaur> | you can't use it |
| 2024-12-18 02:59:36 | <beastwick> | oh derp, I was wondering why it wasn't on the non source view |
| 2024-12-18 03:00:08 | <beastwick> | not sure how to get the screenId of the screen adjacent to the one I am on. In my case, I just have two screens. |
| 2024-12-18 03:01:26 | <geekosaur> | cheat. (\(S n) -> S (1 - n)) |
| 2024-12-18 03:02:04 | <geekosaur> | the remaining problem is that onScreen must be run within XMonad.Operations.windows |
| 2024-12-18 03:02:47 | <geekosaur> | so: windows (onScreen' viewEmptyWorkspace FocusCurrent (\(S n) -> S (1 - n)) |
| 2024-12-18 03:03:15 | <geekosaur> | only works with 2 screeens, but since that's what you have… |
| 2024-12-18 03:03:35 | <beastwick> | so I guess it just ignores anything to do with windows, but its happy as long as it is runs within operations.windows |
| 2024-12-18 03:03:56 | <geekosaur> | "windows" modifies the StackSet |
| 2024-12-18 03:04:14 | <beastwick> | yeah, but that sounded strange to me to need since I don't think I am modifying the stackset |
| 2024-12-18 03:04:15 | <geekosaur> | it is somewhat misnamed when the modification in question doesn't affect any windows, yes |
| 2024-12-18 03:04:16 | <beastwick> | or am I? |
| 2024-12-18 03:04:21 | <beastwick> | ah okay |
| 2024-12-18 03:04:29 | <geekosaur> | look at the type of onScreen |
| 2024-12-18 03:04:39 | <geekosaur> | what is the final parameter and the result type? |
| 2024-12-18 03:05:35 | <geekosaur> | (WindowSet is StackSet with all the type parameters filled in correctly for xmonad) |
| 2024-12-18 03:05:54 | <geekosaur> | (since it takes like 5 of them, so it can be tested with a proof checker that doesn't have any X11 types in it) |
| 2024-12-18 03:06:28 | <beastwick> | https://pastebin.com/tEb0kBZ8 |
| 2024-12-18 03:07:04 | <geekosaur> | oh, right, you don't have one there 😕 |
| 2024-12-18 03:07:43 | <beastwick> | I don't have a window you mean? |
| 2024-12-18 03:08:07 | <beastwick> | can I give it null windows? haha |
| 2024-12-18 03:08:36 | <geekosaur> | you don't have a ScreenId to start with, so we can't turn it into the other ScreenId |
| 2024-12-18 03:08:53 | <geekosaur> | except, well, you do have it but you need to dig around in the WindowSet to get it |
| 2024-12-18 03:11:13 | <geekosaur> | windows (\ws -> onScreen' viewEmptyWorkspace FocusCurrent (1 - (S.screen . S.current $ ws) ws |
| 2024-12-18 03:11:15 | <geekosaur> | I think |
| 2024-12-18 03:11:50 | <geekosaur> | no |
All times are in UTC.