1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59
|
{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
{-|
Module : Data.Eq.Unicode
Copyright : 2009–2011 Roel van Dijk
License : BSD3 (see the file LICENSE)
Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
-}
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
(≡) = (==)
{-# INLINE (≡) #-}
{-|
(≢) = ('/=')
U+2262, NOT IDENTICAL TO
-}
(≢) ∷ Eq α ⇒ α → α → Bool
(≢) = (/=)
{-# INLINE (≢) #-}
{-|
(≠) = ('/=')
U+2260, NOT EQUAL TO
-}
(≠) ∷ Eq α ⇒ α → α → Bool
(≠) = (/=)
{-# INLINE (≠) #-}
|