[Haskell-cafe] Ord for partially ordered sets
Mike Izbicki
mike at izbicki.me
Fri Apr 24 23:39:20 UTC 2015
>> I'm confused. What is supposed to be the result of `g1 <= g2` when `g1` and
>> `g2` are not comparable according to the partial order?
>
>False.
The operators aren't a problem for this reason. The real problem is
what does `compare` return?
On Fri, Apr 24, 2015 at 1:32 PM, Ertugrul Söylemez <ertesx at gmx.de> wrote:
>> I'm confused. What is supposed to be the result of `g1 <= g2` when `g1` and
>> `g2` are not comparable according to the partial order?
>
> False.
>
>
> Greets,
> Ertugrul
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>
More information about the Haskell-Cafe
mailing list