Newest at the top
| 2025-11-01 14:30:08 +0100 | <tomsmeding> | I don't think there's an extension that'll get you that automatically |
| 2025-11-01 14:29:58 +0100 | Zemy | (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-11-01 14:29:39 +0100 | <tomsmeding> | I see |
| 2025-11-01 14:29:35 +0100 | <mreh> | I'm getting over a cold, so I might be typing gibberish |
| 2025-11-01 14:29:25 +0100 | <mreh> | instance MonadReader e m => MonadReader e (MemoT m) -- instance I want |
| 2025-11-01 14:28:31 +0100 | <mreh> | newtype MemoT m a = MemoT { unMemoT :: ReaderT e m a } -- roughly |
| 2025-11-01 14:28:08 +0100 | <[exa]> | yeah it looks like this should be obviously Just Working, so there's going to be something to realize over the code |
| 2025-11-01 14:27:26 +0100 | <tomsmeding> | because it doesn't to me :P |
| 2025-11-01 14:27:19 +0100 | <tomsmeding> | please post your type and the instance that you want to generate |
| 2025-11-01 14:26:45 +0100 | Zemy_ | (~Zemy@12.50.228.210) |
| 2025-11-01 14:26:17 +0100 | Googulator29 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-01 14:26:09 +0100 | <mreh> | is this making any sense? |
| 2025-11-01 14:25:49 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-01 14:25:37 +0100 | <mreh> | where t is my transformer |
| 2025-11-01 14:24:54 +0100 | <mreh> | I was thinking there's an instance for MonadReader for ReaderT other than the obvious. I'm wrapping ReaderT in a newtype to create a new monad transformer, but I want a MonadReader instance where MonadReadr m => t m a. |
| 2025-11-01 14:24:42 +0100 | <[exa]> | (my understanding now is that you want "undo" the specifics added by that newtype of yours?) |
| 2025-11-01 14:23:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-01 14:22:42 +0100 | <[exa]> | mreh: perhaps what's the higher-level goal? |
| 2025-11-01 14:22:27 +0100 | <mreh> | I think I'm probably confused |
| 2025-11-01 14:21:41 +0100 | <tomsmeding> | and though I'm not 100% clear on what you want, it sounds like you don't want that |
| 2025-11-01 14:21:30 +0100 | <tomsmeding> | that's just a steerable GeneralizedNewtypeDeriving |
| 2025-11-01 14:21:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-01 14:21:17 +0100 | <tomsmeding> | DerivingVia specifically, I guess you mean? |
| 2025-11-01 14:21:02 +0100 | <mreh> | tomsmeding: yeah, and using DerivingStrategies? |
| 2025-11-01 14:20:41 +0100 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-01 14:20:39 +0100 | Googulator29 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-01 14:20:17 +0100 | <tomsmeding> | though I would be more explicit and write a separate instance declaration without a body |
| 2025-11-01 14:20:07 +0100 | <tomsmeding> | mreh: DeriveAnyClass? |
| 2025-11-01 14:18:38 +0100 | Zemy_ | (~Zemy@2600:100c:b0a4:2639:f8b1:8ff:fe9d:828a) (Ping timeout: 256 seconds) |
| 2025-11-01 14:18:25 +0100 | <mreh> | I've got a newtype over ReaderT, but I want to derive a generic MonadReader instance |
| 2025-11-01 14:17:57 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-01 14:17:46 +0100 | <mreh> | is there an extension to tell GHC to derive an instance via the class defaults rather than somethinge else, like StandaloneNewtypeDeriving |
| 2025-11-01 14:16:27 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2025-11-01 14:16:18 +0100 | Zemy | (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 2025-11-01 14:16:10 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) mreh |
| 2025-11-01 14:12:49 +0100 | deptype | (~deptype@2406:b400:3a:73c2:5a38:2057:fcee:3951) |
| 2025-11-01 14:12:45 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-01 14:12:32 +0100 | deptype | (~deptype@2406:b400:3a:73c2:65b0:5f93:a932:9d2) (Remote host closed the connection) |
| 2025-11-01 14:11:30 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-11-01 14:08:42 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) |
| 2025-11-01 14:07:33 +0100 | trickard_ | trickard |
| 2025-11-01 14:05:41 +0100 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-01 14:05:31 +0100 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-01 14:00:11 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-01 13:58:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-01 13:53:07 +0100 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 256 seconds) |
| 2025-11-01 13:52:19 +0100 | deptype | (~deptype@2406:b400:3a:73c2:65b0:5f93:a932:9d2) |
| 2025-11-01 13:52:00 +0100 | deptype | (~deptype@2406:b400:3a:73c2:6762:5241:22a5:600b) (Remote host closed the connection) |
| 2025-11-01 13:49:04 +0100 | Zemy_ | (~Zemy@2600:100c:b0a4:2639:f8b1:8ff:fe9d:828a) |
| 2025-11-01 13:46:24 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |