Newest at the top
| 2024-12-29 17:54:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 17:47:41 +0100 | kevinz56 | (~kevinz56@202.134.186.134) (Client Quit) |
| 2024-12-29 17:47:02 +0100 | <kevinz56> | Hii |
| 2024-12-29 17:46:51 +0100 | kevinz56 | (~kevinz56@202.134.186.134) |
| 2024-12-29 17:46:31 +0100 | Guest62 | (~Guest10@202.134.186.134) (Client Quit) |
| 2024-12-29 17:46:14 +0100 | Guest62 | (~Guest10@202.134.186.134) |
| 2024-12-29 17:44:08 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2024-12-29 17:43:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-29 17:39:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 17:36:33 +0100 | annamalai | (~yaaic@2409:4072:609c:96c7::1350:d8b1) (Ping timeout: 276 seconds) |
| 2024-12-29 17:29:48 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-29 17:27:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-29 17:24:45 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-29 17:24:30 +0100 | <haskellbridge> | <hellwolf> https://hackage.haskell.org/package/base-4.21.0.0/docs/Prelude.html#v:sequence |
| 2024-12-29 17:22:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 17:22:29 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2024-12-29 17:21:48 +0100 | Digit | (~user@198.144.208.46.dyn.plus.net) |
| 2024-12-29 17:18:38 +0100 | Digit | (~user@198.144.208.46.dyn.plus.net) (Read error: Connection reset by peer) |
| 2024-12-29 17:17:19 +0100 | Digit | (~user@198.144.208.46.dyn.plus.net) |
| 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 ‘[]’ |