@eoliphant ^^^ this is a bit simplified, as you probably will not have issuers as keyword, but it can be expanded with mapping of issuer to number format.

you'd also need to customize generators a bit, if you need them.

what if to use Spec with regular (non namespaced) keywords? should it work OK?

is there a too t generate spec from data structure?

@masta I believe spec-tools has such a tool

@masta read through this chapter https://clojure.org/guides/spec#_entity_maps

there is https://github.com/stathissideris/spec-provider

Thanks @misha, @borkdude. One other bit of fun is that at the end of the day, the number of issuers/formats could be large and might end up in a db

Is it possible to turn clojure/core.specs off during macroexpansion? So you can see the failing expansion?

https://clojure.org/guides/faq#skip_macros

:thumbsup:

thanks

I’m assuming there’s a reason this couldn’t also be a set!able var? Not that restarting my REPL is that difficult! 🙂

well it's in a system property as stuff is potentially checked while you're loading before you have a chance to set it

it could probably also be a dynvar (although that would need to be checked on every macroexpansion, so probably some perf impacts)

(spec/fdef data->graph
  :args ::data
  :ret ::graph)

"not work" == ?

process starts for ever

is data->graph a macro or a function?

if a function, it shouldn't do anything until you instrument

it is a function...

still running :thinking_face: maybe it is too complex for Spec to handle...

(spec/def ::graph (clojure.spec.alpha/def
                    :importer.datamodel/graph
                    (clojure.spec.alpha/coll-of
                     (clojure.spec.alpha/or
                      :collection
                      (clojure.spec.alpha/coll-of
                       (clojure.spec.alpha/keys
                        :req-un
                        [:importer.datamodel/label]
                        :opt-un
                        [:importer.datamodel/center
                         :importer.datamodel/edge_id
                         :importer.datamodel/global_id
                         :importer.datamodel/name
                         :importer.datamodel/source
                         :importer.datamodel/target
                         :importer.datamodel/typ]))
                      :simple
                      clojure.core/keyword?))))

(spec/def ::data (clojure.spec.alpha/def
                   :importer.datamodel/data
                   (clojure.spec.alpha/coll-of
                    (clojure.spec.alpha/or
                     :collection
                     (clojure.spec.alpha/coll-of
                      (clojure.spec.alpha/keys
                       :req
                       [:importer.datamodel/global-id]
                       :opt
                       [:importer.datamodel/center
                        :importer.datamodel/part-of
                        :importer.datamodel/type]
                       :opt-un
                       [:importer.datamodel/attributes
                        :importer.datamodel/datasource
                        :importer.datamodel/features
                        :importer.datamodel/ioi-slice
                        :importer.datamodel/name
                        :importer.datamodel/url]))
                     :simple
                     clojure.core/keyword?))))

(spec/fdef data->graph
  :args ::data
  :ret ::graph)

I have this...

and runs for ever to start...

Have you tried (exercise ::data 3) to see if outputs anything?

also runs for ever...

Found it...

(spec/def ::data (clojure.spec.alpha/def is recursive or something 😄

Hi here! I'm hoping someone can help me out with what is probably a basic question about clojure spec

I have this function:

(defn starts-with-any?
  "Return truthy if s starts with any character in chrs; otherwise nil."
  [s chrs]
  (seq (filter (fn [c] (string/starts-with? s (str c))) chrs)))

and this spec:

(s/fdef starts-with-any?
  :args (s/cat :s string? :chrs string?)
  :ret (s/nilable (s/coll-of char?))
  :fn (s/or :nil-case #(-> % nil?)
            :non-nil-case
            (s/and #(= (-> % :ret set first) (-> % :args :s first))
                   #(= 1 (-> % :ret set count))
                   (fn [x] (subset? (-> x :ret set) (-> x :args :chrs set))))))

if I run (stest/check starts-with-any?)` on this I get a failure

#(-> % nil?) == nil? btw

yeah, thanks, I'll change that

> I get a failure. needs more detail.

{:clojure.spec.alpha/problems ({:path [:fn :nil-case], :pred (clojure.core/fn [%] (clojure.core/-> % clojure.core/nil?)), :val {:args {:s "", :chrs ""}, :ret nil}, :via [], :in []} {:path [:fn :non-nil-case], :pred (clojure.core/fn [%] (clojure.core/= 1 (clojure.core/-> % :ret clojure.core/set clojure.core/count))), :val {:args {:s "", :chrs ""}, :ret nil}, :via [], :in []}), :clojure.spec.alpha/spec #object[clojure.spec.alpha$or_spec_impl$reify__2046 0x3d686af1 "clojure.spec.alpha$or_spec_impl$reify__2046@3d686af1"], :clojure.spec.alpha/value {:args {:s "", :chrs ""}, :ret nil}, :clojure.spec.test.alpha/args ("" ""), :clojure.spec.test.alpha/val {:args {:s "", :chrs ""}, :ret nil}, :clojure.spec.alpha/failure :check-failed}

it's failing on a nil ret, but shouldn't it pass on the first branch of s/or?

it’s failing on the path [:fn :nil-case], so that would be the first branch

oh right, and it needs :ret

d'oh

yeah

haha, thanks. sorry for the typo question

Is there a recommended/succinct way to reuse a string regex spec in keyword form? That is, I have a spec that uses a regex to define a string format (in this case, it's an ID format). In some places, that value is used as a keyword in a map. I could break out the specifics, but was wondering if there is an easy way to do something in the spirit of (s/def ::id-as-keyword (as-keyword ::id-spec))