is there a way to have :gen-max with s/+ ?

e.g. to limit the size of the collection generated by s/+ spec

currently no, although I think that would be a good enhancement

thanks @alexmiller

@linuss line 7 - should be s/and ?

Hahahaha, wow, thanks!

that's a waste of a morning...

and not a function?

yeah, I must have dozed off while writing that

Hey all, I haven been having problems trying to write a spec as follows. I have a map that looks like this

{
:key1   "val1"
:key2    ""
:key3   34
:x-somestring "some string"
:x-someotherstring "string as well"
}

this is sometimes called a “hybrid map”

you can’t use s/map-of

but you can use an s/merge of s/keys and an s/every-kv that specs the map entry tuples

there is a slightly more complicated example outlined in this blog: http://blog.cognitect.com/blog/2017/1/3/spec-destructuring

search for “hybrid” in there to find that part

@pithyless hi, and thanks for the report - there was a bug in explain, should be fixed in [metosin/spec-tools "0.2.1-SNAPSHOT"] (which now uses the latest clj, cljs & spec):

(require '[spec-tools.core :as st])
(require '[spec-tools.data-spec :as ds])
(st/explain-data (ds/spec ::foo {:foo string?}) {:foo 42})
; ::s{:problems ({:path [:foo]
;                 :pred clojure.core/string?
;                 :val 42
;                 :via [:user$foo/foo]
;                 :in [:foo]})
;     :spec #Spec{:form (clojure.spec.alpha/keys :req-un [:user$foo/foo])
;                 :type :map
;                 :keys #{:foo}}
;     :value {:foo 42}}

@ikitommi - Perfect! I can confirm it fixes my issue. Thanks for the lightning-fast response and apologies for not going through GH issues. I figured I was just doing something wrong 🙂

I'd like to pass parameters into a predicate function along with the value being checked ... a simple example might be a predicate to validate a integer with a min and max value... i.e. validate x is between 1-10. What are common design patterns for this? First thought is to write a function that returns a closure ... any real-world, slick examples of such a thing?

is it possible to have something like (s/coll-of :some.other/spec)?

@don.dwoske there's already some builtins like int-in-range?

err rather int-in

@ghadi - thanks for the example, that's what I was thinking - write macros or functions which return specs or predicates. https://github.com/clojure/clojure/blob/d920ada9fab7e9b8342d28d8295a600a814c1d8a/src/clj/clojure/spec.clj#L1623

@don.dwoske yup. fyi all of clojure.spec is being tracked in a different repository now.

https://github.com/clojure/spec.alpha/

Ah - of course. In my defense, whenever I search for docs, I end up here : https://clojure.github.io/clojure/branch-master/clojure.spec-api.html and when clicking on "source" for a function.. I end up where I linked to.

@joshkh what do you mean?

(s/def :some/spec int?)
(s/def :another/spec (s/coll-of :some/spec :kind vector?))
(s/exercise :another/spec)
=>
([[0 0 -1 0] [0 0 -1 0]]
 [[-1 0 -1 -1] [-1 0 -1 -1]] ...