Newest at the top
| 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 |
| 2026-04-21 16:49:45 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-21 16:49:38 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 16:49:05 +0000 | danz66376 | (~danza@user/danza) (Remote host closed the connection) |
| 2026-04-21 16:48:35 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2026-04-21 16:39:39 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-21 16:39:08 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-21 16:38:06 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-21 16:33:57 +0000 | Googulator72 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-21 16:28:32 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Ping timeout: 245 seconds) |