0.8.4-SNAPSHOT Arrow_down_16x16

merge-doms

clojure.core.logic

  • (merge-doms s x doms)

0 Examples top

Log in to add / edit an example.

See Also top

Log in to add a see also.

Plus_12x12 Minus_12x12 Source clojure/core/logic.clj:539 top

(defn merge-doms [s x doms]
  (let [xdoms (:doms (root-val s x))]
    (loop [doms (seq doms) s s]
      (if doms
        (let [[dom domv] (first doms)]
          (let [xdomv (get xdoms dom ::not-found)
                ndomv (if (= xdomv ::not-found)
                        domv
                        (-merge-doms domv xdomv))]
            (when ndomv
              (recur (next doms)
                (add-dom s x dom ndomv #{})))))
        s))))
Vars in clojure.core.logic/merge-doms:
Used in 0 other vars

Comments top

No comments for merge-doms. Log in to add a comment.