Module

Data.Eq.Unicode

Package: purescript-unicode-prelude
Repository: vyorkin/purescript-unicode-prelude

#(≡) Source

Operator alias for Data.Eq.eq (non-associative / precedence 4)

(≡) = ('==') U+2261, IDENTICAL TO

#(≢) Source

Operator alias for Data.Eq.notEq (non-associative / precedence 4)

(≢) = ('/=') U+2262, NOT IDENTICAL TO

#(≠) Source

Operator alias for Data.Eq.notEq (non-associative / precedence 4)

(≠) = ('/=') U+2260, NOT EQUAL TO

Modules: Control.Apply.Unicode; Control.Bind.Unicode; Control.Semigroupoid.Unicode; Data.Eq.Unicode; Data.EuclideanRing.Unicode; Data.Functor.Unicode; Data.HeytingAlgebra.Unicode; Data.NaturalTransformation.Unicode; Data.Ord.Unicode; Data.Semigroup.Unicode; Data.Semiring.Unicode; Prelude.Unicode