Logs: freenode/#haskell
| 2021-04-07 15:25:26 | → | luite joins (sid387799@gateway/web/irccloud.com/x-xdgiulydxgunnqir) |
| 2021-04-07 15:25:34 | → | sz0 joins (uid110435@gateway/web/irccloud.com/x-uimgiattmedzcfdn) |
| 2021-04-07 15:25:36 | → | eruditass joins (uid248673@gateway/web/irccloud.com/x-mnvqqybakyalqldr) |
| 2021-04-07 15:25:45 | → | systemfault joins (sid267009@gateway/web/irccloud.com/x-qisnszkdfwtomtbi) |
| 2021-04-07 15:25:52 | → | davetapley joins (sid666@gateway/web/irccloud.com/x-yavshbynwfekjiwv) |
| 2021-04-07 15:25:54 | → | joshmeredith joins (sid387798@gateway/web/irccloud.com/x-deyyeanvffjutikl) |
| 2021-04-07 15:26:19 | → | d0liver joins (sid363046@gateway/web/irccloud.com/x-vlrurtoubbzrlqmk) |
| 2021-04-07 15:26:34 | → | wpcarro joins (sid397589@gateway/web/irccloud.com/x-ecuoponltgnpdqvt) |
| 2021-04-07 15:26:40 | → | SrPx joins (sid108780@gateway/web/irccloud.com/x-gxthtwnxdzlzvjtj) |
| 2021-04-07 15:26:55 | → | natim87 joins (sid286962@gateway/web/irccloud.com/x-kcrciituhyzojhiq) |
| 2021-04-07 15:27:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-07 15:28:13 | × | ulidtko quits (~ulidtko@194.54.80.38) (Remote host closed the connection) |
| 2021-04-07 15:28:19 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:3d3b:5fca:52a6:2df1) |
| 2021-04-07 15:28:32 | × | fendor quits (~fendor@178.165.131.170.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-07 15:28:34 | → | ulidtko joins (~ulidtko@194.54.80.38) |
| 2021-04-07 15:28:34 | → | Axman5892 joins (~Axman6@pdpc/supporter/student/Axman6) |
| 2021-04-07 15:28:42 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:3d3b:5fca:52a6:2df1) (Remote host closed the connection) |
| 2021-04-07 15:28:44 | × | Axman6 quits (~Axman6@pdpc/supporter/student/Axman6) (Remote host closed the connection) |
| 2021-04-07 15:28:51 | → | fendor joins (~fendor@178.165.131.170.wireless.dyn.drei.com) |
| 2021-04-07 15:29:23 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-07 15:29:50 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-04-07 15:30:27 | × | malumore quits (~malumore@151.62.125.43) (Ping timeout: 248 seconds) |
| 2021-04-07 15:31:56 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-07 15:32:00 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-04-07 15:32:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-07 15:33:49 | → | kiweun joins (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-04-07 15:34:50 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c0f9:65c3:e496:bb55) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-07 15:34:55 | → | malumore joins (~malumore@151.62.125.43) |
| 2021-04-07 15:36:54 | → | mananamenos joins (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
| 2021-04-07 15:37:44 | × | noexcept quits (~noexcept@noexcept.org) (Read error: Connection reset by peer) |
| 2021-04-07 15:38:15 | → | noexcept joins (~noexcept@noexcept.org) |
| 2021-04-07 15:38:27 | × | kiweun quits (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Ping timeout: 248 seconds) |
| 2021-04-07 15:40:35 | × | cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 248 seconds) |
| 2021-04-07 15:44:42 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-07 15:45:05 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-07 15:46:01 | <mananamenos> | Hi, I'm in a IO's block and I some functions which return `IO (Maybe a)` and some which return `IO a`. Inside this do block block I have to extract those maybes, use case on then and in case the value is Nothing, I shorcut the whole do block returning. I end up with a very indented to the right code block which is hard to read and is annoying in general. One approach I tried is to wrap every operation in this do block |
| 2021-04-07 15:46:01 | <mananamenos> | ExceptT. With this approach I manually put every IO (Maybe a) giving associating also the Nothings with some message (Left part in ExceptT). This way I only have one case expression on the whole do block, extract the Left message, log it and return error or successfully return Right part. Is this approach somehow weird/wrong? Another way, which I'm considering in changing the body of all the functions returning `IO (Maybe |
| 2021-04-07 15:46:02 | <mananamenos> | a)` to `IO a` (is there is nothing I throw an error). I'm a bit confused of how to structure this the best way. |
| 2021-04-07 15:47:31 | × | neysofu quits (~neysofu@net-47-53-239-127.cust.vodafonedsl.it) (Quit: leaving) |
| 2021-04-07 15:49:06 | × | esph quits (~weechat@unaffiliated/esph) (Ping timeout: 260 seconds) |
| 2021-04-07 15:50:06 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-07 15:50:08 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-07 15:52:05 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-07 15:52:24 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-07 15:55:53 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-07 15:56:43 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-07 15:59:04 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-04-07 16:00:04 | × | M53K5HUN_8[m] quits (m53k5hun8m@gateway/shell/matrix.org/x-vnkcdqtkiyhfknsf) (Quit: Idle for 30+ days) |
| 2021-04-07 16:01:25 | → | v01d4lph4 joins (~v01d4lph4@223.177.183.124) |
| 2021-04-07 16:02:26 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-07 16:02:47 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-04-07 16:03:01 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:3d3b:5fca:52a6:2df1) |
| 2021-04-07 16:04:37 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-07 16:05:55 | × | v01d4lph4 quits (~v01d4lph4@223.177.183.124) (Ping timeout: 260 seconds) |
| 2021-04-07 16:09:15 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 246 seconds) |
| 2021-04-07 16:11:07 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-07 16:13:33 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds) |
| 2021-04-07 16:15:34 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-04-07 16:15:38 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 2021-04-07 16:15:55 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-04-07 16:17:39 | <tomsmeding> | mananamenos: the ExceptT approach sounds like the right one |
| 2021-04-07 16:17:41 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-04-07 16:23:11 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2021-04-07 16:23:11 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-04-07 16:24:00 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2021-04-07 16:24:38 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-04-07 16:24:54 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-04-07 16:25:34 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-07 16:25:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-07 16:29:04 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 2021-04-07 16:33:02 | × | justanotheruser quits (justanothe@gateway/vpn/protonvpn/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-04-07 16:40:29 | × | jacks2 quits (~bc8134e3@199.204.85.195) (Quit: CGI:IRC (Session timeout)) |
| 2021-04-07 16:46:30 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:c57c:ce7d:dcca:9af1) |
| 2021-04-07 16:46:49 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:c57c:ce7d:dcca:9af1) (Read error: Connection reset by peer) |
| 2021-04-07 16:48:14 | → | __minoru__shirae joins (~shiraeesh@5.101.59.224) |
| 2021-04-07 16:51:48 | × | nrh^ quits (nrh@ip98-184-89-2.mc.at.cox.net) () |
| 2021-04-07 16:52:05 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-07 16:52:24 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-07 16:53:04 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8) |
| 2021-04-07 16:54:48 | → | Sorny joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-07 16:55:36 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-07 16:56:01 | → | darkon joins (~darkon@90.214.167.201) |
| 2021-04-07 16:57:54 | × | Sorna quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 265 seconds) |
| 2021-04-07 16:59:36 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-07 16:59:41 | × | Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 260 seconds) |
| 2021-04-07 17:00:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-07 17:00:32 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-04-07 17:00:34 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-07 17:04:36 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-04-07 17:04:47 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-07 17:05:52 | → | justanotheruser joins (justanothe@gateway/vpn/protonvpn/justanotheruser) |
| 2021-04-07 17:07:35 | × | kuribas quits (~user@ptr-25vy0i7wi7nt82wi9fp.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-04-07 17:09:09 | → | hiroaki joins (~hiroaki@2a02:908:4b18:8c40:1137:7482:fd5a:b039) |
| 2021-04-07 17:19:02 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-04-07 17:20:50 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-nyysfddoxuidbcdr) |
| 2021-04-07 17:21:25 | <fresheyeball> | is there a way to to see the history of this IRC? |
| 2021-04-07 17:22:13 | <monochrom> | see topic |
| 2021-04-07 17:22:22 | × | sz0 quits (uid110435@gateway/web/irccloud.com/x-uimgiattmedzcfdn) (Quit: Connection closed for inactivity) |
| 2021-04-07 17:23:26 | <fresheyeball> | monochrom: I don't understand |
| 2021-04-07 17:23:56 | <monochrom> | Use the /topic command, then look for the substring "Logs:", then look for the URL after. |
All times are in UTC.