lux/control/eq

Types

Eq

Equality for a type's instances.

(sig: (Eq a)
  (: (-> a a lux;Bool)
     =))

Values

(conj left right)

(All [a b] (-> (Eq a) (Eq b) (Eq [a b])))

(disj left right)

(All [a b] (-> (Eq a) (Eq b) (Eq (| a b))))