Stream: Coq users

Topic: stdpp: build a map from a list of pairs


view this post on Zulip Vincent Siles (Oct 26 2021 at 10:52):

Hi ! I'm building a list of pair using zip_with and would like to get a stringmap from it. Is there a function in stdpp for that (can't find it myself :/) or should I do it ? I found the to_list but no from_list

view this post on Zulip Paolo Giarrusso (Oct 26 2021 at 11:31):

The functions you want are map_to_list and list_to_map.

view this post on Zulip Vincent Siles (Oct 26 2021 at 11:33):

ok, I'll keep fin_maps.v opened :) Thank you @Paolo Giarrusso

view this post on Zulip Paolo Giarrusso (Oct 26 2021 at 11:34):

Yep, that's what I do; if you're also struggling with Search, please consider posting any examples here:
https://coq.zulipchat.com/#narrow/stream/237977-Coq-users/topic/Towards.20a.20CEP.20for.20improving.20Search

view this post on Zulip Vincent Siles (Oct 26 2021 at 11:36):

I'm not yet used to use Search when type classes are around, and Search gmap or Search stringmap didn't return map_to_list. I should learn to use Search like I used to do SearchPattern


Last updated: Jan 27 2023 at 01:03 UTC