Logs: liberachat/#haskell
| 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.