Newest at the top
| 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) |
| 2026-05-22 15:43:12 +0000 | <pounce> | mhm |
| 2026-05-22 15:42:54 +0000 | <lambdabot> | Applicative f => Either (f a) b -> f (Either a b) |
| 2026-05-22 15:42:53 +0000 | <int-e> | :t fmap Left `either` fmap pure Right |
| 2026-05-22 15:42:42 +0000 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2026-05-22 15:42:40 +0000 | <pounce> | hoping there'd be a cute name |
| 2026-05-22 15:42:28 +0000 | <pounce> | e.g. `either (fmap Left) (pure . Right) |
| 2026-05-22 15:42:26 +0000 | <jaror> | fmap swapEither . sequence . swapEither |
| 2026-05-22 15:42:19 +0000 | <danza> | i guess m is Applicative? |
| 2026-05-22 15:40:40 +0000 | <pounce> | does anyone know of a Either (m a) b -> m (Either a b) |
| 2026-05-22 15:36:24 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-05-22 15:33:38 +0000 | gawen | (~gawen@user/gawen) gawen |
| 2026-05-22 15:28:02 +0000 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2026-05-22 15:06:46 +0000 | CiaoSen | (~Jura@dynamic-046-114-105-061.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2026-05-22 15:04:46 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2026-05-22 15:01:18 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-22 14:44:22 +0000 | ft | (~ft@p4fc2aedc.dip0.t-ipconnect.de) ft |
| 2026-05-22 14:41:58 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-05-22 14:38:32 +0000 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 245 seconds) |
| 2026-05-22 14:37:21 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-05-22 14:37:15 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-05-22 14:26:19 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-05-22 14:26:17 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-22 14:24:18 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |