Logs: liberachat/#haskell
| 2021-06-13 16:53:47 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 268 seconds) |
| 2021-06-13 16:55:38 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-06-13 16:57:07 | <teaSlurper> | in a haskel, cabal project, what's best way to execute/run individual files? |
| 2021-06-13 16:57:21 | <teaSlurper> | right now i have 1 main file under exe folder |
| 2021-06-13 16:57:32 | <teaSlurper> | and i used cabal run to execute that |
| 2021-06-13 16:58:35 | <Rembane> | teaSlurper: Add another executable section to your cabal file |
| 2021-06-13 17:00:03 | → | Guest71 joins (~Guest71@176.232.106.148) |
| 2021-06-13 17:01:38 | → | grepcake joins (~artyom@77.234.203.54) |
| 2021-06-13 17:02:58 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-13 17:03:15 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2021-06-13 17:05:22 | ← | Guest71 parts (~Guest71@176.232.106.148) () |
| 2021-06-13 17:06:03 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-06-13 17:07:34 | × | grepcake quits (~artyom@77.234.203.54) (Quit: Konversation terminated!) |
| 2021-06-13 17:12:25 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 245 seconds) |
| 2021-06-13 17:13:11 | → | carr joins (~user@2601:645:4000:db:5c42:3046:45d6:af66) |
| 2021-06-13 17:13:29 | × | iridescent quits (~iridescen@41337027.cst.lightpath.net) (Quit: Client closed) |
| 2021-06-13 17:13:59 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-13 17:14:40 | ← | carr parts (~user@2601:645:4000:db:5c42:3046:45d6:af66) () |
| 2021-06-13 17:15:06 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-06-13 17:15:15 | × | mc47 quits (~mc47@xmonad/TheMC47) (Client Quit) |
| 2021-06-13 17:15:34 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-06-13 17:16:30 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-13 17:18:21 | × | kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Quit: leaving) |
| 2021-06-13 17:18:29 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-13 17:18:38 | → | kayprish joins (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) |
| 2021-06-13 17:23:55 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-13 17:24:08 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-13 17:24:28 | × | kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Quit: leaving) |
| 2021-06-13 17:24:34 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-13 17:24:44 | → | kayprish joins (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) |
| 2021-06-13 17:26:51 | × | jasonm quits (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-06-13 17:26:54 | ← | Obo parts (~roberto@h-46-59-103-134.A498.priv.bahnhof.se) (WeeChat 2.8) |
| 2021-06-13 17:27:20 | → | Obo joins (~roberto@h-46-59-103-134.A498.priv.bahnhof.se) |
| 2021-06-13 17:27:23 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-13 17:27:28 | fjmorazan_ | is now known as fjmorazan |
| 2021-06-13 17:28:00 | <sm[m]> | bmo: yesod and servant are still the most popular and probably the best out there - one or the other will be a better fit depending on your needs. |
| 2021-06-13 17:28:03 | × | kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Client Quit) |
| 2021-06-13 17:28:03 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-13 17:28:18 | → | kayprish joins (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) |
| 2021-06-13 17:28:52 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-06-13 17:29:17 | <sm[m]> | though, what do you mean by "non-static" ? If you are building largely client-side apps, miso might be a candidate |
| 2021-06-13 17:30:01 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-13 17:30:27 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-13 17:30:28 | <jumper149> | Hi, is it possible to somehow derive MonadTrans for a newtype over 2 transformers, for example: `newtype MyT m a = MyT (ExceptT String (ReaderT Int m) a) deriving stock (...) deriving MonadTrans via ???` |
| 2021-06-13 17:32:11 | × | aerkenemesis quits (~aerkeneme@c83-252-164-58.bredband.tele2.se) (Quit: Client closed) |
| 2021-06-13 17:32:31 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-13 17:33:01 | <geekosaur> | what goes wrong if you just derive it normally with GND? |
| 2021-06-13 17:33:05 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-06-13 17:33:58 | <c_wraith> | I don't think you can GND it, because it's two layers |
| 2021-06-13 17:34:22 | <c_wraith> | But you can just write the instance by hand, it's literally lift = MyT . lift . lift |
| 2021-06-13 17:34:32 | <jumper149> | yeah GND doesn't work here |
| 2021-06-13 17:34:45 | <jumper149> | c_wraith: Surely I can, but it would be neet :p |
| 2021-06-13 17:35:26 | <jumper149> | I have it in mind for MonadTransControl too. |
| 2021-06-13 17:35:38 | <jumper149> | There it's a bit more cumbersome to write instances |
| 2021-06-13 17:35:55 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-06-13 17:36:04 | <jumper149> | And this https://hackage.haskell.org/package/monad-control-1.0.2.3/docs/Control-Monad-Trans-Control.html#v:defaultLiftWith2 |
| 2021-06-13 17:36:11 | <jumper149> | ^ doesn't work anymore with GHC 9 |
| 2021-06-13 17:36:16 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-06-13 17:36:20 | × | mc47 quits (~mc47@xmonad/TheMC47) (Client Quit) |
| 2021-06-13 17:36:21 | × | hemlock quits (~hemlock@ip72-203-188-10.tu.ok.cox.net) (Ping timeout: 264 seconds) |
| 2021-06-13 17:36:43 | <jumper149> | So I was thinking, maybe it's worth to use deriving via |
| 2021-06-13 17:37:05 | → | hemlock joins (~hemlock@2600:8804:4c0a:3200:91a4:77db:aed9:3c83) |
| 2021-06-13 17:40:28 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-06-13 17:41:43 | × | bhrgunatha quits (~bhrgunath@2001-b011-8011-27f4-086a-6ad6-9ae6-0f90.dynamic-ip6.hinet.net) (Quit: Leaving) |
| 2021-06-13 17:42:01 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds) |
| 2021-06-13 17:42:31 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-13 17:46:29 | <jumper149> | I actually just came up with this: http://ix.io/3pQs |
| 2021-06-13 17:47:13 | <jumper149> | Would enjoy seeing some opinion on that :) |
| 2021-06-13 17:47:32 | → | ent joins (entgod@kapsi.fi) |
| 2021-06-13 17:49:20 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-13 17:50:11 | × | matsurago quits (~matsurago@nttkyo1618187.tkyo.nt.ngn.ppp.infoweb.ne.jp) (Quit: Leaving) |
| 2021-06-13 17:52:03 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-13 17:53:11 | <jumper149> | and it even works for MonadTransControl http://ix.io/3pQu |
| 2021-06-13 17:54:37 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-13 17:55:37 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-13 17:56:09 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-13 17:56:10 | × | shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-06-13 17:57:44 | → | beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net) |
| 2021-06-13 17:59:02 | × | jaevanko quits (~jaevanko@2600:1700:1330:2bef:d2ba:7480:75b7:9b34) (Quit: Leaving) |
| 2021-06-13 18:03:34 | × | evie1 quits (~evie@188.27.66.89) (Quit: WeeChat 2.7.1) |
| 2021-06-13 18:08:37 | × | qbt quits (~edun@user/edun) (Ping timeout: 272 seconds) |
| 2021-06-13 18:09:04 | × | Obo quits (~roberto@h-46-59-103-134.A498.priv.bahnhof.se) (Quit: WeeChat 2.8) |
| 2021-06-13 18:09:19 | → | Obo joins (~roberto@h-46-59-103-134.A498.priv.bahnhof.se) |
| 2021-06-13 18:12:46 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-06-13 18:13:22 | × | Guest9 quits (~Guest9@103.240.169.98) (Quit: Connection closed) |
| 2021-06-13 18:13:53 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-13 18:14:17 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-06-13 18:14:36 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-06-13 18:16:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-13 18:20:00 | charukiewicz_ | is now known as charukiewicz |
| 2021-06-13 18:20:09 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-13 18:20:48 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-13 18:20:54 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-13 18:24:33 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-06-13 18:25:06 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-06-13 18:25:11 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-13 18:25:11 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-13 18:28:02 | <dminuoso> | jumper149: Why wouldn't it work with GHC 9 anymor |
| 2021-06-13 18:28:04 | × | P1RATEZ quits (piratez@user/p1ratez) () |
| 2021-06-13 18:28:40 | <dminuoso> | jumper149: Is that even worth it? What are you saving? |
All times are in UTC.