支持clojure.spec.alpha/and的非短路变体

Question

考虑以下示例


$ clj
Clojure 1.9.0
user=> (require '[clojure.spec.alpha :as s])
nil
user=> (s/def ::a int?)
:user/a
user=> (s/def ::b int?)
:user/b
user=> (s/def ::c int?)
:user/c
user=> (s/def ::d (s/and (s/keys :req [::a ::b ::c]) #(< (::a %) (::b %))))
:user/d
user=> (s/explain-data ::d {::a 1 ::b 0})
#:clojure.spec.alpha{:problems ({:path [], :pred (clojure.core/fn [%] (clojure.core/contains? % :user/c)), :val #:user{:a 1, :b 0}, :via [:user/d], :in []}), :spec :user/d, :value #:user{:a 1, :b 0}}
user=> (s/explain-data ::d {::a 1 ::b 0 ::c 2})
#:clojure.spec.alpha{:problems [{:path [], :pred (clojure.core/fn [%] (clojure.core/< (:user/a %) (:user/b %))), :val #:user{:a 1, :b 0, :c 2}, :via [:user/d], :in []}], :spec :user/d, :value #:user{:a 1, :b 0, :c 2}}


我希望在第一次调用explain-data时，能够包括缺失的::c以及失败的<谓词。我明白spec/and是设计为短路，也许可以通过一个新函数来独立处理n个spec来解决这个问题。

Answer 1

评论由：alexmiller 提出

在这种情况下，您可以使用s/merge，您将获得所有问题...


user=> (s/def ::e (s/merge (s/keys :req [::a ::b ::c]) #(< (::a %) (::b %))))
:user/e
user=> (s/explain ::e {::a 1 ::b 0})
值: #:user{:a 1, :b 0} 违反规格: :user/e 谓词: (contains? % :user/c)
值: #:user{:a 1, :b 0} 违反规格: :user/e 谓词: (< (:user/a %) (:user/b %))


s/merge具有“satisfies all”的语义，但当然仅适用于映射。

Answer 2

评论者：dchelimsky

看明白了。我具体问题的另一部分，在此示例中没有反映，我有一个中间的构型体是最后一个谓词依赖的。s/merge在该情况下将不会工作，因为构型体无法生成。您想要为这个问题创建独立的工单吗？

Answer 3

评论者：dchelimsky

因此我用自定义生成器接近解决这个问题。您希望保留这个问题工单吗？

Answer 4

评论者：alexmiller

关于构型体 - 不，按照设计，经过构型体处理过的值不应用于s/merge（并且与“满足所有”概念相符的“不流动”概念一致）。关于是否开放，这取决于您。我们讨论过创建一个非流动和变体构型体但我不认为这个问题有工单。

Answer 5

_评论者：dchelimsky_

实际上，我刚刚发现了与此相关的错误。在上面的示例之后


user=> (s/explain ::e {::a 1 ::b 2})
val: #:user{:a 1, :b 2} 未通过spec: :user/e 谓词: (contains? % :user/c)
val: #:user{:a 1, :b 2} 未通过spec: :user/e 谓词: (< (:user/a %) (:user/b %))
nil


这应该通过 {{(< (:user/a %) (:user/b %))}}

Answer 6

评论者：dchelimsky

我将为这个问题提交一个独立的工单。

Answer 7

参考： https://clojure.atlassian.net/browse/CLJ-2320（由dchelimsky报告）