Logs: liberachat/#haskell
| 2021-06-06 17:22:20 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-06 17:22:45 | × | zyklotomic quits (~ethan@23.228.121.194) (Quit: WeeChat 3.1) |
| 2021-06-06 17:24:52 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-06 17:27:01 | × | yorick quits (~yorick@user/yorick) (Quit: reboot) |
| 2021-06-06 17:27:38 | → | ddellac__ joins (~ddellacos@86.106.143.222) |
| 2021-06-06 17:28:05 | × | ddellaco_ quits (~ddellacos@89.46.62.25) (Ping timeout: 244 seconds) |
| 2021-06-06 17:28:05 | × | ddellacosta quits (~ddellacos@86.106.121.50) (Ping timeout: 244 seconds) |
| 2021-06-06 17:28:12 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-06 17:28:35 | → | ddella___ joins (~ddellacos@89.46.62.60) |
| 2021-06-06 17:28:59 | → | Guest913 joins (~Guest9@103.250.139.185) |
| 2021-06-06 17:30:46 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-06 17:31:59 | × | ddella___ quits (~ddellacos@89.46.62.60) (Read error: Connection reset by peer) |
| 2021-06-06 17:32:38 | → | ddellacosta joins (~ddellacos@89.46.62.60) |
| 2021-06-06 17:33:01 | → | yorick joins (~yorick@user/yorick) |
| 2021-06-06 17:34:33 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-06 17:35:31 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-06 17:36:52 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-06 17:37:21 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-06 17:41:43 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 264 seconds) |
| 2021-06-06 17:45:03 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-06-06 17:46:30 | <sclv> | i recommend parsec for even simple parsers -- anything more complicated than can be done with just a few string functions at least |
| 2021-06-06 17:47:34 | <glguy> | I'd recommend parsec mostly for the simple parsers |
| 2021-06-06 17:47:43 | × | ddellac__ quits (~ddellacos@86.106.143.222) (Ping timeout: 264 seconds) |
| 2021-06-06 17:47:45 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-06 17:47:55 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-06-06 17:47:57 | <glguy> | If you're doing something big it's better to make a real lexer/parser with something like alex/happy |
| 2021-06-06 17:49:14 | → | Pixi_ joins (~Pixi@user/pixi) |
| 2021-06-06 17:49:47 | × | Hanicef quits (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2021-06-06 17:52:05 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-06-06 17:52:35 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-06-06 17:53:00 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-06 17:53:07 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 2021-06-06 17:53:29 | → | ddellaco_ joins (~ddellacos@89.46.62.60) |
| 2021-06-06 17:54:17 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-06 17:55:25 | × | ddellacosta quits (~ddellacos@89.46.62.60) (Ping timeout: 268 seconds) |
| 2021-06-06 17:57:43 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-06-06 17:58:03 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-06 18:00:26 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-06 18:03:15 | × | alx741 quits (~alx741@181.196.69.96) (Ping timeout: 245 seconds) |
| 2021-06-06 18:03:40 | × | ddellaco_ quits (~ddellacos@89.46.62.60) (Ping timeout: 245 seconds) |
| 2021-06-06 18:04:45 | → | vicentius joins (~vicentius@user/vicentius) |
| 2021-06-06 18:05:20 | × | ikex quits (~ash@user/ikex) (Ping timeout: 245 seconds) |
| 2021-06-06 18:05:23 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 272 seconds) |
| 2021-06-06 18:09:30 | × | awth13 quits (~user@193.27.14.133) (Remote host closed the connection) |
| 2021-06-06 18:10:26 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-06-06 18:11:30 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-06-06 18:18:59 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-06 18:19:01 | × | realtime quits (~realtime@177.18.185.16) (Read error: Connection reset by peer) |
| 2021-06-06 18:23:06 | × | azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-06 18:30:23 | → | tose joins (~tose@ip-85-160-1-174.eurotel.cz) |
| 2021-06-06 18:32:16 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-06 18:32:25 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-06 18:34:24 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-06-06 18:34:42 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-06 18:36:27 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
| 2021-06-06 18:36:34 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-06 18:36:54 | × | haltux quits (~haltux@a89-154-181-47.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 2021-06-06 18:37:14 | → | dcompoze joins (~dcompoze@5E98D6D9.static.tld.pl) |
| 2021-06-06 18:37:50 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 245 seconds) |
| 2021-06-06 18:40:01 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-06 18:41:38 | × | dcompoze quits (~dcompoze@5E98D6D9.static.tld.pl) (Client Quit) |
| 2021-06-06 18:41:55 | → | dcompoze joins (~dcompoze@5E98D6D9.static.tld.pl) |
| 2021-06-06 18:43:19 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-06 18:43:31 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
| 2021-06-06 18:46:35 | → | alx741 joins (~alx741@181.196.69.96) |
| 2021-06-06 18:48:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-06 18:48:39 | × | dcompoze quits (~dcompoze@5E98D6D9.static.tld.pl) (Quit: WeeChat 3.1) |
| 2021-06-06 18:49:15 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-06 18:51:50 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-06 18:52:37 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-06 18:53:43 | → | dcompoze joins (~dcompoze@5E98D6D9.static.tld.pl) |
| 2021-06-06 18:54:28 | → | ddellacosta joins (~ddellacos@89.46.62.71) |
| 2021-06-06 18:56:43 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 264 seconds) |
| 2021-06-06 18:57:28 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-06 19:03:44 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-06-06 19:05:30 | <_73> | Why when I do both the `k` and `v` need to have Ord instances when using Data.Set.insert to insert into a `Set (k,v)`? I would have thought only the `k` needed an Ord instance. http://dpaste.com/B7HU5B4VP |
| 2021-06-06 19:06:03 | <geekosaur> | you're confusing Set with Map, it sounds like |
| 2021-06-06 19:06:11 | <geekosaur> | you have a single key which is a pair |
| 2021-06-06 19:07:31 | <_73> | so the problem is that I need an Ord instance for the entire `(k,v)`? |
| 2021-06-06 19:07:47 | <_73> | Still then I would think that only requires on Ord instance for the k |
| 2021-06-06 19:07:50 | <geekosaur> | your "v" is not a v. (k,v) is the entire key |
| 2021-06-06 19:07:55 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-06 19:08:00 | <geekosaur> | you want a Data.Map |
| 2021-06-06 19:08:43 | <_73> | I do want a Set. |
| 2021-06-06 19:08:54 | <boxscape> | _73 with Set (k, v), how would it handle two elements (0, 1) and (0, 2) if it doesn't have a way to compare 1 and 2? |
| 2021-06-06 19:11:18 | <_73> | So this is specific to Sets? |
| 2021-06-06 19:12:15 | <geekosaur> | ? a Set is a collection of unique keys. a Map is a mapping from unique keys to values. it sounds like you want the latter |
| 2021-06-06 19:12:17 | <boxscape> | well, kind of depends on what you mean by "this". Sets require that the type of their elements have an Ord instance. For a pair (k, v) to have an Ord instance (the type of the elements of your Set), both k and v must have an Ord instance |
| 2021-06-06 19:12:27 | <boxscape> | % data A = A |
| 2021-06-06 19:12:27 | <yahb> | boxscape: |
| 2021-06-06 19:12:31 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-06 19:12:33 | <boxscape> | % (0, A) < (5, A) |
| 2021-06-06 19:12:33 | <yahb> | boxscape: ; <interactive>:72:8: error:; * No instance for (Ord A) arising from a use of `<'; * In the expression: (0, A) < (5, A); In an equation for `it': it = (0, A) < (5, A) |
| 2021-06-06 19:12:43 | <boxscape> | you can't compare these because there's no Ord instance for A |
| 2021-06-06 19:13:31 | <shachaf> | What makes you say you want a Set? |
| 2021-06-06 19:14:04 | <_73> | ohh now I see what is going on. My GHCi example only worked because Int has an Ord instance |
| 2021-06-06 19:14:11 | <boxscape> | right :) |
| 2021-06-06 19:14:25 | × | ddellacosta quits (~ddellacos@89.46.62.71) (Ping timeout: 272 seconds) |
| 2021-06-06 19:14:25 | <_73> | ok now I understand thanks |
| 2021-06-06 19:18:04 | × | pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in) |
All times are in UTC.