ghoseb/clj_spec_playground.clj

Would you like to make this gist interactive with klipse?

(defrecord Car [name type num-of-wheels make])

How would I generate random data for a record like the one above?

Okay, so this is what I came up with.

`(s/def ::name string?)
(s/def ::type keyword?)
(s/def ::wheels int?)
(s/def ::make string?)

(defn car-gen
[]
(gen/bind
(s/gen (s/spec (s/keys :req [::name ::type ::wheels ::make])))
#(gen/return (map->Car %))))

(s/def ::car (s/spec (s/keys :req [::name ::type ::wheels ::make])
:gen car-gen))

(gen/generate (car-gen))

(clojure.pprint/pprint (drop 198 (s/exercise ::car 200)))`

The code doesn't look too good. What would be a good alternative?

Thanks.

Unrelated, but I can't seem to figure out how to spec a collection of maps. I.e I'm getting something like this from an API:

{
  ...
  lines: [
    { text: "Some text", attachments: null},
    { text: null, attachments: [{type: "image", payload: { url: "http://some-url" }} ] }
   ]
  ...
}

I imagined I could do something like this, but I was wrong:

(s/def ::text string?)
(s/def ::type string?)
(s/def ::payload (s/keys :opt-un [::url]))
(s/def ::attachment (s/keys :req-un [::type ::payload]))
;; bad usage of coll-of
(s/def ::attachments (s/coll-of ::attachment))

(s/def ::line (s/keys :opt-un [::text :attachments]))
;; bad usage of coll-of
(s/def ::lines (s/coll-of ::line))

;; top-level object
(s/def ::note (s/keys :req-un [::lines]))

First of all I'm getting a wrong number of arguments on coll-of which is confusing given the examples I find online.
Secondly, I tried this as well and it doesn't work:

(def attachment? (partial s/valid? ::attachment))
(s/def ::attachments (s/coll-of attachment?))

Any input would be greatly appreciated

Never mind, I updated clojurescript to the latest version and this went away 🙅‍♂️

This:

(s/def ::uuid #(instance? java.util.UUID %))

might be like this:

(s/def ::uuid uuid?)

in fact uuid? is it self a spec, like any predicate.

Hi I am wondering how you would so a spec for the contents of a map where there are options:
The map must either contain :type and either :default or :value but at least one. Also I want to be able to check for the presence of map but not worry about its keys, but check its values that are in fact the map described above? (BTW I am trying to use this to validate input from a yaml file)

Hi, I ran into kind of an issue in understanding. What I thought was that conform is meant to be used to get some data which follows a certain pattern to be parsed/formatted to data that your application can handle or if thats not the case return :spec/invalid. I would assume then that calling conform with the same spec on consecutive results should either always fail or always succed.
Yet:

 => (s/def ::spec-of-variant (s/alt ::number int? ::text string?))
 => (s/conform ::spec-of-variant (s/conform ::spec-of-variant [42]))
 :spec/invalid

;; to my logic, should return [::number 42]

I understand what is going wrong, I just don't understand why it's made this way and if there is a alternative.
I wanted to use alt btw because I also like to try use core.match, so or seemed irrelevant there for me.

EDIT: Thought I'd try answering the question above me, although I have a little difficulty understanding exactly what behaviour you want.

Problem 1: A map can contain keys: :type, :default & :value. It must contain at least 1 of these.

(s/def ::problem1
  (s/and
    (s/keys :opt [:type :default :value])
    (comp not empty? (partial set/intersection #{:type :default :value}) keys))) ;; this could use a seperate def

Problem 2: only check values in a map, they should be following spec ::problem1?

(s/def ::problem2 (s/map-of (constantly true) ::problem1))

Automatic generation of (constantly true) is not supported but conforming works.

I hope this covers all things you got stuck on.