I'm trying to write a util that prints out a more friendly error message based on the data returned from s/explain-data. I'm noticing that :in contains misleading data for certain cases:

user=> (s/explain-data (s/map-of integer? integer?) {345 "a"})
{:clojure.spec.alpha/problems ({:in [345 1],
                                :path [1],
                                :pred clojure.core/integer?,
                                :val "a",
                                :via []}),
 :clojure.spec.alpha/spec #<clojure.spec.alpha$every_impl$reify__2182@40147821>,
 :clojure.spec.alpha/value {345 "a"}}
user=> (s/explain-data (s/coll-of integer? :kind set?) #{1 2 "a"})
{:clojure.spec.alpha/problems ({:in [1],
                                :path [],
                                :pred integer?,
                                :val "a",
                                :via []}),
 :clojure.spec.alpha/spec #<clojure.spec.alpha$every_impl$reify__2182@71b6c727>,
 :clojure.spec.alpha/value #{1 2 "a"}}

on the first case, this is a side effect of treating maps as a sequence of tuples. there is at least one ticket about this particular one with a pending patch.

for the set case, I don’t think anything is logged but a ticket for that would be fine

Thanks, I'll try to find time to write up a ticket. I'll definitely check out the other ticket you mentioned for map-of, since I'm curious what the proposed solution was, so I know what the expected behavior should be for sets.

@aengelberg I’d like to see that too if you find it.

is it overkill?

(s/nonconforming (s/or :i pos-int? :z #{0}))

- zero? throws on strings, keywords, etc. - just (complement neg-int?) accepts everything but neg ints: strings, maps, etc.

is this in any "under-the-hood" way lighter?

(s/and int? (complement neg-int?))

What about nat-int?

missed it

Given the following data: {:a {:name "a"} :b {:name "b"} :c {:name "not-c"}}, how could I construct a spec to say "the key to a value-map must be the keywordized name within the value-map"? This spec would complain that (keyword "not-c") does not match :c

You can use any arbitrary predicate like #(= (keys %) (->> % vals (map :name) (map keyword))) to check validity

but it’s not going to give you that specific error

great thank you