Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 700 701 702 703 704 705 706 707 708 709 710 .. 5022
— 502,152 events total
2020-10-17 17:31:43 <phadej> but having just one hoogle binary will make your life easier
2020-10-17 17:32:33 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds)
2020-10-17 17:32:57 <geekosaur> what should happen is it gets installed in a project-specific exec directpry and then symlinked to ~/local/bin, then use stack exec to run hoogle within each project to ensure its specific hoogle is run. although as phadej says it'll all go easier if you can get away with running one version globally
2020-10-17 17:33:49 × oats quits (~hurr@durr/im/a/sheep) (Quit: until later, my friends)
2020-10-17 17:34:11 cole-h_ is now known as cole-h
2020-10-17 17:34:12 → oats joins (~hurr@durr/im/a/sheep)
2020-10-17 17:34:39 <Kira_> I've havent organized myself to continuously keep practicing haskell, but little by little I think Im understanding the language. Finally when attempting to finish my tiny dummy login, I attempted to do the following:
2020-10-17 17:34:47 <Kira_> https://pastebin.com/0DTLpFrW
2020-10-17 17:34:54 × Inoperable quits (~PLAYER_1@fancydata.science) (Remote host closed the connection)
2020-10-17 17:35:10 <Kira_> but Im getting the error noted at the end of the pastebin ^:
2020-10-17 17:35:40 <Kira_> • Couldn't match type ‘Login’ with ‘HashMap Text Value’
2020-10-17 17:35:43 <Kira_> Expected type: Object
2020-10-17 17:35:45 <Kira_> Actual type: Login
2020-10-17 17:35:47 <Kira_> • In the first argument of ‘(.:)’, namely ‘login’
2020-10-17 17:36:42 <Kira_> in Yesod do we obtain the values of keys of a JSON in a different way?
2020-10-17 17:37:46 <geekosaur> it's not a json at that point, but a Haskell value
2020-10-17 17:39:30 <geekosaur> or at least that's what you have told it with the type `Handler Login`
2020-10-17 17:41:16 → jkachmar joins (uid226591@gateway/web/irccloud.com/x-veduxhoxxqmbqgpm)
2020-10-17 17:42:32 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 256 seconds)
2020-10-17 17:42:53 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 17:45:51 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-17 17:46:34 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-17 17:46:38 → a1c3 joins (~a1c3@c-67-175-34-43.hsd1.il.comcast.net)
2020-10-17 17:46:49 <a1c3> :t
2020-10-17 17:46:55 <Kira_> hmmm
2020-10-17 17:47:02 <Kira_> so then I should transform my Handler Login into a
2020-10-17 17:47:05 <Kira_> Login
2020-10-17 17:47:30 <Kira_> and then, obtain the property email, from this Login
2020-10-17 17:47:34 <geekosaur> requireCheckJsonBody presumably did that
2020-10-17 17:47:46 <monochrom> You already have your Login.
2020-10-17 17:47:49 <geekosaur> so you just want to extract the email field from the resulting Haskell value
2020-10-17 17:48:33 × a1c3 quits (~a1c3@c-67-175-34-43.hsd1.il.comcast.net) (Client Quit)
2020-10-17 17:49:58 <Kira_> Yup, you guys were right
2020-10-17 17:50:19 <Kira_> like this:
2020-10-17 17:50:21 <Kira_> postUserLoginR :: Handler Value
2020-10-17 17:50:24 <Kira_> postUserLoginR = do
2020-10-17 17:50:26 <Kira_> login <- requireCheckJsonBody :: Handler Login
2020-10-17 17:50:28 <Kira_> let usermail = email login
2020-10-17 17:50:30 <Kira_> sendStatusJSON ok200 (object [ "login" .= usermail ] )
2020-10-17 17:50:32 <Kira_> the method compiles
2020-10-17 17:50:35 <Kira_> the project *
2020-10-17 17:50:55 <Kira_> and then, when performing a POST request, I now get the user email
2020-10-17 17:50:59 → GyroW_ joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-17 17:50:59 × GyroW_ quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-17 17:50:59 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-17 17:51:23 <Kira_> as {"login": "foo@mail.com"}
2020-10-17 17:51:31 <Kira_> Thank you all!
2020-10-17 17:52:10 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds)
2020-10-17 17:57:31 × djellemah quits (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 244 seconds)
2020-10-17 17:58:39 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:6096:8e01:2935:dbba) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-17 17:59:28 hackage less-arbitrary 0.1.0.0 - Linear time testing with variant of Arbitrary class that always terminates. https://hackage.haskell.org/package/less-arbitrary-0.1.0.0 (MichalGajda)
2020-10-17 18:00:02 × DarTar quits (~DarTar@185.204.1.185) ()
2020-10-17 18:01:14 × dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection)
2020-10-17 18:02:14 → alp_ joins (~alp@2a01:e0a:58b:4920:a0a0:4e46:1a7b:c634)
2020-10-17 18:02:14 → fendor_ joins (~fendor@178.165.130.180.wireless.dyn.drei.com)
2020-10-17 18:03:56 → chaosmasttter joins (~chaosmast@p200300c4a710fa0165702c806d7b3e40.dip0.t-ipconnect.de)
2020-10-17 18:04:42 × fendor quits (~fendor@178.165.129.91.wireless.dyn.drei.com) (Ping timeout: 256 seconds)
2020-10-17 18:05:27 hackage less-arbitrary 0.1.0.1 - Linear time testing with variant of Arbitrary class that always terminates. https://hackage.haskell.org/package/less-arbitrary-0.1.0.1 (MichalGajda)
2020-10-17 18:07:10 → chris joins (~chris@81.96.113.213)
2020-10-17 18:07:33 chris is now known as Guest44468
2020-10-17 18:09:14 → djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-17 18:09:28 <monochrom> aaarrrggghhh they forgot to include less-arbitray.md
2020-10-17 18:09:31 → lnlsn joins (~lnlsn@189.100.212.150)
2020-10-17 18:10:22 × knupfer quits (~Thunderbi@200116b82cc5f5009c7410757d55ad2f.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-17 18:10:30 → knupfer joins (~Thunderbi@200116b82cc5f5003098c64aed4ab9ee.dip.versatel-1u1.de)
2020-10-17 18:10:57 <monochrom> OK nevermind, probably intended.
2020-10-17 18:11:19 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 260 seconds)
2020-10-17 18:11:44 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 18:11:48 → mananamenos__ joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-17 18:11:53 → Inoperable joins (~PLAYER_1@fancydata.science)
2020-10-17 18:13:13 × stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-17 18:13:30 → stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-17 18:15:03 × mananamenos_ quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 260 seconds)
2020-10-17 18:15:18 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-10-17 18:17:59 × ephemera_ quits (~E@122.34.1.187) (Read error: Connection reset by peer)
2020-10-17 18:17:59 × lnlsn quits (~lnlsn@189.100.212.150) (Read error: Connection reset by peer)
2020-10-17 18:18:01 → kenran joins (~maier@87.123.205.246)
2020-10-17 18:18:41 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 18:20:23 → cosimone_ joins (~cosimone@5.170.241.6)
2020-10-17 18:20:56 → netsoundW1 joins (~netsoundW@185.204.1.185)
2020-10-17 18:22:26 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-17 18:23:52 → cosimone__ joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-17 18:23:58 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-17 18:24:12 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Ping timeout: 260 seconds)
2020-10-17 18:24:38 cosimone__ is now known as cosimone
2020-10-17 18:25:17 × Guest44468 quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-17 18:25:40 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-17 18:26:01 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-17 18:26:19 × geekosaur quits (82659a0e@host154-014.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-17 18:26:50 × cosimone_ quits (~cosimone@5.170.241.6) (Ping timeout: 272 seconds)
2020-10-17 18:26:54 → brisbin joins (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net)
2020-10-17 18:28:01 → conal_ joins (~conal@64.71.133.70)
2020-10-17 18:29:16 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone)
2020-10-17 18:29:58 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2020-10-17 18:31:31 × ephemera_ quits (~E@122.34.1.187) (Remote host closed the connection)
2020-10-17 18:32:49 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 18:33:09 × revtintin quits (~revtintin@158.140.144.34) (Quit: WeeChat 2.9)
2020-10-17 18:36:52 → dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net)
2020-10-17 18:37:55 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-17 18:39:02 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
←Prev  Next→
Page 1 .. 700 701 702 703 704 705 706 707 708 709 710 .. 5022

All times are in UTC.