Newest at the top
| 2026-05-01 15:59:29 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-05-01 15:54:10 +0000 | <janus> | gentauro: yes. the t would be [] (list) and the m would be 'type' |
| 2026-05-01 15:53:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 15:53:15 +0000 | <gentauro> | janus: I have a list of types that I want to concat |
| 2026-05-01 15:50:43 +0000 | mrvdb- | (~mrvdb@185.92.221.186) (Ping timeout: 264 seconds) |
| 2026-05-01 15:49:50 +0000 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2026-05-01 15:48:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 15:45:29 +0000 | <janus> | gentauro: don't you want this instead of a custom foldl with mempty ? |
| 2026-05-01 15:45:17 +0000 | <yahb2> | fold :: (Foldable t, Monoid m) => t m -> m |
| 2026-05-01 15:45:17 +0000 | <janus> | % :t fold |
| 2026-05-01 15:45:15 +0000 | <yahb2> | <no output> |
| 2026-05-01 15:45:15 +0000 | <janus> | % import Data.Foldable |
| 2026-05-01 15:45:04 +0000 | <yahb2> | <interactive>:1:1: error: [GHC-88464] ; Variable not in scope: fold ; Suggested fix: ; Perhaps use one of these: ; ‘foldl’ (imported from Prelude), ‘foldr’ (imported from Prel... |
| 2026-05-01 15:45:04 +0000 | <janus> | % :t fold |
| 2026-05-01 15:40:06 +0000 | alhazrod | (uid662262@user/alhazrod) alhazrod |
| 2026-05-01 15:40:06 +0000 | alhazrod | (uid662262@id-662262.lymington.irccloud.com) (Changing host) |
| 2026-05-01 15:39:59 +0000 | alhazrod | (uid662262@id-662262.lymington.irccloud.com) |
| 2026-05-01 15:38:21 +0000 | dcb | (~dcb@user/dcb) dcb |
| 2026-05-01 15:36:35 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-05-01 15:36:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-01 15:34:20 +0000 | dcb | (~dcb@user/dcb) (Quit: MSN Messenger v1.10.1) |
| 2026-05-01 15:31:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 15:23:40 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-05-01 15:23:05 +0000 | Server | +Cnt |
| 2026-05-01 15:23:01 +0000 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
| 2026-05-01 15:19:57 +0000 | jmcantrell_ | jmcantrell |
| 2026-05-01 15:18:47 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-05-01 15:14:20 +0000 | ChanServ | +v yahb2 |
| 2026-05-01 15:14:20 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2026-05-01 15:14:18 +0000 | gentauro | oh, I didn't wrote my Monoid instance |
| 2026-05-01 15:13:53 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
| 2026-05-01 15:13:25 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) (Ping timeout: 276 seconds) |
| 2026-05-01 15:13:06 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-01 15:13:06 +0000 | <gentauro> | I guess I end up with `foldl (\ acc x -> acc <> x) mempty` which does the trick |
| 2026-05-01 15:10:51 +0000 | <haskellbridge> | <ijouw> yes |
| 2026-05-01 15:10:36 +0000 | <gentauro> | Leary: like `<|>`? |
| 2026-05-01 15:10:22 +0000 | tomsmeding | (~tomsmedin@user/tomsmeding) tomsmeding |
| 2026-05-01 15:10:00 +0000 | <gentauro> | ijouw yeah, the LSP keeps complaining about those. However, as I use `{-# OPTIONS_GHC -Wall -Werror #-}` per file, I get all kind of strange error when compiling :( |
| 2026-05-01 15:09:40 +0000 | tomsmeding | (~tomsmedin@user/tomsmeding) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-01 15:09:39 +0000 | <Leary> | gentauro: `Alternative` provides another generisation of `++` (and `[]`) which is likely more appropriate if it type checks. |
| 2026-05-01 15:08:28 +0000 | <haskellbridge> | <ijouw> There is also foldl' |
| 2026-05-01 15:07:40 +0000 | <yahb2> | foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b |
| 2026-05-01 15:07:39 +0000 | <gentauro> | % :t foldl |
| 2026-05-01 15:07:06 +0000 | <yahb2> | foldl1 :: Foldable t => (a -> a -> a) -> t a -> a |
| 2026-05-01 15:07:06 +0000 | <gentauro> | % :t foldl1 |
| 2026-05-01 15:00:58 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) |
| 2026-05-01 15:00:19 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) adamsaunders |
| 2026-05-01 14:55:53 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-05-01 14:54:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 14:49:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |