Open sebastian-philipp opened 10 years ago
A reason against this is, we then don't have the same interface as Data.Map.
A switch from
import qualified Data.Map as M
...
type MyMap v = M.Map String v
to
import qualified Data.StringMap as M
...
type MyMap v = M.StringMap v
should always be possible without changing anything else.
What about:
the current
union
uses const as the combination function. Instead, we should useMonoid a
, because Monoid is in my opintion a perfect match for this problem.