Newest at the top
| 2026-06-17 08:54:57 +0000 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 244 seconds) |
| 2026-06-17 08:53:33 +0000 | <jaror> | It's pretty ugly imo |
| 2026-06-17 08:52:54 +0000 | <jaror> | If m is not IO or ST, then mapM and similar functions on vectors just convert to lists, apply mapM there and convert back to vectors. |
| 2026-06-17 08:42:26 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 257 seconds) |
| 2026-06-17 08:40:00 +0000 | Axma49636 | (~Axman6@user/axman6) Axman6 |
| 2026-06-17 08:26:28 +0000 | acidjnk | (~acidjnk@p200300d6e700e575892860f69683d6bb.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2026-06-17 08:26:13 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e562d35fa9de45f72808.dip0.t-ipconnect.de) |
| 2026-06-17 08:25:49 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e575892860f69683d6bb.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2026-06-17 08:23:38 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-06-17 08:22:34 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e562d35fa9de45f72808.dip0.t-ipconnect.de) |
| 2026-06-17 08:21:49 +0000 | nyc | (~nyc@user/nyc) (Remote host closed the connection) |
| 2026-06-17 08:20:44 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-06-17 08:13:46 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-06-17 08:11:13 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-17 08:10:26 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 2026-06-17 07:57:16 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2026-06-17 07:55:17 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2026-06-17 07:53:51 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-17 07:53:40 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-17 07:51:19 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 264 seconds) |
| 2026-06-17 07:48:34 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-06-17 07:40:17 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-06-17 07:38:03 +0000 | <mauke> | oh, right. element constraints |
| 2026-06-17 07:37:07 +0000 | CiaoSen | (~Jura@2a02:3038:2ea:f5a6:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-06-17 07:32:43 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2026-06-17 07:32:23 +0000 | <Leary> | probie: <https://github.com/haskell/vector/issues/477>; <https://github.com/haskell/vector/blob/master/vector/src/Data/Vector/Storable.hs#L1819>. |
| 2026-06-17 07:27:29 +0000 | <probie> | So `f` is generally going to be something like `Identity` or `Const` |
| 2026-06-17 07:23:57 +0000 | <probie> | The context for this is really just that I want it play nicely with lenses |
| 2026-06-17 07:22:37 +0000 | <probie> | Sure, but it's not like we can't already do that with `Data.Vector.Storable.mapM (\x -> [x,x])` |
| 2026-06-17 07:22:24 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-06-17 07:21:57 +0000 | danza | (~danza@user/danza) danza |
| 2026-06-17 07:18:39 +0000 | <Axman6> | straverse (\x -> [x,x]) is going to allocate a lot of vectors |
| 2026-06-17 07:18:12 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-17 07:17:46 +0000 | <Axman6> | I feel like that'll do weird things for f ~ [] |
| 2026-06-17 07:17:18 +0000 | dtman34_ | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
| 2026-06-17 07:13:40 +0000 | <probie> | Well `(Storable a, Applicative f) => ...` but close enough |
| 2026-06-17 07:13:04 +0000 | <probie> | I don't need an instance (and one is impossible), just `Applicative f => (a -> f a) -> Data.Vector.Storable a -> f (Data.Vector.Storable a)` |
| 2026-06-17 07:04:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-17 07:02:36 +0000 | <mauke> | could define your own instance |
| 2026-06-17 07:01:19 +0000 | CiaoSen | (~Jura@2a02:3038:2ea:f5a6:4e50:ddff:fe9b:8922) (Ping timeout: 276 seconds) |
| 2026-06-17 07:00:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 06:56:55 +0000 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection) |
| 2026-06-17 06:53:39 +0000 | <probie> | It's slightly annoying though, because I need it. Well, for now I've just used `foldr` and `fromList` |
| 2026-06-17 06:51:37 +0000 | CiaoSen | (~Jura@2a02:3038:2ea:f5a6:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-06-17 06:51:21 +0000 | acidjnk | (~acidjnk@p200300d6e700e575892860f69683d6bb.dip0.t-ipconnect.de) acidjnk |
| 2026-06-17 06:51:02 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e575892860f69683d6bb.dip0.t-ipconnect.de) |
| 2026-06-17 06:50:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-17 06:45:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 06:39:55 +0000 | <mauke> | maybe just an oversight? |
| 2026-06-17 06:39:51 +0000 | <mauke> | not sure |