lux/control/ord

Types

Ord

A signature for types that possess some sense of ordering among their elements.

(sig: (Ord a)
  (: (lux/control/eq;Eq a)
     eq)
   (: (-> a a lux;Bool)
     <)
   (: (-> a a lux;Bool)
     <=)
   (: (-> a a lux;Bool)
     >)
   (: (-> a a lux;Bool)
     >=))

Values

(max ord x y)

(All [a] (-> (Ord a) a a a))

(min ord x y)

(All [a] (-> (Ord a) a a a))

(ord eq <)

(All [a] (-> (lux/control/eq;Eq a) (-> a a lux;Bool) (Ord a)))