Newest at the top
| 2024-04-19 06:11:06 +0200 | <lambdabot> | Monad m => (a -> b1 -> m b2) -> m a -> m b1 -> m b2 |
| 2024-04-19 06:11:05 +0200 | <probie> | :t \g x y -> liftM2 (,) x y >>= uncurry g -- for variety |
| 2024-04-19 06:09:22 +0200 | <lambdabot> | Monad m => (a1 -> a2 -> m a) -> m a1 -> m a2 -> m a |
| 2024-04-19 06:09:21 +0200 | <probie> | :t \g x y -> join (liftM2 g x y) |
| 2024-04-19 06:08:16 +0200 | michalz | (~michalz@185.246.207.200) |
| 2024-04-19 06:05:48 +0200 | <Guest67> | Actually, the problem is that g returns something of type m a rather than a |
| 2024-04-19 06:05:47 +0200 | rekahsoft | (~rekahsoft@184.148.6.204) (Ping timeout: 256 seconds) |
| 2024-04-19 06:01:09 +0200 | <Guest67> | Thanks |
| 2024-04-19 06:01:07 +0200 | <Guest67> | I see |
| 2024-04-19 06:00:51 +0200 | <EvanR> | where a1 = a2 = r |
| 2024-04-19 06:00:40 +0200 | <lambdabot> | Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r |
| 2024-04-19 06:00:39 +0200 | <EvanR> | :t liftM2 |
| 2024-04-19 05:59:31 +0200 | <Guest67> | Is there any abstraction that would make sense to use here in order to replicate the functionality of f? |
| 2024-04-19 05:59:21 +0200 | <Guest67> | g x' y' |
| 2024-04-19 05:59:20 +0200 | <Guest67> | y' <- y |
| 2024-04-19 05:59:20 +0200 | <Guest67> | x' <- x |
| 2024-04-19 05:59:19 +0200 | <Guest67> | f x y = do |
| 2024-04-19 05:59:19 +0200 | <Guest67> | f :: Monad m => m a -> m a -> m a |
| 2024-04-19 05:59:18 +0200 | <Guest67> | g = undefined |
| 2024-04-19 05:59:18 +0200 | <Guest67> | g :: Monad m => a -> a -> m a |
| 2024-04-19 05:58:48 +0200 | Guest67 | (~Guest67@129.170.197.84) |
| 2024-04-19 05:57:17 +0200 | aforemny | (~aforemny@2001:9e8:6ccd:f100:e17c:113d:7:744f) (Ping timeout: 240 seconds) |
| 2024-04-19 05:56:11 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf2:f800:c4e9:a677:636b:7412) |
| 2024-04-19 05:47:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-04-19 05:42:06 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-19 05:38:56 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-04-19 05:33:40 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) |
| 2024-04-19 05:33:40 +0200 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) (Changing host) |
| 2024-04-19 05:33:39 +0200 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) |
| 2024-04-19 05:32:40 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2024-04-19 05:32:15 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-04-19 05:17:30 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-19 05:13:59 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-19 05:13:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-19 05:11:30 +0200 | phma | (phma@2001:5b0:211f:5788:9247:2ba3:4ac:7601) |
| 2024-04-19 05:10:29 +0200 | phma | (~phma@2001:5b0:211c:2a68:1f1d:320b:b7fc:f1a0) (Read error: Connection reset by peer) |
| 2024-04-19 05:09:45 +0200 | rekahsoft | (~rekahsoft@184.148.6.204) |
| 2024-04-19 05:07:52 +0200 | <monochrom> | Hey nice, ghcup tui now lists things in reverse chronological order! Newer versions first. :) |
| 2024-04-19 05:06:06 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-04-19 04:58:43 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-19 04:55:57 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 255 seconds) |
| 2024-04-19 04:53:44 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-04-19 04:43:31 +0200 | td_ | (~td@i53870920.versanet.de) |
| 2024-04-19 04:42:43 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-19 04:41:53 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-04-19 04:41:44 +0200 | td_ | (~td@i53870914.versanet.de) (Ping timeout: 268 seconds) |
| 2024-04-19 04:32:09 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-19 04:26:48 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-04-19 04:25:05 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-04-19 04:06:37 +0200 | ridcully | (~ridcully@pd951f456.dip0.t-ipconnect.de) |