Newest at the top
2024-10-15 12:21:46 +0200 | <lxsameer> | mreh: I don't think matrix servers can federate? can they? |
2024-10-15 12:18:47 +0200 | <mreh> | matrix.org seems to have the most members in the Haskell room |
2024-10-15 12:18:31 +0200 | <mreh> | isn't it decentralised? |
2024-10-15 12:18:07 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-15 12:15:52 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-15 12:13:37 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-15 12:10:46 +0200 | <kuribas> | I understand people are moving to matrix chat. Is there a recommended server? |
2024-10-15 12:08:22 +0200 | <mreh> | it's kinda warty, but seems to be working |
2024-10-15 12:08:13 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:343c:d865:3598:6b6a) (Remote host closed the connection) |
2024-10-15 12:07:23 +0200 | <mreh> | It seems the monad under transformation of ContextT needs to be in scope (m'). That last type signature is optional. |
2024-10-15 12:06:18 +0200 | Guest74 | (~textual@129.94.128.31) |
2024-10-15 12:06:04 +0200 | <mreh> | instance HasContext ctx os m (ContextT ctx os m) where liftContextT = id :: ContextT ctx os m a -> ContextT ctx os m a |
2024-10-15 12:06:03 +0200 | <mreh> | class HasContext ctx os m' m where liftContextT :: ContextT ctx os m' a -> m a |
2024-10-15 12:05:53 +0200 | <mreh> | well ths compiles |
2024-10-15 12:05:45 +0200 | todi_away | todi |
2024-10-15 12:05:41 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-15 12:03:40 +0200 | <kuribas> | That's just a warning, it should still have worked. |
2024-10-15 12:02:07 +0200 | Guest74 | (~textual@129.94.128.31) (Client Quit) |
2024-10-15 12:01:19 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) |
2024-10-15 12:00:51 +0200 | <mreh> | yeah, I guess I had -Wno-orphans on |
2024-10-15 12:00:24 +0200 | Guest74 | (~textual@129.94.128.31) |
2024-10-15 11:58:50 +0200 | <kuribas> | Or better, wrap it in a newtype, then make your own (non orphan) instance. |
2024-10-15 11:58:32 +0200 | <kuribas> | Make your own (orphan) instance for mtl? |
2024-10-15 11:57:42 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
2024-10-15 11:57:25 +0200 | <mreh> | something like `liftContextT :: Context ctx os m' a -> m a` maybe |
2024-10-15 11:56:20 +0200 | <mreh> | `MonadIO` is a thing, so could `HasContext ctx os` be a thing? |
2024-10-15 11:55:26 +0200 | <mreh> | e.g. https://hackage.haskell.org/package/GPipe-2.2.5/docs/Graphics-GPipe-Context.html#t:ContextT <- this |
2024-10-15 11:54:49 +0200 | <mreh> | is there a way to use a library with a monad transformer without a typeclass in mtl style code? |
2024-10-15 11:53:14 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
2024-10-15 11:51:21 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-15 11:50:24 +0200 | rmca | (~rob@188.120.84.50) |
2024-10-15 11:39:16 +0200 | rosco | (~rosco@175.136.23.238) (Quit: Lost terminal) |
2024-10-15 11:38:39 +0200 | Guest74 | (~textual@129.94.128.31) |
2024-10-15 11:38:11 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-15 11:32:15 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
2024-10-15 11:29:43 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Client Quit) |
2024-10-15 11:29:18 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
2024-10-15 11:27:38 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
2024-10-15 11:26:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
2024-10-15 11:22:38 +0200 | rosco | (~rosco@175.136.23.238) rosco |
2024-10-15 11:21:34 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-10-15 11:21:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-15 11:20:32 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) lockywolf |
2024-10-15 11:20:09 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) (Quit: ZNC 1.9.1 - https://znc.in) |
2024-10-15 11:20:04 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
2024-10-15 11:18:55 +0200 | Guest74 | (~textual@129.94.128.31) |
2024-10-15 11:18:47 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-10-15 11:13:53 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3102-d9ee-0047-5224-edfa-6ff2.rev.sfr.net) alexherbo2 |
2024-10-15 11:10:35 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-15 11:07:57 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |