UVMHS.Core.Classes.Order
(≡) :: 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 #