Newest at the top
| 2024-05-24 10:58:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-05-24 10:56:45 +0200 | mei | (~mei@user/mei) |
| 2024-05-24 10:54:20 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-24 10:53:55 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-05-24 10:53:21 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9a0:7de1:bf61:a47e:b74f) |
| 2024-05-24 10:52:31 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9a0:f567:9fc4:eb72:a51c) (Ping timeout: 268 seconds) |
| 2024-05-24 10:49:01 +0200 | danse-nr3 | (~danse-nr3@151.37.240.28) |
| 2024-05-24 10:48:37 +0200 | danse-nr3 | (~danse-nr3@151.37.240.28) (Remote host closed the connection) |
| 2024-05-24 10:39:17 +0200 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) |
| 2024-05-24 10:37:47 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-24 10:37:24 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-24 10:30:45 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-05-24 10:26:01 +0200 | titibandit | (~user@user/titibandit) |
| 2024-05-24 10:24:47 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-24 10:24:10 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Client Quit) |
| 2024-05-24 10:22:17 +0200 | <kuribas> | I have used "set manager (Left $ defaultManagerSettings {managerModifyRequest = \req -> pure $ req { shouldStripHeaderOnRedirect = const True}})" in wreq, but it's still sending the bearer token in the redirect. |
| 2024-05-24 10:21:34 +0200 | misterfish | (~misterfis@178.229.59.89) |
| 2024-05-24 10:21:26 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-05-24 10:20:48 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03) |
| 2024-05-24 10:15:10 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-24 10:14:15 +0200 | chele | (~chele@user/chele) |
| 2024-05-24 10:13:52 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03) (Quit: CiaoSen) |
| 2024-05-24 10:12:04 +0200 | <danse-nr3> | (i have local hoogle and local haddock for the project i am working on. Can do without HLS but this is really helpful) |
| 2024-05-24 10:09:55 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-05-24 10:08:07 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-24 10:06:50 +0200 | <danse-nr3> | sometimes i follow the #source links for instances in haddock, not sure whether that helps |
| 2024-05-24 10:05:52 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-05-24 09:59:59 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-05-24 09:53:38 +0200 | <lortabac> | Is there a way to ask GHC how a particular instance is satisfied? Ideally I would like to have a -ddump-instance-resolution option, or -- even better -- a GHCI command that allows to query a specific instance. Since AFAIK GHC doesn't have these features, is there a trick/workaround to get at least some info? |
| 2024-05-24 09:50:08 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-05-24 09:47:02 +0200 | mei | (~mei@user/mei) |
| 2024-05-24 09:44:39 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-24 09:42:27 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
| 2024-05-24 09:40:39 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-05-24 09:39:19 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-24 09:36:55 +0200 | johnw | (~johnw@69.62.242.138) |
| 2024-05-24 09:36:26 +0200 | off^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-05-24 09:34:49 +0200 | johnw | (~johnw@69.62.242.138) (Ping timeout: 268 seconds) |
| 2024-05-24 09:34:34 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2024-05-24 09:34:34 +0200 | edwtjo | (~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) (Changing host) |
| 2024-05-24 09:34:34 +0200 | edwtjo | (~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) |
| 2024-05-24 09:25:10 +0200 | danse-nr3 | (~danse-nr3@151.37.240.28) |
| 2024-05-24 09:22:11 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 264 seconds) |
| 2024-05-24 09:11:31 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-24 09:08:57 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03) |
| 2024-05-24 09:05:05 +0200 | Vajb | (~Vajb@n84f8idehd0ucclhxoj-1.v6.elisa-mobile.fi) |
| 2024-05-24 09:04:47 +0200 | <[exa]> | does anyone know if there are haskell libraries/examples of this kind of relative monads? |
| 2024-05-24 09:04:36 +0200 | Vajb | (~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds) |
| 2024-05-24 09:04:11 +0200 | <[exa]> | Anyway, I just spotted this here with "relative monads", apparently a little more general than arrows and seems to me very interpreter-related: https://link.springer.com/chapter/10.1007/978-3-642-12032-9_21 |
| 2024-05-24 09:02:46 +0200 | <[exa]> | Axman6: left leaning red black trees? |