2025/11/04

Newest at the top

2025-11-04 21:57:41 +0100_qw(~eqw@user/eqw) eqw
2025-11-04 21:47:25 +0100L29Ah(~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 +0100ft(~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 +0100yecinem_(~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 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-04 12:22:13 +0100DigitteknohippieDigit
2025-11-04 10:51:33 +0100tremon(~tremon@83.80.159.219) tremon
2025-11-04 09:55:29 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-11-04 09:35:46 +0100yecinem_(~yecinem@p200300ee0f0242006eb54dab8c0e50dd.dip0.t-ipconnect.de)
2025-11-04 07:38:33 +0100vanvik(~vanvik@143.110.100.4) vanvik
2025-11-04 07:35:26 +0100vanvik(~vanvik@143.110.100.4) (Quit: Later)
2025-11-04 04:59:41 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-04 04:38:12 +0100td_(~td@i5387092A.versanet.de) td_
2025-11-04 04:37:38 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-04 04:36:37 +0100td_(~td@i53870934.versanet.de) (Ping timeout: 264 seconds)
2025-11-04 04:07:34 +0100ft_ft
2025-11-04 04:07:33 +0100Digit(~user@user/digit) (*.net *.split)
2025-11-04 04:07:33 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (*.net *.split)
2025-11-04 04:03:51 +0100ft_(~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft
2025-11-04 04:02:07 +0100Digitteknohippie(~user@user/digit) Digit
2025-11-03 23:05:04 +0100down200(~down200@shell.lug.mtu.edu) down200
2025-11-03 22:58:52 +0100down200(~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in)
2025-11-03 22:15:56 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-11-03 20:34:59 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-03 20:22:22 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-03 20:17:23 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-03 19:56:00 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-03 19:53:46 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-03 19:41:02 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-11-03 19:10:28 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft
2025-11-03 19:07:28 +0100mkoskar(~mkoskar@user/mkoskar) mkoskar
2025-11-03 18:50:04 +0100mkoskar(~mkoskar@user/mkoskar) (Quit: mkoskar)
2025-11-03 18:48:58 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-03 18:46:07 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-03 18:46:04 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-03 18:41:18 +0100mkoskar(~mkoskar@user/mkoskar) mkoskar
2025-11-03 18:40:17 +0100mkoskar(~mkoskar@user/mkoskar) (Quit: mkoskar)
2025-11-03 18:39:13 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-03 18:30:42 +0100mkoskar(~mkoskar@user/mkoskar) mkoskar
2025-11-03 18:23:14 +0100mkoskar(~mkoskar@user/mkoskar) (Ping timeout: 256 seconds)