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