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 α => α -> α -> α