2024-05-23 00:08:29 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc44a9462369589ca925.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2024-05-23 00:21:55 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 255 seconds) |
2024-05-23 00:29:20 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-05-23 00:32:14 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
2024-05-23 00:33:51 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-23 00:35:33 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-23 00:38:14 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-23 00:39:21 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-05-23 00:46:47 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
2024-05-23 00:48:55 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-05-23 00:53:18 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-23 00:59:40 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) (Read error: Connection reset by peer) |
2024-05-23 01:05:17 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) |
2024-05-23 01:07:54 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-23 01:10:50 +0200 | sayola | (~sayola@2a00:20:6086:7c3a:1c46:6e8b:7bd7:2cc8) |
2024-05-23 01:11:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-23 01:11:14 +0200 | sayola | (~sayola@2a00:20:6086:7c3a:1c46:6e8b:7bd7:2cc8) (Client Quit) |
2024-05-23 01:14:03 +0200 | sayola1 | (~sayola@2a00:20:604e:a725:1c46:6e8b:7bd7:2cc8) (Ping timeout: 272 seconds) |
2024-05-23 01:15:29 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
2024-05-23 01:20:57 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
2024-05-23 01:25:17 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-05-23 01:26:23 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
2024-05-23 01:31:10 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-23 01:32:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-23 01:46:11 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
2024-05-23 01:46:16 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Quit: WeeChat 4.2.2) |
2024-05-23 01:46:51 +0200 | Nixkernal_ | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 268 seconds) |
2024-05-23 02:01:59 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-05-23 02:02:54 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-23 02:06:05 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
2024-05-23 02:07:47 +0200 | <cheater> | what's the best way to calculate the min of Maybe a and a? |
2024-05-23 02:07:54 +0200 | <cheater> | if Nothing, just use the other argument |
2024-05-23 02:18:03 +0200 | <geekosaur> | :t \ |
2024-05-23 02:18:05 +0200 | <lambdabot> | error: |
2024-05-23 02:18:05 +0200 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
2024-05-23 02:18:07 +0200 | <geekosaur> | oops |
2024-05-23 02:18:44 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2024-05-23 02:18:44 +0200 | <geekosaur> | @pl min x (fromMaybe y x) |
2024-05-23 02:18:44 +0200 | <lambdabot> | min x (fromMaybe y x) |
2024-05-23 02:18:54 +0200 | <geekosaur> | @pl \x y -> min x (fromMaybe y x) |
2024-05-23 02:18:55 +0200 | <lambdabot> | liftM2 (.) min (flip fromMaybe) |
2024-05-23 02:19:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-23 02:19:23 +0200 | <geekosaur> | no, thats not quite right |
2024-05-23 02:19:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-05-23 02:19:37 +0200 | <geekosaur> | @pl \x y -> min y (fromMaybe y x) |
2024-05-23 02:19:37 +0200 | <lambdabot> | ap min . flip fromMaybe |
2024-05-23 02:19:53 +0200 | <Leary> | :t maybe <*> min |
2024-05-23 02:19:55 +0200 | <lambdabot> | Ord a => a -> Maybe a -> a |
2024-05-23 02:25:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-05-23 02:38:05 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-23 02:43:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-23 02:54:41 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 268 seconds) |
2024-05-23 02:57:25 +0200 | jamesmartinez | (uid6451@id-6451.helmsley.irccloud.com) |
2024-05-23 03:25:40 +0200 | <dibblego> | does this exist in a library? https://paste.tomsmeding.com/8RG40kNG |
2024-05-23 03:31:27 +0200 | fizbin__ | (~fizbin@user/fizbin) |
2024-05-23 03:34:27 +0200 | shoggouth | (uid607148@user/shoggouth) |
2024-05-23 03:34:44 +0200 | <c_wraith> | dibblego: well, the type matches Data.Functor.Compose.Compose. I didn't check to see if the instances are the same. |
2024-05-23 03:34:51 +0200 | <dibblego> | yeah |
2024-05-23 03:34:57 +0200 | <dibblego> | I also just realised I don't actually want that |
2024-05-23 03:36:00 +0200 | son0p | (~ff@181.32.157.144) (Ping timeout: 268 seconds) |
2024-05-23 03:36:40 +0200 | xff0x | (~xff0x@2405:6580:b080:900:387b:4f8:3156:9ea9) (Ping timeout: 260 seconds) |
2024-05-23 03:37:48 +0200 | <dibblego> | https://paste.tomsmeding.com/TPGEJ1OU |
2024-05-23 03:40:43 +0200 | <Leary> | Basically `Compose (Ap f) g`, barring the absence of `Apply` in base. |
2024-05-23 03:42:30 +0200 | <dibblego> | yeah, thanks |
2024-05-23 03:46:05 +0200 | Midjak | (~MarciZ@82.66.147.146) |
2024-05-23 03:51:36 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
2024-05-23 03:58:47 +0200 | otto_s | (~user@p5b044cca.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-05-23 04:00:02 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
2024-05-23 04:00:23 +0200 | otto_s | (~user@p5b044390.dip0.t-ipconnect.de) |
2024-05-23 04:00:25 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 256 seconds) |
2024-05-23 04:00:51 +0200 | fliife | (~fliife@user/fliife) |
2024-05-23 04:04:01 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-23 04:04:24 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2024-05-23 04:10:17 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-05-23 04:19:59 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-05-23 04:33:58 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2024-05-23 04:35:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-23 04:38:54 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |