Logs: liberachat/#haskell
| 2021-06-18 03:58:10 | <qrpnxz> | wait hold on a moment |
| 2021-06-18 03:58:24 | <monochrom> | Err nevermind P admits a pure. |
| 2021-06-18 03:59:06 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 244 seconds) |
| 2021-06-18 04:00:11 | <qrpnxz> | ok i think i'm getting this now i'm gonna ruminate more |
| 2021-06-18 04:00:25 | <qrpnxz> | thanks for explanation |
| 2021-06-18 04:03:40 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2021-06-18 04:04:33 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-18 04:05:43 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-06-18 04:07:21 | × | Nak42 quits (~Nak@2604:3d08:2678:cc00::4a09) (Quit: Client closed) |
| 2021-06-18 04:07:59 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Quit: will be back in a few minutes) |
| 2021-06-18 04:09:12 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-18 04:09:26 | <qrpnxz> | ok haskell burn my brain enough for today geez |
| 2021-06-18 04:10:44 | <Axman6> | There are things which are functors which aren't Haskell functors, it's not a one to one mapping |
| 2021-06-18 04:10:53 | <Axman6> | but I think all thisngs which are Functors are functors |
| 2021-06-18 04:11:13 | → | lambdabot joins (~lambdabot@silicon.int-e.eu) |
| 2021-06-18 04:11:13 | × | lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2021-06-18 04:11:13 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2021-06-18 04:12:31 | <c_wraith> | yeah, that's right. |
| 2021-06-18 04:12:44 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2021-06-18 04:14:31 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 04:17:06 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 240 seconds) |
| 2021-06-18 04:17:55 | → | berberman joins (~berberman@user/berberman) |
| 2021-06-18 04:19:04 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-18 04:19:26 | <c_wraith> | ugh. Why does the Applicative instance for (MaybeT f) in transformers require f to be a Monad? :( |
| 2021-06-18 04:20:33 | <Axman6> | what's the source for its implementation? |
| 2021-06-18 04:20:42 | <Axman6> | that is surprising to me too though |
| 2021-06-18 04:21:12 | <c_wraith> | the <*> implementation uses do notation and binds the arguments sequentially |
| 2021-06-18 04:21:20 | <Axman6> | >_< |
| 2021-06-18 04:22:03 | <Axman6> | hmm, I guess you do need Monad so you don't execute the second argument |
| 2021-06-18 04:22:18 | <Axman6> | so it's short circuiting |
| 2021-06-18 04:22:20 | <c_wraith> | Oh, right. |
| 2021-06-18 04:22:23 | <c_wraith> | That is a requirement |
| 2021-06-18 04:22:30 | <c_wraith> | Ok, I understand now. |
| 2021-06-18 04:22:38 | <c_wraith> | I guess I'm creating my own type |
| 2021-06-18 04:22:41 | <Axman6> | it is off that it has (Functor m, Monad m) though |
| 2021-06-18 04:22:46 | <monochrom> | It needs at least Selective. |
| 2021-06-18 04:22:48 | <Axman6> | odd* |
| 2021-06-18 04:23:01 | <c_wraith> | I think that's historical baggage from pre-AMP |
| 2021-06-18 04:24:37 | × | renzhi quits (~xp@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 268 seconds) |
| 2021-06-18 04:31:30 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-06-18 04:46:10 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2021-06-18 04:48:43 | → | trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-06-18 04:55:21 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 05:00:04 | × | yd502_ quits (~yd502@180.168.212.6) (Ping timeout: 244 seconds) |
| 2021-06-18 05:00:21 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 272 seconds) |
| 2021-06-18 05:00:30 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-18 05:01:09 | → | rk04 joins (~rk04@user/rajk) |
| 2021-06-18 05:01:11 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-18 05:02:07 | → | beka joins (~beka@104-244-27-23.static.monkeybrains.net) |
| 2021-06-18 05:02:12 | → | monochrom joins (trebla@216.138.220.146) |
| 2021-06-18 05:04:28 | → | vicentius joins (~vicentius@user/vicentius) |
| 2021-06-18 05:05:05 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-18 05:06:33 | × | slice quits (~slice@user/slice) (Quit: zzz) |
| 2021-06-18 05:06:41 | × | rk04 quits (~rk04@user/rajk) (Ping timeout: 272 seconds) |
| 2021-06-18 05:16:43 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-18 05:18:31 | → | yd502_ joins (~yd502@180.168.212.6) |
| 2021-06-18 05:19:48 | × | vicentius quits (~vicentius@user/vicentius) (Quit: Leaving) |
| 2021-06-18 05:21:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-18 05:22:02 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-06-18 05:25:37 | × | hendursa1 quits (~weechat@user/hendursaga) (Ping timeout: 252 seconds) |
| 2021-06-18 05:25:40 | × | muto quits (~muto@d75-159-225-7.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2021-06-18 05:27:35 | × | xff0x quits (~xff0x@2001:1a81:52fd:ad00:4de3:cb5d:a569:6a3c) (Ping timeout: 272 seconds) |
| 2021-06-18 05:28:51 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 05:29:03 | → | xff0x joins (~xff0x@2001:1a81:530d:1e00:77eb:b551:ade7:18e6) |
| 2021-06-18 05:29:46 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-18 05:29:51 | → | hmmmas joins (~chenqisu1@183.217.200.246) |
| 2021-06-18 05:31:24 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-06-18 05:33:06 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 240 seconds) |
| 2021-06-18 05:33:41 | × | nilof quits (~olofs@45.83.91.180) (Ping timeout: 268 seconds) |
| 2021-06-18 05:34:24 | × | leshow quits (~leshow@2607:f2c0:e358:a0:b48e:8758:1530:e1a9) (Quit: WeeChat 3.2) |
| 2021-06-18 05:39:46 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-18 05:43:59 | × | trent quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 244 seconds) |
| 2021-06-18 05:44:00 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-18 05:55:31 | × | np quits (~nerdypepp@user/nerdypepper) (Remote host closed the connection) |
| 2021-06-18 05:58:41 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Quit: Quit) |
| 2021-06-18 05:58:55 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-18 06:03:28 | → | fvr joins (uid503686@id-503686.highgate.irccloud.com) |
| 2021-06-18 06:05:58 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-18 06:07:20 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 06:07:33 | → | chomwitt joins (~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295) |
| 2021-06-18 06:07:43 | × | xff0x quits (~xff0x@2001:1a81:530d:1e00:77eb:b551:ade7:18e6) (Ping timeout: 268 seconds) |
| 2021-06-18 06:08:09 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-18 06:08:13 | → | xff0x joins (~xff0x@2001:1a81:530d:1e00:19c5:52c5:3f06:b110) |
| 2021-06-18 06:09:30 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-06-18 06:10:53 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-06-18 06:11:11 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-18 06:12:00 | → | pera joins (~pera@70.red-88-14-152.dynamicip.rima-tde.net) |
| 2021-06-18 06:12:21 | × | pera quits (~pera@70.red-88-14-152.dynamicip.rima-tde.net) (Changing host) |
| 2021-06-18 06:12:21 | → | pera joins (~pera@user/pera) |
| 2021-06-18 06:12:33 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 272 seconds) |
| 2021-06-18 06:13:41 | → | Yun joins (~Yun@2001-b011-7003-baff-647b-dcbc-b4c8-6431.dynamic-ip6.hinet.net) |
| 2021-06-18 06:15:55 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2021-06-18 06:16:07 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2021-06-18 06:16:07 | ← | Yun parts (~Yun@2001-b011-7003-baff-647b-dcbc-b4c8-6431.dynamic-ip6.hinet.net) () |
| 2021-06-18 06:18:24 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-18 06:18:56 | × | elvishjerricco quits (sid237756@id-237756.brockwell.irccloud.com) () |
| 2021-06-18 06:19:11 | → | elvishjerricco joins (sid237756@id-237756.brockwell.irccloud.com) |
| 2021-06-18 06:22:03 | × | xff0x quits (~xff0x@2001:1a81:530d:1e00:19c5:52c5:3f06:b110) (Ping timeout: 272 seconds) |
| 2021-06-18 06:22:23 | → | xff0x joins (~xff0x@port-92-193-217-187.dynamic.as20676.net) |
| 2021-06-18 06:26:01 | × | killsushi quits (~killsushi@user/killsushi) (Quit: Leaving) |
All times are in UTC.