Newest at the top
| 2026-05-22 17:30:55 +0000 | spew | (~spew@user/spew) (Ping timeout: 250 seconds) |
| 2026-05-22 17:28:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-22 17:26:56 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 265 seconds) |
| 2026-05-22 17:23:40 +0000 | synchromesh | (~john@2406:5a00:247e:1500:29d7:765d:2d71:9db7) synchromesh |
| 2026-05-22 17:23:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-22 17:22:33 +0000 | synchromesh | (~john@2406:5a00:247e:1500:7c82:a850:5cfd:5f4b) (Read error: Connection reset by peer) |
| 2026-05-22 17:12:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-22 17:06:38 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) |
| 2026-05-22 17:05:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-22 17:02:00 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-22 16:56:19 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-05-22 16:54:13 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-22 16:53:30 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-05-22 16:52:37 +0000 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-05-22 16:51:47 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-22 16:49:36 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-05-22 16:48:53 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-22 16:47:03 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2026-05-22 16:46:05 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-22 16:42:05 +0000 | leppard | Inline |
| 2026-05-22 16:38:22 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-22 16:37:04 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-05-22 16:35:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-22 16:34:02 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-22 16:32:35 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-05-22 16:17:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-22 16:13:46 +0000 | Square | (~Square@user/square) Square |
| 2026-05-22 16:09:55 +0000 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2026-05-22 15:49:22 +0000 | <int-e> | (just double-checking) |
| 2026-05-22 15:49:17 +0000 | <lambdabot> | Applicative m => Either a (m b) -> m (Either a b) |
| 2026-05-22 15:49:16 +0000 | <int-e> | :t sequenceA :: Applicative m => Either a (m b) -> m (Either a b) |
| 2026-05-22 15:49:03 +0000 | danza | was wondering about its meaning |
| 2026-05-22 15:48:53 +0000 | gawen | (~gawen@user/gawen) gawen |
| 2026-05-22 15:48:44 +0000 | <int-e> | oh! where did that stray `:t traverse` come from. |
| 2026-05-22 15:47:29 +0000 | <yahb2> | sequenceA :: Applicative m => Either a (m b) -> m (Either a b) ; :: Applicative m => Either a (m b) -> m (Either a b) |
| 2026-05-22 15:47:29 +0000 | <int-e> | % :t sequenceA :: Applicative m => Either a (m b) -> m (Either a b) |
| 2026-05-22 15:47:09 +0000 | <int-e> | Also, that line worked in GHCi |
| 2026-05-22 15:47:02 +0000 | <int-e> | jaror: Yeah I was getting there. |
| 2026-05-22 15:46:39 +0000 | <lambdabot> | • In an expression type signature: |
| 2026-05-22 15:46:39 +0000 | <lambdabot> | • Expected a type, but ‘m (Either a b) : t traverse’ has kind ‘[*]’ |
| 2026-05-22 15:46:39 +0000 | <lambdabot> | error: [GHC-83865] |
| 2026-05-22 15:46:38 +0000 | <int-e> | :t sequenceA :: Applicative m => Either a (m b) -> m (Either a b):t traverse |
| 2026-05-22 15:46:07 +0000 | <pounce> | cute |
| 2026-05-22 15:45:59 +0000 | <jaror> | int-e: that's just sequence |
| 2026-05-22 15:45:47 +0000 | <yahb2> | firstA id ; :: (Bitraversable t, Applicative f) => t (f c) b -> f (t c b) |
| 2026-05-22 15:45:46 +0000 | <Leary> | % :t firstA id |
| 2026-05-22 15:45:18 +0000 | <pounce> | oh interesting |
| 2026-05-22 15:44:49 +0000 | <int-e> | Either a (m b) -> m (Either a b) feels like it could be a `lift` but the the `m a` on the left I don't see any potential match |
| 2026-05-22 15:43:30 +0000 | <pounce> | specifically m here is maybe |
| 2026-05-22 15:43:27 +0000 | <int-e> | (this is scnr territory) |