Newest at the top
2024-04-24 07:13:53 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-04-24 07:01:36 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-04-24 06:54:32 +0200 | benkard | mulk |
2024-04-24 06:54:31 +0200 | mulk | (~mulk@p5b2dc97e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-04-24 06:54:13 +0200 | rdcdr | (~rdcdr@user/rdcdr) |
2024-04-24 06:53:48 +0200 | benkard | (~mulk@p5b112e4a.dip0.t-ipconnect.de) |
2024-04-24 06:51:56 +0200 | rdcdr | (~rdcdr@user/rdcdr) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
2024-04-24 06:39:22 +0200 | michalz | (~michalz@185.246.207.203) |
2024-04-24 06:33:40 +0200 | danza_ | (~francesco@151.57.237.5) (Ping timeout: 245 seconds) |
2024-04-24 06:29:24 +0200 | average | (uid473595@user/average) |
2024-04-24 06:27:28 +0200 | danza_ | (~francesco@151.57.237.5) |
2024-04-24 06:24:26 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
2024-04-24 06:23:11 +0200 | son0p | (~ff@191.104.18.195) |
2024-04-24 06:22:20 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
2024-04-24 06:22:04 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
2024-04-24 06:06:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-04-24 06:06:28 +0200 | sroso | (~sroso@user/SrOso) |
2024-04-24 06:05:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2024-04-24 06:02:35 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2024-04-24 06:00:16 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
2024-04-24 05:54:16 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
2024-04-24 05:51:10 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 245 seconds) |
2024-04-24 05:31:58 +0200 | aforemny | (~aforemny@2001:9e8:6cc5:7800:397f:89d3:8c7e:e3e5) (Ping timeout: 255 seconds) |
2024-04-24 05:31:58 +0200 | aforemny_ | (~aforemny@2001:9e8:6cea:cb00:f739:9bdb:c465:7132) |
2024-04-24 05:31:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-04-24 05:28:40 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-04-24 05:28:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-04-24 05:24:20 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-24 05:21:06 +0200 | <Inst> | (<$) <*> foo is the most toxic code ever, though |
2024-04-24 05:19:16 +0200 | <Inst> | thanks mauke, so pointless |
2024-04-24 05:19:13 +0200 | <Inst> | oof |
2024-04-24 05:16:33 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a472:8995:2c6:603d) (Ping timeout: 256 seconds) |
2024-04-24 05:16:17 +0200 | <jackdk> | If you strengthen the type signature from `IfElse`'s `Monad m => (a -> m b) -> (a -> m a)` to `Functor f => (a -> f b) -> a -> f a`, is it then the case that it has only one real implementation? Because the only way to get a `f anything` is to apply the function argument, then you have to `<$` the `a` back into it. Also, it makes it look like a `Lens a a a b`, which might be interesting |
2024-04-24 05:15:13 +0200 | zmt00 | (~zmt00@user/zmt00) |
2024-04-24 05:13:59 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 272 seconds) |
2024-04-24 05:11:29 +0200 | <jackdk> | Hoogling for `a -> (a -> m b) -> m a` gives two instances of this function |
2024-04-24 05:11:27 +0200 | <lambdabot> | ap (<$) (tryPutMVar handle_discordHandleLibraryError) |
2024-04-24 05:11:27 +0200 | <mauke> | @pl \msg -> msg <$ tryPutMVar handle_discordHandleLibraryError msg |
2024-04-24 05:09:53 +0200 | <lambdabot> | ap (<$) ((tryPutMVar handle .) . DiscordHandleLibraryError) |
2024-04-24 05:09:53 +0200 | <mauke> | @pl \msg -> msg <$ tryPutMVar handle.DiscordHandleLibraryError msg |
2024-04-24 05:08:02 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
2024-04-24 05:05:08 +0200 | <Inst> | there has to be a combinator wherein you can run a monadic / applicative action on the target, but have the bind value be the target |
2024-04-24 05:03:26 +0200 | <Inst> | I probably don't understand Control.Arrow well enough |
2024-04-24 05:03:17 +0200 | <Inst> | msg <$ tryPutMVar handle.DiscordHandleLibraryError msg |
2024-04-24 05:01:40 +0200 | <mauke> | add points? |
2024-04-24 04:58:39 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
2024-04-24 04:58:00 +0200 | <Inst> | uncurry (<$) . (id &&& tryPutMVar handle.discordHandleLibraryError) |
2024-04-24 04:57:14 +0200 | <Inst> | is there any way to simplify this? |
2024-04-24 04:49:10 +0200 | <jackdk> | Or through the provision of `Traversal'`s |
2024-04-24 04:37:40 +0200 | td_ | (~td@i5387093D.versanet.de) |