Newest at the top
| 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 |
| 2026-06-17 06:39:24 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-17 06:35:30 +0000 | <probie> | mauke: right, that was a half baked thought, I should have clarified that to `Data.Storable.Vector` and that I didn't mean actual `traverse` or `mapM`, I meant something like https://hackage-content.haskell.org/package/vector-0.13.2.0/docs/Data-Vector-Storable.html#v:mapM |
| 2026-06-17 06:34:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 249 seconds) |
| 2026-06-17 06:31:12 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-06-17 06:29:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 06:29:23 +0000 | <mauke> | https://hackage-content.haskell.org/package/vector-0.13.2.0/docs/src/Data.Vector.html#line-455 |
| 2026-06-17 06:29:03 +0000 | <mauke> | what |
| 2026-06-17 06:25:22 +0000 | <probie> | Is there a practical reason why Vector doesn't provide traverse, only mapM? |
| 2026-06-17 06:19:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-17 06:18:23 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |