errr… so I have spec like this:

#?(:clj (defn uuid-str-gen [] (gen/return (str (java.util.UUID/randomUUID))))
   :cljs (defn uuid-str-gen [] (gen/return (str (random-uuid)))))

(s/def ::uuid (s/with-gen (s/and
                            string?
                            #(re-matches uuid-regex %)
                            uuid-str?)
                uuid-str-gen))

(gen/sample (s/gen ::uuid))
("06cd3a07-98e0-4ee2-bce8-fa0b9e96d9e2" "06cd3a07-98e0-4ee2-bce8-fa0b9e96d9e2" "06cd3a07-98e0-4ee2-bce8-fa0b9e96d9e2" "06cd3a07-98e0-4ee2-bce8-fa0b9e96d9e2" "06cd3a07-98e0-4ee2-bce8-fa0b9e96d9e2" "06cd3a07-98e0-4ee2-bce8-fa0b9e96d9e2" "06cd3a07-98e0-4ee2-bce8-fa0b9e96d9e2" "06cd3a07-98e0-4ee2-bce8-fa0b9e96d9e2" "06cd3a07-98e0-4ee2-bce8-fa0b9e96d9e2" "06cd3a07-98e0-4ee2-bce8-fa0b9e96d9e2”)

oopsie… there’s gen/uuid I guess I should be using that

I need only the sting though

so why this is not working:

(s/exercise (s/with-gen string? (gen/fmap str (gen/uuid))))

nvmd… got it

(s/exercise (s/with-gen string? #(gen/fmap str (gen/uuid))))

:)

Was there s/instrument-all, which got removed later on?

I don't see it in my REPL, but I've seen it in a talk: https://www.dropbox.com/s/w1ktte022j5xy4o/Screenshot%202016-08-31%2014.00.08.png?dl=0

@borkdude just call instrument with no args

aah ok

it got changed at one point

Anybody experimented with using spec for form / input validation?

@sveri I did

@sveri very rough but maybe it helps https://gist.github.com/martinklepsch/e1366008c5a478b33c00d324314da4fd

@martinklepsch thanks, so basically its: 1. validate input with spec 2. try to parse result and display some useful text

right. Do all of that on a form level and do some basic dirty? tracking

Ok, thank you very much, I will try some stuff 🙂

Rich checked in a round of perf improvements to master yesterday which fixed some hot spots

When I try to run check on a function that I’ve spec’d with fdef, it fails with the cause “Unable to construct gen at: [] for : clojure.spec$…"

am I missing something obvious?

https://github.com/mschmele/CSPOC

Code is up there for anybody who wants to read through it

@mschmele you should (generally) use the predicates on their own instead of wrapping in an anonymous function. Otherwise you won.t get generators for the functions that have them.

e.g. instead of (s/def ::id #(string? %)) use (s/def ::id string?)

Okay, I just saw an example that was formatted that way and it seemed to work. Changing that now

also you should just use the specs inside fdef, no need for assert or valid which will probably give strange results

so something like

and you need to use s/cat for arg lists

:args [::accounts ::id]

no

more like :args (s/cat :acc ::accounts :id ::id)

ah, thank you

http://clojure.org/guides/spec#_sequences

@minimal thanks!

np

is there a concise way to get a keyword? s/def but the one that always generates short keywords? because this looks awful;

(s/def ::keyword (s/with-gen keyword? (fn [] (gen/fmap #(keyword %)
                                               (gen/such-that #(and (> 10 (count %))
                                                                 (< 0 (count %)))
                                                 (gen/string-alphanumeric) 1000)))))

Could you do as part of the spec itself?

Maybe (s/and keyword? #(< (count (name %)) 10)?

@ag ^

@ag

(s/def ::short-keyword (s/with-gen keyword? (fn [] (gen/fmap #(keyword %)
                                               (gen/such-that #(and (> 10 (count %))
                                                                 (< 0 (count %)))
                                                 (gen/string-alphanumeric) 1000)))))

(s/def ::keyword ::short-keyword)
(s/def ::keyword2 ::short-keyword)

@sattvik doing it that way makes the spec validate that the keyword is short, which you may not want, and also makes for slow generators

Well, if the idea is to accept any keyword but only generate short ones during testing, then supplying the generator at check time is probably what you want. test.check has things like c.t.c.generators/resize that can fix the generator to a manageable size, e.g. 10.

this is true

Unfortunately, that’s not one of the functions clojure.spec mirrors.