Clojure Spec依赖字段

Question

我有一个记录，对于这个规范，我想要生成值但确保当前金额不超过最大金额。 简化规范会是这样的：

(s/def ::max-amt (s/and number? #(<= 0 % 1e30))) 
(s/def ::cur-amt (s/and number? #(<= 0 % 1e30))) 
(s/def ::loan (s/cat :max-amt ::max-amt 
        :cur-amt ::cur-amt)) 

我知道我可以在::loan规范有s/and但我想是这样的：

(s/def :loan (s/cat :max-amt ::max-amt 
        ;; not a real line: 
        :cur-amt (s/and ::cur-amt #(< (:cur-amt %) (:max-amt %))))) 

这是一种约束的规范可用？

注：我知道我可以用0和1之间的数字，表示小数部分但然后我修改数据至角落找寻适应代码不是其他方式更换CUR-AMT。我不在这里控制实际应用程序中的数据源。

Answer 1

这应该工作（改编自this discussion）：

(s/def ::loan (s/and (s/keys :req [::cur-amt ::max-amt]) 
        (fn [{:keys [::cur-amt ::max-amt]}] 
         (< cur-amt max-amt)))) 

(s/conform ::loan {:cur-amt 50 :max-amt 100}) ; => {:cur-amt 50 :max-amt 100} 
(s/conform ::loan {:cur-amt 100 :max-amt 50}) ; => :clojure.spec/invalid 

或者，如果你想坚持到s/cat：

(s/def ::loan (s/and (s/cat :cur-amt ::cur-amt 
          :max-amt ::max-amt) 
        (fn [{:keys [cur-amt max-amt]}] 
         (< cur-amt max-amt)))) 

(s/conform ::loan [50 100]) ; => [50 100] 
(s/conform ::loan [100 50]) ; => :clojure.spec/invalid