Logs: freenode/#haskell
| 2021-03-10 09:35:25 | <merijn> | ADG1089__: turn it into a function :p |
| 2021-03-10 09:35:32 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 2021-03-10 09:35:51 | → | kuribas joins (~user@ptr-25vy0i7qqmcrk0iummz.18120a2.ip6.access.telenet.be) |
| 2021-03-10 09:35:57 | × | aggin quits (~ecm@103.88.87.70) (Quit: WeeChat 3.0.1) |
| 2021-03-10 09:36:04 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-10 09:37:28 | <mananamenos> | Hi, I have this pseudo code snippet https://gist.github.com/mananamenos/1fba33e62e0df088205c9c7b183ae2cd. So in AppM I call functions (get, post..) which take a parameter of type HandlerM, so I cannot wrap my AppM into my custom ReaderT monad, cause then there is no way those HandlerM paramaters of get function could use the same ReaderT. Therefore the snippet: every endpoint now has to call `runReaderT`. Is this ok? Can |
| 2021-03-10 09:37:28 | <mananamenos> | I write this better? |
| 2021-03-10 09:37:31 | × | rameau quits (~mirc.one1@196.75.212.214) (Remote host closed the connection) |
| 2021-03-10 09:38:35 | → | ph88 joins (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) |
| 2021-03-10 09:46:38 | → | m2rrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 2021-03-10 09:47:53 | × | mimi_vx quits (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Quit: WeeChat 3.1) |
| 2021-03-10 09:48:24 | <ADG1089__> | merijn: I introduced a bogus parameter which wasn't being used, but I thing ghc detected that and did not evaluate the function again. getting runtime in nanoseconds for functions that take few seconds. Actually it would be better to call them constants |
| 2021-03-10 09:49:31 | × | mirrorbird quits (~dwsjeid91@91.193.4.10) (Ping timeout: 276 seconds) |
| 2021-03-10 09:49:35 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-03-10 09:50:14 | → | mirrorbird joins (~dwsjeid91@2a00:801:3f8:23a5:cea1:f987:d427:ba9b) |
| 2021-03-10 09:50:30 | → | DavidEichmann joins (~david@234.109.45.217.dyn.plus.net) |
| 2021-03-10 09:51:59 | × | motherfsck quits (~motherfsc@unaffiliated/motherfsck) (Read error: Connection reset by peer) |
| 2021-03-10 09:52:42 | × | m2rrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Ping timeout: 246 seconds) |
| 2021-03-10 09:53:23 | × | argento quits (~argent0@168.227.97.23) (Ping timeout: 245 seconds) |
| 2021-03-10 09:57:54 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:f5c0:50eb:5dcd:a8d4) |
| 2021-03-10 10:00:19 | → | joseph2 joins (~joseph@cpe-24-208-140-96.insight.res.rr.com) |
| 2021-03-10 10:01:05 | → | CodeAlways joins (uid272474@gateway/web/irccloud.com/x-qnrftuddbqltquxi) |
| 2021-03-10 10:03:12 | × | joseph1 quits (~joseph@cpe-65-31-18-174.insight.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-03-10 10:04:18 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-03-10 10:05:09 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-03-10 10:07:11 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-03-10 10:08:44 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-10 10:13:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds) |
| 2021-03-10 10:14:29 | → | motherfsck joins (~motherfsc@unaffiliated/motherfsck) |
| 2021-03-10 10:24:45 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 2021-03-10 10:25:58 | <jacks2> | ADG1089__, if it doesn't accept any arguments it isn't a function. what's the actual type? |
| 2021-03-10 10:32:18 | <tomsmeding> | mananamenos: not it looks fine to me, to be honest |
| 2021-03-10 10:32:46 | <tomsmeding> | if you like more magic, you could try to use the mtl approach, where you let functions work in a typeclass-ed monad |
| 2021-03-10 10:34:18 | <mananamenos> | tomsmeding, thank you. Right, this is what I'm actually reading/looking about right now xD |
| 2021-03-10 10:35:26 | <tomsmeding> | mananamenos: though on second thoughts, I'm not sure that will help you much here; your problem is the other way round: it's not a function in monad m that you want to call in a larger monad m', but a function that _takes_ an argument in monad m that you'd like to instead provide an argument of a larger monad m' |
| 2021-03-10 10:35:32 | <tomsmeding> | in general that can't work, of course |
| 2021-03-10 10:36:08 | <tomsmeding> | as an extreme example, a function that wants an argument in the Reader monad can't be massaged to take an argument in IO, in general |
| 2021-03-10 10:36:20 | × | loyon quits (loyonmatri@gateway/shell/matrix.org/x-pnufdayfznwnuums) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:22 | × | hsiktas[m] quits (hsiktasmat@gateway/shell/matrix.org/x-cyaabyhfuyvoxqpo) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:23 | × | kadoban quits (kadobanemp@gateway/shell/matrix.org/x-jmopghdotibeqpvo) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:23 | × | JaakkoLuttinen[m quits (jluttinema@gateway/shell/matrix.org/x-nsopxdhafmyjbgcc) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:23 | × | fgaz quits (fgazmatrix@gateway/shell/matrix.org/x-yguyfyqjremfbkfs) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:23 | × | heck-to-the-gnom quits (heck-to-th@gateway/shell/matrix.org/x-gsusihhksyxhkmvx) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:25 | × | sigmacool[m] quits (sigmacoolm@gateway/shell/matrix.org/x-hrctfofefschsgwh) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:25 | × | simara[m] quits (simaramatr@gateway/shell/matrix.org/x-dckaxkaaasuvaumo) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:25 | × | jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-nemjmawtxnucncbk) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:25 | × | immae quits (immaematri@gateway/shell/matrix.org/x-kanozzlnyfzodeoe) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:25 | × | sm[m] quits (simonmicma@gateway/shell/matrix.org/x-kfjwhkilnrmtiqzr) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:25 | × | unclechu quits (unclechuma@gateway/shell/matrix.org/x-uxortgpodmpgutfq) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:25 | × | DamienCassou quits (damiencass@gateway/shell/matrix.org/x-kigjdqwdwvpjebga) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:25 | × | meff[m]1 quits (meffsunado@gateway/shell/matrix.org/x-bhggmttmkrzvyggc) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:25 | × | pineapples[m] quits (pineapples@gateway/shell/matrix.org/x-yodeebrpycxvvfhd) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:27 | × | darkcodi[m] quits (darkcodima@gateway/shell/matrix.org/x-xjmhgcxlpysirlzx) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:27 | × | Ericson2314 quits (ericson231@gateway/shell/matrix.org/x-mqrfmtvzohzxsodp) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:27 | × | ManofLetters[m] quits (manoflette@gateway/shell/matrix.org/x-xhemtjphkmydmucx) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | pqwy[m] quits (pqwymatrix@gateway/shell/matrix.org/x-nmamuvshyesecffd) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | srid quits (sridmatrix@gateway/shell/matrix.org/x-xlwlcbjfdgaskbuc) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-yluorskaumyihrcn) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | beardhatcode quits (robbertbea@gateway/shell/matrix.org/x-fucrwzurqfdnkyfb) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | CrabMan quits (phi-matrix@gateway/shell/matrix.org/x-elrhfvlhlcoczwse) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | MichaelHoffmannb quits (brisadmozi@gateway/shell/matrix.org/x-xmqzxkgsheepjdjp) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-zvkdvuuatxmtttsb) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | ThaEwat quits (thaewraptm@gateway/shell/matrix.org/x-gtizoflguipwdywi) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | Lurkki[m]1 quits (lurkkifene@gateway/shell/matrix.org/x-yfuidztsaefpfasv) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | jkaye[m] quits (jkayematri@gateway/shell/matrix.org/x-qffksefpcbeofquc) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | Lurkki[m] quits (lurkkipriv@gateway/shell/matrix.org/x-svjjpwzvvfaqofmn) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-qyukuwejrzhlrohq) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | Robin[m]2 quits (robinrobin@gateway/shell/matrix.org/x-cmsislyvxyumkemg) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | utdemir[m] quits (utdemirmat@gateway/shell/matrix.org/x-gpwaueemnpfdcwea) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | Hanma[m] quits (hanmamatri@gateway/shell/matrix.org/x-pkofqmewlpdcrykb) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | toasty_avocado[m quits (toastyavoc@gateway/shell/matrix.org/x-rilvilfetmqcjeab) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | × | mly[m] quits (mlydisenco@gateway/shell/matrix.org/x-vsddcgdrozvrcpfd) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:28 | <mananamenos> | tomsmeding, the biggest advantage of this mtl, typeclass-ed monad approach is that you dont hardcode your readerT right until the last step right? and then you change the implementation of the readerT to another underlying monad for test purpose for example? |
| 2021-03-10 10:36:29 | × | plumenator[m] quits (plumenator@gateway/shell/matrix.org/x-wsciyhumoeseodpa) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:29 | × | jerin quits (jerinmatri@gateway/shell/matrix.org/x-mzzaywiqoeclvrmt) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:29 | × | sramsay64[m] quits (sramsay64p@gateway/shell/matrix.org/x-yvgptxnhoswmcqba) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:29 | × | michaelpj quits (michaelpjm@gateway/shell/matrix.org/x-peeuxxsdomqfhtbj) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:30 | × | anon1891[m] quits (anon1891ma@gateway/shell/matrix.org/x-gkpezsilaexknhmv) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:30 | × | kadobanana quits (kadoban9he@gateway/shell/matrix.org/x-gliltzokamjplayu) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:30 | × | speakerspivakeem quits (speakerdea@gateway/shell/matrix.org/x-nplqxycskjtzpnfg) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:30 | × | maerwald[m] quits (maerwaldma@gateway/shell/matrix.org/x-hmfxsgugtuaqfrpt) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:30 | × | my_name_is_not_j quits (mynameisno@gateway/shell/matrix.org/x-kjoeodzseshxepvl) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:30 | × | psydruid quits (psydruidma@gateway/shell/matrix.org/x-ctzchnfbikopgirx) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:30 | × | M53K5HUN_8[m] quits (M53k5hun8m@gateway/shell/matrix.org/x-uoztttdwldeuechk) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:30 | × | siraben quits (sirabenmat@gateway/shell/matrix.org/x-ljnrpkuqhybjbqrm) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:30 | × | rust-rocks[m] quits (rust-rocks@gateway/shell/matrix.org/x-gcvobzthaxbvupil) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:30 | × | enya[m] quits (enyaismatr@gateway/shell/matrix.org/x-saaasqrjbmlqfwhw) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:31 | <tomsmeding> | the thing here is that Reader is fairly innocuous, and in fact you can eliminate it directly here |
| 2021-03-10 10:36:32 | × | bitonic quits (bitonicmat@gateway/shell/matrix.org/x-xolbnvrpcfpyxhwo) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:32 | × | mjlbach quits (atriusmatr@gateway/shell/matrix.org/x-nddsubvqwkcbmidr) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:33 | × | alar[m] quits (alarmxalat@gateway/shell/matrix.org/x-btirhtujftoyatyv) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:33 | × | joe[m]3 quits (joemonoida@gateway/shell/matrix.org/x-heehkpixvzbakbkb) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:33 | × | lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-nqikzoyzzbkxkkev) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:33 | × | VarikValefor[m] quits (varikvalef@gateway/shell/matrix.org/x-hkuasadpkiomztte) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:33 | × | alecs[m] quits (malumorema@gateway/shell/matrix.org/x-dipfcuykpbkbqeke) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:34 | × | jeffcasavant[m]1 quits (jeffcasava@gateway/shell/matrix.org/x-romdayesernblvyy) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:34 | × | alexfmpe quits (alexfmpema@gateway/shell/matrix.org/x-cseojiaisucumjfd) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:36 | × | lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-jiodvserklaqeevq) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:38 | × | maralorn quits (maralornma@gateway/shell/matrix.org/x-uxbseyfakmhjsikg) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-10 10:36:38 | × | the_1_[m] quits (the1matrix@gateway/shell/matrix.org/x-azpuapzwzrdxqaxc) (Quit: Bridge terminating on SIGTERM) |
All times are in UTC.