如何在spec / col-of中检查不同的ID

Question

(s/def ::users (s/coll-of ::user :distinct true))

上面的规范要求每个用户映射都是不同的，但是如何指定它以:user/ids仅检查不同的用户映射

不允许下面的集合：

[{:id 10 :name "Jessica"} {:id 10 :name "Erica"}]

Answer 1

(s/def ::id (s/int-in 0 40)) ; just for testing purposes
(s/def ::name string?)
(s/def ::user (s/and (s/keys :req-un [::id ::name])))
(s/def ::user-list (s/and
                       (s/coll-of ::user :distinct true :into [])
                       #(if (empty? %) true (apply distinct? (mapv :id %)))))

(deftest so-test
    (let [users [{:id 11 :name "Jessica"} {:id 11 :name "Erica"}]]
        (prn (g/generate (s/gen ::user-list)))
        (s/assert ::user-list users)))