Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 485 486 487 488 489 490 491 492 493 494 495 .. 5022
— 502,152 events total
2020-10-07 12:20:03 × livvy quits (~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds)
2020-10-07 12:20:35 × shatriff quits (~vitaliish@88.155.140.206) (Remote host closed the connection)
2020-10-07 12:21:22 → Tops2 joins (~Tobias@dyndsl-095-033-024-193.ewe-ip-backbone.de)
2020-10-07 12:24:15 → chele joins (~chele@2a02:8106:1:f900:faca:b8ff:fe2f:8499)
2020-10-07 12:24:20 × mmohammadi981266 quits (~mmohammad@5.238.172.236) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-10-07 12:27:00 <cpressey> Is it possible to use a plain ADT rather than a GADT when defining a monad using the `operational` package?
2020-10-07 12:33:53 × hsiktas[m] quits (hsiktasmat@gateway/shell/matrix.org/x-swwdiwiqrmlcrxph) (Quit: killed)
2020-10-07 12:33:53 × fgaz quits (fgazmatrix@gateway/shell/matrix.org/x-kilclvemwjkbjcdc) (Quit: killed)
2020-10-07 12:33:53 × hnOsmium0001[m] quits (hnosmium00@gateway/shell/matrix.org/x-iqbptzjvyhqjyctl) (Quit: killed)
2020-10-07 12:33:55 × jeffcasavant[m] quits (jeffcasava@gateway/shell/matrix.org/x-hmrlrnakwcyeqokv) (Quit: killed)
2020-10-07 12:33:59 × drozdziak1 quits (drozdziak1@gateway/shell/matrix.org/x-sjsrnouamiaxipfm) (Quit: killed)
2020-10-07 12:34:00 × rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-iwlzundtzequgzee) (Quit: killed)
2020-10-07 12:34:00 × maralorn quits (maralornma@gateway/shell/matrix.org/x-aoxblgoncgxjmpkk) (Quit: killed)
2020-10-07 12:34:00 × domenkozar[m] quits (domenkozar@NixOS/user/domenkozar) (Quit: killed)
2020-10-07 12:34:02 × alexfmpe quits (alexfmpema@gateway/shell/matrix.org/x-armmrcevlxedikov) (Quit: killed)
2020-10-07 12:34:02 × siraben quits (sirabenmat@gateway/shell/matrix.org/x-zlvwcpsxsnpcahft) (Quit: killed)
2020-10-07 12:34:02 × kadoban quits (kadobanmat@gateway/shell/matrix.org/x-jdkdmdayzlobouuw) (Quit: killed)
2020-10-07 12:34:02 × sepp2k quits (sepp2kmatr@gateway/shell/matrix.org/x-lbtonlktiyoqtrpk) (Quit: killed)
2020-10-07 12:34:05 × sm[m] quits (simonmicma@gateway/shell/matrix.org/x-dnjzamvubpkljbdv) (Quit: killed)
2020-10-07 12:34:06 × theduke quits (thedukem1@gateway/shell/matrix.org/x-tcbncmkaetcradmc) (Quit: killed)
2020-10-07 12:34:06 × lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-mgiougcltykvpgks) (Quit: killed)
2020-10-07 12:34:07 × vaibhavsagar quits (vaibhavsag@gateway/shell/matrix.org/x-uujnimdcokvefwmq) (Quit: killed)
2020-10-07 12:34:07 × pqwy[m]1 quits (pqwymatrix@gateway/shell/matrix.org/x-xmdgkqmgtiqeqonc) (Quit: killed)
2020-10-07 12:34:07 × steve[m]2 quits (stevetrout@gateway/shell/matrix.org/x-pdxujagzftttmnst) (Quit: killed)
2020-10-07 12:34:07 × texasmynsted[m] quits (mmynstedko@gateway/shell/matrix.org/x-bkszosvvokirdutd) (Quit: killed)
2020-10-07 12:34:08 × mikr[m] quits (mikrdavral@gateway/shell/matrix.org/x-vlcvbwznoqddmtij) (Quit: killed)
2020-10-07 12:34:08 × Fernando-Basso[m quits (fernando-b@gateway/shell/matrix.org/x-uztapoiqhwkucfsg) (Quit: killed)
2020-10-07 12:34:09 × albestro[m] quits (albestroma@gateway/shell/matrix.org/x-qamsuycvcanzesor) (Quit: killed)
2020-10-07 12:34:10 × betrion[m] quits (betrionmat@gateway/shell/matrix.org/x-tjxgyeybsclgeokh) (Quit: killed)
2020-10-07 12:34:10 × jlv quits (jlvjustinl@gateway/shell/matrix.org/x-kfyudgxfehnncdjq) (Quit: killed)
2020-10-07 12:34:10 × dyniec[m] quits (dyniecmatr@gateway/shell/matrix.org/x-ecfohlvdcvbghbdf) (Quit: killed)
2020-10-07 12:34:10 × gmind[m] quits (gmindmatri@gateway/shell/matrix.org/x-xbxgoalkishimjic) (Quit: killed)
2020-10-07 12:34:11 × CaptainFox[m] quits (onianimatr@gateway/shell/matrix.org/x-afvmemlusngzinxu) (Quit: killed)
2020-10-07 12:34:11 × DavSanchez[m]1 quits (davsanchez@gateway/shell/matrix.org/x-oppjybenvaexbwaj) (Quit: killed)
2020-10-07 12:34:13 × ciderpunx[m] quits (ciderpunxm@gateway/shell/matrix.org/x-tppxydebwmzeidan) (Quit: killed)
2020-10-07 12:34:13 × ethercrow[m] quits (ethercrowm@gateway/shell/matrix.org/x-mipuhniwhozkskxo) (Quit: killed)
2020-10-07 12:34:13 × bonvoyage[m]11 quits (bonvoyageu@gateway/shell/matrix.org/x-xlbynwhsaluwujmn) (Quit: killed)
2020-10-07 12:34:13 × psydruid quits (psydruidma@gateway/shell/matrix.org/x-zmirtmcuzxwhvczz) (Quit: killed)
2020-10-07 12:34:13 × jkaye[m] quits (jkayematri@gateway/shell/matrix.org/x-xibdbttwtjjbthkv) (Quit: killed)
2020-10-07 12:34:13 × sureyeaah quits (shauryab98@gateway/shell/matrix.org/x-hoohggsnwpuhljzi) (Quit: killed)
2020-10-07 12:34:14 × nihilazo quits (nihilazoma@gateway/shell/matrix.org/x-bfhysqnthnkkkyqj) (Quit: killed)
2020-10-07 12:34:14 × chreekat[m]1 quits (chreekatma@gateway/shell/matrix.org/x-ibewbadsrcqnctfw) (Quit: killed)
2020-10-07 12:34:14 × unclechu quits (unclechuma@gateway/shell/matrix.org/x-cpldnwvuqpqtgahy) (Quit: killed)
2020-10-07 12:34:14 × jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-dytikvjqsilohedp) (Quit: killed)
2020-10-07 12:34:15 × materialfuture[m quits (materialfu@gateway/shell/matrix.org/x-npxsmoygxswgzvnn) (Quit: killed)
2020-10-07 12:34:16 × JoelMcCracken[m] quits (joelmccrac@gateway/shell/matrix.org/x-nmxpzgkyreszwsoo) (Quit: killed)
2020-10-07 12:34:17 × Guest77330 quits (jbjiribene@gateway/shell/matrix.org/x-klbutzrslfjoiooq) (Quit: killed)
2020-10-07 12:34:17 × GuillaumeChrel[m quits (guillaumec@gateway/shell/matrix.org/x-kyytvilbqkccelxo) (Quit: killed)
2020-10-07 12:34:17 × mmynsted[m] quits (mmynstedtc@gateway/shell/matrix.org/x-zaildyuiusfkwsag) (Quit: killed)
2020-10-07 12:34:17 × themsay[m] quits (themsaymat@gateway/shell/matrix.org/x-nqzuuncfdzjshmrp) (Quit: killed)
2020-10-07 12:34:17 × tttom[m] quits (tttommatri@gateway/shell/matrix.org/x-adhyifuyanfymgvo) (Quit: killed)
2020-10-07 12:34:17 × alvinsj[m] quits (alvinsjmat@gateway/shell/matrix.org/x-iedunhycfauwrdat) (Quit: killed)
2020-10-07 12:34:17 × ffl^ quits (ffl@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-07 12:34:17 × io_r_us[m] quits (commandlin@gateway/shell/matrix.org/x-kjrwesnzoyenqgzx) (Quit: killed)
2020-10-07 12:34:17 × lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-rosqvrjyauthsfym) (Quit: killed)
2020-10-07 12:34:18 × johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-xczqbcixpmjhwvre) (Quit: killed)
2020-10-07 12:34:18 × srid quits (sridmatrix@gateway/shell/matrix.org/x-zqttickmrfyduksr) (Quit: killed)
2020-10-07 12:34:18 × michaelpj1 quits (michaelpjm@gateway/shell/matrix.org/x-bmrqrkqdmdnabvkc) (Quit: killed)
2020-10-07 12:34:18 × PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-lcuapfbpkatzswxh) (Quit: killed)
2020-10-07 12:34:18 × ThaEwat quits (thaewraptm@gateway/shell/matrix.org/x-mopjnwlxyxbzydyc) (Quit: killed)
2020-10-07 12:34:18 × iinuwa1 quits (iinuwamatr@gateway/shell/matrix.org/x-vozqawbtzhuizygn) (Quit: killed)
2020-10-07 12:34:18 × Ericson2314 quits (ericson231@gateway/shell/matrix.org/x-tddshmiwufwouryw) (Quit: killed)
2020-10-07 12:35:18 → ffl^ joins (ffl@ip98-184-89-2.mc.at.cox.net)
2020-10-07 12:35:53 <dminuoso> cpressey: https://themonadreader.files.wordpress.com/2010/01/issue15.pdf
2020-10-07 12:36:46 × Boarders quits (sid425905@gateway/web/irccloud.com/x-kltbqwzwpqsqtnup) (Ping timeout: 246 seconds)
2020-10-07 12:37:49 → Boarders joins (sid425905@gateway/web/irccloud.com/x-omcnempmanutwmqx)
2020-10-07 12:39:07 → avdb joins (~avdb@ip-62-235-189-65.dsl.scarlet.be)
2020-10-07 12:40:49 → kbse[m] joins (kbsematrix@gateway/shell/matrix.org/x-zolbnfdgknvjizjy)
2020-10-07 12:40:54 <dminuoso> You need the existentials
2020-10-07 12:41:58 <dminuoso> Unless you restrict yourself to have uniform monadic results
2020-10-07 12:44:29 <kuribas> is there a threeway Maybe type for Aeson, that gives a different result for: - null - not present, and present and not null?
2020-10-07 12:44:49 × Clough quits (~Cain@27-33-147-252.static.tpgi.com.au) (Ping timeout: 246 seconds)
2020-10-07 12:45:19 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-07 12:47:25 × shafox quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-07 12:47:36 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-07 12:47:58 hackage postie 0.6.0.2 - SMTP server library to receive emails from within Haskell programs. https://hackage.haskell.org/package/postie-0.6.0.2 (malvo)
2020-10-07 12:48:31 → shafox joins (~shafox@106.51.234.111)
2020-10-07 12:49:26 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 256 seconds)
2020-10-07 12:51:25 → livvy joins (~livvy@gateway/tor-sasl/livvy)
2020-10-07 12:51:45 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-07 12:52:03 → phaul joins (~phaul@ruby/staff/phaul)
2020-10-07 12:53:45 <cpressey> dminuoso: OK. Thank you. I expect the same is the case for the `MonadPrompt` package, which is quite similar.
2020-10-07 12:54:06 <sim590> kuribas: there's a 3-possibilities type called These which has constructors (These a b), (This a) and (That a). I don,t know if that helps your precise case?
2020-10-07 12:54:38 <kuribas> sim590: not really
2020-10-07 12:54:43 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-czqzwifwdwgxyvlx)
2020-10-07 12:54:55 <kuribas> I want more like, Null | Missing | Val a
2020-10-07 12:54:59 <sim590> Yeah. I'm not really familiar with what Aeson is.
2020-10-07 12:55:05 → frdg joins (60e94035@pool-96-233-64-53.bstnma.fios.verizon.net)
2020-10-07 12:55:08 <kuribas> Aeson is a json parser
2020-10-07 12:56:05 → Vogone joins (~Vogone@195.206.169.184)
2020-10-07 12:56:54 → themsay[m] joins (themsaymat@gateway/shell/matrix.org/x-jlhxzzruldlhmmgy)
2020-10-07 12:56:54 → alvinsj[m] joins (alvinsjmat@gateway/shell/matrix.org/x-jqdmywmvtnmoacsc)
2020-10-07 12:56:54 → JoelMcCracken[m] joins (joelmccrac@gateway/shell/matrix.org/x-sbadlxunmwfvpibq)
2020-10-07 12:56:54 → srid joins (sridmatrix@gateway/shell/matrix.org/x-znyovjxuqshvxpdw)
2020-10-07 12:56:55 → sm[m] joins (simonmicma@gateway/shell/matrix.org/x-yvxnqtqblglugklz)
2020-10-07 12:56:55 → psydruid joins (psydruidma@gateway/shell/matrix.org/x-qycprfpnsgiilolx)
2020-10-07 12:56:55 → iinuwa joins (iinuwamatr@gateway/shell/matrix.org/x-rwunwqpobfulimir)
2020-10-07 12:56:55 → bonvoyage[m] joins (bonvoyageu@gateway/shell/matrix.org/x-hymtyjvtcgjioftl)
2020-10-07 12:56:55 → ThaEwat joins (thaewraptm@gateway/shell/matrix.org/x-kcvetqrftbkjcjnk)
2020-10-07 12:56:55 → rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-fljfbjfqcfnnurou)
←Prev  Next→
Page 1 .. 485 486 487 488 489 490 491 492 493 494 495 .. 5022

All times are in UTC.