nested properties in simple-check

convenience.clj

(defn gen-creator
  [{:arbitrary arbitrary-fun :shrink shrink-fun}]
  (reify Generator
    (arbitrary [this]
      (arbitrary-fun this)
    (shrink [this value]
      (shrink-fun this value)))

prop.clj

;; note, this will change how properties are defined a bit.
;; ie., with this change, you'll actually define a property,
;; which is an implementation of the Property protocol. Impl.s
;; of this are what you'll pass to simple-check.core/quick-check

(def my-property
  ;; v is a generator that generates
  ;; vectors of integers
  (forall [v (gen/vector gen/int))]
    ;; inside this block, v will now be a realized
    ;; value, not a generator
    
    ;; and we can even put another property inside
    (forall [i (gen/element v)]
      ;; so now i is a random element from a realized vector, v
      (some #{i} v)))

(def my-test
  (sc/quick-check 100 my-property))