Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 .. 5022
— 502,152 events total
2020-11-20 20:40:27 × DavidEichmann quits (~david@62.110.198.146.dyn.plus.net) (Remote host closed the connection)
2020-11-20 20:40:36 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds)
2020-11-20 20:41:30 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-fgwigxpmxrbdsiil)
2020-11-20 20:41:45 × hlisp quits (~hlisp@114.246.35.11) (Ping timeout: 240 seconds)
2020-11-20 20:44:56 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-20 20:45:36 → yummy joins (2fe3e53b@047-227-229-059.res.spectrum.com)
2020-11-20 20:45:38 × sulu quits (~sulu@unaffiliated/sulu) (Quit: goodbye)
2020-11-20 20:45:49 <yummy> what does the +d mean in :t +d (+)?
2020-11-20 20:46:30 <glguy> it looks like it defaults the type
2020-11-20 20:46:32 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-20 20:46:49 <glguy> :t +d (+)
2020-11-20 20:46:50 <lambdabot> Integer -> Integer -> Integer
2020-11-20 20:46:50 <glguy> :t (+)
2020-11-20 20:46:51 <lambdabot> Num a => a -> a -> a
2020-11-20 20:47:22 <yummy> is there documentation on this somewhere?
2020-11-20 20:47:33 <sm[m]> texasmynsted: check out tasty and hspec's docs, they are the big two
2020-11-20 20:47:41 <glguy> I'd guess it's in the GHC User's Guide
2020-11-20 20:47:52 <texasmynsted> okay.
2020-11-20 20:47:59 <texasmynsted> Switching to Tasty
2020-11-20 20:48:08 <glguy> https://downloads.haskell.org/ghc/latest/docs/html/users_guide/ghci.html#ghci-cmd-:type
2020-11-20 20:48:14 <texasmynsted> EasyTest was not compiling
2020-11-20 20:51:03 × aldum quits (~vishera@aldum.pw) (Quit: Lost terminal)
2020-11-20 20:51:20 → aldum joins (~vishera@aldum.pw)
2020-11-20 20:51:49 → hlisp joins (~hlisp@114.246.35.11)
2020-11-20 20:52:01 → Deide joins (~Deide@217.155.19.23)
2020-11-20 20:53:52 × polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds)
2020-11-20 20:54:10 → sulu joins (~sulu@unaffiliated/sulu)
2020-11-20 20:54:15 × sulu quits (~sulu@unaffiliated/sulu) (Client Quit)
2020-11-20 20:54:45 → polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-11-20 20:56:16 × hlisp quits (~hlisp@114.246.35.11) (Ping timeout: 240 seconds)
2020-11-20 20:57:45 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 265 seconds)
2020-11-20 20:58:10 × coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-11-20 20:58:38 × luke quits (~luke@bitnomial/staff/luke) (Quit: sleep)
2020-11-20 20:59:22 <dsal> I like tasty. I mostly aim towards quickcheck, with some plain assertions and occasionally golden tests.
2020-11-20 20:59:34 <dsal> But tasty does all the things I want.
2020-11-20 21:00:44 → conal joins (~conal@66.115.157.112)
2020-11-20 21:01:34 → siloxid joins (~user@unaffiliated/siloxid)
2020-11-20 21:03:47 × conal quits (~conal@66.115.157.112) (Client Quit)
2020-11-20 21:04:00 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-11-20 21:06:05 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-11-20 21:06:15 → hlisp joins (~hlisp@114.246.35.11)
2020-11-20 21:06:44 → wh0 joins (~wh0000@cpc152777-shef18-2-0-cust223.17-1.cable.virginm.net)
2020-11-20 21:08:14 → vishnix joins (~vishwas@c-24-14-13-197.hsd1.il.comcast.net)
2020-11-20 21:08:14 × vishnix quits (~vishwas@c-24-14-13-197.hsd1.il.comcast.net) (Client Quit)
2020-11-20 21:08:23 → vishnix joins (~vishwas@c-24-14-13-197.hsd1.il.comcast.net)
2020-11-20 21:08:29 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-20 21:08:57 → conal joins (~conal@64.71.133.70)
2020-11-20 21:11:13 × alp quits (~alp@2a01:e0a:58b:4920:c40b:63d1:e6b8:9277) (Ping timeout: 272 seconds)
2020-11-20 21:11:20 × hlisp quits (~hlisp@114.246.35.11) (Ping timeout: 272 seconds)
2020-11-20 21:12:14 → Inoperable joins (~PLAYER_1@fancydata.science)
2020-11-20 21:13:41 → nineonine_ joins (~nineonine@50.216.62.2)
2020-11-20 21:14:36 × nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 240 seconds)
2020-11-20 21:14:36 nineonine_ is now known as nineonine
2020-11-20 21:15:49 × conal quits (~conal@64.71.133.70) (Ping timeout: 264 seconds)
2020-11-20 21:16:43 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-20 21:16:44 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-20 21:17:15 → luke joins (~luke@bitnomial/staff/luke)
2020-11-20 21:17:18 → conal joins (~conal@64.71.133.70)
2020-11-20 21:17:25 → jcd joins (~user@2601:282:1300:7cb0::5be7)
2020-11-20 21:17:52 × cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 256 seconds)
2020-11-20 21:17:59 <jcd> howdy
2020-11-20 21:19:27 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-11-20 21:19:27 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-20 21:20:04 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-20 21:23:10 → son0p joins (~son0p@181.136.122.143)
2020-11-20 21:23:15 × jwynn6 quits (~jwynn6@050-088-122-078.res.spectrum.com) (Quit: The Lounge - https://thelounge.chat)
2020-11-20 21:23:22 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 272 seconds)
2020-11-20 21:25:35 <Zetagon> hello!
2020-11-20 21:28:14 × borne quits (~fritjof@200116b86455d000f1dc39039d201adf.dip.versatel-1u1.de) (Ping timeout: 264 seconds)
2020-11-20 21:28:57 × vishnix quits (~vishwas@c-24-14-13-197.hsd1.il.comcast.net) (Quit: leaving)
2020-11-20 21:29:30 hackage heap-console 0.1.0.0 - interactively inspect Haskell values at runtime https://hackage.haskell.org/package/heap-console-0.1.0.0 (TheMatten)
2020-11-20 21:29:37 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-kwmvlnupagfhstlw) (Quit: Connection closed for inactivity)
2020-11-20 21:29:55 × yummy quits (2fe3e53b@047-227-229-059.res.spectrum.com) (Remote host closed the connection)
2020-11-20 21:30:06 <texasmynsted> https://yannesposito.com/Scratch/en/blog/Holy-Haskell-Starter/ 😂
2020-11-20 21:30:06 <jcd> Hello! I need some help. I don't know what to do with monad that gets returned from a library function.
2020-11-20 21:30:26 <Rembane> jcd: Which monad and which library function?
2020-11-20 21:31:08 <jcd> The monad comes from a function called 'parseRequest' from the 'Network.HTTP.Client' module.
2020-11-20 21:31:17 <dminuoso> jcd: a "monad" is generally not something you get back, "monad" is just a bizarre name for an interface.
2020-11-20 21:31:45 <dminuoso> jcd: So say you get something back of type T, and T has monad, it may be less helpful to think "you're getting a monad back". You're just getting a value back.
2020-11-20 21:32:04 <dminuoso> (Or more correctly, you get something back of type `T S`, and T has monad)
2020-11-20 21:32:29 <jcd> Then how do I extract the 'Request' out of 'm0 Request'?
2020-11-20 21:32:34 <dminuoso> That depends!
2020-11-20 21:32:38 <dminuoso> jcd: parseRequest :: MonadThrow m => String -> m Request
2020-11-20 21:32:39 <jcd> I thought fmap-like functions were the way
2020-11-20 21:32:48 <dminuoso> Is a polymorphic value. First, you must understand that the choice of `m` is yours.
2020-11-20 21:32:54 <dminuoso> You decide what `m` you want.
2020-11-20 21:32:55 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-20 21:33:05 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-20 21:33:10 <jcd> then, 'Just'?
2020-11-20 21:33:15 <dminuoso> You can pick any `m` you like, under the constraint that it has an instance MonadThrow.
2020-11-20 21:33:27 <dminuoso> Well, let's see. Just is a data constructor, the matching type constructor is Maybe.
2020-11-20 21:33:34 → mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-20 21:33:37 <dminuoso> Check whether an `instance MonadThrow Maybe` exists to see whether its a valid choice
2020-11-20 21:33:53 <dminuoso> https://hackage.haskell.org/package/exceptions-0.10.4/docs/Control-Monad-Catch.html#t:MonadThrow
2020-11-20 21:33:59 <jcd> On it.
2020-11-20 21:35:37 × conal quits (~conal@64.71.133.70) (Ping timeout: 264 seconds)
2020-11-20 21:36:56 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Client Quit)
2020-11-20 21:37:56 × knupfer quits (~Thunderbi@i5E86B41D.versanet.de) (Ping timeout: 240 seconds)
2020-11-20 21:38:01 × Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-11-20 21:38:21 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
←Prev  Next→
Page 1 .. 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 .. 5022

All times are in UTC.