type class Boolean

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Tue Dec 22 18:35:57 UTC 2020

[I sent this to -cafe by mistake]

> most useful kind of instance would be symbolic booleans

Yes. Ersatz has this:


I also use this class (re-exported) in

Then modules typically start with

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

slightly annoying but you get used to it ...

- J.

More information about the Libraries mailing list