lux/control/enum

Types

Enum

Enumerable types, with a notion of moving forward and backwards through a type's instances.

(sig: (Enum e)
  (: (lux/control/ord;Ord e)
     ord)
   (: (-> e e)
     succ)
   (: (-> e e)
     pred))

Values

(range (^open) from to)

An inclusive [from, to] range of values.

(All [a] (-> (Enum a) a a (lux;List a)))