Newest at the top
| 2024-12-27 15:47:38 +0100 | <hellwolf> | mapM ,or, sequence $ map, not |
| 2024-12-27 15:47:27 +0100 | <hellwolf> | (commented-out stupid code worked) |
| 2024-12-27 15:47:06 +0100 | <hellwolf> | I can't seem to make it work |
| 2024-12-27 15:46:57 +0100 | <hellwolf> | -- go n vars = cg_next_var >>= \var -> go (n - 1) (var:vars) |
| 2024-12-27 15:46:57 +0100 | <hellwolf> | -- where go 0 vars = pure vars |
| 2024-12-27 15:46:57 +0100 | <hellwolf> | -- cg_create_vars = reverse <$> go (abi_type_count_vars @a) [] |
| 2024-12-27 15:46:57 +0100 | <hellwolf> | cg_create_vars = sequence $ fmap (const cg_next_var) [0 .. abi_type_count_vars @a] |
| 2024-12-27 15:46:27 +0100 | <hellwolf> | I am feeling incredibly dumb atm |
| 2024-12-27 15:45:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 15:41:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 15:37:56 +0100 | <ncf> | traverse pure = pure |
| 2024-12-27 15:37:53 +0100 | <ncf> | traverse (f . g) = traverse f . fmap g |
| 2024-12-27 15:37:30 +0100 | <hellwolf> | sorry, I get it. But I won't be able to explain this to beginners. |
| 2024-12-27 15:37:08 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-27 15:37:04 +0100 | <lambdabot> | Identity [Just 1,Just 2,Just 3,Just 4] |
| 2024-12-27 15:37:02 +0100 | <hellwolf> | > traverse (pure . Just) [1..4] :: Identity [Maybe Int] |
| 2024-12-27 15:36:36 +0100 | <lambdabot> | <IO [Maybe Int]> |
| 2024-12-27 15:36:29 +0100 | <hellwolf> | > traverse (pure . Just) [1..4] :: IO [Maybe Int] |
| 2024-12-27 15:32:42 +0100 | <lambdabot> | Just [1,2,3,4] |
| 2024-12-27 15:32:41 +0100 | <hellwolf> | > traverse Just [1..4] |
| 2024-12-27 15:32:27 +0100 | <lambdabot> | prevents the constraint ‘(Show |
| 2024-12-27 15:32:27 +0100 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘show_M826968458127... |
| 2024-12-27 15:32:27 +0100 | <lambdabot> | error: |
| 2024-12-27 15:32:25 +0100 | <hellwolf> | > traverse (pure . Just) [1..4] |
| 2024-12-27 15:29:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 15:28:14 +0100 | hueso | (~root@user/hueso) (Ping timeout: 260 seconds) |
| 2024-12-27 15:25:20 +0100 | visilii | (~visilii@213.24.125.237) |
| 2024-12-27 15:25:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 15:24:29 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) (Remote host closed the connection) |
| 2024-12-27 15:22:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-27 15:17:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 15:16:40 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) ionut_f |
| 2024-12-27 15:15:13 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2024-12-27 15:09:47 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2024-12-27 15:09:24 +0100 | urdh | (~urdh@user/urdh) (Quit: Boom!) |
| 2024-12-27 15:06:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-27 15:02:12 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-27 15:02:01 +0100 | hueso | (~root@user/hueso) hueso |
| 2024-12-27 15:01:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-27 14:59:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 14:57:05 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-27 14:55:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-27 14:53:38 +0100 | Digit | (~user@user/digit) (Quit: i'm getting off this merry go round! (plexiglass. i'll brb).) |
| 2024-12-27 14:49:37 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:8dba:5fff:72fd:7f7d) iamsleepy |
| 2024-12-27 14:49:07 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:5051:865c:88f4:3d8) (Read error: Connection reset by peer) |
| 2024-12-27 14:48:37 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-27 14:47:18 +0100 | hueso_ | (~root@user/hueso) (Quit: hueso_) |
| 2024-12-27 14:46:14 +0100 | alp | (~alp@2001:861:8ca0:4940:8d4c:5a22:6b11:16da) |
| 2024-12-27 14:45:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 14:41:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |