Logs: liberachat/#haskell
| 2026-04-21 19:09:02 | <haskellbridge> | <ijouw> In my understanding that should not matter for lists. |
| 2026-04-21 19:10:09 | <dutchie> | > asum <$> sequence [putStrLn "hi" $> Just 'c', putStrLn "there" $> Just 'a'] |
| 2026-04-21 19:10:11 | <lambdabot> | Variable not in scope: ($>) :: IO () -> Maybe Char -> f1 (f2 a)Variable not ... |
| 2026-04-21 19:10:16 | <dutchie> | boo |
| 2026-04-21 19:10:33 | <dutchie> | but that prints hi and there for me before getting Just 'c' |
| 2026-04-21 19:11:28 | <haskellbridge> | <ijouw> Oh yes, I thought the Maybe was the outside m |
| 2026-04-21 19:12:23 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2026-04-21 19:12:52 | <haskellbridge> | <ijouw> The bridge is doing weird things because someone named m exists... |
| 2026-04-21 19:13:05 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-21 19:15:22 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-21 19:15:42 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-04-21 19:15:56 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-04-21 19:17:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-21 19:18:01 | × | bggd__ quits (~bgg@2a01:e0a:fd5:f510:e4aa:967c:baaa:6501) (Remote host closed the connection) |
| 2026-04-21 19:18:05 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 19:20:32 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-21 19:22:18 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-04-21 19:22:27 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2026-04-21 19:24:40 | <Leary> | :t let (|>) = flip fromMaybe; (|||) = liftA2 $ \x y -> runMaybeT (MaybeT x <|> MaybeT y); (||>) = liftA2 (liftA2 (|>)) in \f g h x -> (f ||| g ||> h) x |
| 2026-04-21 19:24:41 | <lambdabot> | Monad f => (t -> f (Maybe c)) -> (t -> f (Maybe c)) -> (t -> f c) -> t -> f c |
| 2026-04-21 19:25:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-21 19:25:50 | <Leary> | dutchie: This won't run `g` if it doesn't have to, though I guess it will still run `h`. Meh. |
| 2026-04-21 19:26:27 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 2026-04-21 19:33:33 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2026-04-21 19:33:49 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2026-04-21 19:36:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-21 19:36:25 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-04-21 19:37:38 | <Leary> | :t let (|||) = liftA2 $ \x y -> MaybeT x <|> MaybeT y; (||>) = liftA2 $ \x y -> runMaybeT x >>= maybe y pure in \f g h x -> (f ||| g ||> h) x |
| 2026-04-21 19:37:39 | <lambdabot> | Monad m => (t -> m (Maybe b)) -> (t -> m (Maybe b)) -> (t -> m b) -> t -> m b |
| 2026-04-21 19:40:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-21 19:41:49 | × | Googulator quits (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-21 19:42:07 | → | Googulator joins (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 19:44:46 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 244 seconds) |
| 2026-04-21 19:47:00 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2026-04-21 19:47:03 | → | weary-traveler joins (~user@user/user363627) |
| 2026-04-21 19:48:03 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 19:48:34 | → | polykernel joins (~polykerne@user/polykernel) |
| 2026-04-21 19:51:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-21 19:54:39 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:20c2:7030:1cf7:e418) |
| 2026-04-21 19:54:39 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:20c2:7030:1cf7:e418) (Changing host) |
| 2026-04-21 19:54:39 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-21 19:55:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-21 19:58:34 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2026-04-21 19:59:13 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-04-21 19:59:33 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-21 20:06:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-21 20:07:17 | × | havochunter quits (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) (Remote host closed the connection) |
| 2026-04-21 20:08:15 | → | tromp joins (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-21 20:11:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-21 20:15:51 | <yin> | Leary: you're in too deep, man |
| 2026-04-21 20:21:33 | gehmehgeh | is now known as gmg |
| 2026-04-21 20:22:07 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-21 20:26:37 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-21 20:29:51 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-04-21 20:33:01 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 268 seconds) |
| 2026-04-21 20:37:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-21 20:42:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-21 20:46:40 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2026-04-21 20:53:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-21 20:54:34 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-21 20:59:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-21 21:03:24 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-21 21:05:54 | jmcantrell_ | is now known as jmcantrell |
| 2026-04-21 21:08:36 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:6086:bf0b:f40e:4ea5) |
| 2026-04-21 21:08:36 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:6086:bf0b:f40e:4ea5) (Changing host) |
| 2026-04-21 21:08:36 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-21 21:11:02 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.9.0) |
| 2026-04-21 21:11:14 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-21 21:13:24 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-21 21:13:24 | jmcantrell_ | is now known as jmcantrell |
| 2026-04-21 21:15:42 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-21 21:16:36 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-04-21 21:17:42 | × | kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-21 21:24:45 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-21 21:42:18 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-04-21 21:48:13 | × | tromp quits (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-21 21:48:46 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-21 21:53:47 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-21 21:56:03 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:49a0:2555:de:675d) |
| 2026-04-21 21:56:03 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:49a0:2555:de:675d) (Changing host) |
| 2026-04-21 21:56:03 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-21 22:04:27 | → | ftzm6 joins (~ftzm@085080245206.dynamic.telenor.dk) |
| 2026-04-21 22:04:49 | × | ftzm quits (~ftzm@085080245206.dynamic.telenor.dk) (Read error: Connection reset by peer) |
| 2026-04-21 22:04:49 | ftzm6 | is now known as ftzm |
| 2026-04-21 22:10:40 | → | karenw joins (~karenw@user/karenw) |
| 2026-04-21 22:12:14 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-21 22:19:27 | → | pavonia joins (~user@user/siracusa) |
| 2026-04-21 22:27:26 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-04-21 22:34:42 | × | Googulator quits (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-21 22:34:49 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-21 22:34:59 | → | Googulator joins (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 22:39:07 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-21 22:40:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-21 22:44:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-21 22:49:36 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-04-21 22:54:47 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-04-21 22:55:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-21 22:59:20 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds) |
| 2026-04-21 23:00:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-21 23:01:15 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
All times are in UTC.