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