Newest at the top
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 |
2024-10-13 13:23:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-13 13:23:28 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-13 13:22:00 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-903d-5ee0-ce29-b158.rev.sfr.net) alexherbo2 |
2024-10-13 13:18:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 13:15:09 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-10-13 13:12:41 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-cd99-171c-9a65-8209.rev.sfr.net) (Remote host closed the connection) |
2024-10-13 13:09:53 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-10-13 13:07:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-13 13:02:25 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
2024-10-13 13:00:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 12:57:30 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-cd99-171c-9a65-8209.rev.sfr.net) alexherbo2 |
2024-10-13 12:54:21 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-cd99-171c-9a65-8209.rev.sfr.net) (Remote host closed the connection) |
2024-10-13 12:53:22 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-cd99-171c-9a65-8209.rev.sfr.net) alexherbo2 |
2024-10-13 12:51:14 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-cd99-171c-9a65-8209.rev.sfr.net) (Remote host closed the connection) |
2024-10-13 12:49:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-13 12:49:03 +0200 | son0p | (~ff@186.119.83.52) son0p |
2024-10-13 12:48:42 +0200 | rosco | (~rosco@175.136.22.30) rosco |
2024-10-13 12:45:04 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-cd99-171c-9a65-8209.rev.sfr.net) alexherbo2 |
2024-10-13 12:45:03 +0200 | CiaoSen | (~Jura@2a05:5800:215:400:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |