Newest at the top
| 2026-06-17 09:37:34 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-06-17 09:30:49 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 272 seconds) |
| 2026-06-17 09:28:52 +0000 | fun-safe-math | (~fun-safe-@97-120-35-225.ptld.qwest.net) fun-safe-math |
| 2026-06-17 09:28:52 +0000 | ski | (~ski@90-224-14-130-no600.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2026-06-17 09:28:15 +0000 | fun-safe-math | (~fun-safe-@97-120-35-225.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 2026-06-17 09:25:10 +0000 | <probie> | uh, that should be `fmap fromList` |
| 2026-06-17 09:24:48 +0000 | <probie> | jaror: So I guess that means I should just go with `fromList . traverse f . toList` |
| 2026-06-17 09:17:10 +0000 | CiaoSen | (~Jura@2a02:3038:2ea:f5a6:4e50:ddff:fe9b:8922) (Ping timeout: 244 seconds) |
| 2026-06-17 09:13:10 +0000 | Enrico63 | (~Enrico63@host-82-59-98-253.retail.telecomitalia.it) Enrico63 |
| 2026-06-17 09:08:34 +0000 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2026-06-17 09:02:09 +0000 | chele | (~chele@user/chele) chele |
| 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 |