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)xor(a == ff)) == true

Instances

#xor Source

xor :: forall a. HeytingAlgebra a => a -> a -> a

#(⊕) Source

Operator alias for Data.BooleanEq.xor (right-associative / precedence 2)

#isBooleanEq Source

isBooleanEq :: forall a. BooleanEq a => a -> Boolean

#toBoolean Source

toBoolean :: forall a. BooleanEq a => a -> Boolean