{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} module Data.Eq.Unicode ( (≡), (≢), (≠) ) where ------------------------------------------------------------------------------- -- Imports ------------------------------------------------------------------------------- -- from base: import Data.Bool ( Bool ) import Data.Eq ( Eq, (==), (/=) ) ------------------------------------------------------------------------------- -- Fixities ------------------------------------------------------------------------------- infix 4 ≡ infix 4 ≢ infix 4 ≠ ------------------------------------------------------------------------------- -- Symbols ------------------------------------------------------------------------------- {-| (≡) = ('==') U+2261, IDENTICAL TO -} (≡) ∷ Eq α ⇒ α → α → Bool ≡ :: forall α. Eq α => α -> α -> Bool (≡) = α -> α -> Bool forall α. Eq α => α -> α -> Bool (==) {-# INLINE (≡) #-} {-| (≢) = ('/=') U+2262, NOT IDENTICAL TO -} (≢) ∷ Eq α ⇒ α → α → Bool ≢ :: forall α. Eq α => α -> α -> Bool (≢) = α -> α -> Bool forall α. Eq α => α -> α -> Bool (/=) {-# INLINE (≢) #-} {-| (≠) = ('/=') U+2260, NOT EQUAL TO -} (≠) ∷ Eq α ⇒ α → α → Bool ≠ :: forall α. Eq α => α -> α -> Bool (≠) = α -> α -> Bool forall α. Eq α => α -> α -> Bool (/=) {-# INLINE (≠) #-}