is there an example out there of a spec on arguments that look like

([a])
([a b])
([a b c])
([a b c d])
([a b c d e])

(s/cat :a ::a (s/? :b ::b (s/? :c ::c (s/? :d ::d (s/? :e ::e)))))

but also, sometimes s/alt is clearer, just depends

I didn't realize you could cascade s/? like that... I've only seen (s/cat :a ::a :b (s/? ::b)) before I think?

Hmm, according to the docs/source, s/? can only take a single pred-form @alexmiller

how to write spec that conforms input value to positive int or to zero when value missing?

like that

(s/def ::offset
  (s/or
    :nil (s/and nil? (s/conformer (constantly 0)))
    :int (s/and int? #(<= 0 %))))

but it returns vector (s/conform ::offset nil) [:nil 0]

@seancorfield sorry, tired

should be s/cats in there

(s/cat :a ::a :an (s/? (s/cat :b ::b :bn (s/? (s/cat ...

@maxp imo, you should not do that with specs

s/or always conforms to a tagged result where the tag matches the branch that was taken

but general data transformation is best applied outside spec, not as part of conforming anyways

thank you

is it possible to "attach" some human readable message to the spec to get it in (explain-data) ?

@maxp check the expound library

https://github.com/bhb/expound

not exactly what you're asking but it helps

great!

Is there a way to get the resolved value for a given spec? I have a set I generate as a spec and I'm wondering if there's a way to access that set from the spec api:

(s/def ::sec-type (set (map str (Types$SecType/values))))
(s/describe ::sec-type) ;;=> (set (map str (values))) ;can't eval this

@jjttjj Try s/form instead.

s/describe returns an "abbreviated" version.

perfect, thanks again sean

hey, can anybody help me with it? https://clojurians.slack.com/archives/C1B1BB2Q3/p1563950441028500