On Mon, Jan 19, 2009 at 7:22 PM, <[email protected]> wrote: > > And perhaps more to the point, "Boolean" is an adjective, not a noun. > Therefore, it would be better reserved for a typeclass.
There's also John Meacham's Boolean package. <http://repetae.net/recent/out/Boolean.html> > class (Heyting a) => Boolean a where > {- the additional axiom that x || not x == top -} Are there any instances of Boolean that aren't isomorphic to Bool? (I'm assuming that (||) and (&&) are intended to be idempotent, commutative, and associative.) -- Dave Menendez <[email protected]> <http://www.eyrie.org/~zednenem/> _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
