Newest at the top
| 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 |
| 2026-04-21 17:34:49 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-21 17:26:43 +0000 | hc | (~hc@mail.hce.li) (Ping timeout: 264 seconds) |
| 2026-04-21 17:23:06 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2026-04-21 17:08:06 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-21 17:07:26 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-21 17:02:29 +0000 | notzmv | (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 2026-04-21 17:00:28 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-04-21 16:58:47 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-21 16:52:00 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |