Logs on 2024-12-13 (liberachat/#xmonad)
| 01:03:30 | → | phantom_ joins (~phantom@2600:1702:5b51:96e0:30c:262d:b238:fd48) |
| 01:44:08 | × | phantom_ quits (~phantom@2600:1702:5b51:96e0:30c:262d:b238:fd48) (Quit: WeeChat 3.5) |
| 03:11:26 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 03:44:35 | → | catman joins (~catman@user/catman) |
| 03:53:59 | × | td_ quits (~td@i5387090C.versanet.de) (Ping timeout: 244 seconds) |
| 03:56:10 | → | td_ joins (~td@i5387093F.versanet.de) |
| 04:19:39 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 05:04:44 | × | alp quits (~alp@2001:861:8ca0:4940:4155:329b:9129:3e66) (Remote host closed the connection) |
| 05:05:00 | → | alp joins (~alp@2001:861:8ca0:4940:1c03:a77a:acae:42) |
| 05:15:12 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 05:51:40 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Ping timeout: 240 seconds) |
| 07:29:24 | × | ft quits (~ft@p508db9c7.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 08:11:38 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 09:38:52 | → | Digitteknohippie joins (~user@user/digit) |
| 09:40:39 | × | Digit quits (~user@user/digit) (Ping timeout: 276 seconds) |
| 10:08:06 | Digitteknohippie | is now known as Digit |
| 11:20:43 | × | MrElendig quits (~Urist@archlinux/op/MrElendig) (Quit: goodbye 2024, the year idiocracy became reality) |
| 11:38:38 | → | MrElendig joins (~Urist@archlinux/op/MrElendig) |
| 12:20:37 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 12:41:34 | → | Digitteknohippie joins (~user@user/digit) |
| 12:42:58 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 12:51:44 | Digitteknohippie | is now known as Digit |
| 13:30:33 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:47:23 | → | ft joins (~ft@p508db9c7.dip0.t-ipconnect.de) |
| 14:54:25 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 14:59:05 | × | alp quits (~alp@2001:861:8ca0:4940:1c03:a77a:acae:42) (Remote host closed the connection) |
| 14:59:23 | → | alp joins (~alp@2001:861:8ca0:4940:fe35:b2c7:be3f:81c) |
| 15:00:47 | × | alp quits (~alp@2001:861:8ca0:4940:fe35:b2c7:be3f:81c) (Remote host closed the connection) |
| 15:01:06 | → | alp joins (~alp@2001:861:8ca0:4940:c731:528a:cc7b:83c4) |
| 15:02:28 | × | alp quits (~alp@2001:861:8ca0:4940:c731:528a:cc7b:83c4) (Remote host closed the connection) |
| 15:02:47 | → | alp joins (~alp@2001:861:8ca0:4940:6356:ce55:f764:8f07) |
| 15:04:09 | × | alp quits (~alp@2001:861:8ca0:4940:6356:ce55:f764:8f07) (Remote host closed the connection) |
| 15:04:29 | → | alp joins (~alp@2001:861:8ca0:4940:1fde:7520:470c:b702) |
| 15:05:50 | × | alp quits (~alp@2001:861:8ca0:4940:1fde:7520:470c:b702) (Remote host closed the connection) |
| 15:06:09 | → | alp joins (~alp@2001:861:8ca0:4940:a0f8:bb83:fcc1:1af2) |
| 15:07:31 | × | alp quits (~alp@2001:861:8ca0:4940:a0f8:bb83:fcc1:1af2) (Remote host closed the connection) |
| 15:07:49 | → | alp joins (~alp@2001:861:8ca0:4940:368f:e308:67fd:150f) |
| 15:09:31 | → | alp_ joins (~alp@2001:861:8ca0:4940:bbaf:78a6:fe4b:94e9) |
| 15:10:54 | × | alp_ quits (~alp@2001:861:8ca0:4940:bbaf:78a6:fe4b:94e9) (Remote host closed the connection) |
| 15:11:12 | → | alp_ joins (~alp@2001:861:8ca0:4940:3ebc:4e24:bba7:15f2) |
| 15:12:08 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 15:12:35 | × | alp_ quits (~alp@2001:861:8ca0:4940:3ebc:4e24:bba7:15f2) (Remote host closed the connection) |
| 15:12:52 | × | alp quits (~alp@2001:861:8ca0:4940:368f:e308:67fd:150f) (Ping timeout: 252 seconds) |
| 15:12:52 | → | alp_ joins (~alp@2001:861:8ca0:4940:86cd:64ae:1e47:4ab3) |
| 15:14:35 | → | alp__ joins (~alp@128-79-174-146.hfc.dyn.abo.bbox.fr) |
| 15:17:41 | × | alp_ quits (~alp@2001:861:8ca0:4940:86cd:64ae:1e47:4ab3) (Ping timeout: 252 seconds) |
| 15:59:36 | × | catman quits (~catman@user/catman) (Quit: WeeChat 4.4.4) |
| 16:29:46 | → | Digitteknohippie joins (~user@user/digit) |
| 16:31:02 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 16:59:20 | → | catman joins (~catman@user/catman) |
| 17:01:38 | Digitteknohippie | is now known as Digit |
| 17:02:46 | × | catman quits (~catman@user/catman) (Client Quit) |
| 17:05:54 | → | catman joins (~catman@user/catman) |
| 17:56:04 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 17:58:05 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 18:27:23 | → | beastwick joins (~brian@user/beastwick) |
| 18:29:08 | <beastwick> | howdy, trying to setup a simple workspace swap. Following the docs, but have the wrong type apparently for the workspaces. Not sure how to resolve. https://pastebin.com/7suMuQB0 |
| 18:29:16 | <beastwick> | https://hackage.haskell.org/package/xmonad-contrib-0.18.1/docs/XMonad-Actions-SwapWorkspaces.html#g:1 |
| 18:29:38 | <beastwick> | S.workspaces (S is the stackset) |
| 18:29:49 | <beastwick> | swapWorkspaces :: Eq i => i -> i -> StackSet i l a s sd -> StackSet i l a s sd |
| 18:35:16 | → | ash3en joins (~Thunderbi@146.70.124.222) |
| 18:36:31 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 18:42:57 | → | Digitteknohippie joins (~user@user/digit) |
| 18:44:08 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 19:02:43 | <geekosaur> | There's a difference between `XMonad.StackSet.workspaces`, which extracts a list of workspace tags from a `StackSet`, and `Main.workspaces` which is a list of your config's workspaces in the sample configurations we provide (e.g. in `TUTORIAL.md`) |
| 19:03:02 | <geekosaur> | it looks like you're building key bindings, which normally uses the latter |
| 19:03:03 | × | ash3en quits (~Thunderbi@146.70.124.222) (Quit: ash3en) |
| 19:06:04 | <geekosaur> | (and a third which is a projection function from a config record to a list of workspaces, which is `XMonad.workspaces` when fully qualified) |
| 19:27:14 | <geekosaur> | sorry, had too go afk for a bit |
| 19:27:57 | <geekosaur> | you don't show enough for me to really help you; what's the full definition of swapWorkspaces? |
| 19:38:45 | <beastwick> | https://hackage.haskell.org/package/xmonad-contrib-0.18.1/docs/src/XMonad.Actions.SwapWorkspaces.html |
| 19:39:23 | <geekosaur> | oh, sorry, I missed that earlier link wasn't one of ours |
| 19:39:30 | <beastwick> | no worries |
| 19:42:04 | <geekosaur> | and that doesn't do the key bindings. so is that trying to use them in your config? then you want just `workspaces` (or `Main.workspaces` if that's ambiguous) but I'd need to see your config to be certain |
| 19:42:35 | <geekosaur> | (in mine it'd be `workspacen` because I decided needing to disambiguate three different `workspaces`s was nuts) |
| 19:48:39 | <beastwick> | https://pastebin.com/6UWscBFF |
| 19:50:43 | <geekosaur> | so I assume it's currently this line that's troubling you? | (i, k) <- zip XMonad.workspaces [xK_1 ..]] |
| 19:51:08 | <beastwick> | yes, pretend XMonad. is not there, workspaces is the source of the error |
| 19:51:16 | <geekosaur> | if you look 4 lines up from it you'll see the correct usage |
| 19:52:09 | <beastwick> | (XMonad.workspaces myXConfig) |
| 19:52:11 | <beastwick> | ? |
| 19:52:15 | <geekosaur> | yes |
| 19:52:32 | <geekosaur> | `XMonad.workspaces` is not a value, it's a function, it must be passed a config |
| 19:52:49 | <beastwick> | oh my, that did it |
| 19:53:04 | <beastwick> | thanks geekosaur |
| 19:58:31 | <beastwick> | yeah, sorry - what ends up happening is I get into my xmonad config and take a break and then need to re-acclimate |
| 19:58:39 | <beastwick> | I really need to focus on just learning haskell at this point |
| 19:58:51 | <beastwick> | proud I've made it this far, but now it's just silly stuff |
| 19:58:59 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 19:59:03 | Digitteknohippie | is now known as Digit |
| 20:00:35 | <geekosaur> | so, that error you got the first time is a classic "that's a function, not a value". ghc even tells you that: "• Probable cause: ‘S.workspaces’ is applied to too few arguments" |
| 20:01:38 | <beastwick> | yeah, also curious why the docs just have "workspaces" |
| 20:02:14 | <geekosaur> | and the actual type it shows is more detailed: it's a function that takes a StackSet and produces a list of workspaces (but not workspace tags, you'll note; see https://hackage.haskell.org/package/xmonad-0.18.0/docs/XMonad-StackSet.html#t:Workspace) |
| 20:02:16 | <beastwick> | so I realize workspaces in the docs is the value, and in my attempt I was using a func |
| 20:03:06 | <geekosaur> | because the TUTORIAL and other common sample configs have you define a variable "workspaces" and then use it in your config record. but your config instead defines it in the config record directly |
| 20:05:03 | <geekosaur> | mm, actually our currwnt tutorial just uses the default workspace names |
| 20:06:53 | <geekosaur> | most people just copy something like https://github.com/xmonad/xmonad/blob/master/src/XMonad/Config.hs#L59-L60 into their config |
| 20:08:01 | <geekosaur> | and reference it in their config record |
| 20:08:55 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 20:21:02 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 20:37:42 | <beastwick> | I'll give that a try |
| 20:43:50 | <geekosaur> | there's no real reason to try it, it's just an explanation for why bare `workspaces` is so common |
| 20:44:03 | <geekosaur> | people like t copy-paste without understanding |
| 20:55:45 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 21:25:58 | × | Leary quits (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 21:31:37 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:39:26 | → | Leary joins (~Leary@user/Leary/x-0910699) |
| 22:03:35 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 22:40:51 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 23:08:21 | × | catman quits (~catman@user/catman) (Quit: WeeChat 4.4.4) |
| 23:12:52 | → | catman joins (~catman@user/catman) |
| 23:20:11 | × | catman quits (~catman@user/catman) (Quit: WeeChat 4.4.4) |
All times are in UTC on 2024-12-13.