Newest at the top
| 2024-10-13 15:05:35 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 265 seconds) |
| 2024-10-13 15:04:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 15:04:14 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-10-13 15:01:27 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-13 14:59:52 +0200 | Square | (~Square@user/square) Square |
| 2024-10-13 14:54:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-13 14:49:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 14:45:36 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-13 14:45:28 +0200 | bh34e5 | (~bh34e5@user/bh34e5) bh34e5 |
| 2024-10-13 14:39:57 +0200 | koz | (~koz@121.99.240.58) |
| 2024-10-13 14:39:53 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-13 14:38:54 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 252 seconds) |
| 2024-10-13 14:37:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 14:35:40 +0200 | CiaoSen | (~Jura@2a05:5800:215:400:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-13 14:31:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 14:27:52 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-10-13 14:27:21 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-10-13 14:23:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-13 14:22:51 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-13 14:20:56 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-10-13 14:19:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 14:08:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-10-13 14:06:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-13 14:01:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 13:52:36 +0200 | <geekosaur> | (just like liftM is fmap but we can't just replace it) |
| 2024-10-13 13:51:42 +0200 | <geekosaur> | but mapM is used by so much code that removing it or even just aliasing it is risky to impossible |
| 2024-10-13 13:51:05 +0200 | <geekosaur> | yes |
| 2024-10-13 13:51:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 13:51:02 +0200 | <lxsameer> | perfect |
| 2024-10-13 13:50:38 +0200 | <mauke> | well, mapM is |
| 2024-10-13 13:50:24 +0200 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2024-10-13 13:50:23 +0200 | <mauke> | :t traverse |
| 2024-10-13 13:50:21 +0200 | <mauke> | ... that's just traverse, isn't it |
| 2024-10-13 13:49:58 +0200 | <lxsameer> | cheers |
| 2024-10-13 13:49:30 +0200 | <lambdabot> | Monad m => [a -> m b] -> a -> m [b] |
| 2024-10-13 13:49:29 +0200 | <mauke> | :t \fs x -> mapM ($ x) (fs `asTypeOf` []) |
| 2024-10-13 13:49:02 +0200 | <lambdabot> | (Traversable t, Monad m) => t (a -> m b) -> a -> m (t b) |
| 2024-10-13 13:49:01 +0200 | <mauke> | :t \fs x -> mapM ($ x) fs |
| 2024-10-13 13:48:29 +0200 | <lambdabot> | (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 2024-10-13 13:48:27 +0200 | <mauke> | :t mapM |
| 2024-10-13 13:47:07 +0200 | <lxsameer> | I'm using fold at the moment |
| 2024-10-13 13:46:17 +0200 | <lxsameer> | i have an array of functions like a -> IO (Maybe a), what is the proper way to call them in order and pass a fixed value for `a` and then bind the return values if it makes sense |
| 2024-10-13 13:46:02 +0200 | <mauke> | https://paste.tomsmeding.com/0GYRHPZM/raw/1 - thanks, haddock |
| 2024-10-13 13:45:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 13:42:20 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-903d-5ee0-ce29-b158.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-13 13:35:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 13:31:49 +0200 | masterbuilder | (~quassel@user/masterbuilder) masterbuilder |
| 2024-10-13 13:30:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 13:26:10 +0200 | whosit | (~whosit@user/whosit) whosit |
| 2024-10-13 13:24:17 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |