Newest at the top
| 2024-10-12 11:22:30 +0200 | <Lears> | mreh: Both are fine so long as they're confined to the definition of `runYourMonad newShaderState m (YourMonad uniAl) = ...`. The latter is only nicer if it lets you actually go point-free and drop the `uniAl` argument. |
| 2024-10-12 11:21:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-12 11:19:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-12 11:18:17 +0200 | <mreh> | I had to put in a double negation to ruin my point |
| 2024-10-12 11:16:30 +0200 | <mreh> | isn't `flip runState newShaderState . runListT . execWriterT . runReaderT m $ uniAl` not much better? |
| 2024-10-12 11:15:54 +0200 | <mreh> | This is pretty egregious style, no? |
| 2024-10-12 11:15:46 +0200 | <mreh> | `runState (runListT (execWriterT (runReaderT m uniAl))) newShaderState` |
| 2024-10-12 11:12:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-12 11:08:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-12 11:02:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-12 10:57:35 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-10-12 10:57:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-12 10:49:12 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-12 10:46:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-12 10:41:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-12 10:30:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-12 10:30:22 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-12 10:30:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-12 10:29:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-12 10:28:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-12 10:27:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-12 10:25:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-12 10:23:28 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb654dea90a41b19790d.dip0.t-ipconnect.de) acidjnk |
| 2024-10-12 10:16:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-12 10:11:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-12 10:08:51 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-12 10:07:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-12 10:06:04 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 2024-10-12 10:03:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-12 09:52:32 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-10-12 09:52:22 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-12 09:49:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-12 09:45:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-12 09:22:22 +0200 | CiaoSen | (~Jura@2a05:5800:2cd:8c00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-12 09:15:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-12 09:11:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-12 09:09:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-12 09:04:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-12 09:00:39 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-12 09:00:28 +0200 | JamesMowery4 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-10-12 09:00:12 +0200 | JamesMowery4 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-10-12 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-12 08:59:47 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) ubert |
| 2024-10-12 08:54:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-12 08:50:49 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e03c:690:2b19:8b81) |
| 2024-10-12 08:43:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-12 08:42:40 +0200 | end | (~end@user/end/x-0094621) end^ |
| 2024-10-12 08:37:29 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2024-10-12 08:32:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-12 08:25:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |