Newest at the top
| 2024-12-29 17:11:30 +0100 | Digit | (~user@198.144.208.46.dyn.plus.net) (Ping timeout: 244 seconds) |
| 2024-12-29 17:11:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-29 17:06:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 17:03:45 +0100 | <int-e> | hmm, where did you find this? |
| 2024-12-29 17:03:14 +0100 | <haskellbridge> | <hellwolf> I suspect this example helps no one but confuse people |
| 2024-12-29 17:03:01 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2024-12-29 17:02:45 +0100 | <haskellbridge> | <hellwolf> I got it in the playground eventually |
| 2024-12-29 17:02:33 +0100 | <haskellbridge> | <hellwolf> main = print =<< (sequence $ Left [1,2,3,4] :: IO (Either [Int] ())) |
| 2024-12-29 17:02:18 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) (Max SendQ exceeded) |
| 2024-12-29 17:00:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-29 17:00:32 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2024-12-29 17:00:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-29 17:00:10 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2024-12-29 16:59:00 +0100 | <int-e> | Ah it would help if I could type. |
| 2024-12-29 16:57:47 +0100 | int-e | gives up |
| 2024-12-29 16:57:41 +0100 | <lambdabot> | • Perhaps you meant one of these: |
| 2024-12-29 16:57:41 +0100 | <lambdabot> | • Data constructor not in scope: Idenitity :: () -> Identity () |
| 2024-12-29 16:57:41 +0100 | <lambdabot> | error: |
| 2024-12-29 16:57:39 +0100 | <int-e> | > sequence $ Right (Idenitity ()) :: Identity (Either [Int] ()) |
| 2024-12-29 16:57:15 +0100 | <haskellbridge> | <hellwolf> terrible example though in the doc |
| 2024-12-29 16:56:50 +0100 | <haskellbridge> | <hellwolf> that makes sense |
| 2024-12-29 16:56:43 +0100 | <haskellbridge> | <hellwolf> Oh IO monad |
| 2024-12-29 16:56:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 16:55:28 +0100 | <lambdabot> | Identity (Left [1,2,3,4]) |
| 2024-12-29 16:55:00 +0100 | <glguy> | in GHCi it defaults to > sequence $ Left [1,2,3,4] :: IO (Either [Int] ()) |
| 2024-12-29 16:54:59 +0100 | <int-e> | > sequence $ Left [1,2,3,4] :: Identity (Either [Int] ()) |
| 2024-12-29 16:54:18 +0100 | <int-e> | sorry. evidently I don't get it. |
| 2024-12-29 16:54:11 +0100 | <lambdabot> | (Monad m, Num a1) => m (Either [a1] a2) |
| 2024-12-29 16:54:10 +0100 | <int-e> | :t sequence $ Left [1,2,3,4] |
| 2024-12-29 16:53:57 +0100 | <lambdabot> | Expected type: Either [Int] [()] |
| 2024-12-29 16:53:57 +0100 | <lambdabot> | • Couldn't match type ‘Either [a0]’ with ‘[]’ |
| 2024-12-29 16:53:57 +0100 | <lambdabot> | error: |
| 2024-12-29 16:53:55 +0100 | <int-e> | > sequence $ Left [1,2,3,4] :: Either [Int] [()] |
| 2024-12-29 16:53:32 +0100 | <int-e> | err |
| 2024-12-29 16:53:27 +0100 | <lambdabot> | Expected type: Either Int () |
| 2024-12-29 16:53:27 +0100 | <lambdabot> | • Couldn't match type ‘Either [a1] a0’ with ‘()’ |
| 2024-12-29 16:53:27 +0100 | <lambdabot> | error: |
| 2024-12-29 16:53:25 +0100 | <int-e> | > sequence $ Left [1,2,3,4] :: Either Int () |
| 2024-12-29 16:53:09 +0100 | <lambdabot> | ‘a0’ arising from a use of ‘show_M47049344228... |
| 2024-12-29 16:53:09 +0100 | <lambdabot> | • Ambiguous type variables ‘m0’, |
| 2024-12-29 16:53:09 +0100 | <lambdabot> | error: |
| 2024-12-29 16:53:08 +0100 | <glguy> | > sequence $ Left [1,2,3,4] |
| 2024-12-29 16:48:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-29 16:47:51 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/QUKGrvLTNZOOOHdwBvktjVmF/bVwGZIEAz8s (3 lines) |
| 2024-12-29 16:47:51 +0100 | <haskellbridge> | <hellwolf> I don't understand the documentation of sequence, where it says |
| 2024-12-29 16:47:48 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-12-29 16:42:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-29 16:39:20 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-12-29 16:38:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 16:37:10 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f89a9548a55d3d0f0c2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |