Module
Data.HeytingAlgebra.Unicode
- Package
- purescript-unicode-prelude
- Repository
- vyorkin/purescript-unicode-prelude
#(∧) Source
Operator alias for Data.HeytingAlgebra.conj (non-associative / precedence 3)
(∧) = ('&&') U+2227, LOGICAL AND
#(⊽) Source
Operator alias for Data.HeytingAlgebra.Unicode.nor (right-associative / precedence 3)
a ⊽ b = not (a ∨ b) U+22bd, NOR
#(⊼) Source
Operator alias for Data.HeytingAlgebra.Unicode.nand (right-associative / precedence 3)
a ⊼ b = not (a ∧ b) U+22bc, NAND
#(⊻) Source
Operator alias for Data.HeytingAlgebra.Unicode.xor (right-associative / precedence 3)
a ⊻ b = (a ∨ b) ∧ not (a ∧ b) U+22BB, XOR
#(∨) Source
Operator alias for Data.HeytingAlgebra.disj (non-associative / precedence 2)
(∨) = ('||') U+2228, LOGICAL OR
#xor Source
xor :: forall α. HeytingAlgebra α => α -> α -> α#nand Source
nand :: forall α. HeytingAlgebra α => α -> α -> α#nor Source
nor :: forall α. HeytingAlgebra α => α -> α -> α