Logs: liberachat/#haskell
| 2021-05-26 14:53:43 | <opqdonut> | so maybe a case of an internal library being opensourced |
| 2021-05-26 14:53:52 | <talismanick> | Archived in 2018, but I don't see a modern alternative |
| 2021-05-26 14:54:17 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2021-05-26 14:54:25 | <talismanick> | (if I missed something obvious, please do tell) |
| 2021-05-26 14:55:14 | × | wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 252 seconds) |
| 2021-05-26 14:55:17 | <opqdonut> | merijn: funny story here actually, I came up with the concept of the validation applicative on my own when trying to invent a nice example for teaching Applicatives |
| 2021-05-26 14:55:19 | <edwardk> | fwiw- i think i adopted the validation type from the data61 codebase not the other way around |
| 2021-05-26 14:55:33 | <opqdonut> | merijn: then I googled "haskell validation" and found the library :) |
| 2021-05-26 14:58:10 | <opqdonut> | the subtle difference seems to be that Data.Either.Validation has a Monoid constraint on the errors, and Data.Validation only has Semigroup |
| 2021-05-26 14:58:17 | × | radw quits (~radw@user/radw) (Ping timeout: 244 seconds) |
| 2021-05-26 14:58:22 | <opqdonut> | this means Data.Either.Validation is an Alternative, but Data.Validation is merely an Alt |
| 2021-05-26 14:58:47 | <opqdonut> | I kinda like not having support for the "empty error": you always need to specify what went wrong |
| 2021-05-26 14:58:47 | <hololeap> | hm, I was thinking something like NonEmpty would be a good choice for `e` |
| 2021-05-26 14:58:54 | <opqdonut> | hololeap: indeed |
| 2021-05-26 14:59:22 | → | wagle joins (~wagle@quassel.wagle.io) |
| 2021-05-26 15:00:15 | → | renormalist joins (~ss5@renormalist.net) |
| 2021-05-26 15:00:25 | → | radw joins (~radw@user/radw) |
| 2021-05-26 15:00:35 | <hololeap> | although, I'm not really seeing many Monoid constraints in Data.Either.Validation |
| 2021-05-26 15:01:20 | → | haskman joins (~haskman@171.61.174.98) |
| 2021-05-26 15:01:26 | → | zegalch96 joins (~zegalch@178.128.75.133) |
| 2021-05-26 15:01:27 | <opqdonut> | yeah you're right the docs say "Validation is Either with a Left that is a Monoid" |
| 2021-05-26 15:01:38 | <opqdonut> | but the instances mostly only require Semigroup, except for the Alternative |
| 2021-05-26 15:02:03 | × | brightside quits (~anon10100@106.192.141.180) (Ping timeout: 264 seconds) |
| 2021-05-26 15:04:07 | <bbhoss> | I'm using HLS with the VSCode extension. I have a project that compiles just fine but for some reason HLS thinks that one of the imported modules doesn't export functions that I know are exported, and that the compiler sees just fine. Any idea on how to debug/reset this? |
| 2021-05-26 15:04:51 | → | zzing joins (~zzing@d24-57-14-115.home.cgocable.net) |
| 2021-05-26 15:05:01 | × | yumaikas- quits (~yumaikas@2601:281:c700:4240:59f4:f479:85b9:4a1f) (Ping timeout: 272 seconds) |
| 2021-05-26 15:07:19 | <hololeap> | bbhoss: I ran into that working on a project that is both a lib and an executable. I ended up making symlinks in the executable src dir so that HLS would see them |
| 2021-05-26 15:07:34 | → | rubin55 joins (sid175221@id-175221.stonehaven.irccloud.com) |
| 2021-05-26 15:07:45 | → | tonyz joins (~tonyz@user/tonyz) |
| 2021-05-26 15:09:47 | × | manicennui quits (uid349235@id-349235.tinside.irccloud.com) () |
| 2021-05-26 15:09:58 | → | manicennui joins (uid349235@id-349235.tinside.irccloud.com) |
| 2021-05-26 15:10:46 | → | sadbrad joins (~sadbrad@2600:1700:8a14:2a0:f1ff:d819:17cd:fe61) |
| 2021-05-26 15:11:47 | × | wenzel quits (~wenzel@user/wenzel) (Remote host closed the connection) |
| 2021-05-26 15:12:10 | → | wenzel joins (~wenzel@user/wenzel) |
| 2021-05-26 15:12:51 | × | Schrostfutz quits (~Schrostfu@p2e585eba.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2021-05-26 15:13:41 | → | bfrk joins (~Thunderbi@200116b8453bc10024c96ca01cd76d14.dip.versatel-1u1.de) |
| 2021-05-26 15:13:53 | × | haskman quits (~haskman@171.61.174.98) (Ping timeout: 272 seconds) |
| 2021-05-26 15:14:05 | fjmorazan | is now known as help |
| 2021-05-26 15:14:43 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-05-26 15:14:48 | → | Pent joins (sid313808@tooting.irccloud.com) |
| 2021-05-26 15:15:47 | × | smr quits (~smn@91-114-147-117.adsl.highway.telekom.at) (Quit: WeeChat 3.1) |
| 2021-05-26 15:16:10 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 2021-05-26 15:16:32 | → | haskman joins (~haskman@223.190.96.197) |
| 2021-05-26 15:16:37 | → | smr joins (~smn@91-114-147-117.adsl.highway.telekom.at) |
| 2021-05-26 15:17:39 | × | o1lo01ol_ quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Remote host closed the connection) |
| 2021-05-26 15:18:25 | help | is now known as fjmorazan |
| 2021-05-26 15:21:09 | → | jlamothe joins (~jlamothe@198.251.57.81) |
| 2021-05-26 15:22:16 | → | fbull joins (~fbull@p5b105b2c.dip0.t-ipconnect.de) |
| 2021-05-26 15:23:26 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 2021-05-26 15:24:15 | × | Ainoretho quits (~ypw@2.55.148.52) (Quit: WeeChat 3.1) |
| 2021-05-26 15:24:15 | × | hr0m quits (~hr0m@2a03:4000:6:446f:899:53ff:fe87:3ffe) (Quit: WeeChat 2.3) |
| 2021-05-26 15:24:59 | × | pe200012 quits (~pe200012@119.131.208.84) (Quit: Konversation terminated!) |
| 2021-05-26 15:26:13 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-26 15:26:43 | × | imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 2021-05-26 15:27:20 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Remote host closed the connection) |
| 2021-05-26 15:27:28 | × | Aran quits (~Aran@port-92-194-80-170.dynamic.as20676.net) (Ping timeout: 265 seconds) |
| 2021-05-26 15:28:51 | → | Morrow joins (~MorrowM_@147.161.9.218) |
| 2021-05-26 15:29:15 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:c80c:b901:dda5:784c) |
| 2021-05-26 15:30:17 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-26 15:30:51 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 2021-05-26 15:36:12 | caasih | is now known as g0v_slack |
| 2021-05-26 15:36:25 | g0v_slack | is now known as [r_r] |
| 2021-05-26 15:36:35 | [r_r] | is now known as caasih |
| 2021-05-26 15:37:16 | → | listofoptions joins (~haha@047-005-156-009.res.spectrum.com) |
| 2021-05-26 15:38:11 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Remote host closed the connection) |
| 2021-05-26 15:38:37 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 2021-05-26 15:38:57 | × | averell quits (~averell@dishfire.rxd4.com) (Changing host) |
| 2021-05-26 15:38:57 | → | averell joins (~averell@user/averell) |
| 2021-05-26 15:41:00 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-26 15:42:47 | → | spirgel joins (~spirgel@89.238.150.172) |
| 2021-05-26 15:43:36 | → | ddellaco_ joins (~ddellacos@86.106.121.31) |
| 2021-05-26 15:45:36 | → | nsilv joins (~nsilv@host-82-50-119-12.retail.telecomitalia.it) |
| 2021-05-26 15:46:19 | → | spirgel_ joins (~spirgel@89.238.150.172) |
| 2021-05-26 15:47:06 | × | ddellacosta quits (~ddellacos@89.46.62.112) (Ping timeout: 264 seconds) |
| 2021-05-26 15:47:11 | → | ddellac__ joins (~ddellacos@89.46.62.52) |
| 2021-05-26 15:48:10 | × | ddellaco_ quits (~ddellacos@86.106.121.31) (Ping timeout: 264 seconds) |
| 2021-05-26 15:48:43 | × | zgrep quits (~zgrep@user/zgrep) (Ping timeout: 272 seconds) |
| 2021-05-26 15:49:59 | × | spirgel quits (~spirgel@89.238.150.172) (Ping timeout: 272 seconds) |
| 2021-05-26 15:50:50 | × | mht quits (~mht@2a03:b0c0:3:e0::1e2:c001) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in) |
| 2021-05-26 15:51:01 | → | mht joins (~mht@2a03:b0c0:3:e0::1e2:c001) |
| 2021-05-26 15:52:05 | → | hr0m joins (~hr0m@2a03:4000:6:446f:899:53ff:fe87:3ffe) |
| 2021-05-26 15:52:19 | <edwardk> | In a fit of boredom and as a joke like 8 people will bother to get and those that do won't find funny, I've registered cofreenode.net and pointed irc.cofreenode.net at chat.freenode.net. |
| 2021-05-26 15:52:58 | → | zgrep joins (~zgrep@user/zgrep) |
| 2021-05-26 15:53:04 | → | benin joins (~benin@183.82.207.211) |
| 2021-05-26 15:53:05 | <monochrom> | Oh, you. :) |
| 2021-05-26 15:53:36 | <opqdonut> | I think it's a bit more than 8 tho |
| 2021-05-26 15:53:53 | <monochrom> | I bothered to ask who did it :) |
| 2021-05-26 15:54:22 | × | Morrow quits (~MorrowM_@147.161.9.218) (Read error: Connection reset by peer) |
| 2021-05-26 15:55:19 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-05-26 15:55:20 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-05-26 15:55:20 | → | Deide joins (~Deide@user/deide) |
| 2021-05-26 15:56:11 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Remote host closed the connection) |
| 2021-05-26 15:56:21 | × | rbutler quits (uid5425@id-5425.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-26 15:56:29 | → | prite joins (~pritam@49.207.220.8) |
| 2021-05-26 15:56:33 | → | Morrow joins (~MorrowM_@147.161.9.218) |
| 2021-05-26 15:57:39 | → | Schrostfutz joins (~Schrostfu@p2e585eba.dip0.t-ipconnect.de) |
| 2021-05-26 15:57:43 | → | is0ke3 joins (~is0ke3@user/is0ke3) |
| 2021-05-26 15:57:54 | ← | is0ke3 parts (~is0ke3@user/is0ke3) (Zzzzz.... ) |
| 2021-05-26 15:58:02 | × | jolly quits (~jolly@208.180.97.158) (Quit: Connection closed) |
| 2021-05-26 15:58:58 | × | ddellac__ quits (~ddellacos@89.46.62.52) (Ping timeout: 264 seconds) |
All times are in UTC.