xmonad-extras VS xmonad-contrib

In addition, I'd need to check what exactly I am should be using for xmonad-extras, since I use a patched BinarySpacePartition, by Samuli Thomasson, that allows it to work just fine with Minimize (see email exchange in xmonad list: https://mail.haskell.org/pipermail/xmonad/2021-May/015432.html). Maybe this patch is now in https://github.com/xmonad/xmonad-extras, but I'd need to check.

This should now also be fixed in HEAD: https://github.com/xmonad/xmonad-contrib/commit/90f4a96f933a8ecc014b6def54fb929ee9e73e49

If you're on NixOS then definitely look into /u/LSLeary's excellent flake! (docs)

Perhaps you're not aware of the module exposed by the xmonad-contrib flake? It can do most of the setup for you. See the NixOS Modules section of https://github.com/xmonad/xmonad-contrib/blob/master/NIX.md.

Seems there was a documentation bug in that module. Does this fix help?

There is X.L.CenteredIfSingle. However, it didn't land in 0.17.0, so you'll have to either wait for 0.17.1 (dropping soon, I promise!), compile xmonad from git, or just copy the file as-is (which should be doable) into your configuration.

Btw there is an alternative way to implement smart bar using `AltMax` from xmonad-contrib but I'm not using it because of this [known bug](https://github.com/xmonad/xmonad-contrib/issues/75).

Note that the linked solution is a bit buggy (see here). But regarding your question, it's as simple as it gets. You could maybe replace (getModeName <$> (XS.get :: X ModeName)) with XS.gets getModeNameand maybe defining it somewhere else (e.g. logMode :: Logger), but that's really it. You could wait for #703 to be merged (whenever that may be), or just take the code from there (PSA: still in a rough state, undocumented, and very likely will change) and roll with it: it is xmonad after all, your config is going to be compiled anyway!