{-# 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 ------------------------------------------------------------------------------- {-| (≤) = ('<=') U+2264, LESS-THAN OR EQUAL TO -} (≤) ∷ Ord α ⇒ α → α → Bool ≤ :: α -> α -> Bool (≤) = α -> α -> Bool forall a. Ord a => a -> a -> Bool (<=) {-# INLINE (≤) #-} {-| (≥) = ('>=') U+2265, GREATER-THAN OR EQUAL TO -} (≥) ∷ Ord α ⇒ α → α → Bool ≥ :: α -> α -> Bool (≥) = α -> α -> Bool forall a. Ord a => a -> a -> Bool (>=) {-# INLINE (≥) #-} {-| (≮) = ('>=') U+226E, NOT LESS-THAN -} (≮) ∷ Ord α ⇒ α → α → Bool ≮ :: α -> α -> Bool (≮) = α -> α -> Bool forall a. Ord a => a -> a -> Bool (>=) {-# INLINE (≮) #-} {-| (≯) = ('<=') U+226F, NOT GREATER-THAN -} (≯) ∷ Ord α ⇒ α → α → Bool ≯ :: α -> α -> Bool (≯) = α -> α -> Bool forall a. Ord a => a -> a -> Bool (<=) {-# INLINE (≯) #-}