我想编写一个模式,其中数据结构中的元素 e 可以是一组项目中的任何成员;e ∈ S。对于 Clojure Spec,这可以用如下集合表示:
(spec/def ::key-set #{:subprocess :leiningen :nrepl})
(gen/sample (spec/gen ::key-set))
; => (:nrepl :subprocess :subprocess :leiningen :subprocess :nrepl :subprocess :leiningen :nrepl :subprocess)
对于一组关键字。
然而,在 Schema 中,集合用于表示一组事物,而不是集合的一个元素成员。那么我如何在 Schema 中表达我想要一个集合中的一个成员?