module Data.Ordering (
flipOrdering,
ifEQ, noLT, noGT,
Ordering(..)
) 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