uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Core.Classes.Order

Documentation

(≡) :: Eq a => a -> a -> 𝔹 infix 4 Source #

(≢) :: Eq a => a -> a -> 𝔹 infix 4 Source #

(⋚) :: Ord a => a -> a -> Ordering infix 4 Source #

(≤) :: Ord a => a -> a -> 𝔹 infix 4 Source #

(≥) :: Ord a => a -> a -> 𝔹 infix 4 Source #

(<) :: Ord a => a -> a -> 𝔹 infix 4 Source #

(>) :: Ord a => a -> a -> 𝔹 infix 4 Source #

(⩏) :: Ord a => a -> a -> a Source #

(⩎) :: Ord a => a -> a -> a Source #

minBy :: Ord b => (a -> b) -> a -> a -> a Source #

maxBy :: Ord b => (a -> b) -> a -> a -> a Source #