Proposal: containers: add indexing operations for Set

Thomas Schilling nominolo at googlemail.com
Thu Jul 5 14:10:28 CEST 2012


Right, given that Data.Set and Data.Map are de facto implementing
ordered sets/maps, I'm fine with adding the proposed functions.  The
documentation should be improved, though.

On 5 July 2012 13:01, Milan Straka <fox at ucw.cz> wrote:

>> I.e., what are the properties of these functions?  Do we have:
>>
>>   - findIndex a set `compare` findIndex b set ==> a `compare` b
>
> it is even true that
>
>  - findIndex a set `compare` findIndex b set <==> a `compare` b
>
> because (flip findIndex set) is a bijection respecting ordering.
>
>>   - findIndex a set == findIndex a (Set.toList set)
>
> This one holds too. It could be considered a definition of
> Set.findIndex, but the Set.findIndex is more efficient than
> the list version.

Sure. But I believe it's good to have a simple and precise semantic model.



More information about the Libraries mailing list