Module
Data.BooleanEq
- Package
- purescript-boolean-eq
- Repository
- Risto-Stevcev/purescript-boolean-eq
#BooleanEq Source
class (BooleanAlgebra a, Eq a) <= BooleanEq a Expresses a congruence with Boolean equality
Instances must also satisfy:
((a == tt) || (a == ff)) == true
Instances
#isBooleanEq Source
isBooleanEq :: forall a. BooleanEq a => a -> Boolean- Modules
- Data.
BooleanEq