{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
module Data.Ord.Unicode ( (≤), (≥), (≮), (≯) ) where
import Data.Bool ( Bool )
import Data.Ord ( Ord, (<=), (>=) )
infix 4 ≤
infix 4 ≥
infix 4 ≮
infix 4 ≯
(≤) ∷ Ord α ⇒ α → α → Bool
≤ :: forall α. Ord α => α -> α -> Bool
(≤) = α -> α -> Bool
forall α. Ord α => α -> α -> Bool
(<=)
{-# INLINE (≤) #-}
(≥) ∷ Ord α ⇒ α → α → Bool
≥ :: forall α. Ord α => α -> α -> Bool
(≥) = α -> α -> Bool
forall α. Ord α => α -> α -> Bool
(>=)
{-# INLINE (≥) #-}
(≮) ∷ Ord α ⇒ α → α → Bool
≮ :: forall α. Ord α => α -> α -> Bool
(≮) = α -> α -> Bool
forall α. Ord α => α -> α -> Bool
(>=)
{-# INLINE (≮) #-}
(≯) ∷ Ord α ⇒ α → α → Bool
≯ :: forall α. Ord α => α -> α -> Bool
(≯) = α -> α -> Bool
forall α. Ord α => α -> α -> Bool
(<=)
{-# INLINE (≯) #-}