Vincent Siles (Nov 02 2021 at 13:15): Vincent Siles (Nov 02 2021 at 13:15):Hi ! again with questions on stdpp :) I'm looking to do something like List.map but on finite sets (gmap/stringmap). I can't seem to find an operation to do something like map (fun key value => f(key, val)) my_stringmap. Is there something like (K -> A -> B) -> gmap K A -> gmap K B in the library ?
MackieLoeffel (Nov 02 2021 at 13:24):Hi Vincent, there is f <$> m which maps a function f : A → B over a gmap K A to get gmap K B. Also there is kmap of type (K1 → K2) → gmap K1 A → gmap K2 A. I am not aware of a function like <$> that also gives you access to the key.
Vincent Siles (Nov 02 2021 at 13:35):Thanks Mackie. I'll see if I can reconsider and only use <$>
Notification Bot (Nov 24 2021 at 08:20):Vincent Siles has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC