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 60 61 62 63 64 65 66 67 68 69 70
|
{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
{-|
Module : Data.Ord.Unicode
Copyright : 2009–2011 Roel van Dijk
License : BSD3 (see the file LICENSE)
Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
-}
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
(≤) = (<=)
{-# INLINE (≤) #-}
{-|
(≥) = ('>=')
U+2265, GREATER-THAN OR EQUAL TO
-}
(≥) ∷ Ord α ⇒ α → α → Bool
(≥) = (>=)
{-# INLINE (≥) #-}
{-|
(≮) = ('>=')
U+226E, NOT LESS-THAN
-}
(≮) ∷ Ord α ⇒ α → α → Bool
(≮) = (>=)
{-# INLINE (≮) #-}
{-|
(≯) = ('<=')
U+226F, NOT GREATER-THAN
-}
(≯) ∷ Ord α ⇒ α → α → Bool
(≯) = (<=)
{-# INLINE (≯) #-}
|