lux/data/struct/set

Types

Set

(type: (Set a)
  (lux/data/struct/dict;Dict a a))

Structs

Eq<Set>

(All [a] (lux/control/eq;Eq (Set a)))

Hash<Set>

(All [a] (lux/control/hash;Hash (Set a)))

Values

(add elem set)

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

(difference subs base)

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

(empty? set)

(All [a] (-> (Set a) lux;Bool))

(from-list Hash<a> xs)

(All [a] (-> (lux/control/hash;Hash a) (lux;List a) (Set a)))

(intersection filter base)

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

(member? set elem)

(All [a] (-> (Set a) a lux;Bool))

(new Hash<a>)

(All [a] (-> (lux/control/hash;Hash a) (Set a)))

(remove elem set)

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

(size set)

(All [a] (-> (Set a) lux;Nat))

(sub? super sub)

(All [a] (-> (Set a) (Set a) lux;Bool))

(super? sub super)

(All [a] (-> (Set a) (Set a) lux;Bool))

to-list

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

(union xs yx)

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