0.8.4-SNAPSHOT Arrow_down_16x16
  • (everyg g coll)
A pseudo-relation that takes a coll and ensures that the goal g
succeeds on every element of the collection.

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:1604 top

(defn everyg
  "A pseudo-relation that takes a coll and ensures that the goal g
   succeeds on every element of the collection."
  [g coll]
  (fn [a]
    (let [coll (walk a coll)]
      (((fn everyg* [g coll]
          (if (seq coll)
            (all
             (g (first coll))
             (everyg* g (next coll)))
            s#)) g coll) a))))
Vars in clojure.core.logic/everyg:
Used in 0 other vars

Comments top

No comments for everyg. Log in to add a comment.