State of DData
wolfgang at jeltsch.net
Thu Mar 25 18:12:32 EST 2004
Am Donnerstag, 25. März 2004 18:09 schrieb Christian Maeder:
> JP Bernardy wrote:
> > To me, this barely makes a difference whatever is
> > chosen. For reasons of compatibility with the old
> > FiniteMap/Set, "right bias+structure first" might be
> > better.
> I vote for the current state "left bias+structure last", as the bias
> should not matter much
Does the bias matter at all if Eq means equality?
> and a repeated lookup can be done using the section notation: (`Map.lookup`
> For folding "structure last" is to be preferred as even the type of
> FiniteMap.foldFM suggest! Thus e.g..insert should be like in DData.Map
> and not like addToFM in Data.FiniteMap.
I'd vote for structure last, too.
More information about the Libraries