Newest at the top
| 2026-04-21 19:22:27 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2026-04-21 19:22:18 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-04-21 19:20:32 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-21 19:18:05 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 19:18:01 +0000 | bggd__ | (~bgg@2a01:e0a:fd5:f510:e4aa:967c:baaa:6501) (Remote host closed the connection) |
| 2026-04-21 19:17:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 19:15:56 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-21 19:15:42 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 19:15:22 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-21 19:13:05 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-21 19:12:52 +0000 | <haskellbridge> | <ijouw> The bridge is doing weird things because someone named m exists... |
| 2026-04-21 19:12:23 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 19:11:28 +0000 | <haskellbridge> | <ijouw> Oh yes, I thought the Maybe was the outside m |
| 2026-04-21 19:10:33 +0000 | <dutchie> | but that prints hi and there for me before getting Just 'c' |
| 2026-04-21 19:10:16 +0000 | <dutchie> | boo |
| 2026-04-21 19:10:11 +0000 | <lambdabot> | Variable not in scope: ($>) :: IO () -> Maybe Char -> f1 (f2 a)Variable not ... |
| 2026-04-21 19:10:09 +0000 | <dutchie> | > asum <$> sequence [putStrLn "hi" $> Just 'c', putStrLn "there" $> Just 'a'] |
| 2026-04-21 19:09:02 +0000 | <haskellbridge> | <ijouw> In my understanding that should not matter for lists. |
| 2026-04-21 19:08:05 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) kupi |
| 2026-04-21 19:06:24 +0000 | <dutchie> | hmm, is sequence running all the actions even when there is a Just though |
| 2026-04-21 19:00:20 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2026-04-21 18:59:57 +0000 | <dutchie> | I often end up writing `maybe action pure` and feeling like I'm missing something there as well |
| 2026-04-21 18:58:45 +0000 | <dutchie> | `fromMaybe (h x) . asum =<< sequence [f x, g x]` spreads the xs around enough that it's not offending me too much |
| 2026-04-21 18:58:05 +0000 | <dutchie> | so `f, g :: Foo -> m (Maybe Bar)` |
| 2026-04-21 18:57:41 +0000 | <dutchie> | I have now further complicated matters by realising that f and g are actually in my effect monad |
| 2026-04-21 18:57:19 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-04-21 18:57:19 +0000 | <dutchie> | ah right of course |
| 2026-04-21 18:53:06 +0000 | <Leary> | dutchie: The instance you're thinking of does exist, but under `ReaderT`. |
| 2026-04-21 18:52:54 +0000 | <lambdabot> | (t1 -> Maybe t2) -> (t1 -> Maybe t2) -> (t1 -> t2) -> t1 -> t2 |
| 2026-04-21 18:52:53 +0000 | <Leary> | :t let (|>) = flip fromMaybe; (<<|>>) = liftA2 (<|>); (|>>) = liftA2 (|>) in \f g h x -> (f <<|>> g |>> h) x |
| 2026-04-21 18:52:00 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 18:51:47 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-21 18:50:23 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-04-21 18:48:58 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 244 seconds) |
| 2026-04-21 18:41:23 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 18:41:07 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-21 18:32:52 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 2026-04-21 18:25:33 +0000 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2026-04-21 18:16:40 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-21 18:15:48 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Read error: Connection reset by peer) |
| 2026-04-21 18:09:14 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-21 18:08:49 +0000 | elarks | (~elarks@user/yerrii) (Quit: WeeChat 4.7.1) |
| 2026-04-21 18:08:35 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) ft |
| 2026-04-21 17:52:02 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2026-04-21 17:50:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-21 17:45:54 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2026-04-21 17:40:35 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-21 17:38:42 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-21 17:38:38 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-21 17:35:06 +0000 | weary-traveler | (~user@user/user363627) user363627 |