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