Re: type class Boolean

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Re: type class Boolean

Johannes Waldmann-2
> most useful kind of instance would be symbolic booleans

Yes. Ersatz has this:

https://hackage.haskell.org/package/ersatz-0.4.8/docs/Ersatz-Bit.html#t:Boolean

I also use this class (re-exported) in
https://hackage.haskell.org/package/obdd

Then modules typically start with

import Prelude hiding ( not, and, or, (&&), (||) ) -- possibly more
import Ersatz

slightly annoying but you get used to it ...

- J.
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.