Logs: freenode/#haskell
| 2020-11-10 06:37:53 | → | JiNCai joins (67582e95@103.88.46.149) |
| 2020-11-10 06:42:18 | × | emptyflask quits (~jon@136.49.71.178) (Ping timeout: 256 seconds) |
| 2020-11-10 06:43:38 | <bqv> | Why were affine traversals removed from lens? |
| 2020-11-10 06:45:00 | × | JiNCai quits (67582e95@103.88.46.149) (Remote host closed the connection) |
| 2020-11-10 06:45:50 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 2020-11-10 06:46:34 | <dibblego> | they have no purpose |
| 2020-11-10 06:49:07 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2020-11-10 06:51:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-10 06:57:58 | → | monochrom joins (trebla@216.138.220.146) |
| 2020-11-10 07:00:59 | → | Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2020-11-10 07:02:28 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 2020-11-10 07:02:48 | → | Tario joins (~Tario@201.192.165.173) |
| 2020-11-10 07:04:13 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 260 seconds) |
| 2020-11-10 07:04:33 | × | Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 256 seconds) |
| 2020-11-10 07:05:33 | → | Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus) |
| 2020-11-10 07:06:48 | <bqv> | Well, say I have an affinetraversal to an (index, value) pair, how do I make that into an indexed(affine)traversal? |
| 2020-11-10 07:07:10 | <bqv> | I see withIndex, but it seems wrong |
| 2020-11-10 07:07:31 | × | Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 246 seconds) |
| 2020-11-10 07:07:50 | → | asheshambasta joins (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) |
| 2020-11-10 07:09:19 | × | adm quits (~adm@43.229.88.236) (Remote host closed the connection) |
| 2020-11-10 07:09:21 | → | Cthalupa joins (~cthulhu@47.186.47.75) |
| 2020-11-10 07:10:59 | → | adm joins (~adm@43.229.88.236) |
| 2020-11-10 07:11:27 | → | chaosmasttter joins (~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de) |
| 2020-11-10 07:12:38 | → | dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) |
| 2020-11-10 07:13:14 | × | GreeboSnabble quits (45ae8f08@1565318-v106.1628-static.lfytina2.metronetinc.net) (Remote host closed the connection) |
| 2020-11-10 07:15:18 | × | Miroboru quits (~textual@89-162-24-238.fiber.signal.no) (Ping timeout: 260 seconds) |
| 2020-11-10 07:17:11 | → | inkbottle joins (~inkbottle@aaubervilliers-654-1-157-172.w86-212.abo.wanadoo.fr) |
| 2020-11-10 07:18:13 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-93-172.w86-212.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2020-11-10 07:19:00 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-11-10 07:23:14 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-10 07:23:27 | × | recon_- quits (~quassel@2602:febc:0:b6::6ca2) (Ping timeout: 260 seconds) |
| 2020-11-10 07:23:30 | → | recon_-_ joins (~quassel@2602:febc:0:b6::6ca2) |
| 2020-11-10 07:24:14 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-bmbzufjnykieegjo) |
| 2020-11-10 07:28:40 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-11-10 07:30:01 | <bqv> | No, right, withIndex is the reverse of what I want |
| 2020-11-10 07:30:45 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-91-242.revip7.asianet.co.th) (Ping timeout: 240 seconds) |
| 2020-11-10 07:31:41 | × | danvet_ quits (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Quit: Leaving) |
| 2020-11-10 07:33:10 | × | lululululu quits (3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection) |
| 2020-11-10 07:39:43 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2020-11-10 07:40:09 | × | ronbrz quits (~ronbrz@207.229.174.134) (Quit: WeeChat 2.9) |
| 2020-11-10 07:41:38 | Geekingfrog_ | is now known as Geekingfrog |
| 2020-11-10 07:46:00 | hackage | ukrainian-phonetics-basic 0.2.0.2 - A library to work with the basic Ukrainian phonetics and syllable segmentation. https://hackage.haskell.org/package/ukrainian-phonetics-basic-0.2.0.2 (OleksandrZhabenko) |
| 2020-11-10 07:49:23 | × | subttle quits (~anonymous@unaffiliated/subttle) (Quit: leaving) |
| 2020-11-10 07:52:11 | → | chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) |
| 2020-11-10 07:54:19 | <idnar> | bqv: they need classes that are a bit tricky to fit in, so the hassle isn't worth the benefit |
| 2020-11-10 07:54:55 | → | Franciman joins (~francesco@host-82-56-223-169.retail.telecomitalia.it) |
| 2020-11-10 07:55:15 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-11-10 07:57:14 | <bqv> | Ah ok |
| 2020-11-10 07:59:11 | <idnar> | bqv: I think you want https://hackage.haskell.org/package/lens-4.19.2/docs/Control-Lens-Indexed.html#v:indexing maybe |
| 2020-11-10 07:59:45 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-10 08:00:20 | → | shoman94 joins (~shoman94@139.28.218.148) |
| 2020-11-10 08:00:21 | → | star_cloud joins (~star_clou@124.123.107.46) |
| 2020-11-10 08:00:45 | <idnar> | bqv: or replace a traversed with an itraversed |
| 2020-11-10 08:01:07 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2020-11-10 08:01:44 | → | alp joins (~alp@2a01:e0a:58b:4920:fd64:f55:f8d8:f7c1) |
| 2020-11-10 08:03:55 | <idnar> | https://www.reddit.com/r/haskell/comments/60fha5/affine_traversal/ |
| 2020-11-10 08:03:57 | × | star_cloud quits (~star_clou@124.123.107.46) (Remote host closed the connection) |
| 2020-11-10 08:04:11 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-91-242.revip7.asianet.co.th) |
| 2020-11-10 08:05:25 | → | graf_blutwurst joins (~user@2001:171b:226e:adc0:9188:6330:acc3:229e) |
| 2020-11-10 08:06:18 | <dibblego> | what is the operation on affine traversal that cannot be performed without it? |
| 2020-11-10 08:08:45 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-10 08:14:56 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-10 08:15:22 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2020-11-10 08:15:38 | <bqv> | idnar: currently constructed the traversal by composing a lens and a prism (hence affine), so no traversed to replace. I think I can get away with some dirty tricks if I fudge that lens hard, though |
| 2020-11-10 08:17:37 | × | hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 2020-11-10 08:17:59 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-11-10 08:20:14 | → | raichoo joins (~raichoo@213.240.178.58) |
| 2020-11-10 08:20:49 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-10 08:22:48 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2020-11-10 08:23:25 | → | travisb_ joins (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2020-11-10 08:23:35 | <bqv> | Ok yeah, got it. Made the lens indexed by Maybe idx, then applied the prism, then reindexed with fromJust |
| 2020-11-10 08:23:44 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2020-11-10 08:24:58 | → | Sk01 joins (~sky3@1aac.wls.metu.edu.tr) |
| 2020-11-10 08:25:08 | → | lululululu joins (3dded63f@61-222-214-63.HINET-IP.hinet.net) |
| 2020-11-10 08:25:18 | <bqv> | Feck, that doesn't work |
| 2020-11-10 08:25:28 | <bqv> | Now I have imaginary functional dependencies |
| 2020-11-10 08:25:50 | <bqv> | I should cut my losses and use optics… |
| 2020-11-10 08:25:53 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-10 08:27:46 | → | borne joins (~fritjof@200116b8643da60021c47849b07375d7.dip.versatel-1u1.de) |
| 2020-11-10 08:29:37 | × | macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 260 seconds) |
| 2020-11-10 08:30:41 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2020-11-10 08:31:23 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-10 08:31:26 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-10 08:31:36 | × | BIG_JIMMY_D quits (~jim@108.61.185.76) (Ping timeout: 256 seconds) |
| 2020-11-10 08:32:10 | → | BIG_JIMMY_D joins (~jim@108.61.185.76) |
| 2020-11-10 08:32:38 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2020-11-10 08:33:02 | → | avdb joins (~avdb@ip-213-49-61-163.dsl.scarlet.be) |
| 2020-11-10 08:36:49 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-11-10 08:39:00 | × | raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 2020-11-10 08:39:54 | → | solonarv joins (~solonarv@astrasbourg-653-1-263-62.w92-161.abo.wanadoo.fr) |
| 2020-11-10 08:40:10 | → | raichoo joins (~raichoo@213.240.178.58) |
| 2020-11-10 08:44:41 | × | Sk01 quits (~sky3@1aac.wls.metu.edu.tr) (Quit: WeeChat 2.9) |
| 2020-11-10 08:46:07 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-10 08:47:13 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2020-11-10 08:47:19 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-10 08:47:28 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds) |
| 2020-11-10 08:49:26 | <bqv> | Hm, got it. |
| 2020-11-10 08:49:55 | <bqv> | If I use Data.Tuple.Lazy, I can do fromJust in the ilens |
| 2020-11-10 08:50:25 | <bqv> | Never gets evaluated, but its enough to give me a sensible indexedlens |
| 2020-11-10 08:50:39 | <bqv> | And the prism is index preserving |
All times are in UTC.