Newest at the top
| 2026-01-08 10:10:12 +0100 | <int-e> | merijn: yeah but it's complaining about the Value type |
| 2026-01-08 10:10:03 +0100 | <dutchie> | ah explicit annotation on Map.empty does it |
| 2026-01-08 10:09:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2026-01-08 10:09:47 +0100 | <merijn> | At least, it shouldn't be |
| 2026-01-08 10:09:43 +0100 | <merijn> | Map's key type is not coercible, afaik |
| 2026-01-08 10:09:14 +0100 | <int-e> | presumably you need a type signature like (Map.empty :: Map Text Value) so that the inner type is actually fully known. |
| 2026-01-08 10:08:26 +0100 | <dutchie> | so do I have to do `coerce . cons . coerce`? feels like I might as well explicitly unwrap/wrap then |
| 2026-01-08 10:08:04 +0100 | <dutchie> | right, does that not work? I want to coerce `NonEmpty (Map) -> NonEmpty (Map)` to a function on my newtype |
| 2026-01-08 10:07:49 +0100 | Googulator14 | Googulator |
| 2026-01-08 10:04:47 +0100 | <danza> | cons is partially applied, so you are applying coerce to a function |
| 2026-01-08 10:03:10 +0100 | <lambdabot> | Cons s s a a => a -> s -> s |
| 2026-01-08 10:03:08 +0100 | <danza> | :t cons |
| 2026-01-08 10:01:08 +0100 | <dutchie> | s/`/"/ |
| 2026-01-08 10:01:02 +0100 | <dutchie> | the error is "Couldn't match representation of type ‘a0’ with that of ‘Value’` |
| 2026-01-08 10:00:45 +0100 | kuribas | (~user@2a02-1810-2825-6000-e123-c17a-ed17-774f.ip6.access.telenet.be) kuribas |
| 2026-01-08 10:00:35 +0100 | <dutchie> | should coerce be able to do this? or am I missing what's going on |
| 2026-01-08 10:00:16 +0100 | <dutchie> | (in a state monad) |
| 2026-01-08 10:00:10 +0100 | <dutchie> | question about coerce: I have a newtype of NonEmpty (Map Text Value), and I want to write something like `modify (coerce $ NonEmpty.cons Map.empty)` but it doesn't typecheck |
| 2026-01-08 09:59:48 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-08 09:58:47 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-08 09:58:07 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds) |
| 2026-01-08 09:56:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-01-08 09:49:35 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-08 09:46:15 +0100 | acidjnk | (~acidjnk@p200300d6e7171973ed8816f9e416ce0a.dip0.t-ipconnect.de) acidjnk |
| 2026-01-08 09:43:37 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2026-01-08 09:42:52 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-08 09:39:37 +0100 | orcus | (~orcus@user/brprice) (Ping timeout: 264 seconds) |
| 2026-01-08 09:39:28 +0100 | orcus- | (~orcus@user/brprice) brprice |
| 2026-01-08 09:30:11 +0100 | chele | (~chele@user/chele) chele |
| 2026-01-08 09:21:03 +0100 | lortabac | (~lortabac@mx1.fracta.dev) lortabac |
| 2026-01-08 09:19:49 +0100 | lortabac | (~lortabac@mx1.fracta.dev) (Ping timeout: 264 seconds) |
| 2026-01-08 09:18:59 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:d907:3b01:3c28:cb58) synchromesh |
| 2026-01-08 09:17:59 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:4db3:269e:6459:c957) (Read error: Connection reset by peer) |
| 2026-01-08 09:16:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-08 09:15:01 +0100 | Square3 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-01-08 09:13:34 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 244 seconds) |
| 2026-01-08 09:10:45 +0100 | duckworld | (~duckworld@user/duckworld) duckworld |
| 2026-01-08 09:10:06 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-08 09:09:51 +0100 | danza | (~danza@user/danza) danza |
| 2026-01-08 09:09:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-08 08:58:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-08 08:58:42 +0100 | housemate | (~housemate@202.7.247.224) housemate |
| 2026-01-08 08:55:31 +0100 | duckworld | (~duckworld@user/duckworld) (Ping timeout: 240 seconds) |
| 2026-01-08 08:55:14 +0100 | annamalai | (~annamalai@157.33.203.8) annamalai |
| 2026-01-08 08:54:18 +0100 | stefan-_ | (~cri@42dots.de) stefan-_ |
| 2026-01-08 08:54:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-08 08:53:25 +0100 | stefan-_ | (~cri@42dots.de) (Ping timeout: 264 seconds) |
| 2026-01-08 08:48:16 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-01-08 08:44:10 +0100 | housemate | (~housemate@202.7.247.224) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-08 08:43:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |