{-# 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 (≠) #-}