[Haskell-cafe] Ord for partially ordered sets
Henning Thielemann
lemming at henning-thielemann.de
Fri Apr 24 14:01:31 UTC 2015
On Fri, 24 Apr 2015, Ivan Lazar Miljenovic wrote:
> Specifically, I have a pull request for fgl [1] to add Ord instances for
> the graph types (based upon the Ord instances for Data.Map and
> Data.IntMap, which I believe are themselves partially ordered), and I'm
> torn as to the soundness of adding these instances.
In an application we needed to do some combinatorics of graphs and thus
needed Set Graph.
Nonetheless, I think that graph0 < graph1 should be a type error. We can
still have a set of Graphs using a newtype.
More information about the Haskell-Cafe
mailing list