{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}

module Data.Ord.Unicode ( (≤), (≥), (≮), (≯) ) where

-------------------------------------------------------------------------------
-- Imports
-------------------------------------------------------------------------------

-- from base:
import Data.Bool ( Bool )
import Data.Ord  ( Ord, (<=), (>=) )


-------------------------------------------------------------------------------
-- Fixities
-------------------------------------------------------------------------------

infix  4 
infix  4 
infix  4 
infix  4 


-------------------------------------------------------------------------------
-- Symbols
-------------------------------------------------------------------------------

{-|
(&#x2264;) = ('<=')

U+2264, LESS-THAN OR EQUAL TO
-}
(≤)  Ord α  α  α  Bool
≤ :: forall α. Ord α => α -> α -> Bool
(≤) = α -> α -> Bool
forall α. Ord α => α -> α -> Bool
(<=)
{-# INLINE () #-}

{-|
(&#x2265;) = ('>=')

U+2265, GREATER-THAN OR EQUAL TO
-}
(≥)  Ord α  α  α  Bool
≥ :: forall α. Ord α => α -> α -> Bool
(≥) = α -> α -> Bool
forall α. Ord α => α -> α -> Bool
(>=)
{-# INLINE () #-}

{-|
(&#x226E;) = ('>=')

U+226E, NOT LESS-THAN
-}
(≮)  Ord α  α  α  Bool
≮ :: forall α. Ord α => α -> α -> Bool
(≮) = α -> α -> Bool
forall α. Ord α => α -> α -> Bool
(>=)
{-# INLINE () #-}

{-|
(&#x226F;) = ('<=')

U+226F, NOT GREATER-THAN
-}
(≯)  Ord α  α  α  Bool
≯ :: forall α. Ord α => α -> α -> Bool
(≯) = α -> α -> Bool
forall α. Ord α => α -> α -> Bool
(<=)
{-# INLINE () #-}