Newest at the top
| 2024-12-22 02:17:27 +0100 | sprotte24 | (~sprotte24@p200300d16f1a2c0064c6ee858fd5dcfe.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-12-22 02:15:27 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2024-12-22 02:15:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 02:04:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-22 02:02:46 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2024-12-22 01:59:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 01:55:45 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2024-12-22 01:50:07 +0100 | <E2Combinator> | Nvm, I saw the issue. Extraneous constraint in the Algebra instance |
| 2024-12-22 01:49:09 +0100 | <E2Combinator> | It complains partially about a missing effect signature, but even if I add the Has (Writer Any) constraint, it still fails |
| 2024-12-22 01:49:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-22 01:48:40 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-22 01:48:28 +0100 | <E2Combinator> | https://paste.tomsmeding.com/pXrMkP7e |
| 2024-12-22 01:47:48 +0100 | <E2Combinator> | run $ runUpdateTracking $ resolveMovementStep m |
| 2024-12-22 01:47:36 +0100 | <E2Combinator> | But the moment I try to run resolveMovementStep with an effect carrier stack, I get the following: |
| 2024-12-22 01:47:12 +0100 | <E2Combinator> | And it typechecks and all |
| 2024-12-22 01:47:07 +0100 | <E2Combinator> | resolveMovementStep :: Has UpdateTracking sig m => WilMaze InMovement -> m (WilMaze InMovement) |
| 2024-12-22 01:47:05 +0100 | <E2Combinator> | I have defined an operation as such: |
| 2024-12-22 01:46:33 +0100 | <E2Combinator> | And it typechecks and all |
| 2024-12-22 01:46:33 +0100 | <E2Combinator> | https://paste.tomsmeding.com/4J7pz5eI |
| 2024-12-22 01:46:33 +0100 | <E2Combinator> | I have defined the effect as such: |
| 2024-12-22 01:45:45 +0100 | <E2Combinator> | Hi. I have some serious issues tryong to define a wrapper effect in fused-effects, anyone can help with that? |
| 2024-12-22 01:44:46 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-22 01:44:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 01:42:31 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-12-22 01:34:04 +0100 | housemate | (~housemate@ppp203-122-213-191.static.internode.on.net) housemate |
| 2024-12-22 01:33:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-22 01:28:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 01:24:00 +0100 | <monochrom> | Then again Napier functors can have inefficient indexing too. |
| 2024-12-22 01:23:36 +0100 | <monochrom> | Not very efficient but I guess it counts. |
| 2024-12-22 01:23:12 +0100 | <monochrom> | Wait, do you mean one can just do toList and index into that list?! |
| 2024-12-22 01:17:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-22 01:17:27 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-12-22 01:13:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 01:10:22 +0100 | E2Combinator | (~E2Combina@190.180.45.137) |
| 2024-12-22 01:10:12 +0100 | housemate | (~housemate@ppp203-122-213-191.static.internode.on.net) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-22 01:06:47 +0100 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2024-12-22 01:05:23 +0100 | <Leary> | EvanR: `Foldable` already has indexing. |
| 2024-12-22 01:05:16 +0100 | E2Combinator | (~E2Combina@190.180.45.137) (Quit: Client closed) |
| 2024-12-22 01:05:09 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2024-12-22 01:05:03 +0100 | sprotte24 | (~sprotte24@p200300d16f1a2c0064c6ee858fd5dcfe.dip0.t-ipconnect.de) |
| 2024-12-22 01:04:41 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 265 seconds) |
| 2024-12-22 01:04:28 +0100 | <yahb2> | \xs i -> either Just (const Nothing) . flip runStateT 0 $ for_ xs \x -> do{ j <- get; put (j + 1); when (j == i) (throwError x) } ; :: (Eq a, Num a, Foldable t) => t e -> a -> Maybe e |
| 2024-12-22 01:04:28 +0100 | <Leary> | % :t \xs i -> either Just (const Nothing) . flip runStateT 0 $ for_ xs \x -> do{ j <- get; put (j + 1); when (j == i) (throwError x) } |
| 2024-12-22 01:01:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-22 00:58:57 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 252 seconds) |
| 2024-12-22 00:58:09 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2024-12-22 00:58:09 +0100 | housemate | (~housemate@ppp203-122-213-191.static.internode.on.net) housemate |
| 2024-12-22 00:55:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 00:49:00 +0100 | E2Combinator | (~E2Combina@190.180.45.137) |
| 2024-12-22 00:46:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |