clojure.core.logic.fd/in

View this page on ClojureDocs

Type: macro Added: Clojure unknown Examples: 2 Runnable: 0

([& xs-and-dom])

Assign vars to domain. The domain must come last.

Examples

by jngbng on 2021-09-25 . May have evaluation errors. ▶

(logic/run* [x y] (fd/in x y (fd/interval 0 5)) (fd/+ x y 5)) ;; => ([0 5] [1 4] [2 3] [3 2] [4 1] [5 0])

by zackteo on 2022-06-15 . May have evaluation errors. ▶

;; Modelling the possible combination of values of 2 coin tosses ;; heads - 1, tails - 0; or vice-versa (logic/run* [coin-1 coin-2] (let [coin (fd/domain 0 1)] (fd/in coin-1 coin-2 coin))) ;; => ([0 0] [1 0] [0 1] [1 1])

Note by port19x

If you're looking to do simple membership tests, such a function isn't builtin

(defn in? [xs el] (some #(= % el) xs))

See also

• clojure.core.logic.fd/domain
• clojure.core.logic.fd/interval
• clojure.core/contains? (2)

---

Content from the matching ClojureDocs page, with authors credited on each contribution.