module Data.Ordering (Ordering(..), ifEQ, noLT, noGT, flipOrdering) where

import Data.Ord

ifEQ :: Ordering -> Ordering -> Ordering
ifEQ :: Ordering -> Ordering -> Ordering
ifEQ Ordering
i Ordering
o =
  case Ordering
o of
    Ordering
EQ -> Ordering
i
    Ordering
x -> Ordering
x

noLT :: Ordering -> Ordering
noLT :: Ordering -> Ordering
noLT Ordering
o =
  case Ordering
o of
    Ordering
LT -> Ordering
EQ
    Ordering
x -> Ordering
x

noGT :: Ordering -> Ordering
noGT :: Ordering -> Ordering
noGT Ordering
o =
  case Ordering
o of
    Ordering
GT -> Ordering
EQ
    Ordering
x -> Ordering
x

flipOrdering :: Ordering -> Ordering
flipOrdering :: Ordering -> Ordering
flipOrdering Ordering
o =
  case Ordering
o of
    Ordering
LT -> Ordering
GT
    Ordering
EQ -> Ordering
EQ
    Ordering
GT -> Ordering
LT