Logs: freenode/#haskell
| 2021-03-26 18:45:18 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-26 18:45:56 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-03-26 18:46:17 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-26 18:46:22 | → | frozenErebus joins (~frozenEre@94.128.81.87) |
| 2021-03-26 18:46:54 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-26 18:47:39 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Client Quit) |
| 2021-03-26 18:48:27 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-03-26 18:49:50 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-03-26 18:49:55 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-26 18:50:16 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Ping timeout: 240 seconds) |
| 2021-03-26 18:50:42 | <ukari> | I noticed that fused-effects has some exception related functions, is there any benefit to do the error processing in a effect framework? |
| 2021-03-26 18:51:53 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-03-26 18:52:02 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-26 18:52:17 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-26 18:54:02 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-03-26 18:56:26 | × | frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 240 seconds) |
| 2021-03-26 18:58:31 | → | frozenErebus joins (~frozenEre@94.128.81.87) |
| 2021-03-26 18:58:47 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-03-26 18:59:05 | × | idhugo_ quits (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 2021-03-26 19:00:31 | → | fendor joins (~fendor@178.115.128.9.wireless.dyn.drei.com) |
| 2021-03-26 19:02:38 | × | fendor_ quits (~fendor@178.165.129.109.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-03-26 19:06:11 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-03-26 19:10:46 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds) |
| 2021-03-26 19:11:17 | → | kupi joins (uid212005@gateway/web/irccloud.com/x-liltwjwdbyukjqkf) |
| 2021-03-26 19:11:43 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-26 19:12:29 | → | Wuzzy joins (~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) |
| 2021-03-26 19:13:49 | → | georgewhite joins (~georgewhi@2a00:23c6:2f08:1100:6cbe:5b84:e8f4:20ce) |
| 2021-03-26 19:14:46 | × | tsaka__ quits (~torstein@2a02:587:1b14:af00:7b99:870e:286b:27aa) (Ping timeout: 240 seconds) |
| 2021-03-26 19:14:49 | × | jakobrs quits (~user@178.92-220-14.customer.lyse.net) (Quit: WeeChat 3.0) |
| 2021-03-26 19:15:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-26 19:15:08 | → | tsaka__ joins (~torstein@2a02:587:1b11:6000:3679:6212:ccf6:706f) |
| 2021-03-26 19:15:26 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:c89b:d650:ef2f:7e78) |
| 2021-03-26 19:15:58 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 2021-03-26 19:16:33 | × | electricityZZZZ quits (~electrici@135-180-3-82.static.sonic.net) (Read error: Connection reset by peer) |
| 2021-03-26 19:16:54 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-26 19:19:23 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 2021-03-26 19:19:46 | × | frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 240 seconds) |
| 2021-03-26 19:20:12 | → | electricityZZZZ joins (~electrici@135-180-3-82.static.sonic.net) |
| 2021-03-26 19:20:52 | × | jespada_ quits (~jespada@90.254.243.187) (Quit: Leaving) |
| 2021-03-26 19:21:51 | → | fendor_ joins (~fendor@91.141.3.198.wireless.dyn.drei.com) |
| 2021-03-26 19:23:57 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 258 seconds) |
| 2021-03-26 19:24:11 | × | fendor quits (~fendor@178.115.128.9.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-03-26 19:25:36 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-26 19:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 2021-03-26 19:26:39 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-zbdmgvvkmwccqscd) |
| 2021-03-26 19:29:52 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-cywskmhzzerhrnmx) |
| 2021-03-26 19:30:27 | → | frozenErebus joins (~frozenEre@94.128.81.87) |
| 2021-03-26 19:30:34 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Remote host closed the connection) |
| 2021-03-26 19:31:12 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 2021-03-26 19:34:52 | → | Zone77xx joins (Zone77xx@gateway/vpn/privateinternetaccess/zone77xx) |
| 2021-03-26 19:35:21 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 245 seconds) |
| 2021-03-26 19:37:47 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-26 19:39:58 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 2021-03-26 19:39:58 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-03-26 19:40:20 | × | tpefreedom quits (~tsomers@184-157-240-110.dyn.centurytel.net) (Quit: Leaving) |
| 2021-03-26 19:43:01 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) |
| 2021-03-26 19:44:56 | → | mananamenos joins (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
| 2021-03-26 19:48:31 | × | chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-03-26 19:51:07 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 2021-03-26 19:53:51 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:e589:d5cd:80fb:258d) (Ping timeout: 258 seconds) |
| 2021-03-26 19:54:46 | hackage | scroll-list 1.0.0.0 - This package provides functions for relocate an item within a list. https://hackage.haskell.org/package/scroll-list-1.0.0.0 (fesanmar) |
| 2021-03-26 19:56:41 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-26 19:57:34 | <NemesisD> | what is the purpose of the (->) r instance of Monad? |
| 2021-03-26 19:58:20 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-26 19:58:48 | <geekosaur> | showing off >.> |
| 2021-03-26 19:59:06 | <geekosaur> | it's a Reader without the newtype |
| 2021-03-26 19:59:41 | <maerwald> | there was a quickcheck example somewhere in haddock accidentially using that instance and thus creating a bug |
| 2021-03-26 20:00:13 | <maerwald> | so much for type safety :p |
| 2021-03-26 20:00:28 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-03-26 20:00:59 | <NemesisD> | i'm trying to compose a bunch of functions sequentially in monad syntax and my code actually compiled with that instance but basically only used the last line of the monad. i'm wondering if there's a better way |
| 2021-03-26 20:02:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-26 20:03:17 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-26 20:03:39 | <geekosaur> | sounds like you used it wrong, you want >>= not >> |
| 2021-03-26 20:05:14 | <NemesisD> | yeah. i guess what i'm looking for is a way to sequentially compose several A -> A in monad syntax in a way that the monad passes in the incremental result to each action in the monad |
| 2021-03-26 20:06:52 | <NemesisD> | foo, bar :: A -> A; baz :: A -> A; baz = do foo; if cond then bar else id |
| 2021-03-26 20:07:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 2021-03-26 20:08:00 | <geekosaur> | that's what I meant by >>= vs. >> |
| 2021-03-26 20:08:15 | <geekosaur> | each semicolon is a >>, which means the results are *not* chained |
| 2021-03-26 20:08:51 | <NemesisD> | yeah, i think (->) is the wrong monad then. if i have to use >>= to thread things through i may as well not do it at all |
| 2021-03-26 20:09:38 | → | desophos joins (~desophos@2601:249:1680:a570:41ae:9414:653c:8c31) |
| 2021-03-26 20:10:06 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-divpzqxlqbtjqwfq) (Quit: Connection closed for inactivity) |
| 2021-03-26 20:11:49 | <NemesisD> | i think what i've got here is an endomorphism right? |
| 2021-03-26 20:11:50 | × | average quits (uid473595@gateway/web/irccloud.com/x-vfuwwhtirtsamgdh) (Quit: Connection closed for inactivity) |
| 2021-03-26 20:15:09 | <geekosaur> | actually what's going on is the same value is passed in to all the functions. (again, compare Reader) |
| 2021-03-26 20:15:49 | <geekosaur> | if you want an endomorphism, there's newtype Endo but that's a monoid, not a monad |
| 2021-03-26 20:16:18 | geekosaur | is getting out of his depth though, so take some of this with a grain of salt |
| 2021-03-26 20:17:42 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection) |
| 2021-03-26 20:18:19 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 2021-03-26 20:18:36 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 2021-03-26 20:19:16 | hackage | apply-unordered 1.0 - Apply a function to an argument specified by a type level Nat https://hackage.haskell.org/package/apply-unordered-1.0 (MichaelSloan) |
| 2021-03-26 20:19:39 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Remote host closed the connection) |
| 2021-03-26 20:19:53 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 2021-03-26 20:20:08 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-26 20:20:16 | hackage | apply-unordered-mono 1.0 - Apply functions to arguments in an unordered type-directed fashion https://hackage.haskell.org/package/apply-unordered-mono-1.0 (MichaelSloan) |
| 2021-03-26 20:22:29 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 245 seconds) |
| 2021-03-26 20:22:41 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 2021-03-26 20:22:45 | → | average joins (uid473595@gateway/web/irccloud.com/x-yeliqztanvhgdqqg) |
| 2021-03-26 20:32:38 | × | georgewhite quits (~georgewhi@2a00:23c6:2f08:1100:6cbe:5b84:e8f4:20ce) (Remote host closed the connection) |
| 2021-03-26 20:33:30 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-03-26 20:34:47 | × | Guest33172 quits (~sdrodge@unaffiliated/sdrodge) (Quit: WeeChat 3.0) |
All times are in UTC.