| 2024-12-17 00:03:01 +0000 | alp | (~alp@2001:861:8ca0:4940:b325:ba7a:69b3:494a) (Ping timeout: 248 seconds) |
| 2024-12-17 01:21:20 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-12-17 01:37:32 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2024-12-17 01:52:30 +0000 | <Leary> | Profpatsch: Bit of an oversight. Layout type signatures are usually just big lumps of noise, so not many people actually write them. |
| 2024-12-17 01:56:09 +0000 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/blob/hilfy-2023/xmonad.hs#L65 😛 |
| 2024-12-17 01:56:28 +0000 | <geekosaur> | (case in point) |
| 2024-12-17 01:57:44 +0000 | <geekosaur> | the type signature for a layout is usually bigger than the definition is |
| 2024-12-17 01:57:53 +0000 | <geekosaur> | and requires a bunch more imports |
| 2024-12-17 02:20:08 +0000 | catman | (~catman@user/catman) catman |
| 2024-12-17 02:27:39 +0000 | ChubaDuba | (~ChubaDuba@5.165.254.132) ChubaDuba |
| 2024-12-17 02:44:35 +0000 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2024-12-17 03:12:45 +0000 | Kaladin | (~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) Kaladin |
| 2024-12-17 03:45:06 +0000 | Kaladin | (~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) (Quit: Leaving) |
| 2024-12-17 03:49:48 +0000 | td_ | (~td@i5387091E.versanet.de) (Ping timeout: 272 seconds) |
| 2024-12-17 03:51:03 +0000 | td_ | (~td@i5387092E.versanet.de) |
| 2024-12-17 03:58:10 +0000 | catman | (~catman@user/catman) (Quit: WeeChat 4.5.0) |
| 2024-12-17 03:59:34 +0000 | ChubaDuba | (~ChubaDuba@5.165.254.132) (Quit: WeeChat 4.4.2) |
| 2024-12-17 04:02:02 +0000 | ChubaDuba | (~ChubaDuba@5.165.254.132) ChubaDuba |
| 2024-12-17 04:07:56 +0000 | lally | (sid388228@id-388228.uxbridge.irccloud.com) (Ping timeout: 264 seconds) |
| 2024-12-17 04:08:32 +0000 | lally | (sid388228@id-388228.uxbridge.irccloud.com) lally |
| 2024-12-17 04:22:27 +0000 | catman | (~catman@user/catman) catman |
| 2024-12-17 04:23:10 +0000 | OftenFaded | (OftenFaded@user/tisktisk) OftenFaded |
| 2024-12-17 06:04:38 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-17 06:06:41 +0000 | alp | (~alp@2001:861:8ca0:4940:fa1a:8b8c:4a0d:e62b) |
| 2024-12-17 08:19:06 +0000 | yaslam_ | (~yaslam@user/yaslam) yaslam |
| 2024-12-17 08:19:32 +0000 | yaslam_ | (~yaslam@user/yaslam) (Remote host closed the connection) |
| 2024-12-17 08:19:59 +0000 | yaslam_ | (~yaslam@user/yaslam) yaslam |
| 2024-12-17 08:23:18 +0000 | yaslam_ | (~yaslam@user/yaslam) (Remote host closed the connection) |
| 2024-12-17 08:38:50 +0000 | yaslam_ | (~yaslam@user/yaslam) yaslam |
| 2024-12-17 08:42:45 +0000 | yaslam_ | (~yaslam@user/yaslam) (Remote host closed the connection) |
| 2024-12-17 08:46:43 +0000 | yaslam | (~yaslam@user/yaslam) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-12-17 08:48:04 +0000 | yaslam | (~yaslam@user/yaslam) yaslam |
| 2024-12-17 08:50:51 +0000 | yaslam | (~yaslam@user/yaslam) (Client Quit) |
| 2024-12-17 08:52:09 +0000 | yaslam | (~yaslam@user/yaslam) yaslam |
| 2024-12-17 09:40:15 +0000 | catman | (~catman@user/catman) (Read error: Connection reset by peer) |
| 2024-12-17 09:49:10 +0000 | catman | (~catman@user/catman) catman |
| 2024-12-17 10:15:18 +0000 | OftenFaded | (OftenFaded@user/tisktisk) (Quit: Client closed) |
| 2024-12-17 11:12:57 +0000 | deepy | (deepy@user/deepy) (Read error: Connection reset by peer) |
| 2024-12-17 11:16:07 +0000 | deepy | (deepy@user/deepy) deepy |
| 2024-12-17 13:27:30 +0000 | <Profpatsch> | fwiw I think there should be existential wrappers |
| 2024-12-17 13:27:43 +0000 | <Profpatsch> | most of it boils down to the layout class anyway |
| 2024-12-17 13:29:57 +0000 | <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 +0000 | <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 +0000 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-12-17 15:20:17 +0000 | alp | (~alp@2001:861:8ca0:4940:fa1a:8b8c:4a0d:e62b) (Ping timeout: 248 seconds) |
| 2024-12-17 15:20:35 +0000 | Digit | (~user@user/digit) Digit |
| 2024-12-17 15:37:10 +0000 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2024-12-17 17:38:10 +0000 | alp | (~alp@2001:861:8ca0:4940:d540:2405:ba2e:e0d1) |
| 2024-12-17 18:45:09 +0000 | catman | (~catman@user/catman) (Ping timeout: 248 seconds) |
| 2024-12-17 18:46:13 +0000 | catman | (~catman@user/catman) catman |
| 2024-12-17 18:52:12 +0000 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2024-12-17 18:56:44 +0000 | alp | (~alp@2001:861:8ca0:4940:d540:2405:ba2e:e0d1) (Ping timeout: 272 seconds) |
| 2024-12-17 19:56:03 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-17 20:03:34 +0000 | ChubaDuba | (~ChubaDuba@5.165.254.132) (Ping timeout: 244 seconds) |
| 2024-12-17 20:13:59 +0000 | alp | (~alp@2001:861:8ca0:4940:116b:e777:775e:985b) |
| 2024-12-17 20:37:54 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-12-17 22:05:04 +0000 | catman | (~catman@user/catman) (Quit: WeeChat 4.5.0) |
| 2024-12-17 22:38:23 +0000 | catman | (~catman@user/catman) catman |
| 2024-12-17 22:48:06 +0000 | catman | (~catman@user/catman) (Ping timeout: 276 seconds) |
| 2024-12-17 22:49:42 +0000 | catman | (~catman@user/catman) catman |
| 2024-12-17 23:32:42 +0000 | catman | (~catman@user/catman) (Quit: WeeChat 4.5.0) |
| 2024-12-17 23:34:45 +0000 | catman | (~catman@user/catman) catman |
| 2024-12-17 23:58:21 +0000 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |