2015-02-26 15:55:20 +00:00
|
|
|
(ns com.rpl.specter.test-helpers
|
|
|
|
|
(:require [clojure.test.check
|
|
|
|
|
[generators :as gen]
|
2015-06-30 22:08:49 +00:00
|
|
|
[properties :as prop]]))
|
2015-02-26 15:55:20 +00:00
|
|
|
|
2015-06-30 21:08:05 +00:00
|
|
|
|
2015-02-26 15:55:20 +00:00
|
|
|
;; it seems like gen/bind and gen/return are a monad (hence the names)
|
|
|
|
|
(defmacro for-all+ [bindings & body]
|
|
|
|
|
(let [parts (partition 2 bindings)
|
|
|
|
|
vars (vec (map first parts))
|
|
|
|
|
genned (reduce
|
|
|
|
|
(fn [curr [v code]]
|
|
|
|
|
`(gen/bind ~code (fn [~v] ~curr)))
|
|
|
|
|
`(gen/return ~vars)
|
|
|
|
|
(reverse parts))]
|
|
|
|
|
`(prop/for-all [~vars ~genned]
|
|
|
|
|
~@body )))
|
