Clojure 如何检查的spec/coll中的不同id

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

：user/id

不应允许收集以下信息：

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

---

你能提供更多的背景吗？您正在尝试生成示例数据吗？或者，您正在尝试测试一个函数吗？你能使用一个ID为键，名称为值的单一映射吗？能否先生成唯一的ID，然后将随机（可能是非唯一）名称与每个ID关联？

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

(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)))