Closed blargg closed 8 years ago
Based on the names, it seemed like the semi lattice instances for Any and All should be opposites (roughly, Any = Op . All). It looks like Any and All have the same instances right now. Would it be better to make Any and All opposites?
Any
All
Any = Op . All
The instances are the same as for Bool. In the context of All and Any think \/ as || and /\ as &&.
Bool
\/
||
/\
&&
Sounds good to me.
Based on the names, it seemed like the semi lattice instances for
Any
andAll
should be opposites (roughly,Any = Op . All
). It looks likeAny
andAll
have the same instances right now. Would it be better to makeAny
andAll
opposites?