Newest at the top
| 2025-11-05 19:38:05 +0100 | xjcj | (~xjcj@dslb-002-205-170-105.002.205.pools.vodafone-ip.de) |
| 2025-11-05 19:35:44 +0100 | MrElendig | (~Urist@archlinux/op/MrElendig) MrElendig |
| 2025-11-05 19:34:05 +0100 | MrElendig | (~Urist@archlinux/op/MrElendig) (Quit: punching nazis) |
| 2025-11-05 19:16:36 +0100 | hightower2 | (~hightower@dh207-113-80.xnet.hr) hightower2 |
| 2025-11-05 13:07:43 +0100 | yecinem_ | (~yecinem@p200300ee0f027400af0a7cdbe8524351.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-11-05 12:56:35 +0100 | yecinem_ | (~yecinem@p200300ee0f027400af0a7cdbe8524351.dip0.t-ipconnect.de) |
| 2025-11-05 10:04:33 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-05 07:18:29 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/WTCNFoqEazWKXwSjGBHvlhLb/eNLykQpbIQo (15 lines) |
| 2025-11-05 07:18:29 +0100 | <haskellbridge> | <Primrose (== Léana)> In the end I did |
| 2025-11-05 07:17:29 +0100 | <haskellbridge> | <Primrose (== Léana)> Thanks !! |
| 2025-11-05 07:17:27 +0100 | <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 04:37:55 +0100 | td_ | (~td@i5387093C.versanet.de) td_ |
| 2025-11-05 04:35:54 +0100 | td_ | (~td@i5387092A.versanet.de) (Ping timeout: 252 seconds) |
| 2025-11-05 03:59:32 +0100 | <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 02:59:20 +0100 | Forkk13 | (~forkk@li926-228.members.linode.com) Forkk |
| 2025-11-05 02:58:42 +0100 | Forkk13 | (~forkk@li926-228.members.linode.com) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-11-05 01:29:19 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-04 22:41:42 +0100 | Solitary | (~Solitary@user/solitary) Solitary |
| 2025-11-04 22:41:42 +0100 | thaumavorio_ | (~thaumavor@thaumavor.io) thaumavorio |
| 2025-11-04 22:41:42 +0100 | 068AABI46 | (~wz1000@2a01:4f9:c012:de50::1) |
| 2025-11-04 22:41:42 +0100 | ml| | (~ml|@user/ml/x-5298235) ml| |
| 2025-11-04 22:41:42 +0100 | mkoskar | (~mkoskar@user/mkoskar) mkoskar |
| 2025-11-04 22:41:42 +0100 | Digit | (~user@user/digit) Digit |
| 2025-11-04 22:40:18 +0100 | Solitary | (~Solitary@user/solitary) (*.net *.split) |
| 2025-11-04 22:40:18 +0100 | thaumavorio_ | (~thaumavor@thaumavor.io) (*.net *.split) |
| 2025-11-04 22:40:18 +0100 | 068AABI46 | (~wz1000@2a01:4f9:c012:de50::1) (*.net *.split) |
| 2025-11-04 22:40:17 +0100 | ml| | (~ml|@user/ml/x-5298235) (*.net *.split) |
| 2025-11-04 22:40:17 +0100 | mkoskar | (~mkoskar@user/mkoskar) (*.net *.split) |
| 2025-11-04 22:40:17 +0100 | Digit | (~user@user/digit) (*.net *.split) |
| 2025-11-04 21:57:41 +0100 | _qw | (~eqw@user/eqw) eqw |
| 2025-11-04 21:47:25 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-04 20:44:18 +0100 | _qw | (~eqw@user/eqw) (Ping timeout: 265 seconds) |
| 2025-11-04 20:08:50 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-11-04 19:52:52 +0100 | <haskellbridge> | <geekosaur (@geekosaur:matrix.org)> (that could be cleaned up a little by using "fmap" instead of the "case") |
| 2025-11-04 19:23:06 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/LumNSPznPDsbMXhozpfDdlcb/SIaxL0M02sM (15 lines) |
| 2025-11-04 19:23:04 +0100 | <haskellbridge> | <geekosaur (@geekosaur:matrix.org)> newtype ResizableTall' a = ResizableTall' (ResizableTall a) deriving (Show, Read) |
| 2025-11-04 19:07:12 +0100 | <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 17:49:06 +0100 | yecinem_ | (~yecinem@p200300ee0f0242006eb54dab8c0e50dd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-11-04 14:01:55 +0100 | <haskellbridge> | <Primrose (== Léana)> +the following. The one with prime is my wrapper. |
| 2025-11-04 14:01:27 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/AYsHQLFpkkIFDODSOEAjQPzS/gdyZ3grK6Jc (11 lines) |
| 2025-11-04 14:01:27 +0100 | <haskellbridge> | <Primrose (== Léana)> The error I got is |
| 2025-11-04 14:01:02 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/KIcJRzGLiySedQQHHSFiKGvd/SmjDVV_U5iQ (11 lines) |
| 2025-11-04 14:01:02 +0100 | <haskellbridge> | <Primrose (== Léana)> Hello, how can I wrap a Layout data type to redefine its type class method ? |
| 2025-11-04 13:36:34 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-04 12:22:13 +0100 | Digitteknohippie | Digit |
| 2025-11-04 10:51:33 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-11-04 09:55:29 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-04 09:35:46 +0100 | yecinem_ | (~yecinem@p200300ee0f0242006eb54dab8c0e50dd.dip0.t-ipconnect.de) |
| 2025-11-04 07:38:33 +0100 | vanvik | (~vanvik@143.110.100.4) vanvik |
| 2025-11-04 07:35:26 +0100 | vanvik | (~vanvik@143.110.100.4) (Quit: Later) |