Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 578 579 580 581 582 583 584 585 586 587 588 .. 18008
1,800,789 events total
2021-06-22 01:07:25 × mnrmnaugh quits (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
2021-06-22 01:07:50 NieDzejkob joins (~quassel@195.149.98.3)
2021-06-22 01:09:45 perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-06-22 01:11:06 × warnz quits (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Ping timeout: 264 seconds)
2021-06-22 01:17:13 <qrpnxz> how do i evaluate a value in ghci without printing it, trying to get an effect to occur but it starts to cry if it can't print it
2021-06-22 01:17:37 zebrag joins (~chris@user/zebrag)
2021-06-22 01:18:06 Feuermagier joins (~Feuermagi@user/feuermagier)
2021-06-22 01:18:08 <geekosaur> action >> return () -- ?
2021-06-22 01:18:15 <Axman6> :t void . evaluate
2021-06-22 01:18:17 <lambdabot> a -> IO ()
2021-06-22 01:18:40 <Axman6> @hoogle evaluate
2021-06-22 01:18:41 <lambdabot> Control.Exception evaluate :: a -> IO a
2021-06-22 01:18:41 <lambdabot> Control.Exception.Base evaluate :: a -> IO a
2021-06-22 01:18:41 <lambdabot> GHC.IO evaluate :: a -> IO a
2021-06-22 01:20:54 <qrpnxz> doesn't work
2021-06-22 01:21:22 <qrpnxz> had to pull the values out by hand, but them in a list and sequence
2021-06-22 01:21:36 <qrpnxz> *put
2021-06-22 01:21:45 × x_kuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer)
2021-06-22 01:21:48 <Axman6> by "doesn't work" you mean "didn't provide enough information to get the answer you needed"
2021-06-22 01:22:23 <qrpnxz> nope, but if that's what you think alright
2021-06-22 01:23:20 <Axman6> I can guarantee you what I said does what you said you wanted, but if you need to vully evaluate everything in the entire structure then you might have said that instead. NFData is the class you're after, drom the deepseq package
2021-06-22 01:24:34 jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-22 01:27:26 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds)
2021-06-22 01:27:47 <qrpnxz> i think IO won't happen unless it touches ghci at some point so it wasn't even an evaluation problem
2021-06-22 01:29:38 × nineonine quits (~nineonine@50.216.62.2) (Remote host closed the connection)
2021-06-22 01:29:45 MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-22 01:29:46 × hololeap quits (hololeap@user/hololeap) (Quit: Bye)
2021-06-22 01:29:53 <Axman6> right, you didn't say anythign about executing an IO vlaue, you said evaluate a value. all you need then in void yourExpression
2021-06-22 01:29:55 × perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.2)
2021-06-22 01:30:02 <jackdk> Axman6++
2021-06-22 01:30:21 <Axman6> evaluation and executing are quite different things
2021-06-22 01:30:50 <qrpnxz> i did say i was trying to get an effect to occur
2021-06-22 01:31:25 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 250 seconds)
2021-06-22 01:32:40 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-06-22 01:32:48 <geekosaur> which is why I suggested the other one, which does the effect but discards the value
2021-06-22 01:33:02 <geekosaur> so ghci won'[t complain about it
2021-06-22 01:33:22 argento joins (~argent0@168-227-97-34.ptr.westnet.com.ar)
2021-06-22 01:33:46 <qrpnxz> well it didn't do the effect
2021-06-22 01:33:52 <qrpnxz> hence why i said it didn't work
2021-06-22 01:34:56 × zebrag quits (~chris@user/zebrag) (Remote host closed the connection)
2021-06-22 01:37:43 warnz joins (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb)
2021-06-22 01:40:01 × argento quits (~argent0@168-227-97-34.ptr.westnet.com.ar) (Quit: leaving)
2021-06-22 01:40:18 <qrpnxz> unless "the effect" is heating the room lol
2021-06-22 01:42:11 × warnz quits (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Ping timeout: 252 seconds)
2021-06-22 01:43:19 <Axman6> well, evaluating an IO expression won't do very much, only executing it will. an IO a is a recipe which, when _executed_ returns an a. _evaluating_ it just forces it, if it is a think, to be evaluated enough to know that its constructor is the IO constructor
2021-06-22 01:44:57 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection)
2021-06-22 01:45:16 falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-22 01:46:08 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-22 01:47:41 betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-22 01:50:24 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-22 01:51:28 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds)
2021-06-22 01:51:52 slack1256 joins (~slack1256@181.203.47.107)
2021-06-22 01:51:56 betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-22 01:54:48 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-22 01:55:19 pbrisbin joins (~patrick@pool-173-49-147-28.phlapa.fios.verizon.net)
2021-06-22 01:56:23 betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-22 01:58:35 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-22 01:59:12 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-22 02:00:11 × bilegeek quits (~bilegeek@2600:1008:b017:63a6:c26d:d119:faaa:a6d7) (Quit: Leaving)
2021-06-22 02:00:45 betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-22 02:02:42 × xff0x quits (~xff0x@2001:1a81:5210:a00:e51a:a5db:7d11:7c5d) (Ping timeout: 264 seconds)
2021-06-22 02:03:33 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-22 02:04:12 moet joins (~moet@172.58.22.170)
2021-06-22 02:04:15 xff0x joins (~xff0x@2001:1a81:5218:4800:8168:2dc2:e054:da2)
2021-06-22 02:04:19 × np quits (~nerdypepp@user/nerdypepper) (Quit: bye)
2021-06-22 02:05:07 betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-22 02:08:11 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-22 02:08:33 nerdypepper joins (~nerdypepp@user/nerdypepper)
2021-06-22 02:08:50 × pbrisbin quits (~patrick@pool-173-49-147-28.phlapa.fios.verizon.net) (Ping timeout: 258 seconds)
2021-06-22 02:09:03 warnz joins (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb)
2021-06-22 02:09:46 betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-22 02:09:54 × FragByte quits (~christian@user/fragbyte) (Ping timeout: 264 seconds)
2021-06-22 02:10:47 × xff0x quits (~xff0x@2001:1a81:5218:4800:8168:2dc2:e054:da2) (Ping timeout: 252 seconds)
2021-06-22 02:10:47 × jakalx quits (~jakalx@base.jakalx.net) (Ping timeout: 252 seconds)
2021-06-22 02:11:06 × farn quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 264 seconds)
2021-06-22 02:11:12 × Feuermagier quits (~Feuermagi@user/feuermagier) (Read error: Connection reset by peer)
2021-06-22 02:11:20 × bjobjo quits (~bo@user/bjobjo) (Ping timeout: 252 seconds)
2021-06-22 02:11:22 × Xe quits (~cadey@tailscale/xe) (Ping timeout: 272 seconds)
2021-06-22 02:11:40 xff0x joins (~xff0x@2001:1a81:5218:4800:8168:2dc2:e054:da2)
2021-06-22 02:11:41 Feuermagier joins (~Feuermagi@user/feuermagier)
2021-06-22 02:11:42 × m4lvin quits (~m4lvin@w4eg.de) (Ping timeout: 264 seconds)
2021-06-22 02:11:42 × welterde quits (welterde@thinkbase.srv.welterde.de) (Ping timeout: 264 seconds)
2021-06-22 02:11:42 × yorick quits (~yorick@user/yorick) (Ping timeout: 264 seconds)
2021-06-22 02:11:44 FragByte joins (~christian@user/fragbyte)
2021-06-22 02:11:53 × nf quits (~n@monade.li) (Ping timeout: 252 seconds)
2021-06-22 02:12:16 farn joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
2021-06-22 02:12:18 × lisq quits (~quassel@lis.moe) (Ping timeout: 264 seconds)
2021-06-22 02:12:23 bjobjo joins (~bo@2a01:79c:cebf:d688::9e6)
2021-06-22 02:12:28 m4lvin joins (~m4lvin@w4eg.de)
2021-06-22 02:12:29 lisq joins (~quassel@lis.moe)
2021-06-22 02:12:31 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-22 02:12:43 nf joins (~n@monade.li)
2021-06-22 02:13:07 welterde joins (welterde@thinkbase.srv.welterde.de)
2021-06-22 02:13:07 Xe joins (~cadey@tailscale/xe)
2021-06-22 02:13:30 × warnz quits (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Ping timeout: 264 seconds)
2021-06-22 02:14:03 betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-22 02:14:50 yorick joins (~yorick@user/yorick)
2021-06-22 02:16:28 × slack1256 quits (~slack1256@181.203.47.107) (Remote host closed the connection)
2021-06-22 02:16:55 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-06-22 02:17:37 × teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection)

All times are in UTC.