Logs: liberachat/#xmonad
| 2025-11-03 17:48:58 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-03 17:50:04 | × | mkoskar quits (~mkoskar@user/mkoskar) (Quit: mkoskar) |
| 2025-11-03 18:07:28 | → | mkoskar joins (~mkoskar@user/mkoskar) |
| 2025-11-03 18:10:28 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 2025-11-03 18:41:02 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-11-03 18:53:46 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-03 18:56:00 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-03 19:17:23 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-03 19:22:22 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-03 19:34:59 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-03 21:15:56 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-11-03 21:58:52 | × | down200 quits (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
| 2025-11-03 22:05:04 | → | down200 joins (~down200@shell.lug.mtu.edu) |
| 2025-11-04 03:02:07 | → | Digitteknohippie joins (~user@user/digit) |
| 2025-11-04 03:03:51 | → | ft_ joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 2025-11-04 03:07:33 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (*.net *.split) |
| 2025-11-04 03:07:33 | × | Digit quits (~user@user/digit) (*.net *.split) |
| 2025-11-04 03:07:34 | ft_ | is now known as ft |
| 2025-11-04 03:36:37 | × | td_ quits (~td@i53870934.versanet.de) (Ping timeout: 264 seconds) |
| 2025-11-04 03:37:38 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-04 03:38:12 | → | td_ joins (~td@i5387092A.versanet.de) |
| 2025-11-04 03:59:41 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-04 06:35:26 | × | vanvik quits (~vanvik@143.110.100.4) (Quit: Later) |
| 2025-11-04 06:38:33 | → | vanvik joins (~vanvik@143.110.100.4) |
| 2025-11-04 08:35:46 | → | yecinem_ joins (~yecinem@p200300ee0f0242006eb54dab8c0e50dd.dip0.t-ipconnect.de) |
| 2025-11-04 08:55:29 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-04 09:51:33 | → | tremon joins (~tremon@83.80.159.219) |
| 2025-11-04 11:22:13 | Digitteknohippie | is now known as Digit |
| 2025-11-04 12:36:34 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-04 13:01:02 | <haskellbridge> | <Primrose (== Léana)> Hello, how can I wrap a Layout data type to redefine its type class method ? |
| 2025-11-04 13:01:02 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/KIcJRzGLiySedQQHHSFiKGvd/SmjDVV_U5iQ (11 lines) |
| 2025-11-04 13:01:27 | <haskellbridge> | <Primrose (== Léana)> The error I got is |
| 2025-11-04 13:01:27 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/AYsHQLFpkkIFDODSOEAjQPzS/gdyZ3grK6Jc (11 lines) |
| 2025-11-04 13:01:55 | <haskellbridge> | <Primrose (== Léana)> +the following. The one with prime is my wrapper. |
| 2025-11-04 16:49:06 | × | yecinem_ quits (~yecinem@p200300ee0f0242006eb54dab8c0e50dd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-11-04 18:07:12 | <haskellbridge> | <geekosaur (@geekosaur:matrix.org)> you need to rewrap the produced layouts in "doLayout" and "handleMessage", otherwise they're inferred as "ResizeableTall'" and that forces the chosen instance of "doLayout" to be that one |
| 2025-11-04 18:23:04 | <haskellbridge> | <geekosaur (@geekosaur:matrix.org)> newtype ResizableTall' a = ResizableTall' (ResizableTall a) deriving (Show, Read) |
| 2025-11-04 18:23:06 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/LumNSPznPDsbMXhozpfDdlcb/SIaxL0M02sM (15 lines) |
| 2025-11-04 18:52:52 | <haskellbridge> | <geekosaur (@geekosaur:matrix.org)> (that could be cleaned up a little by using "fmap" instead of the "case") |
| 2025-11-04 19:08:50 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 2025-11-04 19:44:18 | × | _qw quits (~eqw@user/eqw) (Ping timeout: 265 seconds) |
| 2025-11-04 20:47:25 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-04 20:57:41 | → | _qw joins (~eqw@user/eqw) |
| 2025-11-04 21:40:17 | × | Digit quits (~user@user/digit) (*.net *.split) |
| 2025-11-04 21:40:17 | × | mkoskar quits (~mkoskar@user/mkoskar) (*.net *.split) |
| 2025-11-04 21:40:17 | × | ml| quits (~ml|@user/ml/x-5298235) (*.net *.split) |
| 2025-11-04 21:40:18 | × | 068AABI46 quits (~wz1000@2a01:4f9:c012:de50::1) (*.net *.split) |
| 2025-11-04 21:40:18 | × | thaumavorio_ quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 2025-11-04 21:40:18 | × | Solitary quits (~Solitary@user/solitary) (*.net *.split) |
| 2025-11-04 21:41:42 | → | Digit joins (~user@user/digit) |
| 2025-11-04 21:41:42 | → | mkoskar joins (~mkoskar@user/mkoskar) |
| 2025-11-04 21:41:42 | → | ml| joins (~ml|@user/ml/x-5298235) |
| 2025-11-04 21:41:42 | → | 068AABI46 joins (~wz1000@2a01:4f9:c012:de50::1) |
| 2025-11-04 21:41:42 | → | thaumavorio_ joins (~thaumavor@thaumavor.io) |
| 2025-11-04 21:41:42 | → | Solitary joins (~Solitary@user/solitary) |
| 2025-11-05 00:29:19 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-05 01:58:42 | × | Forkk13 quits (~forkk@li926-228.members.linode.com) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-11-05 01:59:20 | → | Forkk13 joins (~forkk@li926-228.members.linode.com) |
| 2025-11-05 02:59:32 | <haskellbridge> | <geekosaur (@geekosaur:matrix.org)> in particular, I think "handleMessage" becomes "handleMessage (ResizableTall' inner) m = fmap (fmap ResizableTall') (handleMessage inner m)" or some variant thereof. "doLayout" is a little harder unless you use "lens" in which case you can bring something like "over _2 (fmap ResizableTall')" into play? |
| 2025-11-05 03:35:54 | × | td_ quits (~td@i5387092A.versanet.de) (Ping timeout: 252 seconds) |
| 2025-11-05 03:37:55 | → | td_ joins (~td@i5387093C.versanet.de) |
| 2025-11-05 06:17:27 | <haskellbridge> | <Primrose (== Léana)> geekosaur: I see, I find the error message hella confusing if one doesn't understand in which direction the type unification is done here |
| 2025-11-05 06:17:29 | <haskellbridge> | <Primrose (== Léana)> Thanks !! |
| 2025-11-05 06:18:29 | <haskellbridge> | <Primrose (== Léana)> In the end I did |
| 2025-11-05 06:18:29 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/WTCNFoqEazWKXwSjGBHvlhLb/eNLykQpbIQo (15 lines) |
| 2025-11-05 09:04:33 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-05 11:56:35 | → | yecinem_ joins (~yecinem@p200300ee0f027400af0a7cdbe8524351.dip0.t-ipconnect.de) |
| 2025-11-05 12:07:43 | × | yecinem_ quits (~yecinem@p200300ee0f027400af0a7cdbe8524351.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-11-05 18:16:36 | → | hightower2 joins (~hightower@dh207-113-80.xnet.hr) |
| 2025-11-05 18:34:05 | × | MrElendig quits (~Urist@archlinux/op/MrElendig) (Quit: punching nazis) |
| 2025-11-05 18:35:44 | → | MrElendig joins (~Urist@archlinux/op/MrElendig) |
| 2025-11-05 18:38:05 | → | xjcj joins (~xjcj@dslb-002-205-170-105.002.205.pools.vodafone-ip.de) |
| 2025-11-05 18:55:24 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 2025-11-05 19:12:27 | × | xjcj quits (~xjcj@dslb-002-205-170-105.002.205.pools.vodafone-ip.de) (Ping timeout: 250 seconds) |
| 2025-11-05 19:48:16 | → | hightower3 joins (~hightower@cpe-94-253-237-31.st.cable.xnet.hr) |
| 2025-11-05 19:49:57 | × | hightower2 quits (~hightower@dh207-113-80.xnet.hr) (Ping timeout: 252 seconds) |
| 2025-11-05 19:50:54 | → | hightower2 joins (~hightower@cpe-94-253-244-153.st.cable.xnet.hr) |
| 2025-11-05 19:52:42 | × | hightower3 quits (~hightower@cpe-94-253-237-31.st.cable.xnet.hr) (Ping timeout: 252 seconds) |
| 2025-11-05 22:39:31 | × | berberman quits (~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-05 22:40:14 | → | berberman joins (~berberman@user/berberman) |
| 2025-11-05 22:40:23 | × | berberman quits (~berberman@user/berberman) (Remote host closed the connection) |
| 2025-11-05 22:42:13 | → | berberman joins (~berberman@user/berberman) |
| 2025-11-05 22:43:08 | × | berberman quits (~berberman@user/berberman) (Read error: Connection reset by peer) |
| 2025-11-05 22:50:07 | → | berberman joins (~berberman@user/berberman) |
| 2025-11-05 22:50:46 | × | berberman quits (~berberman@user/berberman) (Client Quit) |
| 2025-11-05 22:52:21 | → | berberman joins (~berberman@user/berberman) |
| 2025-11-05 22:52:23 | × | berberman quits (~berberman@user/berberman) (Remote host closed the connection) |
| 2025-11-05 22:52:44 | → | berberman joins (~berberman@user/berberman) |
| 2025-11-05 22:53:44 | × | berberman quits (~berberman@user/berberman) (Client Quit) |
| 2025-11-05 22:54:07 | → | berberman joins (~berberman@user/berberman) |
| 2025-11-05 22:54:17 | × | berberman quits (~berberman@user/berberman) (Remote host closed the connection) |
| 2025-11-05 22:55:59 | → | berberman joins (~berberman@user/berberman) |
| 2025-11-06 02:29:17 | → | hightower3 joins (~hightower@dh207-82-252.xnet.hr) |
| 2025-11-06 02:31:53 | × | hightower2 quits (~hightower@cpe-94-253-244-153.st.cable.xnet.hr) (Ping timeout: 260 seconds) |
| 2025-11-06 03:10:19 | → | hightower2 joins (~hightower@dh207-82-252.xnet.hr) |
| 2025-11-06 03:11:19 | × | hightower3 quits (~hightower@dh207-82-252.xnet.hr) (Ping timeout: 240 seconds) |
| 2025-11-06 03:35:02 | × | td_ quits (~td@i5387093C.versanet.de) (Ping timeout: 252 seconds) |
| 2025-11-06 03:36:37 | → | td_ joins (~td@i53870901.versanet.de) |
| 2025-11-06 03:43:12 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:9d11::) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-06 03:52:58 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:9d11::) |
All times are in UTC.